Automatic theorem prover

http://dbpedia.org/resource/Automatic_theorem_prover

rdfs:label

rdf:langString Automatic theorem prover

dbpedia-owl:wikiPageID

xsd:integer 4292221

dbpedia-owl:wikiPageRevisionID

xsd:integer 42429246

dbpedia-owl:wikiPageLength

xsd:nonNegativeInteger 39

dbpedia-owl:wikiPageWikiLink

dbpedia:Automated_theorem_proving

dbpedia-owl:wikiPageRedirects

dbpedia:Automated_theorem_proving

prov:wasDerivedFrom

<http://en.wikipedia.org/wiki/Automatic_theorem_prover?oldid=42429246&ns=0>

foaf:isPrimaryTopicOf

<http://en.wikipedia.org/wiki/Automatic_theorem_prover>

data from the linked data cloud