Assertion: automated reasoning | /r/ObjectUse | used with deductive reasoning
Facets:
value: mostly
type: DEGREE
Source sentences:
text: Uses Automated reasoning is mostly used with deductive reasoning to find, check and verify mathematical proofs using a computing system.