Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Presburger_arithmetic> ?p ?o. }
Showing items 1 to 41 of
41
with 100 items per page.
- Presburger_arithmetic abstract "Presburger arithmetic is the first-order theory of the natural numbers with addition, named in honor of Mojżesz Presburger, who introduced it in 1929. The signature of Presburger arithmetic contains only the addition operation and equality, omitting the multiplication operation entirely. The axioms include a schema of induction.Presburger arithmetic is much weaker than Peano arithmetic, which includes both addition and multiplication operations. Unlike Peano arithmetic, Presburger arithmetic is a decidable theory. This means it is possible to effectively determine, for any sentence in the language of Presburger arithmetic, whether that sentence is provable from the axioms of Presburger arithmetic. The asymptotic running-time computational complexity of this decision problem is doubly exponential, however, as shown by Fischer and Rabin (1974).".
- Presburger_arithmetic wikiPageExternalLink 125826.125848.
- Presburger_arithmetic wikiPageExternalLink 800133.804361.
- Presburger_arithmetic wikiPageExternalLink MIT-LCS-TM-043.ps.
- Presburger_arithmetic wikiPageExternalLink princess.shtml.
- Presburger_arithmetic wikiPageExternalLink priv.studies.studienarbeit.html.
- Presburger_arithmetic wikiPageID "23756".
- Presburger_arithmetic wikiPageRevisionID "605948669".
- Presburger_arithmetic hasPhotoCollection Presburger_arithmetic.
- Presburger_arithmetic subject Category:1929_introductions.
- Presburger_arithmetic subject Category:Formal_theories_of_arithmetic.
- Presburger_arithmetic subject Category:Logic_in_computer_science.
- Presburger_arithmetic subject Category:Model_theory.
- Presburger_arithmetic subject Category:Proof_theory.
- Presburger_arithmetic type Abstraction100002137.
- Presburger_arithmetic type Cognition100023271.
- Presburger_arithmetic type Explanation105793000.
- Presburger_arithmetic type FormalTheoriesOfArithmetic.
- Presburger_arithmetic type HigherCognitiveProcess105770664.
- Presburger_arithmetic type Process105701363.
- Presburger_arithmetic type PsychologicalFeature100023100.
- Presburger_arithmetic type Theory105989479.
- Presburger_arithmetic type Thinking105770926.
- Presburger_arithmetic comment "Presburger arithmetic is the first-order theory of the natural numbers with addition, named in honor of Mojżesz Presburger, who introduced it in 1929. The signature of Presburger arithmetic contains only the addition operation and equality, omitting the multiplication operation entirely. The axioms include a schema of induction.Presburger arithmetic is much weaker than Peano arithmetic, which includes both addition and multiplication operations.".
- Presburger_arithmetic label "Arithmétique de Presburger".
- Presburger_arithmetic label "Aritmética de Presburger".
- Presburger_arithmetic label "Arytmetyka Presburgera".
- Presburger_arithmetic label "Presburger arithmetic".
- Presburger_arithmetic label "Presburger-Arithmetik".
- Presburger_arithmetic label "Арифметика Пресбургера".
- Presburger_arithmetic sameAs Presburgerova_aritmetika.
- Presburger_arithmetic sameAs Presburger-Arithmetik.
- Presburger_arithmetic sameAs Arithmétique_de_Presburger.
- Presburger_arithmetic sameAs Arytmetyka_Presburgera.
- Presburger_arithmetic sameAs Aritmética_de_Presburger.
- Presburger_arithmetic sameAs m.05xzt.
- Presburger_arithmetic sameAs Q956059.
- Presburger_arithmetic sameAs Q956059.
- Presburger_arithmetic sameAs Presburger_arithmetic.
- Presburger_arithmetic wasDerivedFrom Presburger_arithmetic?oldid=605948669.
- Presburger_arithmetic isPrimaryTopicOf Presburger_arithmetic.