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

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

Namespace Prefixes

PrefixIRI
n26http://www.idref.fr/122658787/
n23http://nla.gov.au/
n15http://isni.org/isni/
n37http://id.ndl.go.jp/auth/ndlna/
n38https://zbmath.org/authors/?q=ai:
dbrhttp://dbpedia.org/resource/
n25https://royalsociety.org/people/alan-bundy-11164/
n12http://fr.dbpedia.org/resource/Modèle:
dbpedia-arhttp://ar.dbpedia.org/resource/
n16http://www.ontologydesignpatterns.org/ont/dul/DUL.owl#
n14http://viaf.org/viaf/
schemahttp://schema.org/
dbpedia-frhttp://fr.dbpedia.org/resource/
dcthttp://purl.org/dc/terms/
rdfshttp://www.w3.org/2000/01/rdf-schema#
n17http://g.co/kg/m/
n27http://prabook.com/web/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
n9https://dblp.org/pid/b/
n28http://genealogy.math.ndsu.nodak.edu/
n21https://id.loc.gov/authorities/names/
n5https://scholar.google.com/
xsdhhttp://www.w3.org/2001/XMLSchema#
n11http://fr.dbpedia.org/resource/Modèle:Traduction/
n39https://dl.acm.org/
n32http://data.bnf.fr/ark:/12148/cb13494121b#
prop-frhttp://fr.dbpedia.org/property/
n34http://catalogo.share-cat.unina.it/sharecat/
dbohttp://dbpedia.org/ontology/
dbpedia-dehttp://de.dbpedia.org/resource/
wikidatahttp://www.wikidata.org/entity/
n18https://orcid.org/
n35http://academictree.org/chemistry/
provhttp://www.w3.org/ns/prov#
foafhttp://xmlns.com/foaf/0.1/
wikipedia-frhttp://fr.wikipedia.org/wiki/
n33https://www.scopus.com/authid/
n24https://data.bibliotheken.nl/doc/thes/
category-frhttp://fr.dbpedia.org/resource/Catégorie:
owlhttp://www.w3.org/2002/07/owl#

Statements

Subject Item
dbpedia-fr:Alan_Bundy
rdf:type
owl:Thing wikidata:Q5 dbo:Animal n16:NaturalPerson dbo:Eukaryote schema:Person dbo:Species dbo:Person wikidata:Q215627 foaf:Person wikidata:Q19088 wikidata:Q729
rdfs:label
ألان بندي Alan Bundy Alan Bundy
rdfs:comment
Alan Richard Bundy, né le 18 mai 1947, récompensé par un CBE, Fellow of the Royal Society, FRSE, (en), est professeur à l'École des sciences informatiques de l'Université d'Édimbourg, connu pour ses contributions au raisonnement automatisé, en particulier à la planification des preuves, l'utilisation du raisonnement au méta-niveau pour guider la recherche de preuves .
rdfs:seeAlso
n5:citations?user=n7STZEYAAAAJ n15:0000_0001_0870_9389 n23:nla.party-1261867 n25: n27:person-view.html?profileId=1430136 n28:id.php?id=84451 n33:detail.url?authorId=7007000097 n34:searchNames?n_cluster_id=45435 n35:peopleinfo.php?pid=48356 n38:bundy.alan n39:author_page.cfm?id=81100201062
owl:sameAs
dbpedia-ar:ألان_بندي n9:AlanBundy n14:12460904 n17:0g0x3w n18:0000-0002-0578-6474 dbr:Alan_Bundy n21:n82272592 n24:p071596569 n26:id wikidata:Q4706277 n32:about dbpedia-de:Alan_Bundy n37:00434782
dbo:birthPlace
dbpedia-fr:Isleworth
dbo:wikiPageID
13705683
dbo:wikiPageRevisionID
187027465
dbo:wikiPageWikiLink
dbpedia-fr:British_Computer_Society category-fr:Naissance_en_mai_1947 dbpedia-fr:Membre_de_la_Royal_Society_of_Edinburgh category-fr:Professeur_à_l'université_d'Édimbourg category-fr:Étudiant_de_l'université_de_Leicester category-fr:Commandeur_de_l'ordre_de_l'Empire_britannique dbpedia-fr:Démonstration_automatique_de_théorèmes dbpedia-fr:Ordre_de_l'Empire_britannique category-fr:Membre_de_la_Royal_Society_of_Edinburgh dbpedia-fr:University_of_Edinburgh_School_of_Informatics dbpedia-fr:Université_d'Édimbourg dbpedia-fr:Raisonnement_automatisé category-fr:Personnalité_britannique_en_informatique category-fr:Membre_de_l'Association_for_the_Advancement_of_Artificial_Intelligence category-fr:Membre_de_la_Royal_Society category-fr:Personnalité_en_intelligence_artificielle
dbo:wikiPageLength
3280
dct:subject
category-fr:Membre_de_l'Association_for_the_Advancement_of_Artificial_Intelligence category-fr:Personnalité_britannique_en_informatique category-fr:Étudiant_de_l'université_de_Leicester category-fr:Membre_de_la_Royal_Society_of_Edinburgh category-fr:Commandeur_de_l'ordre_de_l'Empire_britannique category-fr:Naissance_en_mai_1947 category-fr:Membre_de_la_Royal_Society category-fr:Personnalité_en_intelligence_artificielle category-fr:Professeur_à_l'université_d'Édimbourg
prop-fr:wikiPageUsesTemplate
n11:Référence n12:Lien n12:Références n12:, n12:Portail n12:Infobox_Biographie2 n12:Homonyme n12:Ébauche n12:Date_de_naissance-
prov:wasDerivedFrom
wikipedia-fr:Alan_Bundy?oldid=187027465&ns=0
foaf:isPrimaryTopicOf
wikipedia-fr:Alan_Bundy
dbo:employer
dbpedia-fr:Université_d'Édimbourg
dbo:doctoralStudent
wikidata:Q102302896 wikidata:Q102270582 wikidata:Q5490605 wikidata:Q102302057 wikidata:Q7518501 wikidata:Q62036851 wikidata:Q21463773 wikidata:Q102307835 dbpedia-fr:Toby_Walsh wikidata:Q102302433 wikidata:Q102302436 wikidata:Q102302426 wikidata:Q102302432 wikidata:Q102302421 wikidata:Q102302425 wikidata:Q102997857 wikidata:Q102302454 wikidata:Q102302440 wikidata:Q102302441 wikidata:Q102302437 wikidata:Q102302438 wikidata:Q12757770
dbo:abstract
Alan Richard Bundy, né le 18 mai 1947, récompensé par un CBE, Fellow of the Royal Society, FRSE, (en), est professeur à l'École des sciences informatiques de l'Université d'Édimbourg, connu pour ses contributions au raisonnement automatisé, en particulier à la planification des preuves, l'utilisation du raisonnement au méta-niveau pour guider la recherche de preuves .
dbo:citizenship
dbpedia-fr:Royaume-Uni
dbo:award
wikidata:Q5971528 wikidata:Q94282044 wikidata:Q5424551 dbpedia-fr:Prix_Herbrand wikidata:Q12201477 dbpedia-fr:Membre_de_la_Royal_Society_of_Edinburgh wikidata:Q28030869 wikidata:Q18748039 wikidata:Q18748042 wikidata:Q18342538 wikidata:Q15631401
dbo:occupation
dbpedia-fr:Informaticien wikidata:Q15976092 wikidata:Q1622272
dbo:almaMater
dbpedia-fr:Université_de_Leicester
dbo:doctoralAdvisor
dbpedia-fr:Reuben_Goodstein