The following pages link to System Description: GAPT 2.0 (Q2817928):
Displayed 9 items.
- GAPT (Q33995) (← links)
- Extraction of expansion trees (Q670704) (← links)
- The problem of \(\Pi_{2}\)-cut-introduction (Q1680562) (← links)
- The \textsf{nanoCoP 2.0} connection provers for classical, intuitionistic and modal logics (Q2142078) (← links)
- On the generation of quantified lemmas (Q2417949) (← links)
- (Q3384900) (← links)
- Expansion trees with cut (Q5236547) (← links)
- Complexity of translations from resolution to sequent calculus (Q5236549) (← links)
- Scalable fine-grained proofs for formula processing (Q5919479) (← links)