Erratum to ``A case study in automated theorem proving: finding sages in combinatory logic
From MaRDI portal
Publication:1107334
zbMath0652.68106MaRDI QIDQ1107334
Publication date: 1988
Published in: Journal of Automated Reasoning (Search for Journal in Brave)
automated reasoningautomated theorem provingdemodulationcombinatory logicbidirectional searchfixed-point propertyparamodulationproof checkingITP
Mechanization of proofs and logical operations (03B35) Combinatory logic and lambda calculus (03B40)
Related Items (4)
The application of automated reasoning to questions in mathematics and logic ⋮ The anatomy of vampire. Implementing bottom-up procedures with code trees ⋮ The kernel strategy and its use for the study of combinatory logic ⋮ Automated proofs of equality problems in Overbeek's competition
This page was built for publication: Erratum to ``A case study in automated theorem proving: finding sages in combinatory logic
