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 31.1 (Org mode 9.8.7)
Validate