Disambiguation evidence for Skolemization via surface form

"Skolem functions"

Triples (2)

Triples where some other subject referred to this entity as "Skolem functions".

Löwenheim–Skolem theorem → involves →
"Skolem functions"
↳ resolves to Skolemization
ⓘ
linked to: Löwenheim–Skolem theorem (via additional arguments)
Skolemization → uses →
"Skolem functions"
↳ resolves to Skolemization
ⓘ