Assertion: computer's program | /r/HasProperty | stored on tape
Facets:
Source sentences:
text: He proved that such a machine is capable of computing anything that is computable by executing instructions (program) stored on tape, allowing the machine to be programmable.