Presburger arithmetic
type: Concept
broader: arithmetic (logic)
preferred label: حساب پرسبرگر @fa

arithmetic (logic)
type: Concept
narrower: Presburger arithmetic
preferred label: حساب (منطق) @fa