Matches in DBpedia 2014 for { <http://dbpedia.org/resource/System_on_TPTP> ?p ?o. }
Showing items 1 to 12 of
12
with 100 items per page.
- System_on_TPTP abstract "System on TPTP is an online interface to several automated theorem proving systems and other automated reasoning tools.It allows users to run the systems either on problems from the latest releases from the TPTP problem library or on user-supplied problems in the TPTP syntax.The system is maintained by Geoff Sutcliffe at the University of Miami. In November 2010, it featured more than 50 systems, including both theorem provers and model finders. System on TPTP can either run user-selected systems, or pick systems automatically based on problem features, and run them in parallel.".
- System_on_TPTP wikiPageID "29466441".
- System_on_TPTP wikiPageRevisionID "579074760".
- System_on_TPTP hasPhotoCollection System_on_TPTP.
- System_on_TPTP subject Category:Automated_theorem_proving.
- System_on_TPTP comment "System on TPTP is an online interface to several automated theorem proving systems and other automated reasoning tools.It allows users to run the systems either on problems from the latest releases from the TPTP problem library or on user-supplied problems in the TPTP syntax.The system is maintained by Geoff Sutcliffe at the University of Miami. In November 2010, it featured more than 50 systems, including both theorem provers and model finders.".
- System_on_TPTP label "System on TPTP".
- System_on_TPTP sameAs m.0ds9y_8.
- System_on_TPTP sameAs Q7663739.
- System_on_TPTP sameAs Q7663739.
- System_on_TPTP wasDerivedFrom System_on_TPTP?oldid=579074760.
- System_on_TPTP isPrimaryTopicOf System_on_TPTP.