Assertion: dissertation | /r/CapableOf | defend the two theses
Facets:
Source sentences:
text: Turing thesis in his correction of Turing's paper "The Word Problem in Semi-Groups with Cancellation", defend, and express the two "theses" and then "identify" them (show equivalence) by use of his Theorem XXX: