https://everything2.com/title/Prenex+and+Skolem+normal+forms
Prenex and Skolem normal forms
When working with sentences in predicate logic it is generally useful to rewrite in a normal form which (as rp observes in the writeup of that title)...
prenexskolemnormalforms
https://deepai.org/publication/beyond-q-resolution-and-prenex-form-a-proof-system-for-quantified-constraint-satisfaction
Beyond Q-Resolution and Prenex Form: A Proof System for Quantified Constraint Satisfaction | DeepAI
Mar 2, 2014 - 03/02/14 - We consider the quantified constraint satisfaction problem (QCSP) which is to decide, given a structure and a first-order sentence...