Assertion: post correspondence problem | /r/HasProperty | introduced by emil post
Facets:
value: in 1946
type: TEMPORAL
Source sentences:
text: The Post correspondence problem is an undecidable decision problem that was introduced by Emil Post in 1946.