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, Application Michael Rawson C. Wernhard Zsolt Zombori W. Bibel 16 6 0 10 Mar 2023
Investigations into Proof Structures C. Wernhard W. Bibel 14 3 0 14 Feb 2023
Generating Compressed Combinatory Proof Structures -- An Approach to Automated First-Order Theorem Proving C. Wernhard 16 8 0 26 Sep 2022