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
Q55670539-079DAF4E-CB40-4409-B739-2E4406FAE175
Q55670539-079DAF4E-CB40-4409-B739-2E4406FAE175
BestRank
Statement
http://www.wikidata.org/entity/statement/Q55670539-079DAF4E-CB40-4409-B739-2E4406FAE175
Preface of the special issue on Model Checking of Software
P921
Q55670539-079DAF4E-CB40-4409-B739-2E4406FAE175
BestRank
Statement
http://www.wikidata.org/entity/statement/Q55670539-079DAF4E-CB40-4409-B739-2E4406FAE175
rank
NormalRank
type
BestRank
Statement
P921
Model checking