Spracherkennung für: .out vermutete Sprache: Shell {Shell[61] Isabelle[62] Delphi[102]} [Methode: Schwerpunktbildung, einfache Gewichte, sechs Dimensionen]
1 subgoal
m, n : Z
H : (m >= n)%Z
============================
(m >= m)%Z
[ Dauer der Verarbeitung: 0.110 Sekunden
]
