SHMARQL

Thierry Coquand

<http://www.wikidata.org/entity/Q3524190>

French mathematician, logician and computer scientist
Thierry Coquand
rdfs:label
"Thierry Coquand"@en
schema:description
"French mathematician, logician and computer scientist"@en
schema:dateModified "2026-10-26T05:26:17+00:00"^^xsd:dateTime
schema:version 2560958232
wikibase:identifiers 23
wikibase:sitelinks 10
wikibase:statements 58
p:P1006 wd:statement/Q3524190-DEF6EAF0-7067-4FDB-B948-335D3187ED8C
p:P101 wd:statement/q3524190-A8781E8A-2C11-45C4-B9E8-5670EDF127AE
p:P106 wd:statement/Q3524190-AC090101-7DD8-47EA-BCB0-7D310EFFD900
wd:statement/q3524190-317b122a-45d1-0881-b66d-ec8cead2ea89
wd:statement/q3524190-A022EC0B-3CAC-4EB4-B3F2-E1B6EB84731A
p:P108 wd:statement/Q3524190-11DF8FDE-5C2A-4F5B-B8E0-256D72D3F41C
wd:statement/Q3524190-EEA10097-F3D6-4371-B77B-26AB19F254A5
wd:statement/Q3524190-FAF0AA5F-CDEA-4394-A43D-D566212A67C1
p:P10832 wd:statement/Q3524190-14D4F559-46D5-472A-BAD5-08C3DFB075A6
p:P13049 wd:statement/Q3524190-70F0D4F8-3EFD-4109-BEC8-F36DB08CD840
p:P1344 wd:statement/Q3524190-0578d5a7-49a0-a2a7-a64f-167b9b7deb26
p:P13591 wd:statement/Q3524190-B90CD30C-E354-4034-89E6-1DF77FF01721
p:P1412 wd:statement/Q3524190-B74D54D9-5FCD-47A1-9F55-8088592510B2
p:P1556 wd:statement/Q3524190-8cb4a45a-48fe-1a7b-3c56-87ad1f3eb277
p:P1559 wd:statement/Q3524190-52136fb1-47f8-6c7a-1e4f-1acdf4e5dc09
p:P1607 wd:statement/Q3524190-E8153981-671A-43AF-BFC1-56E1042AA544
p:P166 wd:statement/Q3524190-9E495B08-C19E-4378-B6F7-52C1E1E04A66
p:P18 wd:statement/Q3524190-2B0AF2F1-7D0D-49D0-B6E5-88DDC0382398
p:P184 wd:statement/Q3524190-748671D0-EBCF-4104-9287-E4EF2D192987
p:P185 wd:statement/Q3524190-075244db-770c-442a-acab-090f68574ae8
wd:statement/Q3524190-0b5bd973-3d2f-44fa-8182-0fcdd84c3d0a
wd:statement/Q3524190-20271a8b-aa8f-4b16-b5b3-ae63a1343446
wd:statement/Q3524190-348bb9b9-9ffb-4e91-a860-9c23408aa229
wd:statement/Q3524190-6babde99-0766-4108-b5fa-b3fb177ce69f
wd:statement/Q3524190-6e5cc5f3-a34f-49b0-a309-f16af296fac9
wd:statement/Q3524190-87ac923b-4204-4023-888c-356deef8fb93
p:P19 wd:statement/Q3524190-73f3bb50-a02f-4b48-afff-9055f77fcbc2
wd:statement/Q3524190-AA796AE9-96F6-4EA6-A0F6-CFB3D919A6B9
p:P2038 wd:statement/Q3524190-07B4EE5B-F33E-4611-8332-1BBC1FC0F5DF
p:P21 wd:statement/q3524190-92748CD3-FF41-491C-9E4E-633FF363534F
p:P213 wd:statement/Q3524190-db0da4bd-413b-739f-edbc-58780fc197cc
p:P214 wd:statement/Q3524190-9cf71564-402a-9f9f-94fc-83fd5767d3d4
p:P227 wd:statement/Q3524190-1cb0d903-4172-6e64-9657-36be99e9ff8c
p:P244 wd:statement/Q3524190-2a14adf3-459c-598e-69d8-1bd057532334
p:P2456 wd:statement/Q3524190-0b9d56fa-4c60-dfc7-0f00-fc904b1d7200
p:P269 wd:statement/Q3524190-D90D8C2F-4F86-4BC2-9669-B04A54FB7416
p:P27 wd:statement/q3524190-C0303670-2C0A-4F73-B7AA-942CC7B245DF
p:P31 wd:statement/Q3524190-28972E3A-B116-443E-B167-D25D8FFE052B
p:P373 wd:statement/Q3524190-328AE2B9-0BEF-48F3-ABD2-4A728296F9B5
p:P4215 wd:statement/Q3524190-548AC83C-0DF1-404B-932D-6A2F6DD58082
p:P4285 wd:statement/Q3524190-b2811091-4f26-a5ec-b12f-7c13cc1e5bd8
p:P463 wd:statement/Q3524190-199CA797-AD06-45B6-8BFA-651873707EEA
p:P4955 wd:statement/Q3524190-ED0F29A0-9738-443E-B5F3-266090720A38
p:P512 wd:statement/Q3524190-1bd7306c-44a5-c4aa-e498-47893562c428
p:P5463 wd:statement/Q3524190-3171510C-1E68-43A7-9208-A5E0137334B1
p:P549 wd:statement/q3524190-D1C607CC-0776-4816-B7E1-4ACF1EA6AB96
p:P569 wd:statement/Q3524190-2d5ac6ba-4764-5b1a-d045-07ed919b43cd
p:P5819 wd:statement/Q3524190-7f027d7e-4d8b-53bd-5f33-052d5f8027c3
p:P6104 wd:statement/Q3524190-A571461A-688C-4401-9493-1343C7C1DC50
p:P646 wd:statement/Q3524190-284F914F-A275-45F5-AF88-718D21B763D7
p:P69 wd:statement/Q3524190-e12bdbd9-4e88-c2e2-13fa-f39a27799231
p:P734 wd:statement/Q3524190-45081DCB-6822-423F-9242-ECCFEDA20A5D
p:P735 wd:statement/Q3524190-DB75C6DF-695D-4268-88BD-564D2AA496C6
p:P800 wd:statement/Q3524190-E9DC625B-7AF1-42A8-A57B-17A7E6EE9C6C
p:P803 wd:statement/Q3524190-5c1afe23-430e-0a5f-55e3-c5442fc7cfc4
p:P8189 wd:statement/Q3524190-7D7C0C9D-0222-4EE3-A3CA-7A119E4DBDC3
p:P8418 wd:statement/Q3524190-1D5C0DF5-3F58-4858-A152-D93CFF972BA1
p:P864 wd:statement/Q3524190-5641e3c5-4bc2-0681-873f-d94c30f66278
p:direct-normalized/P1006 <http://data.bibliotheken.nl/id/thes/p213085054>
p:direct-normalized/P214 <http://viaf.org/viaf/117236995>
p:direct-normalized/P227 <https://d-nb.info/gnd/122538900>
p:direct-normalized/P244 <http://id.loc.gov/authorities/names/n00016832>
p:direct-normalized/P2456 <https://dblp.org/pid/59/3944>
p:direct-normalized/P269 <http://www.idref.fr/139931422/id>
p:direct-normalized/P4285 <http://www.theses.fr/139931422/id>
wdt:P1006 "213085054"
wdt:P101 computer science
wdt:P106 mathematician
engineer
computer scientist
wdt:P108 Institut National de Recherche en Informatique et en Automatique
University of Gothenburg
Chalmers University of Technology
wdt:P10832 "E39PBJjxxjQV7qBxc9JBfdcVmd"
wdt:P13049 "122538900"
wdt:P1344 International Mathematical Olympiad
wdt:P13591 "person/8ec920bf-61d1-4221-aa3c-3440261f34d8"
wdt:P1412 French
wdt:P1556 "coquand.thierry"
wdt:P1559 "Thierry Coquand"@fr
wdt:P1607 "2517080"
wdt:P166 ACM Software System Award
wdt:P18 <http://commons.wikimedia.org/wiki/Special:FilePath/Thierry%20Coquand%20%28cropped%29.jpg>
wdt:P184 Gérard Huet
wdt:P185 Hugo Herbelin
Lena Magnusson
Daniel Fridlender
Henrik Persson
Pierre Hyvernat
David Wahlstedt
Arnaud Spiwack
wdt:P19 Bourgoin-Jallieu
wdt:P2038 "Thierry_Coquand2"
wdt:P21 male
wdt:P213 "0000000083281119"
wdt:P214 "117236995"
wdt:P227 "122538900"
wdt:P244 "n00016832"
wdt:P2456 "59/3944"
wdt:P269 "139931422"
wdt:P27 France
wdt:P31 human
wdt:P373 "Thierry Coquand (computer scientist)"
wdt:P4215 "Thierry Coquand"
wdt:P4285 "139931422"
wdt:P463 Academia Europaea
wdt:P4955 "51490"
wdt:P512 Doctor of Philosophy
wdt:P5463 "Coquand_Thierry"
wdt:P549 "137164"
wdt:P569 "1961-04-18T00:00:00+00:00"^^xsd:dateTime
wdt:P5819 "20306"
wdt:P6104 WikiProject Mathematics
wdt:P646 "/m/0gtwsc9"
wdt:P69 École Normale Supérieure
wdt:P734 Coquand
wdt:P735 Thierry
wdt:P800 Rocq prover
wdt:P803 professor
wdt:P8189 "987007452171305171"
wdt:P8418 "9407"
wdt:P864 "81548011062"
Download as:
TurtleJSON-LDRDF/XML
data from SPARQL profile: Wikidata