Skolem normal form
Formalism of first-order logic
Wikidata: Skolem normal formWikipedia (English): Skolem_normal_form
MathWorld: SkolemizedForm
mathswitch — infrastructure for relaying and exchanging mathematical concepts
Formalism of first-order logic
Wikidata: Skolem normal form