Takeuti conjecture
http://dbpedia.org/resource/Takeuti_conjecture
rdf:langString
Takeuti conjecture
xsd:integer
28939888
xsd:integer
777599991
xsd:nonNegativeInteger
112