Assertion: signature | /r/Synonym | vocabulary
Facets:
value: in model theory
type: OTHER
value: often
type: TEMPORAL
Source sentences:
text: In model theory, a signature σ is often called a vocabulary, or identified with the (first-order) language L to which it provides the non-logical symbols.