In the mathematical discipline of model theory, the Ehrenfeucht–Fraïssé game is a technique based on game semantics for determining whether two structures are elementarily equivalent. The main application of Ehrenfeucht–Fraïssé games is in proving... Wikipedia