Assertion: order logic | /r/ObjectUse | used in computer science
Facets:
value: commonly
type: TEMPORAL
Source sentences:
text: Although first-order logic is sufficient for formalizing much of mathematics, and is commonly used in computer science and other fields, it has certain limitations.