The following pages link to An Interactive Derivation Viewer (Q2867942):
Displayed 5 items.
- The TPTP problem library and associated infrastructure. From CNF to TH0, TPTP v6.4.0 (Q1694574) (← links)
- The TPTP problem library and associated infrastructure and associated infrastructure. The FOF and CNF parts, v3.5.0 (Q2655326) (← links)
- Panoptes (Q5166496) (← links)
- Progress in the Development of Automated Theorem Proving for Higher-Order Logic (Q5191100) (← links)
- VizAR: visualization of automated reasoning proofs (system description) (Q6118847) (← links)