Generating Compressed Combinatory Proof Structures -- An Approach to Automated First-Order Theorem Proving

26 September 2022

Papers citing "Generating Compressed Combinatory Proof Structures -- An Approach to Automated First-Order Theorem Proving"

3 / 3 papers shown

Title
Lemmas: Generation, Selection, Application Michael Rawson C. Wernhard Zsolt Zombori W. Bibel 14 6 0 10 Mar 2023
Investigations into Proof Structures C. Wernhard W. Bibel 14 2 0 14 Feb 2023
CD Tools -- Condensed Detachment and Structure Generating Theorem Proving (System Description) C. Wernhard 9 6 0 18 Jul 2022