Assertion: logic | /r/HasAspect | many applications
Facets:
value: in computer science
type: LOCATION
value: in theoretical math
type: OTHER
Source sentences:
text: For this reason, the logic has many applications in theoretical math and computer science.
text: Logics with both inner and outer quantifiers have various applications.