tptp2X

swMATH10409MaRDI QIDQ22370FDOQ22370

Author name not available (Why is that?)

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