eslavco
/
iris
/
Login
Register
TriplyDB
Iris Dataset
Browser
Triples
Insights
Schema
BETA
Class frequency
Class hierarchy
SPARQL
GraphQL
BETA
Graphs
7
Assets
6
Mu calculus
Mu calculus
http://dbpedia.org/resource/Mu_calculus
Mu_calculus
primaryTopic
Mu calculus
http://dbpedia.org/resource/Mu_calculus
Wikipage page ID
30,830,251
http://www.w3.org/2001/XMLSchema#integer
Wikipage redirect
Modal μ-calculus
Wikipage revision ID
418,283,076
http://www.w3.org/2001/XMLSchema#integer
label
Mu calculus
@en
wasDerivedFrom
Mu_calculus?oldid=418283076
isPrimaryTopicOf
Mu_calculus