herbrand function

From WikiWord

English

Pronunciation

No pronunciation has been added yet.

No definition found for “herbrand function”. Check the spelling, or try a related word.

Related terms

Synonyms

herbrandization herbrand's theorem herbrand universe skolem function quantifier all-operator boolean function switching function literal valuation function skolemisation not function skolemization barcan formula universal quantifier hyperfunction

References