Assertion: automatic sequence | /r/HasProperty | introduced by büchi
Facets:
value: in 1960
type: TEMPORAL
Source sentences:
text: Automatic sequences were introduced by Büchi in 1960, although his paper took a more logico-theoretic approach to the matter and did not use the terminology found in this article.