Assertion: algorithm | /r/HasProperty | implemented by some turing machine
Facets:
value: under these conditions
type: TEMPORAL
Source sentences:
text: If so, then, yes, under these conditions, any algorithm can be implemented by some Turing machine.