Proof-theoretic
http://dbpedia.org/resource/Proof-theoretic
rdf:langString
Proof-theoretic
xsd:integer
220033
xsd:integer
16100530
xsd:nonNegativeInteger
26