The set of all ground atoms that can be formed from predicate symbols from a clause in Skolemized form and terms from the Herbrand universe of .
Herbrand Base
See also
Ground Atom, Herbrand UniverseThis entry contributed by Alex Sakharov (author's link)
Explore with Wolfram|Alpha
Cite this as:
Sakharov, Alex. "Herbrand Base." From MathWorld--A Wolfram Web Resource, created by Eric W. Weisstein. https://mathworld.wolfram.com/HerbrandBase.html