Literals resolved upon


De DataFranca

en construction


Définition

xxxxxxx

Français

xxxxxxx

Anglais

literals resolved upon

in performing resolution, the two literals of opposite sign (one from each clause) that are unified and then removed in forming the result clause.


Source : UTexas Artificial Intelligence Vocabulary

Contributeurs : Pitpitt