{"entities":{"Q4593954":{"pageid":6623539,"ns":120,"title":"Item:Q4593954","lastrevid":40779706,"modified":"2025-04-04T16:17:38Z","type":"item","id":"Q4593954","labels":{"en":{"language":"en","value":"On the expressivity of the modal mu-calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6807577"}},"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":"Q4593954$2ED42D45-033A-4D4D-B116-10E64A66D55C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3e026a3374048eeb67947502407ce9a6d0c8362d","datavalue":{"value":{"text":"On the expressivity of the modal mu-calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4593954$0DF45284-E903-4A3C-969F-98FCB8B70FE5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"817573043c0c90aceb845a84ba8689ed49f2092c","datavalue":{"value":"1379.68155","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4593954$8DE6EC2B-A03B-4114-BA33-EAD220D6C07C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a44c0dbeaae99b9ab2dfb249b34bdff6ca85711a","datavalue":{"value":"10.1007/3-540-60922-9_39","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4593954$39F19169-086C-49D1-8F88-5761C0CAA75F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f0f26ab800d353f785fba41d5cb9e1942cc404ee","datavalue":{"value":{"entity-type":"item","numeric-id":516247,"id":"Q516247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593954$DA3CF978-ECE1-4603-A400-93217823E062","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ff0b2d99a56a6d8e89d3dd31cdda69d3f93833b0","datavalue":{"value":{"entity-type":"item","numeric-id":4593912,"id":"Q4593912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593954$D855D398-4FB7-4807-AFEF-D43DE2C71435","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"31b4e05ce401552e06c39f98d03ca03d178174b0","datavalue":{"value":{"time":"+2017-11-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":"Q4593954$4C72D639-01A7-400F-8B63-137BE42C2B0A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8b0f166240d9dc937c89dbc2241079deae14191f","datavalue":{"value":"68Q19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4593954$9607D96B-4413-488C-8DEC-319F20318C29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4593954$8DEE1FA8-4177-4A3F-8EAB-C9B7123B352E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4593954$DFF11BCF-9E4A-4F1F-A3CF-72B1F8561CA6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3ef23703ff4767ea833e1420dcce4904e7cf1271","datavalue":{"value":"6807577","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4593954$78D7C549-C9C4-4D25-81E2-D57AAB7DAA02","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"420132b0a86bb9bedd0eeeab0b7b74055a6e96fb","datavalue":{"value":"descriptive complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q4593954$0EE5E1F5-8DCB-4893-B6B5-984DD29BC23A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6a6484e7e2f26a93555d13cfb9bf138878591693","datavalue":{"value":"logic in computer science","type":"string"},"datatype":"string"},"type":"statement","id":"Q4593954$C37A765A-FC7C-454E-86A1-09727736A475","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q4593954$7F7CA7AB-B5FD-4C38-B066-47033C88305F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4593954$527F1E99-5A28-4470-9497-177397121FF0","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":"Q4593954$7B52E805-1FBE-481C-AF4C-C317FDF6DBA9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0c0419544ce58677fbf5ddb5ff8a7d52048a2028","datavalue":{"value":"https://doi.org/10.1007/3-540-60922-9_39","type":"string"},"datatype":"url"},"type":"statement","id":"Q4593954$B3F376FB-6440-431E-AB85-113F1226D0A7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8bd1a059881708606926891bd24e92e4d18d1b9a","datavalue":{"value":"W1597993550","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4593954$1CD06B3E-B4ED-4A80-ADEB-AD9A6CDDB7A5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ab8cc3ba85a7bfbc723b79ca15f082559c7e3c6","datavalue":{"value":{"entity-type":"item","numeric-id":1005937,"id":"Q1005937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2480f8b37a903918be861c323fbc6b02b081a671","datavalue":{"value":{"amount":"+0.9500027","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4593954$FD94DE3D-2562-4E07-9344-90F6046943BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8360e23067f6d47764214a5f12daf6448a5281f8","datavalue":{"value":{"entity-type":"item","numeric-id":2506827,"id":"Q2506827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"58fe629909abebb1a585768e6026df437fcb0562","datavalue":{"value":{"amount":"+0.93083864","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4593954$1CE72ACC-D59A-42AF-8E16-9DCC414E2A18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0d982f977d6b8cd5c8e19012da58b884c2c65a08","datavalue":{"value":{"entity-type":"item","numeric-id":4411834,"id":"Q4411834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"691cf5e029017cee74b89952e94a8d5d47dfaac1","datavalue":{"value":{"amount":"+0.9303342","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4593954$4A7B6DD5-9CA0-4B1D-8EE6-3DB13BBB05FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"740dc471e0b6a212d694c17712f2cfdc4eef21b9","datavalue":{"value":{"entity-type":"item","numeric-id":2760241,"id":"Q2760241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a6ebeeb82bc0de710677b6223d05a5cd1f6aea92","datavalue":{"value":{"amount":"+0.9297658","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4593954$57584EC3-228F-4C45-92EF-065B12AAB369","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2869df01c614b6cedab638e72c556a862bbd265a","datavalue":{"value":{"entity-type":"item","numeric-id":1854404,"id":"Q1854404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d79697aae2c460cbd522b5f01e905e638d96da21","datavalue":{"value":{"amount":"+0.92390233","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4593954$CFB300BD-7A14-4816-886C-538C320DF3AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a6ab81381331466c7a9adb90401a58afcd050f4","datavalue":{"value":{"entity-type":"item","numeric-id":4525272,"id":"Q4525272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a32a4fd073736a4947873dfe3c8b6d1abffb200","datavalue":{"value":{"amount":"+0.9206315","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4593954$239D0D31-1865-4CDF-A62E-7556FE4D2AD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2dfc025acdbcb2b51a01d9c79ece8e8eb0fb3b01","datavalue":{"value":{"entity-type":"item","numeric-id":5278080,"id":"Q5278080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fffc14879edf2ba94ccaf0185a7c7fde5fbc2fd4","datavalue":{"value":{"amount":"+0.9203137","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4593954$AB26F02C-3A8C-449C-8F0B-DDB33F2EE7F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ade23acfe3c07683f960ab20fd5818d84d8f28f","datavalue":{"value":{"entity-type":"item","numeric-id":3002404,"id":"Q3002404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"54650191934774ce87d4d86870b9ed8277245e5d","datavalue":{"value":{"amount":"+0.91921127","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4593954$86DB4070-156F-490B-B029-70FD5CF2E3D3","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":"72a52792b4bb2c051a2cd980c69bb01ba0ff12a5","datavalue":{"value":{"amount":"+0.9177643","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4593954$C24EED33-66C3-4BF4-9D19-1900EDDBD0D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"689e5d64299b3be33f287bd23200fa6fdc7563dd","datavalue":{"value":{"entity-type":"item","numeric-id":1015480,"id":"Q1015480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fccf89c8edc645cc3d61b9000e6bfc804d72620c","datavalue":{"value":{"amount":"+0.91693103","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4593954$3877485A-8021-4C2E-80F4-0E396C2F5D2E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4593954","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4593954"}}}}}