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