Die Existenz von Interpolanten ist unentscheidbar für die Zwei-Variable-Logik Erster Ordnung mit zwei Äquivalenzrelationen.
