Ehrenfeucht–Fraïssé game

ID: ehrenfeucht-fraisse-game

New to topics? Read the docs here!