<human>: Does "The theoretical basis for the stored-program computer was laid by Alan Turing in his 1936 paper." contain the correct answer to "The basis for the stored-program computer was written by whom?"
OPTIONS:
- yes
- no
<bot>: yes