Assertion: automated reasoning | /r/ObjectUse | used for application
Facets:
value: in engineering
type: LOCATION
value: in mathematics
type: OTHER
value: in non-mathematical purposes
type: PURPOSE
value: in computer science
type: LOCATION
Source sentences:
text: Automated reasoning can also be used for applications in mathematics, engineering, computer science or non-mathematical purposes such as asking questions in exact philosophy.