Disambiguation evidence for Presburger arithmetic via surface form
"Presburger arithmetic as additive analogue"
Triples (1)
Triples where some other subject referred to this entity
as "Presburger arithmetic as additive analogue".
Skolem arithmetic
→
comparedTo
→
"Presburger arithmetic as additive analogue"
ⓘ
↳ resolves to Presburger arithmetic