Untersuchungsergebnis.out Download desUnknown {[0] [0] [0]}zum Wurzelverzeichnis wechseln
1 goal
============================
exists I : True, I = Logic.I
1 goal
============================
f True False True False (Logic.True /\ Logic.False)
1 goal
============================
[I | I = Logic.I; I = Logic.I] = [I | I = Logic.I; I = Logic.I]
1 goal
============================
[I & I = Logic.I | I = Logic.I; Logic.I = I]
[ 0.124Quellennavigators
]
