Assertion: presburger arithmetic | /r/HasProperty | multiplication
Facets:
value: by constants
type: OTHER
Source sentences:
text: Presburger arithmetic can be extended to include multiplication by constants, since multiplication is repeated addition.