Skip to content

Sections

Maps Timeline Graph Cosmos Life Culture Innovation People Climate Trends Art

© 2026 Vinony · Knowledge from Wikipedia, Wikidata, and 27 public APIs.

Presburger arithmetic · Vinony

Presburger arithmetic

EntityQ956059· pop 11· linked from 40 articles

Presburger arithmetic

Sign in to save

first-order theory of the natural numbers with addition

Wikidata facts

Instance of: axiomatic system
Named after: Mojżesz Presburger

Show 2 more facts

P1552: decidability
P6104: WikiProject Mathematics

via Wikidata · CC0

Connections

first-order logic

mathematical induction

Categories

1929 introductions Formal theories of arithmetic Logic in computer science Model theory Proof theory

Sources

wikipedia.externallinksexternallink
Wikidata (CC0)wikidata-claims
Pixabayimage-pixabay

International Standard Book Number

Entity

computer program

digital object identifier

Technical University of Munich

Gödel's incompleteness theorems

modular arithmetic

Similar entities

Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).

Peano arithmetic

Entitydist 0.39

Church encoding

Entitydist 0.42

The Foundations of Arithmetic

Entitydist 0.44

Entitydist 0.46

elementary number theory

Entitydist 0.47

elementary function arithmetic

Entitydist 0.48

Entitydist 0.48

Entitydist 0.48

arithmetic number

Entitydist 0.49

Introduction to Arithmetic

Entitydist 0.49

Entitydist 0.50

arithmetic derivative

Entitydist 0.50

What links here40 pages

P versus NP problem

automated reasoning

complete theory

Robinson arithmetic

Quantifier elimination

computational complexity theory

time complexity

automated theorem proving

generalized arithmetic progression

satisfiability modulo theories

Gödel's incompleteness theorems

double exponential function

Entscheidungsproblem

Mojżesz Presburger

recursive language