|
rdfs:label
|
"E. M. Clarke"@cs
"Edmund Clarke"@es
"Edmund Clarke"@pt
"Edmund Clarke"@pt-br
"Edmund Clarke"@ro
"Edmund Clarke"@sk
"Edmund M. Clarke"@ca
"Edmund M. Clarke"@cy
"Edmund M. Clarke"@da
"Edmund M. Clarke"@dag
"Edmund M. Clarke"@de
"Edmund M. Clarke"@en
"Edmund M. Clarke"@en-ca
"Edmund M. Clarke"@en-gb
"Edmund M. Clarke"@eo
"Edmund M. Clarke"@fi
"Edmund M. Clarke"@fr
"Edmund M. Clarke"@ga
"Edmund M. Clarke"@hu
"Edmund M. Clarke"@it
"Edmund M. Clarke"@mg
"Edmund M. Clarke"@nb
"Edmund M. Clarke"@nl
"Edmund M. Clarke"@nn
"Edmund M. Clarke"@oc
"Edmund M. Clarke"@pl
"Edmund M. Clarke"@sl
"Edmund M. Clarke"@sq
"Edmund M. Clarke"@sv
"Edmund M. Clarke"@tr
"Edmund M. Clarke"@ast
"Έντμουντ Μ. Κλαρκ"@el
"Едмунд Кларк"@sr
"Едмунд Кларк"@uk
"Эдмунд Мельсон Кларк"@ru
"إدموند كلارك"@ar
"ادموند ام. کلارک"@fa
"ادموند كلارك"@arz
"এডমুন্ড এম. ক্লার্ক"@bn
"エドムンド・クラーク"@ja
"愛德蒙·克拉克"@zh-hant
"愛德蒙·克拉克"@zh-hk
"愛德蒙·克拉克"@zh-tw
"爱德蒙·克拉克"@zh
"爱德蒙·克拉克"@zh-cn
"爱德蒙·克拉克"@zh-hans
"爱德蒙·克拉克"@zh-sg
"에드먼드 M. 클라크"@ko
|
|
skos:altLabel
|
"Ed Clarke"@de
"Edmund Clarke"@de
"Edmund Clarke"@en
"Edmund M Clarke"@es
"Edmund M Clarke Jr"@es
"Edmund M. Clarke"@es
"Edmund M. Clarke"@sk
"Edmund M. Clarke"@cs
"Edmund M. Clarke Jr."@es
"Edmund Melson Clarke"@de
"Edmund Melson Clarke"@en
"Edmund Melson Clarke"@sk
"Edmund Melson Clarke, Jr."@de
"Edmund Melson Clarke, Jr."@en
"Edmund Melson Clarke, Jr."@es
"Edmund Melson Jr. Clarke"@de
"Кларк, Эдмунд Мельсон"@ru
"Эдмунд Мельсон Кларк"@ru
"艾德蒙·克拉克 (Edmund Clarke)"@zh
|
|
schema:description
|
"American computer scientist (1945–2020)"@en
"Amerikaans informaticus"@nl
"United States of America karimba ŋun nyɛ doo"@dag
"americký informatik (1945 – 2020)"@sk
"amerikanischer Informatiker"@de
"amerikansk ingeniør og informatikar"@nn
"amerikansk ingeniør og informatiker"@da
"amerikansk ingeniør og informatiker"@nb
"amerikansk ingenjör och datavetare"@sv
"informaticien américain"@fr
"informático teórico estadounidense"@es
"počítačový odborník, pedagog"@cs
"ríomheolaí Meiriceánach"@ga
"американський науковець у галузі комп'ютерних технологій"@uk
"باحث من امريكا"@arz
"دانشمند علوم کامپیوتر و مهندس آمریکایی (۱۹۴۵–۲۰۲۰)"@fa
"عالم حاسوب أمريكي"@ar
"عالم حاسوب أمريكي"@ary
"আমেৰিকান কম্পিউটাৰ বিজ্ঞানী (১৯৪৫-২০২০)"@as
"মার্কিন কম্পিউটার বিজ্ঞানী (১৯৪৫-২০২০)"@bn
"アメリカの計算機科学者 (1945-2020)"@ja
"美国计算机科学家"@zh
|
|
schema:dateModified
|
"2026-10-06T15:35:26+00:00"^^xsd:dateTime
|
|
schema:version
|
2553995806
|
|
wikibase:identifiers
|
39
|
|
wikibase:sitelinks
|
25
|
|
wikibase:statements
|
103
|
|
p:P1006
|
wd:statement/Q92819-0919A6F1-57D1-47CA-AD3B-5178622410CB
|
|
p:P101
|
wd:statement/Q92819-75677D50-A353-45E0-8327-F4EFD857D837
|
|
wd:statement/Q92819-8abef46c-4122-bc17-7d74-a586ace87445
|
|
p:P1015
|
wd:statement/q92819-6ed2d5a4-418b-10bf-68cf-ee6e480bb98f
|
|
wd:statement/q92819-e86d5b18-4737-33de-f20e-e9fe80ee326e
|
|
p:P103
|
wd:statement/Q92819-2af4bc78-46ed-b727-f3b2-a5f4445951cd
|
|
p:P106
|
wd:statement/Q92819-0A8945E4-6C20-4865-A3BF-71AA585F578E
|
|
wd:statement/Q92819-3F9294F9-5DB3-43B9-B934-DF26AB8D3A01
|
|
wd:statement/Q92819-6fa56364-8b44-4135-89fa-34151bb6aac6
|
|
wd:statement/Q92819-a554f87c-458a-50c9-ed98-0b3e1b3dc0d6
|
|
p:P108
|
wd:statement/Q92819-50f4fc20-48be-8385-fe43-616ab5b82f7c
|
|
wd:statement/Q92819-57d9fdc1-4977-38d5-f983-8b7fa99bd3cf
|
|
wd:statement/Q92819-58E05D0A-C4C2-4035-85CB-00B8DFEDC2FD
|
|
wd:statement/Q92819-78a1e353-4eca-e34e-e28e-7a8b8099866c
|
|
p:P10832
|
wd:statement/Q92819-2CB5C900-4321-4B1F-AFE9-BF6E6D636CA6
|
|
p:P11496
|
wd:statement/Q92819-54E4B905-DDB6-4C0B-BE4D-0D482AEE51C9
|
|
p:P1153
|
wd:statement/Q92819-159cb161-4d6d-cfb0-1293-89ba985e3ce5
|
|
p:P1196
|
wd:statement/Q92819-018a4fc8-47f1-7114-42d3-3d858d6198ad
|
|
p:P1207
|
wd:statement/Q92819-399B554E-168B-4602-8C9D-C66A5D6A698A
|
|
p:P13049
|
wd:statement/Q92819-8A0B5DF5-517B-4F81-A81F-54C5F1462B03
|
|
p:P1315
|
wd:statement/Q92819-5B9F64C3-5980-4E63-833C-DB9B0CE91774
|
|
p:P13408
|
wd:statement/Q92819-E217E822-5F6F-4445-87D2-5D4A09488CDD
|
|
p:P1412
|
wd:statement/Q92819-c33e1e52-434e-b1d9-a294-340818b8db80
|
|
p:P1417
|
wd:statement/Q92819-2e1e6b2c-4c39-9613-2fcd-f7317822d707
|
|
p:P14178
|
wd:statement/Q92819-3D1F9090-A3A8-48FC-B1FA-8141CB8E0279
|
|
p:P1556
|
wd:statement/Q92819-B2D49125-3DB9-4BB8-8E38-A7668B8BA37A
|
|
p:P1559
|
wd:statement/Q92819-249ef667-41a2-1bff-1afa-1e63ec4bb782
|
|
p:P166
|
wd:statement/Q92819-070cfdba-40db-52d3-4134-9f7ee8982afe
|
|
wd:statement/Q92819-1B22E37B-9859-48DD-8A91-1BF5C5894D98
|
|
wd:statement/Q92819-32fc830b-4173-9b9b-22f3-709c751d5dff
|
|
wd:statement/Q92819-4166B64A-270B-44E3-ABA7-364F6365450D
|
|
wd:statement/Q92819-62af4b73-4d46-4bd3-7652-616bba6fa919
|
|
wd:statement/Q92819-6681D756-6D71-487A-9E7F-E63086A030FF
|
|
wd:statement/Q92819-A269F5D6-77B3-48D0-BEED-9AF3B061E255
|
|
wd:statement/Q92819-C2278638-606E-4735-96C3-C0A6EC37B234
|
|
wd:statement/Q92819-DF2602E4-3DD1-419A-9055-224AACDFD4BC
|
|
wd:statement/Q92819-F633F41E-139E-47B0-B7F3-97CEB56FFC72
|
|
p:P18
|
wd:statement/Q92819-467DFA55-C55F-4B1B-8F01-7C17CDDBEBFB
|
|
p:P184
|
wd:statement/Q92819-94ea9224-beb0-454e-b9a7-b617dcbe6c30
|
|
p:P185
|
wd:statement/Q92819-20acf451-a6c8-499f-89b9-66736db41de9
|
|
wd:statement/Q92819-2BDC4774-EE6C-4FF0-9B14-A465DB21BCDE
|
|
wd:statement/Q92819-2c2d3b26-9853-4e64-8334-96cd343faba0
|
|
wd:statement/Q92819-3780eae9-3862-4db5-969e-d32c608b19d1
|
|
wd:statement/Q92819-423ff721-01ca-44a2-9d95-fca6e78373d1
|
|
wd:statement/Q92819-45936a4e-d688-4571-bedd-05d9ba06cb51
|
|
wd:statement/Q92819-5395a2f7-5233-419b-ac26-aa806922c32e
|
|
wd:statement/Q92819-6a99f266-5fd5-46a1-b7e1-c40d04ebbab1
|
|
wd:statement/Q92819-893dc37c-197a-443b-b572-925e15b92538
|
|
wd:statement/Q92819-9b58d6e4-41e2-6e91-7f73-23e090bd46b4
|
|
wd:statement/Q92819-9e5e725b-e129-4c71-ab0a-0315e10e416c
|
|
wd:statement/Q92819-b33b3903-babd-46f7-853a-2b1311e760a4
|
|
wd:statement/Q92819-bb7c5010-c42d-4e8d-ac84-010c1311fc1c
|
|
wd:statement/Q92819-d0895d2c-3003-47ca-9ed2-675a6ea6b785
|
|
wd:statement/Q92819-dc4cbd1a-fe78-4ac5-918f-9f6d8ad1dad0
|
|
p:P19
|
wd:statement/Q92819-C038466E-DB05-4E0D-B62E-015D4A73610B
|
|
p:P1960
|
wd:statement/Q92819-fb0a0582-4086-ea30-f7a0-aae6835eb160
|
|
p:P20
|
wd:statement/Q92819-33519145-450f-9ed1-cf94-1bf14a4e45c7
|
|
p:P2021
|
wd:statement/Q92819-AA10E8AC-772C-48B5-8355-E36B02C0C2FE
|
|
p:P21
|
wd:statement/Q92819-7E8A91C6-9271-42C7-8978-86997C64FCE7
|
|
p:P213
|
wd:statement/q92819-20EE52D2-0B6E-4EB2-B26C-C3BF57539DD9
|
|
p:P214
|
wd:statement/q92819-FC9C8044-90DA-435B-81E8-2BAD399DFD10
|
|
p:P227
|
wd:statement/q92819-30193DDE-6EC6-4285-BCE0-FB839226C701
|
|
p:P244
|
wd:statement/q92819-3EB0334A-9473-405A-8D55-DEB215A3A2A1
|
|
p:P2456
|
wd:statement/Q92819-6ec02fff-47b3-6ca2-064d-3771100663b1
|
|
p:P268
|
wd:statement/Q92819-1B7407DA-4F84-42BE-814E-ED4E569504AD
|
|
p:P269
|
wd:statement/Q92819-7CE17339-3006-4561-9E59-5EAB3E8F8AAD
|
|
p:P27
|
wd:statement/q92819-9CEFD7A6-EA44-4E4C-8071-901D1012C615
|
|
p:P271
|
wd:statement/q92819-e2f32e1e-432b-d512-cef3-662b26d2dd67
|
|
p:P2949
|
wd:statement/Q92819-15BBBBA7-63E2-4D1C-B069-3912C519C39E
|
|
p:P3065
|
wd:statement/q92819-70bf4567-4bd0-583c-ee57-29e294c46adc
|
|
p:P31
|
wd:statement/Q92819-24306FE3-B917-40A1-9661-AEC7A589AA50
|
|
p:P3430
|
wd:statement/Q92819-37CEBC14-DA42-46EC-89D5-F5DDD6A0098B
|
|
p:P373
|
wd:statement/q92819-7A6D6BFD-0134-4F4D-9E62-9714BA7D0075
|
|
p:P396
|
wd:statement/Q92819-2AAA4813-B6E6-46D6-ADFD-355646BA6141
|
|
p:P3987
|
wd:statement/Q92819-976A1BFE-CF1C-49C0-9AC0-60D318FA5998
|
|
p:P409
|
wd:statement/q92819-6860c3a8-4ca6-44df-2887-dce519e19c58
|
|
p:P463
|
wd:statement/Q92819-1A42AA44-9374-414C-B490-3A1571873546
|
|
wd:statement/Q92819-42705ac3-41b5-969a-2348-4045d5ac9c9d
|
|
wd:statement/Q92819-5996DDAD-26BE-4C22-A59E-1C3B5C1FF73A
|
|
wd:statement/Q92819-e2f4c83a-415e-f684-5390-859a938b4cfa
|
|
p:P4955
|
wd:statement/Q92819-72DA750E-3140-4A51-8772-ECE42FFC11B1
|
|
p:P5034
|
wd:statement/q92819-4b92d661-4dd7-30b3-b947-da960183ff8e
|
|
p:P509
|
wd:statement/Q92819-dc797de8-4bdb-b228-d454-64b0b4c3b767
|
|
p:P549
|
wd:statement/q92819-5CBC227A-FD8B-44F4-88F7-286305A8E7DA
|
|
p:P569
|
wd:statement/q92819-86CFC674-CD91-46D3-93F2-A5DCCA2DA5EE
|
|
p:P570
|
wd:statement/Q92819-b4457a68-460c-43e4-78e8-f9f89c19e86c
|
|
p:P6104
|
wd:statement/Q92819-8EEEEA38-8EF8-4BD8-B2F8-2A6115F1E10A
|
|
p:P646
|
wd:statement/Q92819-51575851-5FD0-4818-81DB-ACC6A1F87FA0
|
|
p:P6479
|
wd:statement/Q92819-89555479-4e12-229f-fe00-68ee50f92a00
|
|
p:P69
|
wd:statement/Q92819-0D763AAE-B0D9-487E-961A-0DC97525923C
|
|
wd:statement/Q92819-8f403f7a-4d86-c0ce-8f3d-bea0e1a5ec12
|
|
wd:statement/Q92819-f245df7e-4e2b-9d1e-4764-afa0ea834996
|
|
p:P691
|
wd:statement/Q92819-763306E7-E73C-4C10-838E-C9DB42B18DA8
|
|
p:P734
|
wd:statement/Q92819-3738D6C3-C971-4DF6-893E-E5278066A6AE
|
|
p:P735
|
wd:statement/Q92819-B04C2A52-8DB8-4C74-8DEC-1AE20699A74E
|
|
p:P7400
|
wd:statement/Q92819-511a4ef9-4b34-2f0b-7acc-5c516fd966dd
|
|
p:P7699
|
wd:statement/q92819-06494c63-47ef-92c8-2ee7-3b61ebf3e80d
|
|
p:P8017
|
wd:statement/Q92819-613080C0-037F-497E-83E9-9994B8B68C76
|
|
p:P802
|
wd:statement/Q92819-dadcdd8b-41a7-257c-f321-9d0e5ff76a5c
|
|
p:P8179
|
wd:statement/q92819-9f13baab-49f8-cd76-01d9-e0ca3be97905
|
|
p:P8189
|
wd:statement/Q92819-4D02ED6E-0ED0-4CF9-907F-A244FE0E04B6
|
|
p:P856
|
wd:statement/Q92819-466B8A08-D0D1-4F83-AFF6-206B47855334
|
|
p:P864
|
wd:statement/Q92819-8a9f237d-4a31-95de-00de-7061e980f820
|
|
p:direct-normalized/P1006
|
<http://data.bibliotheken.nl/id/thes/p069871493>
|
|
p:direct-normalized/P1015
|
<https://livedata.bibsys.no/authority/90116650>
|
|
<https://livedata.bibsys.no/authority/90545272>
|
|
p:direct-normalized/P11496
|
<https://cir.nii.ac.jp/crid/1140845216793988736.rdf>
|
|
p:direct-normalized/P214
|
<http://viaf.org/viaf/8050749>
|
|
p:direct-normalized/P227
|
<https://d-nb.info/gnd/142488941>
|
|
p:direct-normalized/P244
|
<http://id.loc.gov/authorities/names/n91023249>
|
|
p:direct-normalized/P2456
|
<https://dblp.org/pid/c/EdmundMClarke>
|
|
p:direct-normalized/P268
|
<http://data.bnf.fr/ark:/12148/cb16505624q#about>
|
|
p:direct-normalized/P269
|
<http://www.idref.fr/060781750/id>
|
|
p:direct-normalized/P271
|
<https://ci.nii.ac.jp/author/DA02230941#entity>
|
|
p:direct-normalized/P5034
|
<http://lod.nl.go.kr/resource/KAC2022A1841>
|
|
wdt:P1006
|
"069871493"
|
|
wdt:P101
|
computer science
|
|
informatics
|
|
wdt:P1015
|
"90116650"
|
|
"90545272"
|
|
wdt:P103
|
English
|
|
wdt:P106
|
university teacher
|
|
mathematician
|
|
engineer
|
|
computer scientist
|
|
wdt:P108
|
Harvard University
|
|
Duke University
|
|
Carnegie Mellon University
|
|
Cornell University
|
|
wdt:P10832
|
"E39PBJxxh8wG8XjkGM3R3CDQbd"
|
|
wdt:P11496
|
"1140845216793988736"
|
|
wdt:P1153
|
"56962714000"
|
|
wdt:P1196
|
natural causes
|
|
wdt:P1207
|
"n99020693"
|
|
wdt:P13049
|
"142488941"
|
|
wdt:P1315
|
"833530"
|
|
wdt:P13408
|
"30873"
|
|
wdt:P1412
|
English
|
|
wdt:P1417
|
"biography/Edmund-Melson-Clarke-Jr"
|
|
wdt:P14178
|
"stk2007415785"
|
|
wdt:P1556
|
"clarke.edmund-melson-jun"
|
|
wdt:P1559
|
"Edmund Melson Clarke, Jr."@en
|
|
wdt:P166
|
IEEE Fellow
|
|
Paris Kanellakis Award
|
|
Harry H. Goode Memorial Award
|
|
Turing Award
|
|
ACM Fellow
|
|
Herbrand Award
|
|
Fellow of the American Academy of Arts and Sciences
|
|
honorary doctor of the Vienna Technical University
|
|
Benjamin Franklin Medal
|
|
Bower Award and Prize for Achievement in Science
|
|
wdt:P18
|
<http://commons.wikimedia.org/wiki/Special:FilePath/Edmund%20Clarke%20FLoC%202006.jpg>
|
|
wdt:P184
|
Robert Lee Constable
|
|
wdt:P185
|
Sicun Gao
|
|
Marius Minea
|
|
Sérgio Vale Aguiar Campos
|
|
Somesh Jha
|
|
Xudong Zhao
|
|
David Elsey Long
|
|
Jerry Robert Burch
|
|
Michael Browne
|
|
Wilfredo Rogelio Marrero
|
|
Aravinda Prasad Sistla
|
|
Alex David Groce
|
|
Bhubaneswar Mishra
|
|
Kenneth L. McMillan
|
|
David L. Dill
|
|
E. Allen Emerson
|
|
wdt:P19
|
Newport News
|
|
wdt:P1960
|
"_adL2C8AAAAJ"
|
|
wdt:P20
|
Pittsburgh
|
|
wdt:P2021
|
3.0^^xsd:decimal
|
|
wdt:P21
|
male
|
|
wdt:P213
|
"0000000121197648"
|
|
wdt:P214
|
"8050749"
|
|
wdt:P227
|
"142488941"
|
|
wdt:P244
|
"n91023249"
|
|
wdt:P2456
|
"c/EdmundMClarke"
|
|
wdt:P268
|
"16505624q"
|
|
wdt:P269
|
"060781750"
|
|
wdt:P27
|
United States
|
|
wdt:P271
|
"DA02230941"
|
|
wdt:P2949
|
"Clarke-23562"
|
|
wdt:P3065
|
"A003109614"
|
|
wdt:P31
|
human
|
|
wdt:P3430
|
"w64n9jck"
|
|
wdt:P373
|
"Edmund M. Clarke"
|
|
wdt:P396
|
"AQ1V008396"
|
|
wdt:P3987
|
"67498"
|
|
wdt:P409
|
"35124242"
|
|
wdt:P463
|
Association for Computing Machinery
|
|
Institute of Electrical and Electronics Engineers
|
|
National Academy of Engineering
|
|
American Academy of Arts and Sciences
|
|
wdt:P4955
|
"49760"
|
|
wdt:P5034
|
"KAC2022A1841"
|
|
wdt:P509
|
COVID-19
|
|
wdt:P549
|
"50063"
|
|
wdt:P569
|
"1945-07-27T00:00:00+00:00"^^xsd:dateTime
|
|
wdt:P570
|
"2020-12-22T00:00:00+00:00"^^xsd:dateTime
|
|
wdt:P6104
|
WikiProject Mathematics
|
|
wdt:P646
|
"/m/03mgv9q"
|
|
wdt:P6479
|
"37275696300"
|
|
wdt:P69
|
Duke University
|
|
University of Virginia
|
|
Cornell University
|
|
wdt:P691
|
"stk2007415785"
|
|
wdt:P734
|
Clarke
|
|
wdt:P735
|
Edmund
|
|
wdt:P7400
|
"jredmundmclarke"
|
|
wdt:P7699
|
"LNB://6;=vN"
|
|
wdt:P8017
|
wd:L252247-F2
|
|
wdt:P802
|
E. Allen Emerson
|
|
wdt:P8179
|
"ncf11232042"
|
|
wdt:P8189
|
"987007457810605171"
|
|
wdt:P856
|
<http://www.cs.cmu.edu/~emc/>
|
|
wdt:P864
|
"81100393517"
|
