Statements (23)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:automated_theorem_prover
|
| gptkbp:citation |
high in automated reasoning community
Schulz, S. (2002). E: A Brainiac Theorem Prover. AI Communications. |
| gptkbp:developer |
gptkb:Stephan_Schulz
|
| gptkbp:format |
TPTP
TSTP |
| gptkbp:latestReleaseVersion |
2.6
2023-01-01 |
| gptkbp:license |
gptkb:GPL
|
| gptkbp:operatingSystem |
Cross-platform
|
| gptkbp:relatedTo |
gptkb:vampire
gptkb:Prover9 SPASS |
| gptkbp:supports |
gptkb:first-order_logic
|
| gptkbp:supportsAlgorithm |
superposition calculus
|
| gptkbp:usedFor |
automated reasoning
formal verification mathematical proof automation |
| gptkbp:website |
https://wwwlehre.dhbw-stuttgart.de/~sschulz/E/E.html
|
| gptkbp:writtenBy |
C
|
| gptkbp:bfsParent |
gptkb:Automated_Theorem_Proving
|
| gptkbp:bfsLayer |
8
|
| https://www.w3.org/2000/01/rdf-schema#label |
E-prover
|