Disambiguation evidence for Kripke–Platek set theory via surface form
"Kripke–Platek set theory with Infinity"
Triples (1)
Triples where some other subject referred to this entity
as "Kripke–Platek set theory with Infinity".
Kripke–Platek set theory
→
hasVariant
→
"Kripke–Platek set theory with Infinity"
ⓘ
↳ resolves to Kripke–Platek set theory