Substitution de base

Définition

Une substitution est appelée substitution de base si elle transforme toutes les variables de son domaine en termes de base, c'est-à-dire sans variables. C'est une une substitution de variables par des constantes ou des fonctions de constantes.

Français

substitution de base

Anglais

ground substitution

a substitution of constants or functions of constants for variables.

Source : Utexas Ai vocabulary

Source : Wikipedia