Disambiguation evidence for Kripke–Platek set theory via surface form

"Kripke–Platek set theory without Infinity"

Triples (1)

Triples where some other subject referred to this entity as "Kripke–Platek set theory without Infinity".

Kripke–Platek set theory → hasVariant →
"Kripke–Platek set theory without Infinity"
↳ resolves to Kripke–Platek set theory
ⓘ