tptp2X

MaRDI QIDQ22370swMATHFDO

Official website http://www.cs.miami.edu/~tptp/TPTP/Archive/TPTP-v2.7.0/TR-v2.7.0/Utilities.shtml

Cited in

(6)

• Mathematical applications of inductive logic programming
• GRAFFITI
• MathWeb
• HR
• The TPTP problem library. CNF release v1. 2. 1
• Automated conjecture making in number theory using HR, Otter and Maple

This page was built for software: tptp2X