Assertion: similar algorithm | /r/HasProperty | coded by two-dimensional turing machine
Facets:
Source sentences:
text: Independently, in 1969, Matiyasevich discovered a similar algorithm, coded by a two-dimensional Turing machine, while studying a string-pattern-matching recognition problem over a binary alphabet.