wikimedia
/
wikidata
/
Login
Register
TriplyDB
Wikidata
Browser
Table
SPARQL
Graphs
1
1
Services
1
1
Assets
0
0
Insights
Schema
BETA
Class frequency
Class hierarchy
Q62045743-7214A96A-B6F7-43A7-8C23-6B677BFCC3DF
Q62045743-7214A96A-B6F7-43A7-8C23-6B677BFCC3DF
BestRank
Statement
http://www.wikidata.org/entity/statement/Q62045743-7214A96A-B6F7-43A7-8C23-6B677BFCC3DF
A compiler for analyzing cryptographic protocols using noninterference
P31
Q62045743-7214A96A-B6F7-43A7-8C23-6B677BFCC3DF
BestRank
Statement
http://www.wikidata.org/entity/statement/Q62045743-7214A96A-B6F7-43A7-8C23-6B677BFCC3DF
rank
NormalRank
type
BestRank
Statement
P31
scholarly article