SET-VAR
- 1 January 1993
- journal article
- studies in-automated-reasoning
- Published by Springer Nature in Journal of Automated Reasoning
- Vol. 11 (3) , 293-314
- https://doi.org/10.1007/bf00881869
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- METEORs: High Performance Theorem Provers using Model EliminationPublished by Springer Nature ,1991
- Str+ve $$\subseteq$$ : The Str+ve-based subset proverPublished by Springer Nature ,1990
- A prolog technology theorem prover: Implementation by an extended prolog compilerJournal of Automated Reasoning, 1988
- Circumscription—A form of non-monotonic reasoningArtificial Intelligence, 1980
- A Linear Format for Resolution With Merging and a New Technique for Establishing CompletenessJournal of the ACM, 1970
- A Machine-Oriented Logic Based on the Resolution PrincipleJournal of the ACM, 1965
- Beiträge zur Algebra der Logik, insbesondere zum EntscheidungsproblemMathematische Annalen, 1922