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
Q22237685-B97EC900-B514-44C2-B83E-29D55CB9CFB5
Q22237685-B97EC900-B514-44C2-B83E-29D55CB9CFB5
BestRank
Statement
http://www.wikidata.org/entity/statement/Q22237685-B97EC900-B514-44C2-B83E-29D55CB9CFB5
Separation Logic: A Logic for Shared Mutable Data Structures
P921
Q22237685-B97EC900-B514-44C2-B83E-29D55CB9CFB5
BestRank
Statement
http://www.wikidata.org/entity/statement/Q22237685-B97EC900-B514-44C2-B83E-29D55CB9CFB5
rank
NormalRank
type
BestRank
Statement
P921
data sharing