Graph View
All Domains
All Tags
#herbrand
4 topics
Formal Sciences And Logic
Ground Terms and Ground Formulas
College
Herbrand Universe and Herbrand Base
Graduate
Herbrand Universe and Herbrand Models
Graduate
Skolem Functions and Witness Functions
Research