Disambiguation evidence for Skolemization via surface form

"Skolemization"

Triples (5)

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

Herbrand's theorem → relatedTo →
"Skolemization"
↳ resolves to Skolemization
ⓘ
Thoralf Skolem → notableWork →
"Skolemization"
↳ resolves to Skolemization
ⓘ
Thoralf Skolem → knownFor →
"Skolemization"
↳ resolves to Skolemization
ⓘ
Henkin construction → relatedTo →
"Skolemization"
↳ resolves to Skolemization
ⓘ
Logic for Computer Science: Foundations of Automatic Theorem Proving → hasSubject →
"Skolemization"
↳ resolves to Skolemization
ⓘ
linked to: "Logic for Computer Science: Foundations of Automatic Theorem Proving"