Cited in
(19)- The \textsf{nanoCoP 2.0} connection provers for classical, intuitionistic and modal logics
- Certification of nonclausal connection tableaux proofs
- Understanding Resolution Proofs through Herbrand’s Theorem
- Extraction of expansion trees
- SQEMA
- CERES
- Quati
- The problem of \(\Pi_{2}\)-cut-introduction
- On the generation of quantified lemmas
- TIP
- ProofTool
- Scavenger
- Psyche
- Slakje
- WhaleProver
- Sequoia
- Scalable fine-grained proofs for formula processing
- Complexity of translations from resolution to sequent calculus
- Herbrand constructivization for automated intuitionistic theorem proving
This page was built for software: GAPT
