Assertion: logic's theorem | /r/CapableOf | provide key tools
Facets:
value: for an algorithmic analysis
type: PURPOSE
Source sentences:
text: To handle the infinitely many possible logical arguments of this expanded logic, he presented theorems that provided key tools for an algorithmic analysis (a catalog was no longer feasible).