Presburger arithmetic

E2065194 UNEXPLORED

Presburger arithmetic is the first-order theory of natural numbers with addition (but without multiplication), notable for being complete, consistent, and decidable.

Try in SPARQL Jump to: Surface forms Referenced by

All labels observed (2)

Label	Occurrences
Presburger arithmetic canonical	1
Presburger arithmetic as additive analogue	1

Referenced by (2)

Full triples — surface form annotated when it differs from this entity's canonical label.

Skolem arithmetic → contrastWith → Presburger arithmetic ⓘ

Skolem arithmetic → comparedTo → Presburger arithmetic as additive analogue ⓘ

linked to: Presburger arithmetic