Assertion: presburger arithmetic | /r/HasProperty | decidable theory
Facets:
value: unlike peano
type: OTHER
Source sentences:
text: Unlike Peano arithmetic, Presburger arithmetic is a decidable theory.