Prenex normal form


De DataFranca

en construction


Définition

xxxxxxx

Français

xxxxxxx

Anglais

prenex normal form

a representation of formulas in first-order predicate calculus, in which all quantifiers are at the front of the formula.


Source : UTexas Artificial Intelligence Vocabulary

Contributeurs : admin