This HTML5 document contains 232 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
n38http://isni.org/isni/
dbpedia-nohttp://no.dbpedia.org/resource/
n37http://bn.dbpedia.org/resource/
n45https://zbmath.org/authors/?q=ai:
n20http://data.bnf.fr/ark:/12148/cb16505624q#
dbrhttp://dbpedia.org/resource/
n53http://techpolicy.acm.org/blog/
n15http://fr.dbpedia.org/resource/Modèle:
dbpedia-arhttp://ar.dbpedia.org/resource/
n61http://www.ontologydesignpatterns.org/ont/dul/DUL.owl#
n19http://viaf.org/viaf/
schemahttp://schema.org/
n28http://commons.wikimedia.org/wiki/Special:FilePath/
dbpedia-frhttp://fr.dbpedia.org/resource/
n17http://snaccooperative.org/ark:/99166/
dcthttp://purl.org/dc/terms/
rdfshttp://www.w3.org/2000/01/rdf-schema#
n52http://g.co/kg/m/
n12https://d-nb.info/gnd/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
n60http://genealogy.math.ndsu.nodak.edu/
n34https://id.loc.gov/authorities/names/
n47https://scholar.google.com/
xsdhhttp://www.w3.org/2001/XMLSchema#
n50https://dl.acm.org/
dbpedia-ukhttp://uk.dbpedia.org/resource/
n62https://www.britannica.com/biography/
prop-frhttp://fr.dbpedia.org/property/
dbohttp://dbpedia.org/ontology/
n42http://catalogo.share-cat.unina.it/sharecat/
dbpedia-srhttp://sr.dbpedia.org/resource/
n35https://books.google.com/
dbpedia-pthttp://pt.dbpedia.org/resource/
dbpedia-skhttp://sk.dbpedia.org/resource/
dbpedia-jahttp://ja.dbpedia.org/resource/
n39http://cmacs.cs.cmu.edu/
n44http://commons.dbpedia.org/resource/Category:
dbpedia-dehttp://de.dbpedia.org/resource/
n25http://www.idref.fr/060781750/
dbpedia-ruhttp://ru.dbpedia.org/resource/
dbpedia-rohttp://ro.dbpedia.org/resource/
wikidatahttp://www.wikidata.org/entity/
n46http://mg.dbpedia.org/resource/
dbpedia-nlhttp://nl.dbpedia.org/resource/
n33https://dblp.org/pid/c/
n58http://aut.nkp.cz/
n4https://commons.wikimedia.org/wiki/Category:
dbpedia-cahttp://ca.dbpedia.org/resource/
provhttp://www.w3.org/ns/prov#
foafhttp://xmlns.com/foaf/0.1/
n59http://www.cs.cmu.edu/
n9http://mitpress.mit.edu/catalog/item/
wikipedia-frhttp://fr.wikipedia.org/wiki/
dbpedia-simplehttp://simple.dbpedia.org/resource/
dbpedia-zhhttp://zh.dbpedia.org/resource/
dbpedia-kohttp://ko.dbpedia.org/resource/
n31https://www.scopus.com/authid/
dbpedia-fahttp://fa.dbpedia.org/resource/
dbpedia-trhttp://tr.dbpedia.org/resource/
n30https://data.bibliotheken.nl/doc/thes/
dbpedia-eshttp://es.dbpedia.org/resource/
category-frhttp://fr.dbpedia.org/resource/Catégorie:
owlhttp://www.w3.org/2002/07/owl#

Statements

Subject Item
dbpedia-fr:Edmund_M._Clarke
rdf:type
dbo:Person dbo:Species foaf:Person schema:Person owl:Thing wikidata:Q215627 wikidata:Q19088 wikidata:Q5 wikidata:Q729 dbo:Animal n61:NaturalPerson dbo:Eukaryote
rdfs:label
Едмунд Кларк Edmund Clarke 爱德蒙·克拉克 Edmund M. Clarke エドムンド・クラーク Edmund M. Clarke
rdfs:comment
Edmund Melson Clarke, Jr. ( 27 juillet 1945 - 22 décembre 2020) est un informaticien universitaire connu pour ses contributions au model checking, une méthode de vérification de conceptions de logiciel et matériel. Il est titulaire de la chaire (en) en informatique à l'université Carnegie-Mellon. Clarke a été l'un des trois récipiendaires, avec E. Allen Emerson et Joseph Sifakis, du prix Turing 2007, décerné par l'Association for Computing Machinery (ACM).
rdfs:seeAlso
n4:Edmund_M._Clarke n17:w64n9jck n31:detail.url?authorId=56962714000 n38:0000_0001_2119_7648 n42:searchNames?n_cluster_id=67498 n45:clarke.edmund-melson-jun n47:citations?user=_adL2C8AAAAJ n50:author_page.cfm?id=81100393517 n58:stk2007415785 n60:id.php?id=50063 n62:Edmund-Melson-Clarke-Jr
owl:sameAs
dbpedia-ca:Edmund_M._Clarke n12:142488941 dbr:Edmund_M._Clarke dbpedia-sr:Едмунд_Кларк dbpedia-ar:إدموند_كلارك n19:8050749 n20:about dbpedia-simple:Edmund_M._Clarke dbpedia-uk:Едмунд_Кларк dbpedia-ro:Edmund_Clarke dbpedia-ru:Кларк,_Эдмунд_Мельсон n25:id dbpedia-ko:에드먼드_M._클라크 dbpedia-nl:Edmund_M._Clarke n30:p069871493 dbpedia-pt:Edmund_Clarke n33:EdmundMClarke n34:n91023249 dbpedia-tr:Edmund_M._Clarke n37:এডমুন্ড_এম._ক্লার্ক dbpedia-de:Edmund_M._Clarke n44:Edmund_M._Clarke n46:Edmund_M._Clarke dbpedia-sk:Edmund_Clarke dbpedia-no:Edmund_M._Clarke n52:03mgv9q dbpedia-fa:ادموند_ام_کلارک dbpedia-ja:エドムンド・クラーク dbpedia-es:Edmund_Clarke dbpedia-zh:爱德蒙·克拉克 wikidata:Q92819
dbo:deathPlace
dbpedia-fr:Pittsburgh
dbo:deathDate
2020-12-22
dbo:birthPlace
dbpedia-fr:Newport_News_(Virginie)
dbo:wikiPageID
7125812
dbo:wikiPageRevisionID
179796345
dbo:wikiPageWikiLink
dbpedia-fr:Allen_Newell dbpedia-fr:Doctorat dbpedia-fr:Joseph_Sifakis dbpedia-fr:Master_of_Arts category-fr:Lauréat_du_prix_Turing dbpedia-fr:Association_for_Computing_Machinery dbpedia-fr:Allen_Emerson category-fr:Personnalité_américaine_en_informatique dbpedia-fr:Ithaca_(New_York) dbpedia-fr:Charlottesville category-fr:Membre_de_l'Académie_américaine_des_arts_et_des_sciences dbpedia-fr:Informatique dbpedia-fr:Diagramme_de_décision_binaire dbpedia-fr:Langage_de_programmation dbpedia-fr:Thèse dbpedia-fr:Académie_nationale_d'ingénierie_des_États-Unis category-fr:Professeur_à_l'université_Harvard dbpedia-fr:Université category-fr:Professeur_à_l'université_Duke dbpedia-fr:Cambridge_(Massachusetts) category-fr:Professeur_à_l'université_Carnegie-Mellon dbpedia-fr:Fondation_nationale_pour_la_science category-fr:Naissance_en_juillet_1945 dbpedia-fr:Bachelor_of_Arts dbpedia-fr:Informaticien dbpedia-fr:Prix_Paris-Kanellakis dbpedia-fr:Fellow dbpedia-fr:Vérification_de_modèles dbpedia-fr:Université_de_Virginie dbpedia-fr:Sigma_Xi dbpedia-fr:Université_Harvard dbpedia-fr:Logique_de_Hoare dbpedia-fr:Démonstration_automatique_de_théorèmes category-fr:Naissance_à_Newport_News_(Virginie) dbpedia-fr:Académie_américaine_des_arts_et_des_sciences category-fr:Étudiant_de_l'université_de_Virginie dbpedia-fr:Institute_of_Electrical_and_Electronics_Engineers dbpedia-fr:Automate_fini category-fr:Décès_à_Pittsburgh category-fr:Personnalité_en_méthodes_formelles category-fr:Personnalité_en_informatique_théorique dbpedia-fr:Conception_assistée_par_ordinateur_pour_l'électronique dbpedia-fr:Université_Carnegie-Mellon dbpedia-fr:Prix_Turing dbpedia-fr:Université_Duke dbpedia-fr:Durham_(Caroline_du_Nord) dbpedia-fr:Prix_Herbrand dbpedia-fr:Interprétation_abstraite dbpedia-fr:Pittsburgh category-fr:Docteur_honoris_causa_de_l'université_technique_de_Vienne category-fr:Décès_à_75_ans dbpedia-fr:IEEE_Computer_Society dbpedia-fr:Phi_Beta_Kappa category-fr:Étudiant_de_l'université_Duke dbpedia-fr:Mathématiques dbpedia-fr:Université_Cornell category-fr:Décès_en_décembre_2020 category-fr:Étudiant_de_l'université_Cornell
dbo:wikiPageExternalLink
n9:default.asp%3Fttype=2&tid=3730 n39: n53:%3Fp=572 n35:books%3Fid=Nmc4wEaLXFEC&printsec=frontcover n59:~emc
dbo:wikiPageLength
7392
dct:subject
category-fr:Décès_en_décembre_2020 category-fr:Personnalité_en_informatique_théorique category-fr:Professeur_à_l'université_Carnegie-Mellon category-fr:Professeur_à_l'université_Duke category-fr:Professeur_à_l'université_Harvard category-fr:Décès_à_75_ans category-fr:Décès_à_Pittsburgh category-fr:Membre_de_l'Académie_américaine_des_arts_et_des_sciences category-fr:Étudiant_de_l'université_de_Virginie category-fr:Personnalité_américaine_en_informatique category-fr:Naissance_à_Newport_News_(Virginie) category-fr:Personnalité_en_méthodes_formelles category-fr:Étudiant_de_l'université_Cornell category-fr:Naissance_en_juillet_1945 category-fr:Lauréat_du_prix_Turing category-fr:Docteur_honoris_causa_de_l'université_technique_de_Vienne category-fr:Étudiant_de_l'université_Duke
foaf:homepage
n39:
prop-fr:wikiPageUsesTemplate
n15:Ouvrage n15:Palette n15:Autorité n15:Portail n15:Autres_projets n15:Références n15:Homonyme n15:En n15:Date n15:Lien n15:Langue n15:Bases_recherche n15:Infobox_Biographie2 n15:MathGenealogy
prov:wasDerivedFrom
wikipedia-fr:Edmund_M._Clarke?oldid=179796345&ns=0
foaf:depiction
n28:Edmund_Clarke_FLoC_2006.jpg
prop-fr:année
1999
prop-fr:fr
Randal Bryant Kenneth McMillan Carnegie Mellon School of Computer Science FORE Systems Harry H. Goode Semiconductor Research Corporation
prop-fr:isbn
978
prop-fr:langue
en
prop-fr:lireEnLigne
n35:books%3Fid=Nmc4wEaLXFEC&printsec=frontcover
prop-fr:légende
Edmund M. Clarke en 2006.
prop-fr:nom
Peled Clarke Grumberg
prop-fr:pagesTotales
314
prop-fr:prénom
Orna Doron A. Edmund M.
prop-fr:tailleImage
200
prop-fr:texte
Kenneth McMillan
prop-fr:titre
Model Checking
prop-fr:trad
Kenneth McMillan
prop-fr:url
n9:default.asp%3Fttype=2&tid=3730
prop-fr:éditeur
The MIT Press
dbo:thumbnail
n28:Edmund_Clarke_FLoC_2006.jpg?width=300
foaf:isPrimaryTopicOf
wikipedia-fr:Edmund_M._Clarke
dbo:employer
dbpedia-fr:Université_Carnegie-Mellon dbpedia-fr:Université_Cornell dbpedia-fr:Université_Duke dbpedia-fr:Université_Harvard
dbo:doctoralStudent
wikidata:Q15823365 dbpedia-fr:David_L._Dill wikidata:Q102078629 wikidata:Q102215233 wikidata:Q102215238 wikidata:Q102215224 wikidata:Q102215228 wikidata:Q102215218 wikidata:Q102215221 wikidata:Q102215214 wikidata:Q102312682 wikidata:Q102280607 wikidata:Q15429156 dbpedia-fr:Allen_Emerson wikidata:Q102317589
dbo:abstract
Edmund Melson Clarke, Jr. ( 27 juillet 1945 - 22 décembre 2020) est un informaticien universitaire connu pour ses contributions au model checking, une méthode de vérification de conceptions de logiciel et matériel. Il est titulaire de la chaire (en) en informatique à l'université Carnegie-Mellon. Clarke a été l'un des trois récipiendaires, avec E. Allen Emerson et Joseph Sifakis, du prix Turing 2007, décerné par l'Association for Computing Machinery (ACM).
dbo:citizenship
dbpedia-fr:États-Unis
dbo:award
dbpedia-fr:Franklin_Institute_Awards wikidata:Q895417 dbpedia-fr:Prix_Paris-Kanellakis dbpedia-fr:Prix_Herbrand wikidata:Q52382875 wikidata:Q15995115 wikidata:Q75011333 wikidata:Q111734 wikidata:Q18748039 dbpedia-fr:Prix_Turing
dbo:occupation
wikidata:Q1622272 dbpedia-fr:Chercheur dbpedia-fr:Ingénieur dbpedia-fr:Mathématicien dbpedia-fr:Informaticien
dbo:discipline
wikidata:Q4027615 dbpedia-fr:Informatique
dbo:almaMater
dbpedia-fr:Université_Cornell dbpedia-fr:Université_Duke dbpedia-fr:Université_de_Virginie
dbo:doctoralAdvisor
dbpedia-fr:Robert_Lee_Constable