Investigations into proof structures

DOI10.1007/s10817-024-09711-8MaRDI QIDQ6653096

Wolfgang Bibel, Christoph Wernhard

Publication date: 16 December 2024

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

zbMATH Keywords

condensed detachmentconnection methodlemma generationanalysis of historic formal proofsautomated theorem proving in first-order logicproof structure terms

Mathematics Subject Classification ID

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

This page was built for publication: Investigations into proof structures