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
Q5164442-0185DA44-CEBC-4075-8807-F1A4E519BFBB
Q5164442-0185DA44-CEBC-4075-8807-F1A4E519BFBB
BestRank
Statement
http://www.wikidata.org/entity/statement/Q5164442-0185DA44-CEBC-4075-8807-F1A4E519BFBB
Construction and Analysis of Distributed Processes
P366
Q5164442-0185DA44-CEBC-4075-8807-F1A4E519BFBB
BestRank
Statement
http://www.wikidata.org/entity/statement/Q5164442-0185DA44-CEBC-4075-8807-F1A4E519BFBB
rank
NormalRank
type
BestRank
Statement
wasDerivedFrom
d8f245d811d1a5b7e4a8f55ad6f81e470776b818
P366
Model checking