Hallo Martin,
Am 28. August 2011 19:17 schrieb Martin Eberhard Schauer
:
> Hallo,
>
> wir arbeiten an der Übersetzung für eprover (1). Zwei Sätze sind für den
> Nicht-Mathematiker nicht trivial.
>
> E is a fully automatic theorem prover for full first-order logic with
Hallo,
wir arbeiten an der Übersetzung für eprover (1). Zwei Sätze sind für den
Nicht-Mathematiker nicht trivial.
E is a fully automatic theorem prover for full first-order logic with
equality.
... and implements a variant of the superposition calculus.
Was sind
2 matches
Mail list logo
