System on TPTP
id:
system-on-tptp-227-949890
title:
System on TPTP
text:
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 syst
brand slug:
wiki
category slug:
encyclopedia
description:
original url:
https://en.wikipedia.org/wiki/System_on_TPTP
date created:
2010-11-04T01:31:39Z
date modified:
2024-09-15T00:37:01Z
main entity:
{"identifier":"Q7663739","url":"https://www.wikidata.org/entity/Q7663739"}
image:
fields total:
13
integrity:
14