{"entities":{"Q2946334":{"pageid":2957054,"ns":120,"title":"Item:Q2946334","lastrevid":85285670,"modified":"2026-06-03T06:38:20Z","type":"item","id":"Q2946334","labels":{"en":{"language":"en","value":"Relating paths in transition systems: the fall of the modal mu-calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6482734"}},"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":"Q2946334$EE50F9F2-C59D-47EB-A492-E4C9128C467A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b9fb4e03280df75cb0d0f02b136718eff3450673","datavalue":{"value":{"text":"Relating Paths in Transition Systems: The Fall of the Modal Mu-Calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2946334$44748B6D-14FC-42AA-952B-79BCD4E2CE67","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fd8d0b8f30a4a8c8e213245ac42b84897bd32229","datavalue":{"value":"1465.68173","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946334$331423D6-94CE-45F0-A21F-02DF2186F841","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"693b5a1994c30af4965695782f26e83d468e96f7","datavalue":{"value":"10.1007/978-3-662-48057-1_14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946334$9787375D-8711-4A94-828B-F9C7974F81C6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a06e5ef1bece8fdb4fdd3515de35bf8fe9d93b2d","datavalue":{"value":{"entity-type":"item","numeric-id":282108,"id":"Q282108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946334$3BBFFC23-EFE4-4FBD-B33E-61E268EC5CF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4bb2ee3b8c029ad0cc84aa38006cc76c309c3315","datavalue":{"value":{"entity-type":"item","numeric-id":2346406,"id":"Q2346406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946334$ECDFA08B-2EC3-495C-A582-59509B61684A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a12d2defd50916b97ca1549377618bc805a4e9be","datavalue":{"value":{"entity-type":"item","numeric-id":476193,"id":"Q476193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946334$C1554C57-A728-4857-857D-ACF977E34A92","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a57296659600bcb8b20b3ceae35ad825f335714c","datavalue":{"value":{"entity-type":"item","numeric-id":2946320,"id":"Q2946320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946334$C36CF4C2-7AE3-4316-97E7-65972AB26D81","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"aa7ff53be2613fa456ce1e6e1f910cf5f7f773a1","datavalue":{"value":{"time":"+2015-09-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2946334$451244B8-17D6-4319-A950-FCD98D5EC686","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946334$AB9F8D6E-B014-42D5-8BD9-6E2C0C4C0A1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3f6d4b3012578fba2d8ab6b9e39d328cad9def57","datavalue":{"value":"03B16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946334$A86DBE81-A8CB-40F4-870D-B7F458095E32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946334$4843482F-01E9-4724-B919-8CEDBFB9CF29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946334$48517CD9-497E-4FB1-9258-5B92715B9F86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d5c83f057600e5614b7fec59c8e4ac61cb41ba8d","datavalue":{"value":"91A80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946334$F7399876-0117-4E07-AD3F-0CA4F7AD9701","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"35b7820847ee08d8fd4a4226d9846b8eeadb2646","datavalue":{"value":"6482734","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946334$4E59C496-65D9-4EF8-9661-B90608742ADA","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":"Q2946334$DE1BED0B-1A67-4D05-A2E3-8EECFDA583B8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b4d7193c22eae0371ed89ab190b0346ea942f079","datavalue":{"value":"https://doi.org/10.1007/978-3-662-48057-1_14","type":"string"},"datatype":"url"},"type":"statement","id":"Q2946334$291119D2-82E5-4D02-9B80-137034545E85","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"de7e32ac845fa522bd9ec328d6739752c556b461","datavalue":{"value":"W2138793937","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946334$7E91B478-2AE7-4433-A882-1386AB6191FC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ce8ab94263d75d8d64459463341cdcd187b079f","datavalue":{"value":{"entity-type":"item","numeric-id":5758138,"id":"Q5758138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946334$EA1D5954-EEE9-4EDE-98D5-027CCE5E9269","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"642b5ea1ecb715242355ecb3a726a2fb28c94d2c","datavalue":{"value":{"entity-type":"item","numeric-id":3083813,"id":"Q3083813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946334$73EB98F9-E065-4F40-91BD-02C3899356C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3632afaf7c9124694de853efafd5cd84e2a50881","datavalue":{"value":{"entity-type":"item","numeric-id":3859267,"id":"Q3859267"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946334$397C5E46-12FD-4E8A-BB7B-4739118DC5B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c026870810d350669dbe87294b1175b09203f97","datavalue":{"value":{"entity-type":"item","numeric-id":1959483,"id":"Q1959483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946334$BF58155E-11CA-481E-819C-98CE4A8CD84C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e51a997082b12e259ba59b69ade159bc2261d5b","datavalue":{"value":{"entity-type":"item","numeric-id":616037,"id":"Q616037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946334$C1005DE8-E9CE-4FD0-970B-A70CC8858B10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"282ab3154b7cecb0f5de31b5ec9ea480ce1d7b33","datavalue":{"value":{"entity-type":"item","numeric-id":4994895,"id":"Q4994895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946334$1CC96A28-A40E-4D19-8552-D0EF04EC33F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7e454f7f7762b0f429fb7dfc59addc06cbbeff5","datavalue":{"value":{"entity-type":"item","numeric-id":1853615,"id":"Q1853615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946334$338524B4-FAC2-4D6F-803E-58FE2AA5B331","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d38ba83fedfe56546ddbdb9a378f44bbb200e380","datavalue":{"value":{"entity-type":"item","numeric-id":4933292,"id":"Q4933292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946334$E4403B8E-0174-40BC-AE96-57BF6ECEB09A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a156d0e955d918a0cf7c3031785e80a3fc845ba","datavalue":{"value":{"entity-type":"item","numeric-id":3077955,"id":"Q3077955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946334$0AC59CF6-9625-4DF1-AF74-BF65D439AE70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f84c82de96fb7c7b710e84da042fa6d2d7d4ea68","datavalue":{"value":{"entity-type":"item","numeric-id":5520636,"id":"Q5520636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946334$1D824868-D9AC-495E-A442-C9778EF98D88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58f193bec91b4967a5957e95adf6144816027176","datavalue":{"value":{"entity-type":"item","numeric-id":391101,"id":"Q391101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946334$9B5D917B-5884-497B-B19B-6A6A947CDE2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"daab4582302a3aa21137ab948e63f2ee9395096d","datavalue":{"value":{"entity-type":"item","numeric-id":4651488,"id":"Q4651488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946334$0EC3ADDD-F395-4848-B44C-48FDAA0B4FE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"822f2c41910141af9029916e20c28d5594975bc1","datavalue":{"value":{"entity-type":"item","numeric-id":376118,"id":"Q376118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946334$A7C1A38A-416A-4211-ABF2-B142DE6FC430","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"38070a2324f6956e553f48ee431a7b1911e3140b","datavalue":{"value":{"entity-type":"item","numeric-id":6104378,"id":"Q6104378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946334$BB142D0C-E741-40A7-9BC1-4462D2970B19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1e9815fac0d68e12739ba69d2d4e83721370536","datavalue":{"value":{"entity-type":"item","numeric-id":2506497,"id":"Q2506497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946334$4C43AE5D-90E4-4E29-ABF0-16821183E2C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"20a35d4c08dd1ce071b89b7c858669e9f25b2e9f","datavalue":{"value":{"entity-type":"item","numeric-id":2963921,"id":"Q2963921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946334$4CA52E35-AC3C-42BC-BA37-7C84EF713431","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8090368e0e1c2bca919f00e317d355cf1aa8d484","datavalue":{"value":{"entity-type":"item","numeric-id":3907077,"id":"Q3907077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946334$FC32C2DC-0E01-438B-AAD6-8E63326E7BD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0100b938aa02592e3dcec5a016d883a9d79cc50a","datavalue":{"value":{"entity-type":"item","numeric-id":4205072,"id":"Q4205072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946334$61432415-E124-41DD-BB5C-8A3514419E0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db2a650ddb034bb2053972f4ddba5ccfab494a4a","datavalue":{"value":{"entity-type":"item","numeric-id":3586115,"id":"Q3586115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946334$09B1D4A8-3132-4D70-AF7E-019142E146F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52dd4cf037ece6f163efe555af24535cae3572bf","datavalue":{"value":{"entity-type":"item","numeric-id":4635803,"id":"Q4635803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946334$1A5478A0-FFD7-4C98-80DF-082747AF35A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fedbccefe4d762629d49ba73b6dcf696b21dcb66","datavalue":{"value":{"entity-type":"item","numeric-id":1199531,"id":"Q1199531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946334$8AB98786-BEAA-416E-A980-7AACDA378066","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe929f01fa86af5ec1780a3fd0d8f9ac3346a63b","datavalue":{"value":{"entity-type":"item","numeric-id":4714446,"id":"Q4714446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946334$67186837-6456-4EE3-A2C1-4086BDA8DE29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba9423e8a70f66f1c42f30543c752d4bb06e3d0d","datavalue":{"value":{"entity-type":"item","numeric-id":4501688,"id":"Q4501688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946334$6E14BF89-63B0-4D25-8578-573B2FEB352D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ecbc0c3a12971b32d2a5e262ccdf452b1e8ca37d","datavalue":{"value":{"entity-type":"item","numeric-id":4219045,"id":"Q4219045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946334$BFEF2AFD-C80D-4989-ADF8-E9518AC0F9B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"498661e57f097849360a48f48785a3868e7f1cac","datavalue":{"value":{"entity-type":"item","numeric-id":1606130,"id":"Q1606130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946334$DEC1802D-9131-41A0-A1F7-F43306C6D39C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"165069cf75392fad0fdc8dbe14936b841ef37207","datavalue":{"value":{"entity-type":"item","numeric-id":4691742,"id":"Q4691742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"48bf34cc18803b6fc474576236c3fb3fe5fa595e","datavalue":{"value":{"amount":"+0.9687835574150084","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":"Q2946334$7EE44751-4694-478A-90F8-8DD4A3D7B2BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"56dea6ad997ecba48c4a0ab781f9549648f6e8f5","datavalue":{"value":{"entity-type":"item","numeric-id":4412837,"id":"Q4412837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"979fca93d4ca976c833c82fd6f0b9ec3b42f2a78","datavalue":{"value":{"amount":"+0.8263375759124756","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":"Q2946334$E5B46C33-CF42-4384-8D0F-2F7401988AA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"552540bd19fd2c98cae38058546fbc7313f08df3","datavalue":{"value":{"entity-type":"item","numeric-id":5002802,"id":"Q5002802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"979fca93d4ca976c833c82fd6f0b9ec3b42f2a78","datavalue":{"value":{"amount":"+0.8263375759124756","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":"Q2946334$1070B666-FE14-43A7-B589-18E5EE2B07EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"efc0c3f3a562861af564f9d025187852fee41cdd","datavalue":{"value":{"entity-type":"item","numeric-id":6104378,"id":"Q6104378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c820ef7d05ae06afcfaf072bb0c5df586615444","datavalue":{"value":{"amount":"+0.7841772437095642","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":"Q2946334$A7A391AE-5A60-4B3F-B0F9-D56236D41379","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e820e70d404e4a515b10ee55eb13b7b48df6d220","datavalue":{"value":{"entity-type":"item","numeric-id":5121266,"id":"Q5121266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"06aecfd3bcf4ba0c9277d1d4d4bc271ca0b4b25a","datavalue":{"value":{"amount":"+0.7748905420303345","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":"Q2946334$371D46F6-8985-49E9-A0A6-7476ED568239","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Relating paths in transition systems: the fall of the modal mu-calculus","badges":[]}}}}}