Matches in DBpedia 2016-04 for { <http://wikidata.dbpedia.org/resource/Q502611> ?p ?o }
Showing triples 1 to 72 of
72
with 100 triples per page.
- Q502611 description "Academic".
- Q502611 description "Academic".
- Q502611 subject Q5312304.
- Q502611 subject Q6390499.
- Q502611 subject Q6647554.
- Q502611 subject Q7693643.
- Q502611 subject Q8709418.
- Q502611 subject Q8975392.
- Q502611 abstract "Andrei A. Voronkov is a Professor of Formal methods in the School of Computer Science at the University of Manchester.".
- Q502611 almaMater Q1637997.
- Q502611 award Q5008555.
- Q502611 birthDate "1959".
- Q502611 birthName "Andrei A. Voronkov".
- Q502611 birthYear "1959".
- Q502611 field Q1049183.
- Q502611 knownFor Q1278323.
- Q502611 knownFor Q7912960.
- Q502611 thumbnail Andrei_Voronkov_-_Turing_100_-_2012_-_Portrait.jpg?width=300.
- Q502611 wikiPageExternalLink andrei.voronkov.
- Q502611 wikiPageExternalLink www.voronkov.com.
- Q502611 wikiPageWikiLink Q1049183.
- Q502611 wikiPageWikiLink Q121594.
- Q502611 wikiPageWikiLink Q1278323.
- Q502611 wikiPageWikiLink Q1637997.
- Q502611 wikiPageWikiLink Q230899.
- Q502611 wikiPageWikiLink Q2555318.
- Q502611 wikiPageWikiLink Q327981.
- Q502611 wikiPageWikiLink Q431667.
- Q502611 wikiPageWikiLink Q449390.
- Q502611 wikiPageWikiLink Q4707938.
- Q502611 wikiPageWikiLink Q5008555.
- Q502611 wikiPageWikiLink Q5312304.
- Q502611 wikiPageWikiLink Q5377871.
- Q502611 wikiPageWikiLink Q5647318.
- Q502611 wikiPageWikiLink Q6390499.
- Q502611 wikiPageWikiLink Q6647554.
- Q502611 wikiPageWikiLink Q7432411.
- Q502611 wikiPageWikiLink Q752297.
- Q502611 wikiPageWikiLink Q7693643.
- Q502611 wikiPageWikiLink Q7912960.
- Q502611 wikiPageWikiLink Q8709418.
- Q502611 wikiPageWikiLink Q8975392.
- Q502611 almaMater Q1637997.
- Q502611 awards "25".
- Q502611 birthName "Andrei A. Voronkov".
- Q502611 dateOfBirth "1959".
- Q502611 fields Q1049183.
- Q502611 knownFor Q1278323.
- Q502611 knownFor Q7912960.
- Q502611 knownFor "*".
- Q502611 name "Andrei Voronkov".
- Q502611 name "Voronkov, Andrei".
- Q502611 shortDescription "Academic".
- Q502611 type Person.
- Q502611 type Agent.
- Q502611 type Person.
- Q502611 type Scientist.
- Q502611 type Agent.
- Q502611 type NaturalPerson.
- Q502611 type Thing.
- Q502611 type Q215627.
- Q502611 type Q5.
- Q502611 type Q901.
- Q502611 type Person.
- Q502611 comment "Andrei A. Voronkov is a Professor of Formal methods in the School of Computer Science at the University of Manchester.".
- Q502611 label "Andrei Voronkov".
- Q502611 depiction Andrei_Voronkov_-_Turing_100_-_2012_-_Portrait.jpg.
- Q502611 givenName "Andrei".
- Q502611 homepage www.voronkov.com.
- Q502611 name "Andrei Voronkov".
- Q502611 name "Voronkov, Andrei".
- Q502611 surname "Voronkov".