Instance de base
Définition
Une formule logique ne contenant aucune variable, ou dans laquelle des constantes ou des fonctions de constantes ont été substituées à toutes les variables.
Français
instance de base
Anglais
ground instance
Contributeurs: Claire Gorjux, wiki