awgldk
/
wikidata
/
Login
Register
TriplyDB
Wikidata
Browser
Table
SPARQL
Graphs
1
1
Services
1
1
Assets
0
0
Insights
Schema
BETA
Class frequency
Class hierarchy
Q4588721-A187F4A0-9441-4073-A3D0-35FB3160BFA9
Q4588721-A187F4A0-9441-4073-A3D0-35FB3160BFA9
BestRank
Statement
http://www.wikidata.org/entity/statement/Q4588721-A187F4A0-9441-4073-A3D0-35FB3160BFA9
Gerard J. Holzmann
P166
Q4588721-A187F4A0-9441-4073-A3D0-35FB3160BFA9
BestRank
Statement
http://www.wikidata.org/entity/statement/Q4588721-A187F4A0-9441-4073-A3D0-35FB3160BFA9
rank
NormalRank
type
BestRank
Statement
P166
ACM Fellow