en herbrand function (n)
― RelatedTo ⟶
Weight: 1.0
en herbrandization Source: English Wiktionary
en herbrand function (n)
― RelatedTo ⟶
Weight: 1.0
en universal quantifier Source: English Wiktionary