Assertion: general purpose machine | /r/HasProperty | modeled as universal turing machine
Facets:
value: in principle
type: MANNER
Source sentences:
text: The idea that any general-purpose machine can, in principle, be modeled as a universal Turing machine also became an important principle in the context of automatic programming in the 1950s (Daylight 2015).