| dbo:academicDiscipline
| |
| dbo:almaMater
| |
| dbo:award
| |
| dbo:birthDate
| |
| dbo:birthName
|
- Andrei Anatolievič Voronkov (en)
|
| dbo:description
|
- Professor of Computer Science (en)
- Zweeds informaticus (nl)
- russischer Informatiker (de)
- svensk professor i datavetenskap (sv)
|
| dbo:institution
| |
| dbo:knownFor
| |
| dbo:originalName
|
- Андрей Анатольевич Воронков (en)
|
| dbo:thumbnail
| |
| dbo:wikiPageWikiLink
| |
| dbp:almaMater
| |
| dbp:awards
|
- 45 (xsd:integer)
- (en)
- Herbrand Award (en)
|
| dbp:birthDate
| |
| dbp:birthName
|
- Andrei Anatolievič Voronkov (en)
|
| dbp:caption
|
- 0001-06-24 (xsd:gMonthDay)
|
| dbp:fields
| |
| dbp:knownFor
|
- (en)
- EasyChair (en)
- Vampire theorem prover (en)
|
| dbp:name
| |
| dbp:nativeName
|
- Андрей Анатольевич Воронков (en)
|
| dbp:nativeNameLang
| |
| dbp:thesisTitle
|
- Realizability and Program Synthesis (en)
|
| dbp:thesisYear
| |
| dbp:wikiPageUsesTemplate
| |
| dbp:wordnet_type
| |
| dbp:workplaces
|
- (en)
- Novosibirsk State University (en)
- University of Manchester (en)
|
| dct:subject
| |
| gold:hypernym
| |
| schema:sameAs
| |
| rdf:type
| |
| rdfs:label
|
- Andrei Voronkov (en)
- Andrei Voronkov (de)
|
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:depiction
| |
| foaf:isPrimaryTopicOf
| |
| foaf:name
| |
| is dbo:author
of | |
| is dbo:developer
of | |
| is dbo:wikiPageDisambiguates
of | |
| is dbo:wikiPageRedirects
of | |
| is dbo:wikiPageWikiLink
of | |
| is dbp:author
of | |
| is dbp:developer
of | |
| is dbp:people
of | |
| is foaf:primaryTopic
of | |