An approach to a systematic theorem proving procedure in first-order logic

DOI10.1007/BF02239498zbMath0273.68058OpenAlexW83406561MaRDI QIDQ2264551

Wolfgang Bibel

Publication date: 1974

Published in: Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf02239498

Mathematics Subject Classification ID

Related Items (5)

Towards Hilbert's 24th Problem: Combinatorial Proof Invariants ⋮ Proof Search for the First-Order Connection Calculus in Maude ⋮ A comparative study of several proof procedures ⋮ Reminiscences of Kurt Schütte ⋮ From Schütte’s Formal Systems to Modern Automated Deduction

Cites Work

• Toward Mechanical Mathematics
• An improved proof procedure1
• Schnittelimination in einem Teilsystem der einfachen Typenlogik
• The utility of independent subgoals in theorem proving

This page was built for publication: An approach to a systematic theorem proving procedure in first-order logic