Theorems
http://dbpedia.org/resource/Theorems
rdf:langString
Theorems
xsd:integer
1096077
xsd:integer
941933699
xsd:nonNegativeInteger
57