Skip to content

Sections

Maps Timeline Graph Cosmos Life Culture Innovation People Climate Trends Art

Browse Dictionary Books Food Places Asteroids Search

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

Presburger arithmetic · Vinony

🌐English

English Deutsch Français Italiano Polski Português Русский 한국어 日本語

Presburger arithmetic

EntityQ956059· pop 11· linked from 40 articles

Presburger arithmetic

first-order theory of the natural numbers with addition

Available in 11 languages

Français
Deutsch
日本語
Русский
Português
Italiano
Czech
Mirandese
Polski
Ukrainian

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

via Wikidata sitelinks · CC0

International Standard Book Number

Entity

computer program

digital object identifier

Technical University of Munich

Gödel's incompleteness theorems

modular arithmetic

Sign in to save

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

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