First-order arithmetic

http://dbpedia.org/resource/First-order_arithmetic

rdf:langString First-order arithmetic
xsd:integer 6511192
xsd:integer 1064440372
xsd:nonNegativeInteger 86
<http://dbpedia.org/resource/List_of_first-order_theories>
<http://dbpedia.org/resource/List_of_first-order_theories>
<http://www.wikidata.org/entity/Q108377928>
<https://global.dbpedia.org/id/G81hZ>
<http://dbpedia.org/resource/Template:Redirect_with_possibilities>
<http://en.wikipedia.org/wiki/First-order_arithmetic?oldid=1064440372&ns=0>
<http://en.wikipedia.org/wiki/First-order_arithmetic>

data from the linked data cloud