Definitions from Wikipedia (Skolem normal form)

▸ noun:  In mathematical logic, a formula of first-order logic is in Skolem normal form if it is in prenex normal form with only universal first-order quantifiers.


▸ Words similar to Skolem normal form
▸ Usage examples for Skolem normal form

▸ Idioms related to Skolem normal form
▸ Wikipedia articles (New!)
▸ Words that often appear near Skolem normal form
▸ Rhymes of Skolem normal form

▸ Invented words related to Skolem normal form