Formal reasoning
http://dbpedia.org/resource/Formal_reasoning
rdf:langString
Formal reasoning
xsd:integer
2211178
xsd:integer
400843407
xsd:nonNegativeInteger
20