Assertion: quantifier | /r/HasProperty | important
Facets:
value: in model theory
type: OTHER
Source sentences:
text: Quantifiers are important in model theory because they express in a sense the complexity of a formula (see for example Quantifier elimination).