Presburger arithmetic
first-order theory of the natural numbers with addition
Press Enter · cited answer in seconds
0 sources
Presburger arithmetic
Summary
Presburger arithmetic is an axiomatic system[1]. It draws 148 Wikipedia views per month (axiomatic_system category, ranking #2 of 12).[2]
Key Facts
- Presburger arithmetic's instance of is recorded as axiomatic system[3].
- Mojżesz Presburger is named after Presburger arithmetic[4].
- Presburger arithmetic's Freebase ID is recorded as /m/05xzt[5].
- Presburger arithmetic's has characteristic is recorded as decidability[6].
- Presburger arithmetic's MathWorld ID is recorded as PresburgerArithmetic[7].
- Presburger arithmetic's Quora topic ID is recorded as Presburger-Arithmetic[8].
- Presburger arithmetic's nLab ID is recorded as Presburger arithmetic[9].
- Presburger arithmetic's maintained by WikiProject is recorded as WikiProject Mathematics[10].
- Presburger arithmetic's Microsoft Academic ID is recorded as 5852641[11].
- Presburger arithmetic's OpenAlex ID is recorded as C5852641[12].
Why It Matters
Presburger arithmetic draws 148 Wikipedia views per month (axiomatic_system category, ranking #2 of 12).[2] It has Wikipedia articles in 10 language editions, a strong signal of global cultural recognition.[13] It is known by 4 alternative names across languages and contexts.[14]