Assertion: triviality | /r/HasProperty | established by finite procedure
Facets:
Source sentences:
text: Yet as Meyer proved, the non-triviality of T(n) can be established in T(n) by a finite procedure.