GPTKB
Browse
Query
Compare
Download
Publications
Contributors
Search
Yuri Matiyasevich
URI:
https://gptkb.org/entity/Yuri_Matiyasevich
GPTKB entity
Statements (27)
Predicate
Object
gptkbp:instanceOf
gptkb:mathematician
gptkb:person
gptkbp:almaMater
gptkb:Saint_Petersburg_State_University
gptkbp:awardReceived
gptkb:Lomonosov_Gold_Medal
gptkb:Lenin_Komsomol_Prize
gptkb:Markov_Prize
gptkbp:birthDate
1947-03-02
gptkbp:birthPlace
gptkb:Leningrad
gptkbp:citizenship
gptkb:Russia
gptkb:Soviet_Union
gptkbp:doctoralAdvisor
gptkb:Sergei_Maslov
gptkbp:field
gptkb:mathematics
computer science
https://www.w3.org/2000/01/rdf-schema#label
Yuri Matiyasevich
gptkbp:knownFor
gptkb:Matiyasevich's_theorem
solution to Hilbert's tenth problem
gptkbp:language
gptkb:Russian
English
gptkbp:memberOf
gptkb:Russian_Academy_of_Sciences
gptkbp:nationality
gptkb:Russian
gptkbp:notableStudent
gptkb:Andrey_Muchnik
gptkbp:occupation
gptkb:mathematician
gptkb:professor
gptkbp:workInstitution
gptkb:Steklov_Institute_of_Mathematics
gptkbp:bfsParent
gptkb:Julia_Robinson
gptkb:Martin_Davis
gptkbp:bfsLayer
5