SPASS (Q7392459)
Jump to navigation
Jump to search
automated theorem prover for first-order logic with equality
- Synergetic Prover Augmenting Superposition with Sorts
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | SPASS |
automated theorem prover for first-order logic with equality |
|
Statements
1.0.0
0 references
1.0.3
0 references
2.0
0 references
2.1
0 references
2.2
0 references
3.0
0 references
3.5
0 references
3.7
0 references
3.9
0 references
Identifiers
Sitelinks
Wikipedia(1 entry)
- enwiki SPASS