Toggle navigation
Faceted Browser
Sparql Endpoint
Browse using
OpenLink Faceted Browser
OpenLink Structured Data Editor
LodLive Browser
LODmilla Browser
Formats
RDF:
N3
Turtle
JSON
XML
OData:
Atom
JSON
Microdata:
JSON
HTML
Embedded:
JSON
Turtle
CSV
JSON-LD
About:
http://fr.dbpedia.org/resource/Catégorie:Personnalité_en_méthodes_formelles
An Entity of Type :
Concept
, from Named Graph :
http://fr.dbpedia.org
, within Data Space :
fr.dbpedia.org
Property
Value
dbo:
wikiPageID
1571941
(xsd:integer)
dbo:
wikiPageRevisionID
119854413
(xsd:integer)
rdf:
type
skos
:Concept
rdfs:
label
Personnalité en méthodes formelles
(fr)
Personnalité en méthodes formelles
(fr)
rdfs:
seeAlso
https://commons.wikimedia.org/wiki/Category:Formal_methods_people
owl:
sameAs
dbc
:Formal_methods_people
dbpedia-commons
:Category:Formal_methods_people
wikidata
:Q8466127
dbpedia-ja
:Category:形式手法の人物
dbpedia-tr
:Kategori:Biçimsel_yöntemler_kişileri
dbpedia-zh
:Category:形式方法人物
skos:
broader
category-fr
:Méthode_formelle
category-fr
:Personnalité_en_informatique
skos:
prefLabel
Personnalité en méthodes formelles
(fr)
Personnalité en méthodes formelles
(fr)
prov:
wasDerivedFrom
wikipedia-fr
:Catégorie:Personnalité_en_méthodes_formelles?oldid=119854413&ns=14
is
dbo:
wikiPageWikiLink
of
dbpedia-fr
:Allen_Emerson
dbpedia-fr
:Amir_Pnueli
dbpedia-fr
:Arthur_Samuel
dbpedia-fr
:Benjamin_Werner
dbpedia-fr
:Charles_Antony_Richard_Hoare
dbpedia-fr
:David_L._Dill
dbpedia-fr
:Donald_Knuth
dbpedia-fr
:Edmund_M._Clarke
dbpedia-fr
:Egon_Börger
dbpedia-fr
:Georges_Gonthier
dbpedia-fr
:Gerard_J._Holzmann
dbpedia-fr
:Helmut_Veith
dbpedia-fr
:Jean-Raymond_Abrial
dbpedia-fr
:Jeannette_Wing
dbpedia-fr
:John_Alan_Robinson
dbpedia-fr
:John_C._Reynolds
dbpedia-fr
:Jonathan_Bowen
dbpedia-fr
:Joseph_Sifakis
dbpedia-fr
:Patrick_Cousot
dbpedia-fr
:Peter_O'Hearn
dbpedia-fr
:Radhia_Cousot
dbpedia-fr
:Rajeev_Alur
dbpedia-fr
:Robert_Floyd
dbpedia-fr
:Robert_France
dbpedia-fr
:Stephen_Cole_Kleene
dbpedia-fr
:Stephen_D._Brookes
dbpedia-fr
:Thomas_Henzinger
dbpedia-fr
:Marta_Kwiatkowska
dbpedia-fr
:Martin_Wirsing
dbpedia-fr
:Mathai_Joseph
dbpedia-fr
:Michael_A._Jackson
is
dct:
subject
of
dbpedia-fr
:Allen_Emerson
dbpedia-fr
:Amir_Pnueli
dbpedia-fr
:Arthur_Samuel
dbpedia-fr
:Benjamin_Werner
dbpedia-fr
:Charles_Antony_Richard_Hoare
dbpedia-fr
:David_L._Dill
dbpedia-fr
:Donald_Knuth
dbpedia-fr
:Edmund_M._Clarke
dbpedia-fr
:Egon_Börger
dbpedia-fr
:Georges_Gonthier
dbpedia-fr
:Gerard_J._Holzmann
dbpedia-fr
:Helmut_Veith
dbpedia-fr
:Jean-Raymond_Abrial
dbpedia-fr
:Jeannette_Wing
dbpedia-fr
:John_Alan_Robinson
dbpedia-fr
:John_C._Reynolds
dbpedia-fr
:Jonathan_Bowen
dbpedia-fr
:Joseph_Sifakis
dbpedia-fr
:Patrick_Cousot
dbpedia-fr
:Peter_O'Hearn
dbpedia-fr
:Radhia_Cousot
dbpedia-fr
:Rajeev_Alur
dbpedia-fr
:Robert_Floyd
dbpedia-fr
:Robert_France
dbpedia-fr
:Stephen_Cole_Kleene
dbpedia-fr
:Stephen_D._Brookes
dbpedia-fr
:Thomas_Henzinger
dbpedia-fr
:Marta_Kwiatkowska
dbpedia-fr
:Martin_Wirsing
dbpedia-fr
:Mathai_Joseph
dbpedia-fr
:Michael_A._Jackson
is
oa:
hasTarget
of
tag-fr
:WdtFrResource