Disambiguation evidence for Robinson arithmetic via surface form

"Robinson arithmetic"

Triples (1)

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

Peano arithmetic → isStrongerThan →
"Robinson arithmetic"
↳ resolves to Robinson arithmetic
ⓘ