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

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

Namespace Prefixes

PrefixIRI
dbpedia-dehttp://de.dbpedia.org/resource/
dcthttp://purl.org/dc/terms/
n26https://scholar.google.com/
n29http://catalogo.share-cat.unina.it/sharecat/
dbohttp://dbpedia.org/ontology/
n37https://lira.lanet.lv/
foafhttp://xmlns.com/foaf/0.1/
n20http://commons.dbpedia.org/resource/Category:
n34https://dl.acm.org/
n4http://g.co/kg/m/
n28http://www.cs.utexas.edu/~moore/
n30https://dblp.org/pid/m/
n10https://www.scopus.com/authid/
schemahttp://schema.org/
rdfshttp://www.w3.org/2000/01/rdf-schema#
n32https://d-nb.info/gnd/
n14http://www.ontologydesignpatterns.org/ont/dul/DUL.owl#
category-frhttp://fr.dbpedia.org/resource/Catégorie:
n15http://isni.org/isni/
n21https://zbmath.org/authors/?q=ai:
n27http://genealogy.math.ndsu.nodak.edu/
n11http://fr.dbpedia.org/resource/Modèle:
n36http://www.idref.fr/156103737/
n35http://www.viaf.org/viaf/
n19http://viaf.org/viaf/
wikipedia-frhttp://fr.wikipedia.org/wiki/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
owlhttp://www.w3.org/2002/07/owl#
n13https://commons.wikimedia.org/wiki/Category:
n33https://id.loc.gov/authorities/names/
dbpedia-frhttp://fr.dbpedia.org/resource/
prop-frhttp://fr.dbpedia.org/property/
n8https://data.bibliotheken.nl/doc/thes/
provhttp://www.w3.org/ns/prov#
xsdhhttp://www.w3.org/2001/XMLSchema#
dbrhttp://dbpedia.org/resource/
wikidatahttp://www.wikidata.org/entity/
n31http://nla.gov.au/

Statements

Subject Item
dbpedia-fr:J_Strother_Moore
rdf:type
dbo:Eukaryote schema:Person dbo:Animal n14:NaturalPerson dbo:Person foaf:Person wikidata:Q5 wikidata:Q729 owl:Thing wikidata:Q215627 wikidata:Q19088 dbo:Species
rdfs:label
J Strother Moore
rdfs:comment
J Strother Moore (né le 11 septembre 1947 à Seminole (Oklahoma)) est un informaticien américain. Il est professeur à l'université du Texas à Austin. La lettre J est son prénom et n'est pas une abréviation.
rdfs:seeAlso
n10:detail.url?authorId=25723538500 n13:J_Strother_Moore n15:0000_0001_0897_1547 n21:moore.j-strother n26:citations?user=91fyr68AAAAJ n27:id.php?id=102545 n29:searchNames?n_cluster_id=41254 n31:anbd.aut-an35924416 n34:author_page.cfm?id=81342504985 n37:F?func=direct&local_base=lnc10&doc_number=000173294
owl:sameAs
n4:05475g n8:p068287941 wikidata:Q6109434 n19:47656419 n20:J_Strother_Moore dbr:J_Strother_Moore dbpedia-de:J_Strother_Moore n30:JStrotherMoore n32:122924843 n33:n79073002 n35:47656419 n36:id
dbo:birthPlace
dbpedia-fr:Seminole_(Oklahoma)
dbo:wikiPageID
12332280
dbo:wikiPageRevisionID
190430117
dbo:wikiPageWikiLink
dbpedia-fr:Prix_ACM_Software_System dbpedia-fr:Royal_Society_of_Edinburgh dbpedia-fr:Université_d'Édimbourg dbpedia-fr:Fellow category-fr:Professeur_à_l'université_du_Texas_à_Austin dbpedia-fr:Seminole_(Oklahoma) dbpedia-fr:Algorithme_de_recherche_de_sous-chaîne dbpedia-fr:Massachusetts_Institute_of_Technology dbpedia-fr:Premier_cycle_universitaire dbpedia-fr:Palo_Alto_Research_Center dbpedia-fr:Académie_nationale_d'ingénierie_des_États-Unis dbpedia-fr:Algorithme_de_Boyer-Moore dbpedia-fr:États-Unis dbpedia-fr:Informaticien dbpedia-fr:American_Mathematical_Society dbpedia-fr:Association_for_Computing_Machinery dbpedia-fr:SRI_International dbpedia-fr:Association_for_the_Advancement_of_Artificial_Intelligence dbpedia-fr:Doctorat category-fr:Informaticien_américain category-fr:Naissance_en_septembre_1947 dbpedia-fr:Academic_Press dbpedia-fr:Université_du_Texas_à_Austin dbpedia-fr:Robert_S._Boyer dbpedia-fr:Austin_(Texas)
dbo:wikiPageExternalLink
n28:
dbo:wikiPageLength
3999
dct:subject
category-fr:Naissance_en_septembre_1947 category-fr:Informaticien_américain category-fr:Professeur_à_l'université_du_Texas_à_Austin
prop-fr:wikiPageUsesTemplate
n11:Autorité n11:Lien n11:Date- n11:Ouvrage n11:Bases_recherche n11:Portail n11:Références n11:Infobox_Biographie2
prov:wasDerivedFrom
wikipedia-fr:J_Strother_Moore?oldid=190430117&ns=0
prop-fr:année
1980 1981 2000 1998 1996 1988
prop-fr:auteur
avec Matt Kaufmann et Panagiotis Manolios éditeur avec Robert S. Boyer éditeur avec Matt Kaufmann et Panagiotis Manolios avec Robert S. Boyer
prop-fr:collection
International series in formal methods ACM monograph series, Academic Press
prop-fr:isbn
978
prop-fr:langue
en
prop-fr:libellé
J Strother Moore en 2006
prop-fr:lieu
New York
prop-fr:pagesTotales
xiv+397 xxv +518
prop-fr:sousTitre
ACL2 case studies = Kluwer an approach
prop-fr:titre
A computational Logic A Computational Logic Handbook Piton : a mechanically verified assembly-level language Computer-aided reasoning Id. The correctness problem in computer science
prop-fr:éditeur
dbpedia-fr:Academic_Press Kluwer
prop-fr:numéroD'édition
2
prop-fr:lccn
n/79/73002
prop-fr:wikidata
Q6109434
prop-fr:gnd
122924843
prop-fr:viaf
47656419
prop-fr:typ
p
foaf:isPrimaryTopicOf
wikipedia-fr:J_Strother_Moore
dbo:employer
dbpedia-fr:Université_du_Texas_à_Austin
dbo:doctoralStudent
wikidata:Q102302320 wikidata:Q102357717
dbo:individualisedGnd
122924843
dbo:lccnId
n/79/73002
dbo:viafId
47656419
dbo:abstract
J Strother Moore (né le 11 septembre 1947 à Seminole (Oklahoma)) est un informaticien américain. Il est professeur à l'université du Texas à Austin. La lettre J est son prénom et n'est pas une abréviation.
dbo:citizenship
dbpedia-fr:États-Unis
dbo:award
dbpedia-fr:Prix_Herbrand dbpedia-fr:Prix_ACM_Software_System wikidata:Q18748039
dbo:occupation
dbpedia-fr:Informaticien wikidata:Q1622272 dbpedia-fr:Ingénieur
dbo:almaMater
dbpedia-fr:Université_d'Édimbourg dbpedia-fr:Massachusetts_Institute_of_Technology
dbo:doctoralAdvisor
wikidata:Q7356136