This HTML5 document contains 23 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
dctermshttp://purl.org/dc/terms/
dbohttp://dbpedia.org/ontology/
foafhttp://xmlns.com/foaf/0.1/
n15https://global.dbpedia.org/id/
dbthttp://dbpedia.org/resource/Template:
rdfshttp://www.w3.org/2000/01/rdf-schema#
freebasehttp://rdf.freebase.com/ns/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
owlhttp://www.w3.org/2002/07/owl#
wikipedia-enhttp://en.wikipedia.org/wiki/
dbchttp://dbpedia.org/resource/Category:
dbphttp://dbpedia.org/property/
provhttp://www.w3.org/ns/prov#
xsdhhttp://www.w3.org/2001/XMLSchema#
goldhttp://purl.org/linguistics/gold/
wikidatahttp://www.wikidata.org/entity/
dbrhttp://dbpedia.org/resource/

Statements

Subject Item
dbr:System_on_TPTP
rdf:type
dbo:Software
rdfs:label
System on TPTP
rdfs: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 can either run user-selected systems, or pick systems automatically based on problem features, and run them in parallel.
dcterms:subject
dbc:Automated_theorem_proving
dbo:wikiPageID
29466441
dbo:wikiPageRevisionID
917799115
dbo:wikiPageWikiLink
dbc:Automated_theorem_proving dbr:Geoff_Sutcliffe dbr:Automated_reasoning dbr:University_of_Miami dbr:Automated_theorem_proving
owl:sameAs
freebase:m.0ds9y_8 wikidata:Q7663739 n15:4vEgi
dbp:wikiPageUsesTemplate
dbt:Computerscience-stub dbt:Reflist
dbo: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.
gold:hypernym
dbr:Interface
prov:wasDerivedFrom
wikipedia-en:System_on_TPTP?oldid=917799115&ns=0
dbo:wikiPageLength
1155
foaf:isPrimaryTopicOf
wikipedia-en:System_on_TPTP
Subject Item
dbr:Automated_theorem_proving
dbo:wikiPageWikiLink
dbr:System_on_TPTP
Subject Item
wikipedia-en:System_on_TPTP
foaf:primaryTopic
dbr:System_on_TPTP