eslavco
/
iris
/
Login
Register
TriplyDB
Iris Dataset
Browser
Triples
Insights
Schema
BETA
Class frequency
Class hierarchy
SPARQL
GraphQL
BETA
Graphs
7
Assets
6
Modal mu calculus
Modal mu calculus
http://dbpedia.org/resource/Modal_mu_calculus
Modal_mu_calculus
primaryTopic
Modal mu calculus
http://dbpedia.org/resource/Modal_mu_calculus
Wikipage page ID
6,175,155
http://www.w3.org/2001/XMLSchema#integer
Wikipage redirect
Modal μ-calculus
Wikipage revision ID
413,345,402
http://www.w3.org/2001/XMLSchema#integer
label
Modal mu calculus
@en
wasDerivedFrom
Modal_mu_calculus?oldid=413345402
isPrimaryTopicOf
Modal_mu_calculus