Skolem function

E2000133 UNEXPLORED

A Skolem function is a mathematical function introduced during Skolemization to eliminate existential quantifiers by replacing them with function terms dependent on universally quantified variables.

Try in SPARQL Jump to: Surface forms Referenced by

All labels observed (1)

Label	Occurrences
Skolem function canonical	1

Referenced by (1)

Full triples — surface form annotated when it differs from this entity's canonical label.

Skolemization → relatedConcept → Skolem function ⓘ