| dbo:academicDiscipline
| |
| dbo:award
| |
| dbo:birthDate
| |
| dbo:birthName
|
- Edmund Melson Clarke, Jr. (en)
|
| dbo:birthPlace
| |
| dbo:deathDate
| |
| dbo:deathPlace
| |
| dbo:description
|
- United States of America karimba ŋun nyɛ doo (dag)
- американський науковець у галузі комп'ютерних технологій (uk)
- Amerikaans informaticus (nl)
- informaticien américain (fr)
- ríomheolaí Meiriceánach (ga)
- amerikansk ingeniør og informatikar (nn)
- amerikansk ingeniør og informatiker (da)
- عالم حاسوب أمريكي (ar)
- amerikanischer Informatiker (de)
- amerikansk ingenjör och datavetare (sv)
- باحث من امريكا (arz)
- 美国计算机科学家 (zh)
- American computer scientist (1945–2020) (en)
- informático teórico estadounidense (es)
- دانشمند علوم کامپیوتر و مهندس آمریکایی (۱۹۴۵–۲۰۲۰) (fa)
- アメリカの計算機科学者 (1945-2020) (ja)
|
| dbo:doctoralAdvisor
| |
| dbo:doctoralStudent
| |
| dbo:institution
| |
| dbo:knownFor
| |
| dbo:thumbnail
| |
| dbo:wikiPageExternalLink
| |
| dbo:wikiPageWikiLink
| |
| dbp:awards
| |
| dbp:birthDate
| |
| dbp:birthName
|
- Edmund Melson Clarke, Jr. (en)
|
| dbp:birthPlace
|
- Newport News, Virginia, U.S. (en)
|
| dbp:deathDate
| |
| dbp:deathPlace
|
- Pittsburgh, Pennsylvania, U.S. (en)
|
| dbp:doctoralAdvisor
| |
| dbp:doctoralStudents
|
- (en)
- Bhubaneswar Mishra (en)
- E. Allen Emerson (en)
- Kenneth L. McMillan (en)
- David L. Dill (en)
|
| dbp:education
| |
| dbp:fields
| |
| dbp:knownFor
| |
| dbp:thesisTitle
|
- Completeness and Incompleteness Theorems for Hoare-Like Axiom Systems (en)
|
| dbp:thesisYear
| |
| dbp:website
| |
| dbp:wikiPageUsesTemplate
| |
| dbp:workplaces
| |
| dct:subject
| |
| schema:sameAs
| |
| rdf:type
| |
| rdfs:label
|
- Edmund M. Clarke (en)
- Edmund M. Clarke (ca)
- إدموند كلارك (ar)
- Edmund Clarke (eo)
- Edmund Clarke (es)
- Edmund M. Clarke (de)
- Edmund M. Clarke (fr)
- エドムンド・クラーク (ja)
- 에드먼드 M. 클라크 (ko)
- Edmund M. Clarke (nl)
- Edmund Clarke (pt)
- Едмунд Кларк (uk)
- Кларк, Эдмунд Мельсон (ru)
- 爱德蒙·克拉克 (zh)
|
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:depiction
| |
| foaf:homepage
| |
| foaf:isPrimaryTopicOf
| |
| is dbo:doctoralAdvisor
of | |
| is dbo:doctoralStudent
of | |
| is dbo:wikiPageDisambiguates
of | |
| is dbo:wikiPageRedirects
of | |
| is dbo:wikiPageWikiLink
of | |
| is dbp:doctoralAdvisor
of | |
| is dbp:doctoralStudents
of | |
| is owl:differentFrom
of | |
| is foaf:primaryTopic
of | |
