The following pages link to An interactive derivation viewer (Q2867942):
Displaying 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)
- Computational Science – ICCS 2005 (Q5709504) (← links)