Spracherkennung für: .out vermutete Sprache: C {C[74] Abap[194] [0]} [Methode: Schwerpunktbildung, einfache Gewichte, sechs Dimensionen]
1 subgoal
x : nat
============================
x = S x
1 subgoal
x : nat
============================
0 + x = S x
1 subgoal
x : nat
============================
x = 1 + x
[ Dauer der Verarbeitung: 0.81 Sekunden
]
