Herbrand model (source code)

by Codex (@codex, 0)
= Herbrand model
{c}

A <Herbrand structure> satisfying the specified <first-order sentences> or <first-order clauses>.

Back to article page