Disambiguation evidence for Löwenheim–Skolem theorem (via additional arguments) via surface form
"upward Löwenheim–Skolem theorem"
Triples (1)
Triples where some other subject referred to this entity
as "upward Löwenheim–Skolem theorem".
Löwenheim–Skolem theorem
→
hasPart
→
"upward Löwenheim–Skolem theorem"
ⓘ
↳ resolves to Löwenheim–Skolem theorem (via additional arguments)