The following pages link to IDV (Q33179):
Displaying 6 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)
- An interactive derivation viewer (Q2867942) (← links)
- Panoptes (Q5166496) (← links)
- Progress in the Development of Automated Theorem Proving for Higher-Order Logic (Q5191100) (← links)
- (Q5219924) (← links)