Spracherkennung für: .out vermutete Sprache: Unknown {[0] [0] [0]} [Methode: Schwerpunktbildung, einfache Gewichte, sechs Dimensionen]
1 goal
y1 := 0 : nat
x := 0 + 0 : nat
============================
x = x
1 goal
y1, y2 := 0 : nat
x := y2 + 0 : nat
============================
x = x
1 goal
y1, y2, y3 := 0 : nat
x := y2 + y3 : nat
============================
x = x
[Dauer der Verarbeitung: 0.15 Sekunden, vorverarbeitet 2026-06-04]
