Herbrand universe
An abnormality in the power quality that is being delivered to a system.
(obsolete) A pudding with meat baked in it.
plural of Sheffler
(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.)
充足可能性を証明するために、研究者は節に出現する定数と関数記号を用いて（再帰的に）作ることのできるすべての地の項の集合を列挙し、その地のインスタンスの中からモデルを探索した。
アカウントを持っていませんか？ 新規登録
アカウントを持っていますか？ ログイン
DiQt（ディクト）
無料
★★★★★★★★★★
