Martin Hyland

British mathematician
rdfs:label
"Martin Hyland"@en
schema:description
"British mathematician"@en
schema:dateModified "2026-07-07T13:01:06+00:00"^^xsd:dateTime
schema:version 2514819448
wikibase:identifiers 19
wikibase:sitelinks 5
wikibase:statements 61
p:P1006 wd:statement/Q6775742-D023B50E-FE19-491B-8693-B5A5F09997B7
p:P101 wd:statement/Q6775742-CC4D4D60-8797-4593-A078-DD09B71D2F97
p:P106 wd:statement/Q6775742-6C684582-823A-49F9-90F1-48AE2BA5D6ED
wd:statement/Q6775742-98853B9E-EA60-47C9-AF61-5FC41014835D
wd:statement/Q6775742-B6F12313-9EB2-4F50-BC46-8E54DF504FCD
p:P108 wd:statement/Q6775742-d6a2fc6b-4e1b-1acc-b11d-070f296a534b
p:P10832 wd:statement/Q6775742-4CED1BB5-D303-476B-959C-C5A0D32161D3
p:P11496 wd:statement/Q6775742-6E628996-35EE-4337-85BE-DAE6F68CB4E7
p:P1153 wd:statement/Q6775742-9e398577-4f7a-ca52-5cbd-9af8b2ccf717
p:P1207 wd:statement/Q6775742-61ACCE46-9238-4667-A242-FFAF301DA096
p:P1412 wd:statement/Q6775742-6BF3AE23-C4CF-42AE-8DE4-35205DA84C48
p:P1556 wd:statement/Q6775742-435C0FB4-B688-47A7-80BC-69A359CEB441
p:P166 wd:statement/Q6775742-E9DD43F0-CD41-49BA-8A02-690CD3AA5DA8
p:P18 wd:statement/Q6775742-A18467CC-EAE2-4C97-BC5A-91E7F653BD02
p:P184 wd:statement/Q6775742-60C21FDB-F179-4390-8300-83258765B67B
p:P185 wd:statement/Q6775742-08ca23e3-0e6a-479b-91fd-29444b5b96d1
wd:statement/Q6775742-16e33b7d-a554-4f40-8684-4a308e6e4939
wd:statement/Q6775742-186225e6-6008-4f7f-ac41-812dd9aff83b
wd:statement/Q6775742-1b917ac7-db11-4db4-ba8f-6524bbb52c7a
wd:statement/Q6775742-27429391-6b7a-47d4-9541-2135aa62b09a
wd:statement/Q6775742-2e1fed49-e8fc-46a5-8883-11fc769d702e
wd:statement/Q6775742-388d4ae7-c7be-4f82-bd3a-f6b8c47ccc84
wd:statement/Q6775742-44bdc034-f9d8-49ce-a016-18108de8bbc1
wd:statement/Q6775742-45dde88a-4cee-c8b0-d682-3f958e387ec1
wd:statement/Q6775742-538eecfd-c5f5-485a-acbb-3467c4d571c7
wd:statement/Q6775742-6a640e78-2b62-497a-b8b5-9544108ab869
wd:statement/Q6775742-716e3dff-4b94-b999-0d33-106fda434116
wd:statement/Q6775742-78bcb6be-f797-4762-a6a2-0604333f3c3f
wd:statement/Q6775742-7c221582-1477-42da-8207-8df9cf207250
wd:statement/Q6775742-8382473c-1a97-4aa4-9b8d-0467341f4748
wd:statement/Q6775742-872a8d19-725d-4300-af17-415546b0cabb
wd:statement/Q6775742-8b11fb02-7770-4698-8b72-f54a0988b5a1
wd:statement/Q6775742-9af1aeff-c703-48ad-a7e0-acec58db2911
wd:statement/Q6775742-afa9d396-cc17-4199-b67f-35852b7e41ea
wd:statement/Q6775742-b6fea1ec-4a20-6bd0-6ab0-4c4f11dfdb3d
wd:statement/Q6775742-d00b0857-e00c-486d-a743-61492e0ce55b
wd:statement/Q6775742-d6b34c9e-8ca5-4fc2-b3f2-793861afc254
wd:statement/Q6775742-e18d3d5b-29bf-4b01-a863-c5f6aa9b2fab
wd:statement/Q6775742-e5ec920b-8411-41a2-b991-4d73168ae840
p:P1960 wd:statement/Q6775742-6ad494a8-4f56-5c16-681b-5318aca1a117
p:P2038 wd:statement/Q6775742-8cc1ccc5-4caf-bb30-8cb3-0f3b27a75161
p:P21 wd:statement/Q6775742-8E638BF7-18E1-48EB-B0A4-9754CAB4115F
p:P213 wd:statement/Q6775742-BFF50839-9C9A-44C6-9962-E340D10B5C8D
p:P214 wd:statement/Q6775742-8184361B-F9FD-4EC2-9E0E-03DA8A7A7002
p:P2456 wd:statement/Q6775742-386611a4-4543-d5c8-2c06-b7d552bbb3e0
p:P269 wd:statement/Q6775742-FCDB55BF-02BE-4274-8C79-874FB6617BDE
p:P27 wd:statement/Q6775742-50E294EE-F380-4B12-8990-B1A280B32953
p:P271 wd:statement/q6775742-7fd44945-4078-a0ea-a108-873c398fe65f
p:P31 wd:statement/Q6775742-2C2603C0-30E6-47A1-822A-9B32470C89AF
p:P39 wd:statement/Q6775742-f261fb73-4f81-1360-0a11-53f7312cdd17
p:P3987 wd:statement/Q6775742-1CE51AB2-DCAB-47D4-B434-3A9858EE7B0E
p:P4215 wd:statement/Q6775742-D5EAA8A6-3257-42BE-BA2E-5C6CE28A095C
p:P4955 wd:statement/Q6775742-72CC523D-12D4-4136-A17E-4706EEE14884
p:P549 wd:statement/q6775742-D2B23155-11EC-45C1-9250-B0228B630AED
p:P551 wd:statement/Q6775742-2F3DF773-9AC4-43C3-8E2A-5561C0310623
p:P6104 wd:statement/Q6775742-6B6FB2AF-09BF-4B49-A166-8E54C3A60B7C
p:P646 wd:statement/Q6775742-E789C5FD-2162-4D1F-8B55-49CCC7D53D32
p:P69 wd:statement/Q6775742-5AD8A65E-11E1-4477-B211-705C719107CB
p:P7293 wd:statement/q6775742-fdfaf730-4da0-4a5e-639a-e3d9f8b05012
p:P734 wd:statement/Q6775742-a3e00883-48b9-dc8e-f87c-be99a3c2b1b6
p:P735 wd:statement/Q6775742-9A64A03D-BC97-4D12-8AB2-A9F9A76D60E0
p:direct-normalized/P1006 <http://data.bibliotheken.nl/id/thes/p134308964>
p:direct-normalized/P11496 <https://cir.nii.ac.jp/crid/1140845216773686656.rdf>
p:direct-normalized/P214 <http://viaf.org/viaf/164384846>
p:direct-normalized/P2456 <https://dblp.org/pid/h/JMEHyland>
p:direct-normalized/P269 <http://www.idref.fr/128844868/id>
p:direct-normalized/P271 <https://ci.nii.ac.jp/author/DA10309752#entity>
wdt:P1006 "134308964"
wdt:P101 mathematics
wdt:P106 logician
mathematician
computer scientist
wdt:P108 University of Cambridge
wdt:P10832 "E39PBJrrqbFxfqbvbQDjmtdPcP"
wdt:P11496 "1140845216773686656"
wdt:P1153 "7006527289"
wdt:P1207 "n01196682"
wdt:P1412 English
wdt:P1556 "hyland.j-martin-e"
wdt:P166 Alonzo Church Award
wdt:P18 <http://commons.wikimedia.org/wiki/Special:FilePath/Professor%20Martin%20Hyland.jpg>
wdt:P184 Robin Gandy
wdt:P185 Eric Faber
Edmund Peter Robinson
Wesley Kym-Son Phoa
Dominic Robert Verity
Audrey Tan
Sean Michael Carmody
Paul Taylor
Aaron D. Lauda
Murdoch James Gabbay
Craig Theodore Snydal
Joe Templeton
Ignacio G. Lopez-Francos
Nathan Bowler
Christina Vasilakopoulou
Tamara von Glehn
Achilleas Kryftis
Paige Randall North
Sean Keith Moss
Enrico Ghiorzi
Valeria de Paiva
Eugenia Cheng
Tom Leinster
Richard Garner
Andrew Pitts
wdt:P1960 "GbtoA1wAAAAJ"
wdt:P2038 "Martin-Hyland-2"
wdt:P21 male
wdt:P213 "000000011717446X"
wdt:P214 "164384846"
wdt:P2456 "h/JMEHyland"
wdt:P269 "128844868"
wdt:P27 United Kingdom
wdt:P271 "DA10309752"
wdt:P31 human
wdt:P39 full professor
wdt:P3987 "47066"
wdt:P4215 "Martin Hyland"
wdt:P4955 "90450"
wdt:P549 "46508"
wdt:P551 Cambridge
wdt:P6104 WikiProject Mathematics
wdt:P646 "/m/0fmpv6"
wdt:P69 University of Oxford
wdt:P7293 "9812831483305606"
wdt:P734 Hyland
wdt:P735 Martin
Download as:
TurtleJSON-LDRDF/XML
data from SPARQL profile: Wikidata