Spracherkennung für: .out vermutete Sprache: Unknown {[0] [0] [0]} [Methode: Schwerpunktbildung, einfache Gewichte, sechs Dimensionen]
1 goal
y, z : nat
Hy : y = 0
Hz : z = 0
H1 : 0 = 1
HA : True
H2 : 0 = 2
H3 : y = 3
HB : True
H4 : z = 4
============================
True
1 goal
x, z : nat
Hx : x = 0
Hz : z = 0
H1 : x = 1
HA : True
H2 : x = 2
H3 : 0 = 3
HB : True
H4 : z = 4
============================
True
1 goal
x, y : nat
Hx : x = 0
Hy : y = 0
H1 : x = 1
HA : True
H2 : x = 2
H3 : y = 3
HB : True
H4 : 0 = 4
============================
True
1 goal
H1 : 0 = 1
HA : True
H2 : 0 = 2
H3 : 0 = 3
HB : True
H4 : 0 = 4
============================
True
[Dauer der Verarbeitung: 0.12 Sekunden, vorverarbeitet 2026-04-28]
