SHMARQL

Dexter Kozen

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

American computer scientist
rdfs:label
"Dexter Kozen"@en
skos:altLabel
"Dexter C. Kozen"@en
"Dexter Campbell Kozen"@en
schema:description
"American computer scientist"@en
schema:dateModified "2026-07-08T23:05:35+00:00"^^xsd:dateTime
schema:version 2515314213
wikibase:identifiers 30
wikibase:sitelinks 3
wikibase:statements 68
p:P1006 wd:statement/Q5268410-7E47FAC5-3939-456D-9437-AA4A07DA3384
p:P106 wd:statement/Q5268410-4722FAA0-4A5A-4DDF-898F-A93883EADAD8
wd:statement/Q5268410-C22574CF-1A3C-481C-BA95-437A6A226D7A
p:P108 wd:statement/Q5268410-39B30724-1219-4CC3-85D3-BACFD39D0ABC
p:P10832 wd:statement/Q5268410-090417A3-B505-43AA-BD74-27D941A9C8F0
p:P11182 wd:statement/Q5268410-84AB43C4-4828-4F8E-AF5D-063E4A6589C3
p:P11249 wd:statement/Q5268410-A5DC5AD4-0731-4730-B26D-264152E82B77
p:P1207 wd:statement/Q5268410-466AACD2-6B6A-46B7-B250-A6ACB8161E4F
p:P1280 wd:statement/Q5268410-685F9A66-8E52-44B1-B2CA-A4BB143198A4
p:P13049 wd:statement/Q5268410-2D607AE5-22BD-4AB0-BCC8-3092AB9AB7C3
p:P13591 wd:statement/Q5268410-825ED9CF-2519-4D09-96F6-D712D5F3E3E0
p:P1368 wd:statement/Q5268410-B9AD5620-0603-4F0B-B700-FB5743F25099
p:P13906 wd:statement/Q5268410-ECB424B6-8DA0-4D9D-B342-B48B00E02DF4
p:P13951 wd:statement/Q5268410-8C2FBCEB-373C-4C2D-A104-7F3260F87248
p:P1412 wd:statement/Q5268410-B8B6BF14-ADEE-413F-B287-2C338CEB2537
p:P1556 wd:statement/Q5268410-cdeafe15-46f8-6bf0-43ae-a57b09c3ac4f
p:P166 wd:statement/Q5268410-048190FE-23AE-4F9E-AB0A-8E38644276EA
wd:statement/Q5268410-43888341-5CD5-4679-A288-17D505F94258
wd:statement/Q5268410-8C3E75CA-E634-46CE-AC2B-DEE4B97B24AD
wd:statement/Q5268410-9BBCB9CE-FE6D-4CDB-9896-814656C93A6E
wd:statement/Q5268410-E4E28EEC-44BD-4E43-B412-BC429A72452C
wd:statement/Q5268410-F90B01D5-6C5D-415A-B0DD-894E3C041091
p:P184 wd:statement/Q5268410-d4b30ff3-71ab-4024-8a12-8f32d87d211a
p:P185 wd:statement/Q5268410-06c761e6-57c8-43fa-8880-e470a2ee35c6
wd:statement/Q5268410-0cfb3809-0627-420e-9dbc-4d1bf5502d87
wd:statement/Q5268410-19e204d9-9d7e-4dbc-aa11-46f6cbbb6595
wd:statement/Q5268410-1fdc82eb-27f0-480f-b212-6f08ff2fc535
wd:statement/Q5268410-2280be88-7772-43b5-b000-e58200e570fe
wd:statement/Q5268410-625b970b-6a59-4bba-b8ef-350dfa26b289
wd:statement/Q5268410-6f1ac502-44cf-486e-804d-14aa2de0cd8b
wd:statement/Q5268410-7bf29061-6e91-4a55-912d-e3b9584b3cc0
wd:statement/Q5268410-7fd98689-be86-459f-b735-a33ff96ee4e5
wd:statement/Q5268410-8111a1e3-0110-4fab-a415-a7cca534f101
wd:statement/Q5268410-942f6927-99bd-4edc-bd8e-e0f8ac8d3471
wd:statement/Q5268410-c86bfc40-0e91-4af9-b83c-5ad52c73a8fa
wd:statement/Q5268410-d2f7ea79-1e8e-49bd-bde9-e8406b889fef
wd:statement/Q5268410-ea936778-bfa2-4657-9704-43834070d485
wd:statement/Q5268410-f6589d99-558e-4cc4-b841-c605445f4fc1
wd:statement/Q5268410-f8618953-53e9-4d1f-a59b-99feb9003724
p:P2021 wd:statement/Q5268410-34FA121D-571B-4E39-AEB4-D65C9E984ACC
p:P21 wd:statement/Q5268410-B4544416-A317-4A87-B92D-8CD0F53E300B
p:P213 wd:statement/q5268410-65DCF005-6DEF-4CE9-BE94-E33EBE43C2F8
p:P214 wd:statement/q5268410-2FD3610F-7858-4D57-8872-FA33BF67DE19
p:P227 wd:statement/Q5268410-6750244b-4c80-6599-f3fe-a1cadcd8c8b6
p:P244 wd:statement/Q5268410-9703D74A-9B49-4022-876D-97B406496CD1
p:P2456 wd:statement/Q5268410-dab82a13-49c9-32a2-6b09-db127b89b7f4
p:P268 wd:statement/Q5268410-91EBA4C7-B3AD-4B27-81D8-AAF267E7FE1A
p:P269 wd:statement/Q5268410-8C565451-C298-41E5-AFA6-B1C866A39753
p:P27 wd:statement/Q5268410-947EBF47-0F3D-44F4-8DB3-618C80D264F1
p:P31 wd:statement/Q5268410-E342CA14-0DC7-4A07-86CE-7325F540E1A5
p:P3368 wd:statement/Q5268410-271506DB-15BB-4015-A31C-C3C0D8C8A468
p:P396 wd:statement/Q5268410-6307D164-667A-495E-B539-EA860BFD313F
p:P3987 wd:statement/Q5268410-4150DE3E-E02A-4A45-A607-2E14B10ECA90
p:P463 wd:statement/Q5268410-51B821BC-5220-4DBE-BD4F-AF768A58EDC6
p:P4955 wd:statement/Q5268410-9BD41EDC-8DA7-40DE-854E-D8D19D64A58C
p:P496 wd:statement/Q5268410-6D5F754A-E139-4BB9-9339-0E6CBD67B573
p:P549 wd:statement/q5268410-1B2D5514-AE29-4B84-9B6E-01AC2E94C55D
p:P569 wd:statement/Q5268410-45F68DE5-824F-41A3-8391-49443E1B5030
p:P6104 wd:statement/Q5268410-5B0B34F0-BCF1-460E-A2B8-27487F8238E4
p:P646 wd:statement/Q5268410-6280938B-54BF-42CF-8B6B-7BBC903F884C
p:P6594 wd:statement/Q5268410-51391092-C44B-4FAE-8969-E6FB76967BA7
p:P69 wd:statement/Q5268410-9FCCB56C-466A-4720-A958-27A43CF1BBAA
wd:statement/Q5268410-ADEADE38-323C-4854-8326-31AA3A3751EC
p:P691 wd:statement/Q5268410-EFE4BD76-BB11-4BDB-94E2-074B43D3D899
p:P734 wd:statement/Q5268410-E462A5DE-F536-4116-93FE-5C5F4451D94A
p:P735 wd:statement/Q5268410-F880B1F3-C7C9-4079-AEE4-C338CCB263CE
p:P8189 wd:statement/Q5268410-33B84446-3C53-4CCB-A9BA-66492FE565E1
p:P864 wd:statement/Q5268410-fb2056a9-4c9b-2139-5d41-f19504331d5c
p:direct-normalized/P1006 <http://data.bibliotheken.nl/id/thes/p068814917>
p:direct-normalized/P214 <http://viaf.org/viaf/25829033>
p:direct-normalized/P227 <https://d-nb.info/gnd/135740436>
p:direct-normalized/P244 <http://id.loc.gov/authorities/names/n82026953>
p:direct-normalized/P2456 <https://dblp.org/pid/k/DexterKozen>
p:direct-normalized/P268 <http://data.bnf.fr/ark:/12148/cb146147167#about>
p:direct-normalized/P269 <http://www.idref.fr/058606610/id>
p:direct-normalized/P496 <https://orcid.org/0000-0002-8007-4725>
wdt:P1006 "068814917"
wdt:P106 logician
computer scientist
wdt:P108 Cornell University
wdt:P10832 "E39PBJwD63MVrDKT6RKQkMvJXd"
wdt:P11182 "69344"
wdt:P11249 "14087384"
wdt:P1207 "n93129207"
wdt:P1280 "93298787"
wdt:P13049 "135740436"
wdt:P13591 "person/1fdf3a13-498a-478e-b419-ae2f14323ce9"
wdt:P1368 "000138288"
wdt:P13906 "103686"
wdt:P13951 "510230"
wdt:P1412 English
wdt:P1556 "kozen.dexter-c"
wdt:P166 EATCS award
Guggenheim Fellowship
Alonzo Church Award
ACM Fellow
W. Wallace McDowell Award
Fellow of the American Association for the Advancement of Science
wdt:P184 Juris Hartmanis
wdt:P185 Agnes Szanto
Devdatt Padmakar Dubhashi
Kjartan Stefansson
Arthur Neal Glew
David Spencer Pearson
Sarah Spence Adams
Douglas John Ierardi
Christopher Hardin
Kamal Aboul-Hosn
Matthew T. Dickerson
James Worthington
Nils Klarlund
Alexa Sharp
Hubie Chen
Jean-Baptiste Jeannin
Bradley Tanner Vander Zanden
wdt:P2021 2.0^^xsd:decimal
wdt:P21 male
wdt:P213 "0000000109607173"
wdt:P214 "25829033"
wdt:P227 "135740436"
wdt:P244 "n82026953"
wdt:P2456 "k/DexterKozen"
wdt:P268 "146147167"
wdt:P269 "058606610"
wdt:P27 United States
wdt:P31 human
wdt:P3368 "2249057"
wdt:P396 "AQ1V006554"
wdt:P3987 "65955"
wdt:P463 Association for Computing Machinery
wdt:P4955 "105920"
wdt:P496 "0000-0002-8007-4725"
wdt:P549 "38611"
wdt:P569 "1951-12-20T00:00:00+00:00"^^xsd:dateTime
wdt:P6104 WikiProject Mathematics
wdt:P646 "/m/04jlbtw"
wdt:P6594 "dexter-c-kozen"
wdt:P69 Cornell University
Dartmouth College
wdt:P691 "kup20010000051791"
wdt:P734 Kozen
wdt:P735 Dexter
wdt:P8189 "987007452269905171"
wdt:P864 "81100623764"
Download as:
TurtleJSON-LDRDF/XML
data from SPARQL profile: Wikidata