Title

CD Tools -- Condensed Detachment and Structure Generating Theorem Proving (System Description)

18 July 2022

Papers citing "CD Tools -- Condensed Detachment and Structure Generating Theorem Proving (System Description)"

3 / 3 papers shown

Title
Lemmas: Generation, Selection, ApplicationInternational Conference on Theorem Proving with Analytic Tableaux and Related Methods (TABLEAUX), 2023 Michael Rawson C. Wernhard Zsolt Zombori W. Bibel 147 8 0 10 Mar 2023
Investigations into Proof StructuresJournal of automated reasoning (JAR), 2023 C. Wernhard W. Bibel 88 3 0 14 Feb 2023
Generating Compressed Combinatory Proof Structures -- An Approach to Automated First-Order Theorem Proving C. Wernhard 97 8 0 26 Sep 2022