Matches in DBpedia 2016-04 for { <http://wikidata.dbpedia.org/resource/Q3524190> ?p ?o }
Showing triples 1 to 48 of
48
with 100 triples per page.
- Q3524190 description "French mathematician and computer scientist".
- Q3524190 description "French mathematician and computer scientist".
- Q3524190 subject Q17495157.
- Q3524190 subject Q18815223.
- Q3524190 subject Q5312304.
- Q3524190 subject Q6647582.
- Q3524190 subject Q7031819.
- Q3524190 subject Q8744807.
- Q3524190 subject Q8975599.
- Q3524190 abstract "Thierry Coquand (born 18 April 1961 in Jallieu, Isère, France) is a professor in computer science at the University of Gothenburg, Sweden. He is known for his work in constructive mathematics, especially the calculus of constructions. He received his Ph.D. under the supervision of Gérard Huet.".
- Q3524190 birthDate "1961-04-18".
- Q3524190 birthYear "1961".
- Q3524190 thumbnail Thierry_Coquand.jpg?width=300.
- Q3524190 wikiPageExternalLink ~coquand.
- Q3524190 wikiPageWikiLink Q1131652.
- Q3524190 wikiPageWikiLink Q1137814.
- Q3524190 wikiPageWikiLink Q12559.
- Q3524190 wikiPageWikiLink Q17495157.
- Q3524190 wikiPageWikiLink Q18815223.
- Q3524190 wikiPageWikiLink Q21198.
- Q3524190 wikiPageWikiLink Q22909237.
- Q3524190 wikiPageWikiLink Q371522.
- Q3524190 wikiPageWikiLink Q5312304.
- Q3524190 wikiPageWikiLink Q6647582.
- Q3524190 wikiPageWikiLink Q7031819.
- Q3524190 wikiPageWikiLink Q858320.
- Q3524190 wikiPageWikiLink Q8744807.
- Q3524190 wikiPageWikiLink Q8975599.
- Q3524190 wikiPageWikiLink Q974366.
- Q3524190 dateOfBirth "1961-04-18".
- Q3524190 name "Coquand, Thierry".
- Q3524190 shortDescription "French mathematician and computer scientist".
- Q3524190 type Person.
- Q3524190 type Agent.
- Q3524190 type Person.
- Q3524190 type Agent.
- Q3524190 type NaturalPerson.
- Q3524190 type Thing.
- Q3524190 type Q215627.
- Q3524190 type Q5.
- Q3524190 type Person.
- Q3524190 comment "Thierry Coquand (born 18 April 1961 in Jallieu, Isère, France) is a professor in computer science at the University of Gothenburg, Sweden. He is known for his work in constructive mathematics, especially the calculus of constructions. He received his Ph.D. under the supervision of Gérard Huet.".
- Q3524190 label "Thierry Coquand".
- Q3524190 depiction Thierry_Coquand.jpg.
- Q3524190 givenName "Thierry".
- Q3524190 name "Coquand, Thierry".
- Q3524190 name "Thierry Coquand".
- Q3524190 surname "Coquand".