Category: clause

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