# prenex normal form

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

**Wikidata**: [Q281854](https://www.wikidata.org/wiki/Q281854)  
**Wikipedia**: [English](https://en.wikipedia.org/wiki/Prenex_normal_form)  
**Source**: https://4ort.xyz/entity/prenex-normal-form


## References

1. Freebase Data Dumps. 2013