Proof system

http://dbpedia.org/resource/Proof_system

rdfs:label

rdf:langString Proof system

dbpedia-owl:wikiPageID

xsd:integer 31426909

dbpedia-owl:wikiPageRevisionID

xsd:integer 422848748

dbpedia-owl:wikiPageLength

xsd:nonNegativeInteger 28

dbpedia-owl:wikiPageWikiLink

<http://dbpedia.org/resource/Proof_calculus>

dbpedia-owl:wikiPageRedirects

<http://dbpedia.org/resource/Proof_calculus>

prov:wasDerivedFrom

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

foaf:isPrimaryTopicOf

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

data from the linked data cloud