Statements (18)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:software
automated theorem prover |
| gptkbp:citation |
Weidenbach, Christoph, et al. 'SPASS Version 2.0.' CADE-18. 2002.
|
| gptkbp:developedBy |
Max Planck Institute for Computer Science
|
| https://www.w3.org/2000/01/rdf-schema#label |
SPASS theorem prover
|
| gptkbp:latestReleaseVersion |
2016
3.9 |
| gptkbp:license |
gptkb:software
|
| gptkbp:operatingSystem |
cross-platform
|
| gptkbp:supports |
gptkb:first-order_logic
equality logic |
| gptkbp:usedFor |
automated reasoning
formal verification mathematical logic research |
| gptkbp:website |
http://www.spass-prover.org/
|
| gptkbp:writtenBy |
C
|
| gptkbp:bfsParent |
gptkb:Christoph_Weidenbach
|
| gptkbp:bfsLayer |
4
|