Herbrand-Basis

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Die Sammlung aller ground-atomaren Formeln (Variabelfreie Atome), die durch Anwendung von Prädikatsymbolen auf Tupel von Termen aus dem Herbrand-Universum gebildet werden können.