Assertion: arithmetic | /r/HasProperty | nontheorem
Facets:
Source sentences:
text: : There exists an algorithm which decides whether any given statement in Presburger arithmetic is a theorem or a nontheorem.