Proof calculi

http://dbpedia.org/resource/Proof_calculi

rdf:langString Proof calculi
xsd:integer 1250667
xsd:integer 882759308
xsd:nonNegativeInteger 60
<http://dbpedia.org/resource/Proof_calculus>
<http://dbpedia.org/resource/Proof_calculus>
<http://dbpedia.org/resource/Template:R_from_plural>
<http://dbpedia.org/resource/Template:Rcatsh>
<http://en.wikipedia.org/wiki/Proof_calculi?oldid=882759308&ns=0>
<http://en.wikipedia.org/wiki/Proof_calculi>

data from the linked data cloud