Assertion: algorithm | /r/HasProperty | a pointer machine
Facets:
Source sentences:
text: A careful reading of Gurevich 2000 leads one to conclude (infer?) that he believes that "an algorithm" is actually "a Turing machine" or "a pointer machine" doing a computation.