Herbrand functions

活用形複数形

plural of Herbrand function

日本語の意味

「Herbrand functions」は「Herbrand function」の複数形であり、英語の文法において複数のHerbrand関数を指します。

When constructing models of first-order theories, researchers often compute Herbrand functions to witness existential statements.

一階理論のモデルを構築する際、研究者はしばしば存在命題を示すためにハーブランド関数の複数形を計算する。

意味（1）

plural of Herbrand function