Recursively enumerable sets of positive integers and their decision problems (1944)

GPTKB entity