An approach to a systematic theorem proving procedure in first-order logic
- 1 March 1974
- journal article
- Published by Springer Nature in Computing
- Vol. 12 (1) , 43-55
- https://doi.org/10.1007/bf02239498
Abstract
No abstract availableKeywords
This publication has 4 references indexed in Scilit:
- The utility of independent subgoals in theorem provingInformation and Control, 1971
- Schnittelimination in einem Teilsystem der einfachen TypenlogikArchive for Mathematical Logic, 1969
- An improved proof procedure1Theoria, 1960
- Toward Mechanical MathematicsPublished by Springer Nature ,1960