KnowraPresburger arithmeticLinked fromLinked fromThe 9 pages that link to Presburger arithmetic, each with the reason it gives.All 9Broader topic 2Related 3Compared with 4DecidabilityBroader topic: Its decidability is a landmark example of a nontrivial logical theory with an algorithmic solution.Quantifier eliminationBroader topic: Its formulas reduce to conditions involving linear inequalities and congruences.