Assertion: instruction | /r/HasProperty | based on other arithmetic operations
Facets:
Source sentences:
text: However, it is possible to construct Turing complete machines using an instruction based on other arithmetic operations, e.g., addition.