Intuitively, a Herbrand structure over a signature is a structure built entirely out of the elements of .
Author: Nicholas Coltharp (mail@heraplem.xyz)
Last modified: 2026-05-25 Mon 23:24
Emacs 30.2 (Org mode 9.7.11)
Validate