Assertion: algorithm's operation | /r/HasProperty | required for that task
Facets:
Source sentences:
text: This algorithm disproved Andrey Kolmogorov's 1956 conjecture that Ω ( n 2 ) {\displaystyle \Omega (n^{2})} operations would be required for that task.