Untersuchungsergebnis.out Download desUnknown {[0] [0] [0]}zum Wurzelverzeichnis wechseln
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
[ zur Elbe Produktseite wechseln0.103Quellennavigators
]
