Disambiguation evidence for Presburger arithmetic via surface form

"Presburger arithmetic"

Triples (1)

Triples where some other subject referred to this entity as "Presburger arithmetic".

Skolem arithmetic → contrastWith →
"Presburger arithmetic"
↳ resolves to Presburger arithmetic
ⓘ