Formal reasoning

http://dbpedia.org/resource/Formal_reasoning

rdf:langString Formal reasoning
xsd:integer 2211178
xsd:integer 400843407
xsd:nonNegativeInteger 20

data from the linked data cloud