Prenex_normal_form
(no description is available)
MathWorld: PrenexNormalFormWikipedia (English): Prenex_normal_form
mathswitch — infrastructure for relaying and exchanging mathematical concepts
(no description is available)
MathWorld: PrenexNormalForm