Named after Jacques <span class="searchmatch">Herbrand</span> (1908–1931), French mathematician. <span class="searchmatch">Herbrand</span> <span class="searchmatch">function</span> (plural <span class="searchmatch">Herbrand</span> <span class="searchmatch">functions</span>) (logic) A <span class="searchmatch">function</span> which replaces a variable...
<span class="searchmatch">Herbrand</span> <span class="searchmatch">functions</span> plural of <span class="searchmatch">Herbrand</span> <span class="searchmatch">function</span>...
on: <span class="searchmatch">Herbrand</span> Wikipedia Borrowed from German <span class="searchmatch">Herbrand</span>. <span class="searchmatch">Herbrand</span> (plural <span class="searchmatch">Herbrands</span>) A surname from German. <span class="searchmatch">Herbrand</span> <span class="searchmatch">function</span> Herbrandization <span class="searchmatch">Herbrand</span>-Ribet...
which lies in the scope of an even number of logical negations with a <span class="searchmatch">Herbrand</span> <span class="searchmatch">function</span>, and (3) replace any variable bound by an existential quantifier which...
negations; such <span class="searchmatch">function</span> is a <span class="searchmatch">function</span> of the remaining bound variables whose scope contain the given variable (being replaced). <span class="searchmatch">Herbrand</span> <span class="searchmatch">function</span> Skolemization...
algebra Wikipedia Named after Jacques <span class="searchmatch">Herbrand</span> (1908–1931), French mathematician. <span class="searchmatch">Herbrand</span> universe (plural <span class="searchmatch">Herbrand</span> universes) (logic) The set of all ground...
<span class="searchmatch">function</span> Gompertz <span class="searchmatch">function</span> graphon Hammett acidity <span class="searchmatch">function</span> Hann <span class="searchmatch">function</span> hash <span class="searchmatch">function</span> Heaviside unit <span class="searchmatch">function</span> Helmholtz <span class="searchmatch">function</span> <span class="searchmatch">Herbrand</span> <span class="searchmatch">function</span> higher-order...