Proof checker

http://dbpedia.org/resource/Proof_checker

rdfs:label

rdf:langString Proof checker

dbpedia-owl:wikiPageID

xsd:integer 8618575

dbpedia-owl:wikiPageRevisionID

xsd:integer 853521628

dbpedia-owl:wikiPageLength

xsd:nonNegativeInteger 29

dbpedia-owl:wikiPageWikiLink

dbpedia:Proof_assistant

dbpedia-owl:wikiPageRedirects

dbpedia:Proof_assistant

prov:wasDerivedFrom

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

foaf:isPrimaryTopicOf

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

data from the linked data cloud