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