Proof (logic)

http://dbpedia.org/resource/Proof_(logic)

rdf:langString Proof (logic)
xsd:integer 27969305
xsd:integer 372287742
xsd:nonNegativeInteger 26

data from the linked data cloud