{"entities":{"Q2643076":{"pageid":2653819,"ns":120,"title":"Item:Q2643076","lastrevid":50150630,"modified":"2026-01-13T06:57:26Z","type":"item","id":"Q2643076","labels":{"en":{"language":"en","value":"When not losing is better than winning: abstraction and refinement for the full \\(\\mu\\)-calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5182185"}},"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":"Q2643076$0649AC22-3D4C-468F-8504-AACA326787D5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8dbe520aa7a88022adc939d49349aa27b71466cb","datavalue":{"value":{"text":"When not losing is better than winning: abstraction and refinement for the full \\(\\mu\\)-calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2643076$8F61E258-ED30-49DA-B2E0-7FE4097B87B1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"069e56c727d32546c70eb7282544697987bc45cc","datavalue":{"value":"1306.68100","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2643076$FEB2FB74-A86E-4B22-9FAE-D6B5FA5463E7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0e9395c4897e056d54eaef255c0b18eeb46bea27","datavalue":{"value":{"entity-type":"item","numeric-id":386036,"id":"Q386036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2643076$37B7EE09-BFE8-4E14-9F8C-9C124AF3F2D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b3a84a7eb616e0cd93b88d763b8704865b733b46","datavalue":{"value":{"entity-type":"item","numeric-id":444482,"id":"Q444482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2643076$C05F5099-F840-4FC0-8993-30C3B2A7F03B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cec177c60e5a5e06c4135c2d656205cdaac4e3ae","datavalue":{"value":{"entity-type":"item","numeric-id":259064,"id":"Q259064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2643076$7CBC683B-8EFA-4DCA-BC53-50E61E19AEE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"dde9477c31764f7e982fa5c7962174291d7bf7fb","datavalue":{"value":{"entity-type":"item","numeric-id":259063,"id":"Q259063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2643076$FF4A2C70-7B8F-492B-9468-B6C1682F3021","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2643076$26BA5A70-83F2-491A-884E-28D9B40BF613","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"226fad3e536b676c763bdce84a93ee9c766c4ae5","datavalue":{"value":{"time":"+2007-08-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2643076$BDC89A4F-96A0-48CA-8C45-3BFA7015D964","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2643076$FDBD34D7-7DA6-4862-BCFF-EC5D06ACE9A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d5c83f057600e5614b7fec59c8e4ac61cb41ba8d","datavalue":{"value":"91A80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2643076$D4E37487-14AE-40E5-9220-85FC30C645F1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"82b4c5756e2f58827469819e5f11971780632cbe","datavalue":{"value":"5182185","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2643076$28A5A234-6DED-4B0D-80E9-3BF1FBA0FC7E","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":"Q2643076$E2D3FDFC-FA51-48D8-AE23-B9ADF2DA93B3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2612439548c9e94f514e757e10d169a38665a73e","datavalue":{"value":"https://doi.org/10.1016/j.ic.2006.10.009","type":"string"},"datatype":"url"},"type":"statement","id":"Q2643076$F2834055-1260-4F39-84CA-E0D9EE34A877","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"feda9e3fd767ba95555ac33c8cee8d6394ab6445","datavalue":{"value":"W2110783522","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2643076$19AE2344-AA88-4DFA-B1C0-E82DD86177AF","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1cb46b665c4d01cdd72f034cac6c7dac8481fe1b","datavalue":{"value":{"entity-type":"item","numeric-id":4818796,"id":"Q4818796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2643076$5183ECE2-22A0-4B07-9E4B-FF6B4D148059","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e07930ce4911f611d084d7578c97cdc8fb3f729","datavalue":{"value":{"entity-type":"item","numeric-id":2763694,"id":"Q2763694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2643076$FE84F76E-3244-42AA-B880-D3186F5ECD36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c87d244bb47b7033a2215bba62f2b5aef99a339c","datavalue":{"value":{"entity-type":"item","numeric-id":4414390,"id":"Q4414390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2643076$E662D4ED-1D48-474F-9AB0-1D93AB768BF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"481547f60ed568130e5c759ceeacc52cf0d1c02c","datavalue":{"value":{"entity-type":"item","numeric-id":5900684,"id":"Q5900684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2643076$E7033765-AB53-413C-91DF-F3EBDB9920FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89b378602d866701dabdb7cf5317c937b47e2621","datavalue":{"value":{"entity-type":"item","numeric-id":5711492,"id":"Q5711492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2643076$8D32F861-569E-4C16-9158-227A0E1F8950","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dfd2e4db8ae14bb54e69255b03ddfbd8c1e28a91","datavalue":{"value":{"entity-type":"item","numeric-id":5941205,"id":"Q5941205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2643076$0C546DD5-8B55-46D5-A42F-EC0E3773FD7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"825b6872a15bf96d878b4c4ae9a99b55a4097d9d","datavalue":{"value":{"entity-type":"item","numeric-id":4501540,"id":"Q4501540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2643076$F0ABA3EC-828D-43E3-9848-2EE775FB0F68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f5a45904f81b6a39ede475e2e86ab18eb54c04e","datavalue":{"value":{"entity-type":"item","numeric-id":801893,"id":"Q801893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2643076$79C388FD-685B-4A5F-AEB8-619D5A720443","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf4fab5a4519bb0e4a7392865538dc50ad77fca2","datavalue":{"value":{"entity-type":"item","numeric-id":1193587,"id":"Q1193587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2643076$CAF7C38B-7A08-4A48-9003-19DFFD14A5D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c4261c45eb0bdc31b98abbe6dbdb3be8211dfa8","datavalue":{"value":{"entity-type":"item","numeric-id":1122572,"id":"Q1122572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2643076$898493BA-405D-4B71-9D94-54FA2D7073FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dcccba79861386df19c84997945862e47e9786d2","datavalue":{"value":{"entity-type":"item","numeric-id":5941060,"id":"Q5941060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2643076$B2532F32-00BB-469E-AD83-2708D7D5C0AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06af39ba7611ce840efed59d15b9062e58635f61","datavalue":{"value":{"entity-type":"item","numeric-id":4804892,"id":"Q4804892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2643076$9AE102B4-711D-4632-AEAB-2A334A5825E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54a6320002eee51efddaa9f2f4a03f37bab8991e","datavalue":{"value":{"entity-type":"item","numeric-id":1346649,"id":"Q1346649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2643076$C04AC2F1-CFB3-4133-B34C-0068274A7E0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e320d5ab20d9378e83c08a862b63bf2725892d4a","datavalue":{"value":{"entity-type":"item","numeric-id":2653567,"id":"Q2653567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2643076$3D1872AA-7EEA-4C1B-A72E-0CFAF079525C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52399dbd6e9bc23018f1172efb05b548b6e91780","datavalue":{"value":{"entity-type":"item","numeric-id":4804901,"id":"Q4804901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2643076$403F3474-035C-4ABA-8EAB-C7C3005081CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7cd2a25d693a4acd921e56f15d1b3d06cb750f8","datavalue":{"value":{"entity-type":"item","numeric-id":2754081,"id":"Q2754081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2643076$18CDBD94-D407-4124-A76E-603F18A6479B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"312977f47e076d6ae171437b5d8a592f1a61a303","datavalue":{"value":{"entity-type":"item","numeric-id":5900685,"id":"Q5900685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2643076$96E6334B-0E27-400E-B002-B353F88FE9D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"38338272dac8f01a00cfb949ea75569fdb402496","datavalue":{"value":{"entity-type":"item","numeric-id":5308433,"id":"Q5308433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2643076$80A94359-FD90-4E58-8185-33BC7A92380F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98f488ca0bee76ae556527d1ce554b7c31a7e653","datavalue":{"value":{"entity-type":"item","numeric-id":5711491,"id":"Q5711491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2643076$6A2D9321-43DE-4622-A0BD-2A8B8769FD64","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"40ab359f58618dad3ed0b10acdc830b59f5cd809","datavalue":{"value":"10.1016/J.IC.2006.10.009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2643076$B85BD101-D205-4E5D-88AC-5F9079EBB0EA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3a43de56e8fc07df371be7cde58283d7d2bb7be1","datavalue":{"value":{"entity-type":"item","numeric-id":5711492,"id":"Q5711492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a5b60f9ad2f088b118eb1c90c83015fad032a4c","datavalue":{"value":{"amount":"+0.8074527978897095","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":"Q2643076$3A8F5A15-D305-4692-9CBC-2A044EF968A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"108999f9068a8d2086704281990bcdd3c87b6932","datavalue":{"value":{"entity-type":"item","numeric-id":3525630,"id":"Q3525630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f6dd19f51f4153b341a6aae35eff3ae6ec16497","datavalue":{"value":{"amount":"+0.8033124208450317","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":"Q2643076$3C6C762A-5360-4127-8B26-16ED582CD534","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5c080b5e4547f0e9b22c86c4e96f6568e3b08861","datavalue":{"value":{"entity-type":"item","numeric-id":979079,"id":"Q979079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c6fd429d64e1cde2d954d2216644f82d767a574d","datavalue":{"value":{"amount":"+0.7806760668754578","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":"Q2643076$BDC2005C-992D-4C3C-BE43-4AFDCA95E7F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"318749bc547ba59cc9121f8d427dfaacfb5ad229","datavalue":{"value":{"entity-type":"item","numeric-id":5900684,"id":"Q5900684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"035380f8e833c2c09a3d74103ca74206b5a43274","datavalue":{"value":{"amount":"+0.7636481523513794","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":"Q2643076$AB1160E5-5B8A-4898-9333-F77E5DDCCE50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"66fe4634e292fce3c66e9a1c6c89b5ab91cc0323","datavalue":{"value":{"entity-type":"item","numeric-id":5277790,"id":"Q5277790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eeef9a7ba57ed355363c93a787f8d6f9f283733c","datavalue":{"value":{"amount":"+0.7614006996154785","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":"Q2643076$EB7A151C-6859-4ACD-BF66-6EA3D912167F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2643076","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2643076"}}}}}