Herbrand universe

名词 n.
中文释义

英文释义

名词 n.
  1. 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 universes plural

词源

Named after Jacques Herbrand (1908–1931), French mathematician.
5 次浏览 数据来源: Wiktionary