Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Presburger_arithmetic> ?p ?o }
- 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 algorithmically 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 & Rabin (1974).".
- Presburger_arithmetic wikiPageExternalLink presburger.pdf.
- Presburger_arithmetic wikiPageExternalLink MIT-LCS-TM-043.ps.
- Presburger_arithmetic wikiPageExternalLink 125826.125848.
- Presburger_arithmetic wikiPageExternalLink 800133.804361.
- Presburger_arithmetic wikiPageExternalLink princess.shtml.
- Presburger_arithmetic wikiPageExternalLink pdf?md5=0415089a2d692fcece18b43b5f63c67d&pid=1-s2.0-0022000078900211-main.pdf.
- Presburger_arithmetic wikiPageExternalLink priv.studies.studienarbeit.html.
- Presburger_arithmetic wikiPageID "23756".
- Presburger_arithmetic wikiPageLength "10592".
- Presburger_arithmetic wikiPageOutDegree "51".
- Presburger_arithmetic wikiPageRevisionID "675288987".
- Presburger_arithmetic wikiPageWikiLink Academic_Press.
- Presburger_arithmetic wikiPageWikiLink Addition.
- Presburger_arithmetic wikiPageWikiLink Algorithm.
- Presburger_arithmetic wikiPageWikiLink Analysis_of_algorithms.
- Presburger_arithmetic wikiPageWikiLink Automated_theorem_proving.
- Presburger_arithmetic wikiPageWikiLink Automatic_theorem_prover.
- Presburger_arithmetic wikiPageWikiLink Axiom_schema.
- Presburger_arithmetic wikiPageWikiLink Category:1929_introductions.
- Presburger_arithmetic wikiPageWikiLink Category:Formal_theories_of_arithmetic.
- Presburger_arithmetic wikiPageWikiLink Category:Logic_in_computer_science.
- Presburger_arithmetic wikiPageWikiLink Category:Model_theory.
- Presburger_arithmetic wikiPageWikiLink Category:Proof_theory.
- Presburger_arithmetic wikiPageWikiLink Completeness_(logic).
- Presburger_arithmetic wikiPageWikiLink Computation.
- Presburger_arithmetic wikiPageWikiLink Computational_complexity_theory.
- Presburger_arithmetic wikiPageWikiLink Computer_program.
- Presburger_arithmetic wikiPageWikiLink Computer_programs.
- Presburger_arithmetic wikiPageWikiLink Consistency.
- Presburger_arithmetic wikiPageWikiLink Consistency_proof.
- Presburger_arithmetic wikiPageWikiLink Coq.
- Presburger_arithmetic wikiPageWikiLink Correctness_(computer_science).
- Presburger_arithmetic wikiPageWikiLink Decidability_(logic).
- Presburger_arithmetic wikiPageWikiLink Decision_problem.
- Presburger_arithmetic wikiPageWikiLink Divisibility.
- Presburger_arithmetic wikiPageWikiLink Divisibility_rule.
- Presburger_arithmetic wikiPageWikiLink Double_exponential_function.
- Presburger_arithmetic wikiPageWikiLink Entscheidungsproblem.
- Presburger_arithmetic wikiPageWikiLink First-order_logic.
- Presburger_arithmetic wikiPageWikiLink First-order_predicate_calculus.
- Presburger_arithmetic wikiPageWikiLink Gentzens_consistency_proof.
- Presburger_arithmetic wikiPageWikiLink Gxc3xb6dels_incompleteness_theorem.
- Presburger_arithmetic wikiPageWikiLink Gxc3xb6dels_incompleteness_theorems.
- Presburger_arithmetic wikiPageWikiLink Integer_programming.
- Presburger_arithmetic wikiPageWikiLink Isabelle_(proof_assistant).
- Presburger_arithmetic wikiPageWikiLink Jeanne_Ferrante.
- Presburger_arithmetic wikiPageWikiLink Mathematical_Induction.
- Presburger_arithmetic wikiPageWikiLink Mathematical_induction.
- Presburger_arithmetic wikiPageWikiLink Michael_J._Fischer.
- Presburger_arithmetic wikiPageWikiLink Michael_O._Rabin.
- Presburger_arithmetic wikiPageWikiLink Mojżesz_Presburger.
- Presburger_arithmetic wikiPageWikiLink Natural_number.
- Presburger_arithmetic wikiPageWikiLink Peano_arithmetic.
- Presburger_arithmetic wikiPageWikiLink Peano_axioms.
- Presburger_arithmetic wikiPageWikiLink Prime_number.
- Presburger_arithmetic wikiPageWikiLink Quantifier_elimination.
- Presburger_arithmetic wikiPageWikiLink Robinson_arithmetic.
- Presburger_arithmetic wikiPageWikiLink Satisfiability_Modulo_Theories.
- Presburger_arithmetic wikiPageWikiLink Satisfiability_modulo_theories.
- Presburger_arithmetic wikiPageWikiLink Signature_(logic).
- Presburger_arithmetic wikiPageWikiLink Signature_(mathematical_logic).
- Presburger_arithmetic wikiPageWikiLink Simplex_algorithm.
- Presburger_arithmetic wikiPageWikiLink Spec_Sharp.
- Presburger_arithmetic wikiPageWikiLink Spec_sharp.
- Presburger_arithmetic wikiPageWikiLink Springer-Verlag.
- Presburger_arithmetic wikiPageWikiLink Springer_Science+Business_Media.
- Presburger_arithmetic wikiPageWikiLink Stanford_Pascal_Verifier.
- Presburger_arithmetic wikiPageWikiLink Universal_closure.
- Presburger_arithmetic wikiPageWikiLink Universal_quantification.
- Presburger_arithmetic wikiPageWikiLink William_Pugh.
- Presburger_arithmetic wikiPageWikiLinkText "Presburger arithmetic".
- Presburger_arithmetic wikiPageWikiLinkText "Presburger".
- Presburger_arithmetic wikiPageWikiLinkText "Presburger’s decision procedure".
- Presburger_arithmetic hasPhotoCollection Presburger_arithmetic.
- Presburger_arithmetic wikiPageUsesTemplate Template:Cite_book.
- Presburger_arithmetic wikiPageUsesTemplate Template:Cite_journal.
- Presburger_arithmetic wikiPageUsesTemplate Template:Cite_report.
- Presburger_arithmetic wikiPageUsesTemplate Template:Harvtxt.
- 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 hypernym Theory.
- Presburger_arithmetic type Book.
- Presburger_arithmetic type Proof.
- Presburger_arithmetic type Theory.
- 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 "Presburger arithmetic".
- Presburger_arithmetic sameAs Presburgerova_aritmetika.
- Presburger_arithmetic sameAs Presburger-Arithmetik.
- Presburger_arithmetic sameAs Arithmétique_de_Presburger.
- Presburger_arithmetic sameAs プレスバーガー算術.
- Presburger_arithmetic sameAs Arytmetyka_Presburgera.
- Presburger_arithmetic sameAs Aritmética_de_Presburger.
- Presburger_arithmetic sameAs m.05xzt.
- Presburger_arithmetic sameAs Арифметика_Пресбургера.
- Presburger_arithmetic sameAs Арифметика_Пресбургера.
- Presburger_arithmetic sameAs Q956059.