Assertion: predicate | /r/HasProperty | defined in presburger
Facets:
Source sentences:
text: It is decidable whether a predicate defined in Presburger arithmetic is regular.