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

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

Namespace Prefixes

PrefixIRI
n22http://isni.org/isni/
n15https://zbmath.org/authors/?q=ai:
n29https://dblp.org/pid/05/
dbrhttp://dbpedia.org/resource/
n17http://id.worldcat.org/fast/
n11http://fr.dbpedia.org/resource/Modèle:
dbpedia-arhttp://ar.dbpedia.org/resource/
n33http://www.ontologydesignpatterns.org/ont/dul/DUL.owl#
n45http://viaf.org/viaf/
n26https://openmlol.it/autore/
schemahttp://schema.org/
dbpedia-frhttp://fr.dbpedia.org/resource/
n43http://www.idref.fr/069337721/
dcthttp://purl.org/dc/terms/
rdfshttp://www.w3.org/2000/01/rdf-schema#
n44http://ht.dbpedia.org/resource/
n24http://g.co/kg/m/
n21https://d-nb.info/gnd/
n10http://ci.nii.ac.jp/author/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
n40https://lira.lanet.lv/
n35https://id.loc.gov/authorities/names/
xsdhhttp://www.w3.org/2001/XMLSchema#
dbpedia-ukhttp://uk.dbpedia.org/resource/
n34https://dl.acm.org/
n7https://www.britannica.com/biography/
prop-frhttp://fr.dbpedia.org/property/
n30http://catalogo.share-cat.unina.it/sharecat/
dbohttp://dbpedia.org/ontology/
dbpedia-pthttp://pt.dbpedia.org/resource/
n38http://data.rero.ch/
dbpedia-dehttp://de.dbpedia.org/resource/
dbpedia-ruhttp://ru.dbpedia.org/resource/
wikidatahttp://www.wikidata.org/entity/
n37http://mg.dbpedia.org/resource/
n18http://data.bnf.fr/ark:/12148/cb12367215g#
provhttp://www.w3.org/ns/prov#
foafhttp://xmlns.com/foaf/0.1/
wikipedia-frhttp://fr.wikipedia.org/wiki/
n42http://katalog.nsk.hr/F/
n19http://arz.dbpedia.org/resource/
n12https://archive.org/details/
n28https://data.bibliotheken.nl/doc/thes/
n36https://mitpress.mit.edu/authors/
category-frhttp://fr.dbpedia.org/resource/Catégorie:
owlhttp://www.w3.org/2002/07/owl#

Statements

Subject Item
dbpedia-fr:John_Alan_Robinson
rdf:type
wikidata:Q19088 wikidata:Q215627 schema:Person foaf:Person n33:NaturalPerson dbo:Animal wikidata:Q729 wikidata:Q5 owl:Thing dbo:Species dbo:Eukaryote dbo:Person
rdfs:label
Робинсон, Джон Алан John Alan Robinson John Alan Robinson John Alan Robinson John Alan Robinson
rdfs:comment
John Alan Robinson (né le 9 mars 1930 à Halifax (Royaume-Uni), et mort le 5 août 2016 à Portland (Maine)) est un philosophe, mathématicien et informaticien. Il termine sa carrière comme professeur émérite à l'Université de Syracuse.
rdfs:seeAlso
n7:Alan-Robinson n10:DA01969772 n15:robinson.john-alan n22:0000_0001_1827_6564 n26:360056 n30:searchNames?n_cluster_id=441070 n34:author_page.cfm?id=81100189178 n38:02-A003752136 n40:F?func=direct&local_base=lnc10&doc_number=000095583 n42:?func=direct&doc_number=000345103&local_base=nsk10
owl:sameAs
n17:34979 n18:about n19:جون_الان_روبنسون n21:124196306 dbpedia-ar:جون_ألان_روبنسون n24:027npjj wikidata:Q327981 dbpedia-ru:Робинсон,_Джон_Алан n28:p224289527 n29:1544 dbpedia-pt:John_Alan_Robinson dbr:John_Alan_Robinson n35:n79050611 n37:John_Alan_Robinson dbpedia-uk:Джон_Алан_Робінсон dbpedia-de:John_Alan_Robinson n43:id n44:Alan_Robinson n45:77241917
dbo:deathPlace
dbpedia-fr:Portland_(Maine)
dbo:birthPlace
dbpedia-fr:Yorkshire
dbo:wikiPageID
13721008
dbo:wikiPageRevisionID
190796316
dbo:wikiPageWikiLink
dbpedia-fr:Edinburgh_University_Press dbpedia-fr:Doctorat dbpedia-fr:Prix_de_recherche_Humboldt dbpedia-fr:Journal_of_the_ACM dbpedia-fr:Université_de_l'Oregon dbpedia-fr:Université_de_Princeton dbpedia-fr:Raisonnement_automatisé dbpedia-fr:Halifax_(Royaume-Uni) dbpedia-fr:Mathématiques category-fr:Membre_de_l'Association_for_the_Advancement_of_Artificial_Intelligence dbpedia-fr:Mathématicien dbpedia-fr:Yorkshire category-fr:Professeur_à_l'université_de_Syracuse dbpedia-fr:Université_de_Syracuse dbpedia-fr:Michael_Arbib dbpedia-fr:Philosophe dbpedia-fr:Liste_de_publications_importantes_en_informatique_théorique dbpedia-fr:Méthode_de_Quine-Mc_Cluskey dbpedia-fr:Informaticien dbpedia-fr:Humanités_classiques dbpedia-fr:Démonstration_automatique_de_théorèmes dbpedia-fr:Dov_Gabbay dbpedia-fr:Laboratoire_national_d'Argonne dbpedia-fr:Règle_de_résolution category-fr:Étudiant_de_l'université_de_l'Oregon dbpedia-fr:Prolog category-fr:Naissance_en_mars_1930 category-fr:Décès_à_86_ans dbpedia-fr:Professeur_des_universités dbpedia-fr:Portland_(Maine) dbpedia-fr:KU_Leuven dbpedia-fr:Université_polytechnique_de_Madrid category-fr:Pages_avec_des_traductions_non_relues dbpedia-fr:Unification dbpedia-fr:Recherche_opérationnelle dbpedia-fr:Professeur_émérite category-fr:Professeur_à_l'université_Rice dbpedia-fr:Explosion_combinatoire category-fr:Mathématicien_américain_du_XXe_siècle category-fr:Mathématicien_américain_du_XXIe_siècle dbpedia-fr:Université_d'Uppsala dbpedia-fr:Université_de_technologie_de_Darmstadt category-fr:Personnalité_en_méthodes_formelles category-fr:Étudiant_de_l'université_de_Princeton dbpedia-fr:Université_Rice category-fr:Décès_en_août_2016 dbpedia-fr:Université_de_Cambridge dbpedia-fr:Association_for_the_Advancement_of_Artificial_Intelligence dbpedia-fr:Programmation_logique dbpedia-fr:American_Mathematical_Society dbpedia-fr:Anti-unification dbpedia-fr:DuPont dbpedia-fr:MIT_Press category-fr:Étudiant_de_l'université_de_Cambridge category-fr:Personnalité_américaine_en_informatique category-fr:Personnalité_britannique_en_informatique category-fr:Mathématicien_britannique_du_XXIe_siècle category-fr:Mathématicien_britannique_du_XXe_siècle dbpedia-fr:Doctorat_honoris_causa dbpedia-fr:Prix_Herbrand
dbo:wikiPageExternalLink
n12:naturalartificia00arbi n36:j-alan-robinson
dbo:wikiPageLength
8949
dct:subject
category-fr:Naissance_en_mars_1930 category-fr:Membre_de_l'Association_for_the_Advancement_of_Artificial_Intelligence category-fr:Personnalité_américaine_en_informatique category-fr:Décès_à_86_ans category-fr:Professeur_à_l'université_Rice category-fr:Étudiant_de_l'université_de_Cambridge category-fr:Personnalité_en_méthodes_formelles category-fr:Étudiant_de_l'université_de_l'Oregon category-fr:Mathématicien_américain_du_XXe_siècle category-fr:Personnalité_britannique_en_informatique category-fr:Mathématicien_américain_du_XXIe_siècle category-fr:Mathématicien_britannique_du_XXIe_siècle category-fr:Mathématicien_britannique_du_XXe_siècle category-fr:Professeur_à_l'université_de_Syracuse category-fr:Pages_avec_des_traductions_non_relues category-fr:Étudiant_de_l'université_de_Princeton category-fr:Décès_en_août_2016
prop-fr:wikiPageUsesTemplate
n11:Article n11:Ouvrage n11:, n11:Lien n11:Infobox_Biographie2 n11:Voir_homonymie n11:Date_de_naissance n11:Date_de_décès n11:Dictionnaires n11:Bases n11:Références n11:Portail n11:Autorité
prov:wasDerivedFrom
wikipedia-fr:John_Alan_Robinson?oldid=190796316&ns=0
prop-fr:accèsUrl
registration
prop-fr:auteur
Andrei Voronkov dbpedia-fr:Michael_Arbib dbpedia-fr:Dov_Gabbay Christopher John Hogger John Alan Robinson
prop-fr:date
2001 1990 1993 January 1965 1979
prop-fr:doi
10.1145
prop-fr:fr
Méthode de résolution
prop-fr:isbn
0
prop-fr:journal
dbpedia-fr:Journal_of_the_ACM
prop-fr:lang
de
prop-fr:nom
Robinson
prop-fr:numéro
1
prop-fr:pages
23
prop-fr:prénom
John Alan
prop-fr:responsabilité
éditeurs
prop-fr:titre
Handbook of Automated Reasoning Natural and Artificial Parallel Computation Logic: Form and Function A Machine-Oriented Logic Based on the Resolution Principle Handbook of Logic in Artificial Intelligence and Logic Programming
prop-fr:trad
Resolventenmethode
prop-fr:url
n12:naturalartificia00arbi
prop-fr:volume
1 12
prop-fr:éditeur
dbpedia-fr:MIT_Press Oxford University Press dbpedia-fr:Edinburgh_University_Press
prop-fr:lienTitre
Handbook of Automated Reasoning
foaf:isPrimaryTopicOf
wikipedia-fr:John_Alan_Robinson
dbo:employer
dbpedia-fr:Université_de_Syracuse dbpedia-fr:Université_Rice
dbo:abstract
John Alan Robinson (né le 9 mars 1930 à Halifax (Royaume-Uni), et mort le 5 août 2016 à Portland (Maine)) est un philosophe, mathématicien et informaticien. Il termine sa carrière comme professeur émérite à l'Université de Syracuse. La contribution majeure d'Alan Robinson est aux fondements de la démonstration automatique de théorèmes. Son algorithme d'unification a éliminé une source d' explosion combinatoire dans les démonstrateurs de résolution ; il a également préparé le terrain pour le paradigme de programmation logique, en particulier pour le langage Prolog . Robinson a reçu le prix Herbrand 1996 pour ses « contributions remarquables au raisonnement automatisé ».
dbo:citizenship
dbpedia-fr:États-Unis dbpedia-fr:Royaume-Uni
dbo:award
dbpedia-fr:Prix_Herbrand wikidata:Q18748042 dbpedia-fr:Bourse_Guggenheim
dbo:occupation
dbpedia-fr:Mathématicien dbpedia-fr:Informaticien dbpedia-fr:Philosophe dbpedia-fr:Ingénieur
dbo:discipline
dbpedia-fr:Mathématiques
dbo:almaMater
dbpedia-fr:Université_de_Cambridge dbpedia-fr:Université_de_Princeton dbpedia-fr:Université_de_l'Oregon
dbo:doctoralAdvisor
dbpedia-fr:Carl_Gustav_Hempel