エルブラン化
論理式のエルブラン化（英: Herbrandization）とは、論理式のスコーレム化の双対となる構成である。 ジャック・エルブランに因む。
論理式のエルブラン化（英: Herbrandization）とは、論理式のスコーレム化の双対となる構成である。 ジャック・エルブランに因む。
論理式のエルブラン化（英: Herbrandization）とは、論理式のスコーレム化の双対となる構成である。 ジャック・エルブランに因む。
出典: Wikipedia「エルブラン化」 · CC BY-SA 4.0
この記事を共有: X · Bluesky