Herbrand expansion

Herbrand expansion is a method in mathematical logic that transforms first-order formulas into equivalent (often infinite) propositional combinations by systematically instantiating quantified variables with terms from the Herbrand universe.

Referenced by (1)

Full triples — surface form annotated when it differs from this entity's canonical label.