Erratum to ``A case study in automated theorem proving: finding sages in combinatory logic

zbMATH Open0652.68106MaRDI QIDQ1107334FDOQ1107334

Authors: Larry Wos, William McCune 

Publication date: 1988

Published in: Journal of Automated Reasoning (Search for Journal in Brave)

zbMATH Keywords

combinatory logicautomated reasoningautomated theorem provingbidirectional searchdemodulationfixed-point propertyparamodulationproof checkingITP

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Combinatory logic and lambda calculus (03B40)

Cited In (6)

• The anatomy of vampire. Implementing bottom-up procedures with code trees
• Errata to ``75 problems for testing automatic theorem provers
• The kernel strategy and its use for the study of combinatory logic
• Automated proofs of equality problems in Overbeek's competition
• The application of automated reasoning to questions in mathematics and logic
• A case study in automated theorem proving: Finding sages in combinatory logic

This page was built for publication: Erratum to ``A case study in automated theorem proving: finding sages in combinatory logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1107334)