Instance de base
en construction
Définition
xxxxxxx
Français
xxxxxxx
Anglais
ground instance
a logical formula containing no variables, or in which constants or functions of constants have been substituted for all variables.
Contributeurs: Claire Gorjux, wiki