Last Updated：2025/11/29
Sentence
Quizzes for review
To prove satisfiability, the researcher enumerated the Herbrand universe generated by the clauses and then searched for a model among its ground instances.
See correct answer
To prove satisfiability, the researcher enumerated the Herbrand universe generated by the clauses and then searched for a model among its ground instances.
音声機能が動作しない場合はこちらをご確認ください
Related words
Herbrand universe
Noun
Japanese Meaning
論理学において、『Herbrand universe』は、与えられた論理式集合に現れる定数や関数記号を用いて（再帰的にも構成可能な）全ての地の項（ground term）の集合を指します。なお、もしその論理式集合に定数が存在しない場合には、目的のためにひとつの既定の定数を採用することが規定されています。
Related Words
English - English
Word Edit Setting
- Users who have edit permission for words - All Users
- Screen new word creation
- Screen word edits
- Screen word deletion
- Screen the creation of new headword that may be duplicates
- Screen changing entry name
- Users authorized to vote on judging - Editor
- Number of votes required for decision - 1
Sentence Edit Setting
- Users who have edit permission for sentences - All Users
- Screen sentence deletion
- Users authorized to vote on judging - Editor
- Number of votes required for decision - 1
Quiz Edit Setting
- Users who have edit permission for quizzes - All Users
- Users authorized to vote on judging - Editor
- Number of votes required for decision - 1
