IDV
From MaRDI portal
Software:33179
swMATH21371MaRDI QIDQ33179FDOQ33179
Author name not available (Why is that?)
Cited In (6)
- An interactive derivation viewer
- The TPTP problem library and associated infrastructure and associated infrastructure. The FOF and CNF parts, v3.5.0
- The TPTP problem library and associated infrastructure. From CNF to TH0, TPTP v6.4.0
- Progress in the Development of Automated Theorem Proving for Higher-Order Logic
- Title not available (Why is that?)
- Panoptes
This page was built for software: IDV
