ProofTool
From MaRDI portal
Software:33996
swMATH22201MaRDI QIDQ33996FDOQ33996
Author name not available (Why is that?)
Cited In (6)
- Herbrand constructivization for automated intuitionistic theorem proving
- Understanding Resolution Proofs through Herbrand’s Theorem
- System Description: GAPT 2.0
- Book review of: Matthias Baaz and Alexander Leitsch, Methods of cut-elimination
- Reducing redundancy in cut-elimination by resolution
- Extraction of expansion trees
This page was built for software: ProofTool
