أرسل هذا في رسالة قصيرة: Quantifier elimination for counting extensions of Presburger arithmetic