Browse using
OpenLink Faceted Browser
OpenLink Structured Data Editor
LodLive Browser
Formats
RDF:
N-Triples
N3
Turtle
JSON
XML
OData:
Atom
JSON
Microdata:
JSON
HTML
Embedded:
JSON
Turtle
Other:
CSV
JSON-LD
Faceted Browser
Sparql Endpoint
About:
http://dbpedia.org/class/yago/WikicatFormalMethodsPeople
An Entity of Type:
Thing
,
from Named Graph:
http://dbpedia.org
,
within Data Space:
dbpedia.org:8891
Property
Value
rdfs:
subClassOf
yago
:Person100007846
owl:
equivalentClass
yago-res
:wikicat_Formal_methods_people
owl:
sameAs
yago
:WikicatFormalMethodsPeople
is
rdf:
type
of
dbr
:Carl_Adam_Petri
dbr
:Carroll_Morgan_(computer_scientist)
dbr
:Robert_W._Floyd
dbr
:Robin_Milner
dbr
:Rod_Burstall
dbr
:Samson_Abramsky
dbr
:Bertrand_Meyer
dbr
:Bill_Roscoe
dbr
:David_Gries
dbr
:David_Harel
dbr
:David_May_(computer_scientist)
dbr
:David_Parnas
dbr
:David_Watt_(computer_scientist)
dbr
:Andrew_D._Gordon
dbr
:Jonathan_Bowen
dbr
:Joseph_Goguen
dbr
:Joseph_Sifakis
dbr
:Juan_Pavón
dbr
:Patrick_Cousot
dbr
:Peter_Landin
dbr
:Peter_Mosses
dbr
:Peter_O'Hearn
dbr
:Richard_Bird_(computer_scientist)
dbr
:Robert_Kowalski
dbr
:Ursula_Martin
dbr
:Don_Sannella
dbr
:Jan_Bergstra
dbr
:Rajeev_Alur
dbr
:Ib_Holm_Sørensen
dbr
:Christopher_Strachey
dbr
:Cliff_Jones_(computer_scientist)
dbr
:Egon_Börger
dbr
:Fred_B._Schneider
dbr
:Gerard_J._Holzmann
dbr
:Gordon_Plotkin
dbr
:Moshe_Vardi
dbr
:Nancy_Leveson
dbr
:Martyn_Thomas
dbr
:Andrew_Martin_(computer_scientist)
dbr
:Bernhard_Steffen_(computer_scientist)
dbr
:Leslie_Lamport
dbr
:Manfred_Broy
dbr
:Stephen_Cole_Kleene
dbr
:Steve_Reeves_(computer_scientist)
dbr
:Zhiming_Liu_(computer_scientist)
dbr
:Zhou_Chaochen
dbr
:Harlan_Mills
dbr
:Ralph-Johan_Back
dbr
:Paritosh_Pandya
dbr
:Michael_Spivey
dbr
:Mathai_Joseph
dbr
:Matt_Kaufmann
dbr
:Matthew_Hennessy
dbr
:Michael_W._Shields
dbr
:Tom_Maibaum
dbr
:Tony_Hoare
dbr
:G._Mike_Reed
dbr
:He_Jifeng
dbr
:Joe_Stoy
dbr
:John_Fitzgerald_(computer_scientist)
dbr
:Adriaan_van_Wijngaarden
dbr
:Amir_Pnueli
dbr
:Dana_Scott
dbr
:E._Allen_Emerson
dbr
:Edmund_M._Clarke
dbr
:Edsger_W._Dijkstra
dbr
:Eric_Hehner
dbr
:Faron_Moller
dbr
:Niklaus_Wirth
dbr
:Carl_Hewitt
dbr
:Daniel_Jackson_(computer_scientist)
dbr
:John_Rushby
dbr
:John_V._Tucker
dbr
:Nikil_Dutt
dbr
:Luigi_Logrippo
dbr
:Gérard_Huet
dbr
:J._Anthony_Hall
dbr
:Jane_Hillston
dbr
:Jeannette_Wing
dbr
:Jim_Davies_(computer_scientist)
dbr
:Charles_Leonard_Hamblin
dbr
:Jim_Horning
dbr
:Jim_Woodcock
dbr
:John_Alan_Robinson
dbr
:John_C._Reynolds
dbr
:John_Guttag
dbr
:John_McCarthy_(computer_scientist)
dbr
:Kaisa_Sere
dbr
:Kevin_Lano
dbr
:Lawrence_Paulson
dbr
:Georges_Gonthier
dbr
:J_Strother_Moore
dbr
:Jawed_Siddiqi
dbr
:Jean-Raymond_Abrial
dbr
:Dines_Bjørner
dbr
:Donald_Angus_MacKenzie
dbr
:Donald_Knuth
dbr
:Mark_d'Inverno
dbr
:Marta_Kwiatkowska
dbr
:Martin_Henson
dbr
:Philip_Wadler
dbr
:Klaus_Samelson
dbr
:Michael_Butler_(computer_scientist)
dbr
:Michael_Fourman
dbr
:Michael_Hinchey
dbr
:Michael_J._C._Gordon
dbr
:Ole-Johan_Dahl
dbr
:Radhia_Cousot
dbr
:Chris_Tofts
dbr
:Robert_S._Boyer
dbr
:Mark_Harman_(computer_scientist)
dbr
:Ian_Bayley
dbr
:Richard_Bornat
dbr
:Evert_Willem_Beth
dbr
:Michael_A._Jackson
dbr
:Yuri_Gurevich
dbr
:Supratik_Chakraborty
This content was extracted from
Wikipedia
and is licensed under the
Creative Commons Attribution-ShareAlike 3.0 Unported License