{"entities":{"Q3535618":{"pageid":5565522,"ns":120,"title":"Item:Q3535618","lastrevid":49306435,"modified":"2026-01-06T22:43:39Z","type":"item","id":"Q3535618","labels":{"en":{"language":"en","value":"The Complexity of Enriched Mu-Calculi"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5365483"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3535618$1DF351B9-7DAB-4955-B359-8FA4DF301BA5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"334f63e278e631af4b1b84a53565aaad5f07b1f1","datavalue":{"value":{"text":"The Complexity of Enriched Mu-Calculi","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3535618$BACD4593-791A-4D2F-AB1D-BCAC82873FA3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1efbe4ac5e6fec8933ef920c1c8b083c70543ae1","datavalue":{"value":"1151.03016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3535618$2C905939-3C25-497F-8B80-F4B659573F32","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"254729067c6c815405e2e658a376a016febf70f0","datavalue":{"value":"10.2168/LMCS-4(3:11)2008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3535618$8BD3DE04-8DFA-4457-91A6-47D76C6C3FF1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"22db3ca50466332b07467138807079dd11905aeb","datavalue":{"value":{"entity-type":"item","numeric-id":420807,"id":"Q420807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3535618$533C818B-BB7C-4A30-9E84-3E3D273FAF47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"df9b0d5346ec014243da840aa4842429b4a2c359","datavalue":{"value":{"entity-type":"item","numeric-id":329412,"id":"Q329412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3535618$1F1DDD12-D9F9-4320-9361-64D9A2770176","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ce87cbb6ded942a7df2b71cd7e21808de8efe775","datavalue":{"value":{"entity-type":"item","numeric-id":208771,"id":"Q208771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3535618$117E04E6-CF16-49B1-91D0-0C528B10A824","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0631f2d933312919de86ae8c0f02f442e4f96c29","datavalue":{"value":{"entity-type":"item","numeric-id":814595,"id":"Q814595"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3535618$FD70656E-C39B-46D3-92AC-03DE58ADFF3C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"da58c52dc46c86e7440f2499c9e1bef3537c5562","datavalue":{"value":{"entity-type":"item","numeric-id":2786118,"id":"Q2786118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3535618$E642658C-B4C9-437C-82F8-47B1F9E6836E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"27f25e9d3b3894d698b7ec67f164a27a3aba1f7c","datavalue":{"value":{"time":"+2008-11-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3535618$58421448-CC51-493D-B290-5AF50B24FAA1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3535618$29C4BED7-3725-45E7-A0D5-82B6AD51D1CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3535618$8909CC4B-4B93-4A9C-B06C-D8EC8982E90B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3535618$CD752F92-D697-4F88-B9DC-C9EE3C505392","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3535618$7E920233-D13D-4046-86D2-5AA239428378","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3535618$C3D023E6-0409-4237-8B24-18C82F1C9A42","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"665102f7423f158deb769a8e921480fa87a38d42","datavalue":{"value":"5365483","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3535618$7407FC15-51D8-4F05-887E-82E2CAF33B0F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3535618$73D98AC7-1224-43A8-9B83-00003FB20DD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5f8382ba04f9f05f645b4d0e4b9ea28f0619583","datavalue":{"value":"complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q3535618$7299E8ED-DEE1-48E9-922D-9076AABC6584","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"36574489fe6ec4eef4fd9ece326b82938c596ea6","datavalue":{"value":"fully enriched \\(\\mu \\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3535618$CC0A20FC-DD7E-4601-834B-46EA5A3010BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4fc3bc50a74e20b91d24c7e545dca7f2e61adb03","datavalue":{"value":"expressive fragments","type":"string"},"datatype":"string"},"type":"statement","id":"Q3535618$134D2800-80E0-4C6A-8B2D-51DB4B78FA53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3535618$BFF25ACB-BACD-4B6E-A596-95D5D487AA0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1aa4965fd29e71a6be596e0580a7e6da68a927e7","datavalue":{"value":"ExpTime-complete","type":"string"},"datatype":"string"},"type":"statement","id":"Q3535618$7DA8D8CA-3912-4CB0-80BC-CAA2385A23A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"15fbed3ce95f928d6dc607d8d9c17a811e1c007d","datavalue":{"value":"automata models","type":"string"},"datatype":"string"},"type":"statement","id":"Q3535618$D25B69B9-4C9B-4BED-8363-5758C0229BE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"92ad461084375ac6868419f0e2aa8006a9b6b79f","datavalue":{"value":"emptiness problems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3535618$24FA3817-B032-44DC-A17B-05617F6A8515","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3535618$0E5DE7AA-E812-4953-B8A5-C94E0A0C1247","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"04fbd6f2006b2a8096c61390a4d0015aa0e6959a","datavalue":{"value":{"entity-type":"item","numeric-id":3591423,"id":"Q3591423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ed0d4a8002d98ae475e924c65685a1d36c2409a","datavalue":{"value":{"amount":"+1.0000001","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3535618$1B5C7149-3119-4D7A-A1C4-66620DF6BFC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"71fc00f9caaf2d5900e2a968a11e73382855e97e","datavalue":{"value":{"entity-type":"item","numeric-id":4809076,"id":"Q4809076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"866ace010273a5a296d53c3c34e311545a0a01bb","datavalue":{"value":{"amount":"+0.90990543","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3535618$3B9B1556-A27E-407C-995C-3A040AA8B23E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad556670ef1a7e79c2648b034e7ab922d2175f3b","datavalue":{"value":{"entity-type":"item","numeric-id":5758045,"id":"Q5758045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4eebd42ae7ec56aeaffc4ac6d64f066ce45ada7a","datavalue":{"value":{"amount":"+0.8784979","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3535618$4E02907B-79A0-49B4-9249-8F637DC1A90C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b364fbfc73f50bd7375c18acc0aa97d35831cd7c","datavalue":{"value":{"entity-type":"item","numeric-id":3535606,"id":"Q3535606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4eebd42ae7ec56aeaffc4ac6d64f066ce45ada7a","datavalue":{"value":{"amount":"+0.8784979","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3535618$73D64EAD-DF19-4ADA-8951-FE3BD3C30B64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9a2a4af89c66d52529d6d5fbb65a7704934347b4","datavalue":{"value":{"entity-type":"item","numeric-id":2904061,"id":"Q2904061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a2303c2a359b2ffb5cc296edf6af0daf406c797e","datavalue":{"value":{"amount":"+0.87381107","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3535618$DBDC098E-D0A7-444D-ABC2-25B53F069536","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"da470fff85f8cc4edd28dca66c5419a822ec0924","datavalue":{"value":{"entity-type":"item","numeric-id":3498485,"id":"Q3498485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"203b905b9d2d7999436ff529e87d5637ea79bcce","datavalue":{"value":{"amount":"+0.8655733","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3535618$B1130A06-3ED1-4CE1-8028-A55471E476E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"79214af768596456d18635cc590eec2201e08a19","datavalue":{"value":{"entity-type":"item","numeric-id":5144621,"id":"Q5144621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e8fd38ea6b6812603f64459d9340a7a1b0d44bae","datavalue":{"value":{"amount":"+0.86455524","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3535618$2E4C45B7-7585-4E7E-93BB-1B4B98948749","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cc0488eac80e18c834fde2c5aab8cb5733d35ab2","datavalue":{"value":{"entity-type":"item","numeric-id":3315499,"id":"Q3315499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a837b4fe8ea1b4f0cad530275a759e8aad39815","datavalue":{"value":{"amount":"+0.86025023","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3535618$312C5289-AD26-49DD-8476-E67122265676","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bfcf9bee88c51f2cfa1fd094339fd35821bdd450","datavalue":{"value":{"entity-type":"item","numeric-id":5292653,"id":"Q5292653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"71fdd26778c9b6e2e715baf091c20bf014da2b0e","datavalue":{"value":{"amount":"+0.85977584","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3535618$47760EA5-87F8-4EEC-9997-C027887D9127","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c6a2b884d5e9678fd3106876ee0314aedecadf0","datavalue":{"value":{"entity-type":"item","numeric-id":4396072,"id":"Q4396072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"45d68ebdfc111a3ab42ce2e3ea3d2302a7a1af70","datavalue":{"value":{"amount":"+0.8580175","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3535618$53136E53-C909-4E52-A548-E4BBD273954D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3535618","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3535618"}}}}}