Proof-theoretic

http://dbpedia.org/resource/Proof-theoretic

rdf:langString Proof-theoretic
xsd:integer 220033
xsd:integer 16100530
xsd:nonNegativeInteger 26

data from the linked data cloud