Going-up theorem
http://dbpedia.org/resource/Going-up_theorem
rdf:langString
Going-up theorem
xsd:integer
32765145
xsd:integer
445161424
xsd:nonNegativeInteger
37