| Information | |
|---|---|
| has gloss | eng: SPASS is an automated theorem prover for first-order logic with equality developed at the Max Planck Institute for Computer Science and using the superposition calculus. |
| lexicalization | eng: SPASS |
| instance of | c/Unix programming tools |
Lexvo © 2008-2025 Gerard de Melo. Contact Legal Information / Imprint