prenex normal form
Sign in to savefirst-order formula consisting of a string of quantifiers and bound variables followed by a quantifier-free part
Wikidata facts
- Instance of
- canonical form
Show 2 more facts
- facet of
- first-order logic
- maintained by WikiProject
- WikiProject Mathematics
Sources (1)
via Wikidata · CC0