A vision for automated deduction rooted in the connection method

DOI10.1007/978-3-319-66902-1_1zbMath1496.68363OpenAlexW2750714633MaRDI QIDQ1694445

Wolfgang Bibel

Publication date: 2 February 2018

Full work available at URL: https://doi.org/10.1007/978-3-319-66902-1_1

zbMATH Keywords

automated theorem provingautomated deductionconnection methodleanCoP

Mathematics Subject Classification ID

Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Related Items (3)

The role of entropy in guiding a connection prover ⋮ Machine learning guidance for connection tableaux ⋮ From Schütte’s Formal Systems to Modern Automated Deduction

This page was built for publication: A vision for automated deduction rooted in the connection method