Disambiguation evidence for Skolemization via surface form

"Skolem normal form"

Triples (3)

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

Thoralf Skolem → notableWork →
"Skolem normal form"
↳ resolves to Skolemization
ⓘ
Thoralf Skolem → knownFor →
"Skolem normal form"
↳ resolves to Skolemization
ⓘ
Skolemization → relatedConcept →
"Skolem normal form"
↳ resolves to Skolemization
ⓘ