{"entities":{"Q5902152":{"pageid":8010965,"ns":120,"title":"Item:Q5902152","lastrevid":58612968,"modified":"2026-04-06T00:23:09Z","type":"item","id":"Q5902152","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 5578408"}},"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":"Q5902152$70280F43-7C98-4CA6-ACEC-B0C4B8DE7E0E","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":"Q5902152$7189DC00-B9A1-4453-8D3F-F1B3154067CA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f175f891430469855703152548b80f4ec53a01fb","datavalue":{"value":"1248.68334","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5902152$19CCAA14-032D-4558-95B6-40FF6B6E5AEC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8e878a84d3a073530bf479aec775267bd8e7a1e7","datavalue":{"value":"10.1007/978-3-642-02930-1_19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5902152$DA83864E-0873-4453-94EB-B6F88931BAA1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b35206703f13d65f73634741bdd21f6ff4941d38","datavalue":{"value":{"entity-type":"item","numeric-id":3012786,"id":"Q3012786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5902152$920DD2FD-9F7C-4B9F-99B6-71DC370DEC17","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f84a43ca09dfc89bd40b6e05ccc6fc3b6ab38d41","datavalue":{"value":{"time":"+2009-07-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5902152$73CC384E-3048-487A-BFB6-1B5E83189BE9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9cd9dc97c6451e59f4aae7d315baebea3253fe26","datavalue":{"value":"https://arxiv.org/abs/1109.5267","type":"string"},"datatype":"url"},"type":"statement","id":"Q5902152$37B34513-2D42-4A34-A0C1-6F9E561B2BDF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5902152$6E934420-A7BE-4D16-AD3D-351386F487BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5902152$77110FCB-BDBB-4285-82FE-E71958CC512F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5902152$41F44AF8-8F88-45CD-A794-0D83F3EEFB3D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bfd91d88d4cbd0cf9f1d1351a4b392c285357c7a","datavalue":{"value":"5578408","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5902152$1E19798D-3AAE-444D-A14D-276E3796250D","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":"Q5902152$E5E6D558-633A-4626-8500-11674C6B87CD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"237a4a1031bd0c1f32d9ad703044b0ffce4636ea","datavalue":{"value":"W2141566236","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5902152$7E8032F4-C485-4152-A696-9C47D3977E19","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e504bdf328f77aa8f61f17477e5dc74d3e9ec21b","datavalue":{"value":{"entity-type":"item","numeric-id":5895528,"id":"Q5895528"},"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":"Q5902152$A8265353-107B-4C3D-B636-92067B3F12EC","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":"f0dba294e3fc61ac95c02e691afa258ea49e2da2","datavalue":{"value":{"amount":"+0.7874293923377991","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":"Q5902152$A9F19C8B-CF64-4505-8EFC-5295FEEF2B71","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":"05acc090bb44037381665835e1a9d3907da5e43a","datavalue":{"value":{"amount":"+0.7647351026535034","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":"Q5902152$DA6B007E-5ED4-4D07-B033-6200FBFDFA27","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":"b1d68ba567dee172b4679615830ffd6d1f3663fa","datavalue":{"value":{"amount":"+0.7647330164909363","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":"Q5902152$D8518307-7CC0-43F1-84DE-9A3E2DB2E2DB","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":"70d17dc5753d371df2dbaec3a4ae307bb8ee4f0f","datavalue":{"value":{"amount":"+0.7567422986030579","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":"Q5902152$DEAAD5C5-F834-47B8-8C12-771AAF2FC1FC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5902152","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5902152"}}}}}