Herbrand functions

form-of plural

plural of Herbrand function

Japanese Meaning

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

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

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

Sense（1）

plural of Herbrand function