swMATH22201MaRDI QIDQ33996FDOQ33996
Author name not available (Why is that?)
Official website: https://arxiv.org/abs/1307.1942
Cited In (12)
- Herbrand constructivization for automated intuitionistic theorem proving
- Understanding Resolution Proofs through Herbrand’s Theorem
- Book review of: Matthias Baaz and Alexander Leitsch, Methods of cut-elimination
- Reducing redundancy in cut-elimination by resolution
- CERES
- IDV
- GAPT
- Slakje
- WhaleProver
- Expositor
- Extraction of expansion trees
- System description: GAPT 2.0
This page was built for software: ProofTool
