{"entities":{"Q5895528":{"pageid":7935114,"ns":120,"title":"Item:Q5895528","lastrevid":51441143,"modified":"2026-01-18T06:20:19Z","type":"item","id":"Q5895528","labels":{"en":{"language":"en","value":"Complexity of model checking recursion schemes for fragments of the modal mu-calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6020606"}},"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":"Q5895528$F79983A1-07DA-4B48-9976-01581FF1BED6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"dc2a8b9b0304736920027693323a9bb7737bf7eb","datavalue":{"value":{"text":"Complexity of Model Checking Recursion Schemes for Fragments of the Modal Mu-Calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5895528$7E8C2C35-6885-4AE5-8C75-1349E4DC60C6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4f8c1377fd6143afd96b3878a250139896555ac5","datavalue":{"value":"1237.68124","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5895528$7373CA60-A117-483F-8C49-49E93835443A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ed6eee5a43eb83fa81731ff5b2b6dd2ce9cb3da8","datavalue":{"value":"10.2168/LMCS-7(4:9)2011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5895528$AC30638D-636F-4D51-87B1-19E5D2E520E2","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":"Q5895528$51A65B1B-C4C9-472C-A5B5-FA3D989BE3FA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3a20009f475df93c72840e2e5b3a3e90a55f1389","datavalue":{"value":{"time":"+2012-04-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5895528$C48718A2-53A5-4BA7-AF7D-9E5ED1B68DA8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5895528$667151B6-6D51-4452-BD0E-9414E7DF90E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5895528$B5B76CFF-2202-4B99-89C1-B3905435B452","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5895528$F982CB68-0E32-4E68-BC2A-3FC1FDBFE625","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6bf92bee24e8f2f5eb68a2a245de905b8f9edc5a","datavalue":{"value":"6020606","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5895528$C67F606A-3FC2-40B2-A63F-F529BF18247F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q5895528$34FED573-612F-4708-A7A3-A913BF34E213","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"79b822a0d22ade9dd3983480f17f2ae01ee86295","datavalue":{"value":"higher-order recursion schemes","type":"string"},"datatype":"string"},"type":"statement","id":"Q5895528$74986720-7B9A-4C69-BE27-EC5D7EE84758","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b462f38abee80906c2d768906563204d6d43dfc5","datavalue":{"value":"modal mu-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5895528$C19E2CE7-E45E-4A32-ADF0-984BD1A72344","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5f8382ba04f9f05f645b4d0e4b9ea28f0619583","datavalue":{"value":"complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5895528$E02C9BE8-B20F-4135-B64F-012DBB638D77","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":"Q5895528$B50F652A-089F-4FD1-8C1B-0CD1604BC66A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6587391ea122652f79cd68ec62acf98bbc61fd4a","datavalue":{"value":"https://doi.org/10.2168/lmcs-7(4:9)2011","type":"string"},"datatype":"url"},"type":"statement","id":"Q5895528$FE4A7377-F02B-43F9-82A3-6F3DCAFABCA2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5201b1542ae0a68c02cfb18b0f80ccda3a3d9d38","datavalue":{"value":"W1989109065","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5895528$90B88CBB-079C-4EE4-8C12-29699A17572A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95fecd08ae32fff5542bc4aed0604a36705e9eaa","datavalue":{"value":{"entity-type":"item","numeric-id":5902152,"id":"Q5902152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"43fcdfa2abf78afaa2680deff2ff7ad7a3298641","datavalue":{"value":{"amount":"+0.9993553757667542","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5895528$A8646E58-57E4-478C-8E09-1FDA0CAADE1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b143ecc5518b188b309bae202f417aee6fc7d5cc","datavalue":{"value":{"entity-type":"item","numeric-id":3617724,"id":"Q3617724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b8441226231d2da1f1f6af98bb141785959b5a89","datavalue":{"value":{"amount":"+0.7849246263504028","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5895528$13C7383D-7021-435B-9EE0-8B922A175233","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6ccb1191a94d96960c35877220f461aed7f4efc","datavalue":{"value":{"entity-type":"item","numeric-id":5395718,"id":"Q5395718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"24c00a3e079ec00b5df0039d5fe0b7350e8f5ea8","datavalue":{"value":{"amount":"+0.7667774558067322","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5895528$0A070693-4D6F-4FC4-B2A8-297DF4EF46BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eb9c8c3fe9b3eae0c510cba1cd10b65226a7b8a7","datavalue":{"value":{"entity-type":"item","numeric-id":2937780,"id":"Q2937780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fdbf050a2e3fa8f9262d2411c0632161fd5ff015","datavalue":{"value":{"amount":"+0.7620156407356262","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5895528$3F479F52-2413-4A8C-A497-1D48FCE28E0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"12650aab67e5dc8a9cf8fe2726b5e39e09a1d7f9","datavalue":{"value":{"entity-type":"item","numeric-id":2941755,"id":"Q2941755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a15b5150f36370119a375588c6322bff075c5a37","datavalue":{"value":{"amount":"+0.7560366988182068","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5895528$720F4DD7-9485-4A25-A187-40AB8DC4586E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5895528","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5895528"}}}}}