Assertion: colossus's time | /r/HasProperty | available
Facets:
Source sentences:
text: The Church-Turing thesis says that all Turing complete machines are equivalent - if sufficient time and memory is available.