## 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 formWikipedia (English): Skolem_normal_form

MathWorld: SkolemizedForm