Top Qs
Timeline
Chat
Perspective
System on TPTP
From Wikipedia, the free encyclopedia
Remove ads
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 topic of this article may not meet Wikipedia's notability guideline for web content. (September 2024) |
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.[1] System on TPTP can either run user-selected systems, or pick systems automatically based on problem features, and run them in parallel.[2]
Remove ads
References
Wikiwand - on
Seamless Wikipedia browsing. On steroids.
Remove ads