CD Tools Main Page
Investigations into Proof Structures – Supplementary Material
Supplementary material for the paper
Investigations into Proof Structures
Christoph Wernhard and Wolfgang Bibel
Journal of Automated Reasoning
, 68(24), 2024.
[ Preprint:
https://arxiv.org/abs/2304.12827
].
[
bib
|
DOI
|
Abstract
]
investigations.pl
Prolog code with examples and experiments. Runs with
CD Tools
.
output_investigations.txt
Output of running all examples in
investigations.pl
.
CD Tools Main Page
Contact:
info@christophwernhard.com