Proof (logic)
http://dbpedia.org/resource/Proof_(logic)
rdf:langString
Proof (logic)
xsd:integer
27969305
xsd:integer
372287742
xsd:nonNegativeInteger
26