Investigations into Proof Structures

14 February 2023

Papers citing "Investigations into Proof Structures"

4 / 4 papers shown

Title
Lemmas: Generation, Selection, Application Michael Rawson C. Wernhard Zsolt Zombori W. Bibel 40 7 0 10 Mar 2023
Generating Compressed Combinatory Proof Structures -- An Approach to Automated First-Order Theorem Proving C. Wernhard 31 8 0 26 Sep 2022
CD Tools -- Condensed Detachment and Structure Generating Theorem Proving (System Description) C. Wernhard 38 6 0 18 Jul 2022
Learning from Łukasiewicz and Meredith: Investigations into Proof Structures (Extended Version) C. Wernhard W. Bibel 30 8 0 28 Apr 2021