instance close
- Domaine
-
- intelligence artificielle
- Dernière mise à jour
Définition :
Instance de littéral obtenue par substitution dans une expression de termes sans variables à des variables.
Note :
Les variables contenues dans les littéraux d'une clause sont généralement universellement quantifiées.
Terme privilégié :
- instance close n. f.
Traductions
-
anglais
Auteur : Office québécois de la langue française,Terme :
- closed instance