Papers
Communities
Events
Blog
Pricing
Search
Open menu
Home
Papers
2304.12827
Cited By
Investigations into Proof Structures
14 February 2023
C. Wernhard
W. Bibel
Re-assign community
ArXiv
PDF
HTML
Papers citing
"Investigations into Proof Structures"
2 / 2 papers shown
Title
Lemmas: Generation, Selection, Application
Michael Rawson
C. Wernhard
Zsolt Zombori
W. Bibel
22
7
0
10 Mar 2023
Generating Compressed Combinatory Proof Structures -- An Approach to Automated First-Order Theorem Proving
C. Wernhard
19
8
0
26 Sep 2022
1
