Mécanisme D'Instantiation

Une procédure qui crée des instances ground de formules quantifiées ou de règles schématiques en substituant des termes aux variables afin de permettre l'application de raisonnements propositionnels ou de procédures de décision au niveau ground.