🌐EnglishEnglishDeutschEspañolFrançaisItalianoNederlandsPolskiPortuguês한국어中文日本語EntityQ281854· pop 13· linked from 44 articlesprenex normal formfirst-order formula consisting of a string of quantifiers and bound variables followed by a quantifier-free partAvailable in 13 languagesEspañolFrançaisDeutsch中文日本語PortuguêsItalianoCatalanHungarianNederlandsPolskiConnectionsfirst-order logicEntityquantifierEntityCategoriesNormal forms (logic)