Yuri Matiyasevich

GPTKB entity