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.88 Sekunden
]
