Set theory in first-order logic: Clauses for Gödel's axioms
- 1 September 1986
- journal article
- Published by Springer Nature in Journal of Automated Reasoning
- Vol. 2 (3) , 287-327
- https://doi.org/10.1007/bf02328452
Abstract
No abstract availableKeywords
This publication has 2 references indexed in Scilit:
- Automated Theorem Proving: After 25 YearsContemporary Mathematics, 1984
- Splitting and reduction heuristics in automatic theorem provingArtificial Intelligence, 1971