mathswitch — infrastructure for relaying and exchanging mathematical concepts

Skolem normal form

formalism of first-order logic

Wikidata: Skolem normal form
Wikipedia (English): Skolem normal form
MathWorld: SkolemizedForm