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