Matches in DBpedia 2016-04 for { <http://wikidata.dbpedia.org/resource/Q5358906> ?p ?o }
Showing triples 1 to 28 of
28
with 100 triples per page.
- Q5358906 subject Q6248542.
- Q5358906 subject Q7452060.
- Q5358906 abstract "In proof theory, a branch of mathematical logic, elementary function arithmetic, also called EFA, elementary arithmetic and exponential function arithmetic, is the system of arithmetic with the usual elementary properties of 0, 1, +, ×, xy, together with induction for formulas with bounded quantifiers.EFA is a very weak logical system, whose proof theoretic ordinal is ω3, but still seems able to prove much of ordinary mathematics that can be stated in the language of first-order arithmetic.".
- Q5358906 wikiPageExternalLink 003014.html.
- Q5358906 wikiPageExternalLink sosoa.
- Q5358906 wikiPageWikiLink Q1166618.
- Q5358906 wikiPageWikiLink Q1259393.
- Q5358906 wikiPageWikiLink Q1295910.
- Q5358906 wikiPageWikiLink Q132469.
- Q5358906 wikiPageWikiLink Q1336170.
- Q5358906 wikiPageWikiLink Q178377.
- Q5358906 wikiPageWikiLink Q2005236.
- Q5358906 wikiPageWikiLink Q3527155.
- Q5358906 wikiPageWikiLink Q5323278.
- Q5358906 wikiPageWikiLink Q5612503.
- Q5358906 wikiPageWikiLink Q564426.
- Q5358906 wikiPageWikiLink Q6248542.
- Q5358906 wikiPageWikiLink Q7100782.
- Q5358906 wikiPageWikiLink Q7243580.
- Q5358906 wikiPageWikiLink Q7452060.
- Q5358906 wikiPageWikiLink Q7686759.
- Q5358906 wikiPageWikiLink Q842755.
- Q5358906 wikiPageWikiLink Q852732.
- Q5358906 wikiPageWikiLink Q912887.
- Q5358906 wikiPageWikiLink Q928884.
- Q5358906 wikiPageWikiLink Q951297.
- Q5358906 comment "In proof theory, a branch of mathematical logic, elementary function arithmetic, also called EFA, elementary arithmetic and exponential function arithmetic, is the system of arithmetic with the usual elementary properties of 0, 1, +, ×, xy, together with induction for formulas with bounded quantifiers.EFA is a very weak logical system, whose proof theoretic ordinal is ω3, but still seems able to prove much of ordinary mathematics that can be stated in the language of first-order arithmetic.".
- Q5358906 label "Elementary function arithmetic".