A mechanical solution of Schubert's Steamroller by many-sorted resolution
- 31 May 1985
- journal article
- Published by Elsevier in Artificial Intelligence
- Vol. 26 (2) , 217-224
- https://doi.org/10.1016/0004-3702(85)90029-3
Abstract
No abstract availableKeywords
This publication has 8 references indexed in Scilit:
- The Homologation of Hagemann's EsterSynthesis, 1978
- Calculi of constructive logic with subordinate variablesAmerican Mathematical Society Translations: Series 2, 1972
- Efficiency and Completeness of the Set of Support Strategy in Theorem ProvingJournal of the ACM, 1965
- A Machine-Oriented Logic Based on the Resolution PrincipleJournal of the ACM, 1965
- Untersuchungen zur mehrsortigen QuantorenlogikMathematische Annalen, 1962
- Logic of many-sorted theoriesThe Journal of Symbolic Logic, 1952
- Die Zulässigkeit der Behandlung mehrsortiger Theorien mittels der üblichen einsortigen PrädikatenlogikMathematische Annalen, 1951
- Über deduktive Theorien mit mehreren Sorten von GrunddingenMathematische Annalen, 1938