Finding shortest proofs: An application of linked inference rules
From MaRDI portal
Publication:5951526
DOI10.1023/A:1010635625063zbMath1006.03510MaRDI QIDQ5951526
Publication date: 7 January 2002
Published in: Journal of Automated Reasoning (Search for Journal in Brave)
automated theorem provingcondensed detachmentlinked UR-resolutionsearching for shortest proofs in logical systems
Related Items (6)
Lemmas: generation, selection, application ⋮ Short proofs of ideal membership ⋮ Proof simplification and automated theorem proving ⋮ Investigations into proof structures ⋮ Learning from Łukasiewicz and Meredith: investigations into proof structures ⋮ Theorem proving as constraint solving with coherent logic
This page was built for publication: Finding shortest proofs: An application of linked inference rules
