Ehrenfeucht–Fraïssé Game for Finite Graphs

Controls Click on a vertex (circle, triangle, square) to play there. h: hint m: switch between dragging vertices and making moves n: new game Rules The Ehrenfeucht-Fraïssé Game is a game about first order logic and the inevitable end of all things. Players take turns matching up the vertices (shown as circles, etc.) of two graphs (networks): First, Player I (Spoiler) selects a vertex from either g…