awgldk
/
wikidata
/
Login
Register
TriplyDB
Wikidata
Browser
Triples
Insights
Schema
BETA
Class frequency
Class hierarchy
SPARQL
GraphQL
Graphs
1
Q92819-C2278638-606E-4735-96C3-C0A6EC37B234
Q92819-C2278638-606E-4735-96C3-C0A6EC37B234
BestRank
Statement
http://www.wikidata.org/entity/statement/Q92819-C2278638-606E-4735-96C3-C0A6EC37B234
Edmund M. Clarke
P166
Q92819-C2278638-606E-4735-96C3-C0A6EC37B234
BestRank
Statement
http://www.wikidata.org/entity/statement/Q92819-C2278638-606E-4735-96C3-C0A6EC37B234
rank
NormalRank
type
BestRank
Statement
P1706
Joseph Sifakis
E. Allen Emerson
P585
2007-01-01T00:00:00Z
http://www.w3.org/2001/XMLSchema#dateTime
P585
b6f8d289941f9afde049f133cea9611b
P166
Turing Award