Question: Are Yuri Matiyasevich and Mikhail Kravchuk both mathematicians?
Sentence (from "Yuri Matiyasevich"): Yuri Vladimirovich Matiyasevich, (Russian: Ю́рий Влади́мирович Матиясе́вич ; born March 2, 1947, in Leningrad) is a Russian mathematician and computer scientist.
Relevant evidence: Yes