Learning from Łukasiewicz and Meredith: Investigations into Proof Structures (Extended Version)

28 April 2021

Papers citing "Learning from Łukasiewicz and Meredith: Investigations into Proof Structures (Extended Version)"

5 / 5 papers shown

Title
Range-Restricted Interpolation through Clausal Tableaux C. Wernhard 11 1 0 06 Jun 2023
Lemmas: Generation, Selection, Application Michael Rawson C. Wernhard Zsolt Zombori W. Bibel 24 7 0 10 Mar 2023
Investigations into Proof Structures C. Wernhard W. Bibel 22 3 0 14 Feb 2023
Generating Compressed Combinatory Proof Structures -- An Approach to Automated First-Order Theorem Proving C. Wernhard 21 8 0 26 Sep 2022
CD Tools -- Condensed Detachment and Structure Generating Theorem Proving (System Description) C. Wernhard 17 6 0 18 Jul 2022