Skolemization


De DataFranca

en construction


Définition

xxxxxxx

Français

xxxxxxx

Anglais

Skolemization

the process of eliminating existential quantifiers by replacing them with Skolem constants and Skolem functions.


Source : UTexas Artificial Intelligence Vocabulary

Contributeurs : admin
Vous devez demander un compte pour contribuer à cette page.