Base D'Herbrand
- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Définition
La collection de toutes les formules atomiques ground (sans variables) obtenues en appliquant des symboles de prédicat à des n-uplets de termes provenant de l'univers d'Herbrand d'un langage.