Category: clause

we tend to outline the notions of Herbrand interpretation and Herbrand model. An expression (term