Assertion: stratification | /r/CapableOf | predicate symbol
Facets:
Source sentences:
text: In mathematical logic, stratification is any consistent assignment of numbers to predicate symbols guaranteeing that a unique formal interpretation of a logical theory exists.