Herbrand base

GPTKB entity

Statements (16)
Predicate Object
gptkbp:instanceOf gptkb:mathematical_concept
gptkbp:category gptkb:logic
logic in computer science
gptkbp:defines the set of all ground (variable-free) atoms that can be formed from the predicate symbols and constants of a first-order language
gptkbp:field gptkb:logic
automated reasoning
https://www.w3.org/2000/01/rdf-schema#label Herbrand base
gptkbp:namedAfter gptkb:Jacques_Herbrand
gptkbp:relatedTo gptkb:first-order_logic
gptkb:Herbrand_universe
model theory
gptkbp:usedIn gptkb:Prolog
automated theorem proving
logic programming
gptkbp:bfsParent gptkb:Herbrand's_theorem
gptkbp:bfsLayer 7