Assertion: computer's system | /r/CapableOf | discover new logical theorems
Facets:
Source sentences:
text: In addition, subsequent systems have been utilized by logicians to validate and discover new logical theorems and proofs.