## prenex normal form

first-order formula consisting of a string of quantifiers and bound variables followed by a quantifier-free part

Wikidata: prenex normal form**mathswitch** — infrastructure for relaying and exchanging mathematical concepts

first-order formula consisting of a string of quantifiers and bound variables followed by a quantifier-free part

Wikidata: prenex normal form