7 citations · 15 across the 3 of their papers we have counts for
3 papers
cs.LO2023★ 3 cited
Investigations into Proof Structures
Christoph Wernhard, Wolfgang Bibel
We introduce and elaborate a novel formalism for the manipulation and analysis of proofs as objects in a global manner. In this first approach the formalism is restricted to first-…
cs.LO2023★ 5 cited
Lemmas: Generation, Selection, Application
Michael Rawson, Christoph Wernhard, Zsolt Zombori +1
Noting that lemmas are a key feature of mathematics, we engage in an investigation of the role of lemmas in automated theorem proving. The paper describes experiments with a combin…
cs.AI2021★ 7 cited
Learning from Łukasiewicz and Meredith: Investigations into Proof Structures (Extended Version)
Christoph Wernhard, Wolfgang Bibel
The material presented in this paper contributes to establishing a basis deemed essential for substantial progress in Automated Deduction. It identifies and studies global features…