Spracherkennung für: .out vermutete Sprache: Unknown {[0] [0] [0]} [Methode: Schwerpunktbildung, einfache Gewichte, sechs Dimensionen]
1 goal
============================
exists I : True, I = Logic.I
1 goal
============================
f True False True False (Logic.True /\ Logic.False)
1 goal
============================
[I | I = Logic.I; I = Logic.I] = [I | I = Logic.I; I = Logic.I]
1 goal
============================
[I & I = Logic.I | I = Logic.I; Logic.I = I]
[Dauer der Verarbeitung: 0.16 Sekunden, vorverarbeitet 2026-06-04]
