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
Q59675407-1D41D6DB-CE1F-4E4E-9717-EC9E3DE7F324
Q59675407-1D41D6DB-CE1F-4E4E-9717-EC9E3DE7F324
BestRank
Statement
http://www.wikidata.org/entity/statement/Q59675407-1D41D6DB-CE1F-4E4E-9717-EC9E3DE7F324
A Modal Logic for Full LOTOS based on Symbolic Transition Systems
P478
Q59675407-1D41D6DB-CE1F-4E4E-9717-EC9E3DE7F324
BestRank
Statement
http://www.wikidata.org/entity/statement/Q59675407-1D41D6DB-CE1F-4E4E-9717-EC9E3DE7F324
rank
NormalRank
type
BestRank
Statement
P478
45
http://www.w3.org/2001/XMLSchema#string