Presburger arithmetic can be extended to include multiplication by constants, since multiplication is repeated addition.
Die Presburger-Arithmetik lässt sich um die Multiplikation mit Konstanten erweitern, da es sich hierbei um wiederholte Addition handelt.