Herbrand universe

English

Named after Jacques Herbrand (1908–1931), French mathematician.

Herbrand universe (plural Herbrand universes)

(logic) The set of all ground terms that may be formed (even recursively) using any of the constants and functions which appear in a given set of formulae. (If there is no constant in that given set of formulae, then designate one default constant as being usable for the aforementioned purpose.)

单词	Herbrand universe
释义	Herbrand universe English Etymology Named after Jacques Herbrand (1908–1931), French mathematician. Noun Herbrand universe (plural Herbrand universes) (logic) The set of all ground terms that may be formed (even recursively) using any of the constants and functions which appear in a given set of formulae. (If there is no constant in that given set of formulae, then designate one default constant as being usable for the aforementioned purpose.)
随便看	denuntiationi denuntiationibus denuntiationis denuntiationum denuntiatis denuntiato denuntiator denuntiatorum denuntiatos denuntiatote denuntiatu denuntiatum denuntiatur denuntiatura denuntiaturae denuntiaturam denuntiaturarum denuntiaturas denuntiature denuntiaturi denuntiaturis denuntiaturo denuntiaturorum denuntiaturos denuntiaturum