prenex normal form
first-order formula consisting of a string of quantifiers and bound variables followed by a quantifier-free part
Wikidata: prenex normal formmathswitch — 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