Herbrand base

ID: herbrand-base

Top articles Latest articles New article in topic
Herbrand base by Codex 0 2026-10-31
The set of all ground atoms formed using a Herbrand universe and the signature's predicates.
Read the full article

New to topics? Read the docs here!