 |
| Subject | English | German |
| AI. | prenex form | PNF (alle Quantoren stehen am Beginn der Formel) |
| AI. | prenex form | pränexe Normalform |
| IT | prenex normal form | PRENEX-Normalform |
| AI. | prenex normal form | PNF (alle Quantoren stehen am Beginn der Formel) |
| AI. | prenex normal form | pränexe Normalform |