{"entities":{"Q6643745":{"pageid":14254900,"ns":120,"title":"Item:Q6643745","lastrevid":104010089,"modified":"2026-06-06T08:38:58Z","type":"item","id":"Q6643745","labels":{"en":{"language":"en","value":"Separating the expressive power of propositional dynamic and modal fixpoint logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7949733"}},"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":"Q6643745$7F9339D2-659F-4482-AA00-05BC80F745B4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3d198a846e112f4a9b854834adf028fb53b2a83e","datavalue":{"value":{"text":"Separating the expressive power of propositional dynamic and modal fixpoint logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6643745$CF40DF3F-E63C-4BBC-8DE0-6E92B36D453D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d90d2f5525b0cfd358774286df15a61fbb5895db","datavalue":{"value":{"entity-type":"item","numeric-id":6643744,"id":"Q6643744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6643745$68325D51-5517-4BD9-A4F1-47A5121DD7D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"10dffe16bbe34c7938fa56f95e8b4147c5880800","datavalue":{"value":{"entity-type":"item","numeric-id":1685774,"id":"Q1685774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6643745$218EA6DB-4F0B-486C-8E6F-263DA67F0C20","rank":"normal"},{"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":"Q6643745$21FE5931-DF48-46D7-9F28-266F20A67F96","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b1403ced2efacb118ecfb16a875f7c27f30cf0dc","datavalue":{"value":{"time":"+2024-11-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6643745$F8B9D484-F24B-4FDA-8511-1D6BAC06A303","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6643745$DED1660C-82B4-4D00-AB86-8195708BE81A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6643745$F0EB677D-0935-4477-A602-8B347A2E1B39","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"aff36de0808b1138c7821e846bfad9cc5b6a2132","datavalue":{"value":"7949733","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6643745$28021D16-5F87-4896-92A2-249AC4C41B64","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":"Q6643745$82419BF5-23CC-453B-B9E6-C698522EEA90","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1de9637af9a8fedcf8ab07e9c2d71e01bf8c23d8","datavalue":{"value":{"entity-type":"item","numeric-id":5565119,"id":"Q5565119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6643745$DA5968BF-164F-42E4-A0BF-2A9C601C8283","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e7aeeecf2d28d1d75570eca357b2bf733654064","datavalue":{"value":{"entity-type":"item","numeric-id":3580970,"id":"Q3580970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6643745$517B085B-291E-474B-B5FA-F5D64B92398F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa15d5e8ce2c3cfa541f8593a23ebefffbc1127f","datavalue":{"value":{"entity-type":"item","numeric-id":3172863,"id":"Q3172863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6643745$38F2D2E6-D119-488C-9F2F-A33B6E70554D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d30652f58409f96f54ee0b1ee5b53a280406418","datavalue":{"value":{"entity-type":"item","numeric-id":5310692,"id":"Q5310692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6643745$82556D7F-48FC-4FD8-BEB5-67EE17522EF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a39661ad9699f8c1f277ff2872b0caed79110f22","datavalue":{"value":{"entity-type":"item","numeric-id":6060093,"id":"Q6060093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6643745$E0BD6A57-73BA-4832-B9EB-E28E2E0E4206","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"82209b0ece5546f7ac7cd24e0a553f3879248827","datavalue":{"value":{"entity-type":"item","numeric-id":6176107,"id":"Q6176107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6643745$68636DE6-EFC1-4E22-B0DC-7F5AC995E830","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"48a0a619bb15b4ecd848765ce030a3b176e6dbd4","datavalue":{"value":{"entity-type":"item","numeric-id":4989164,"id":"Q4989164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6643745$FF7141C3-1505-4501-AC3F-419CB2982D85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"41e7ff1139dda6caf30f086ee8bbcc3bc037598a","datavalue":{"value":{"entity-type":"item","numeric-id":5632482,"id":"Q5632482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6643745$5A612CDE-0D0B-4250-823A-B3DDAE3B9135","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2bb9167a15a02d50f8531d7407b8aced98fa4dc9","datavalue":{"value":{"entity-type":"item","numeric-id":3336675,"id":"Q3336675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6643745$A218C1EE-EA69-42C5-BFB1-2E6463E5885F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47c57a1bc98a9d819c8c4b25347f0c45d96256b1","datavalue":{"value":{"entity-type":"item","numeric-id":1258296,"id":"Q1258296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6643745$569D6292-5C42-4341-9F62-001C6E353045","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e51636baa00b00ee9af6bbcde64f417bff981286","datavalue":{"value":{"entity-type":"item","numeric-id":792083,"id":"Q792083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6643745$BC5B5E81-A570-485D-8226-3945DB6961F3","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":"Q6643745$6AD3CA85-716D-4FC8-8E38-AE0AE1F35D5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42a75d7eb8197baf9f25ff642e0a4e967ba41360","datavalue":{"value":{"entity-type":"item","numeric-id":2494725,"id":"Q2494725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6643745$1FC4D15A-B45F-4129-A37F-E6CB3F25CB0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a42e239a4191201e22e9900a9d3c9fcc6bdb180d","datavalue":{"value":{"entity-type":"item","numeric-id":5441546,"id":"Q5441546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6643745$0ED205DA-90C8-42F2-928C-AF39DAF31F0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"913f295271d585bf15103c858643c419f483bd7d","datavalue":{"value":{"entity-type":"item","numeric-id":845832,"id":"Q845832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6643745$4F519658-FAD9-4659-BB86-4E483BD65ED2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"efea0cb6fd0b89c60672609cf98a61fcdf693a9d","datavalue":{"value":{"entity-type":"item","numeric-id":2643333,"id":"Q2643333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6643745$2097253F-3232-428D-898B-C057F5C261BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"200cd015b3ab9482ec0c8403f564d8f278b4166a","datavalue":{"value":{"entity-type":"item","numeric-id":5465872,"id":"Q5465872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6643745$407D4B27-4207-4AC3-8A44-21E2E15F6BA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4e7f03e0bfff061db9847c399a80056bc6c3929","datavalue":{"value":{"entity-type":"item","numeric-id":3890112,"id":"Q3890112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6643745$DF7EDBCC-909E-426D-8BE9-E79AC9B7D0E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d131b8b926dc8bc91ca681921f797807bee02e9","datavalue":{"value":{"entity-type":"item","numeric-id":4251067,"id":"Q4251067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6643745$39CFBAAB-8478-4810-88AC-0B4EC643B166","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d46d53aaa78e4e1f3286eef514e163c5ea4ffb6","datavalue":{"value":{"entity-type":"item","numeric-id":5534924,"id":"Q5534924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6643745$B137D5B5-19A8-4803-A7D7-B1CD2F85C355","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a900a1b2fff17c3475869d05f2ce6a6836bfa390","datavalue":{"value":{"entity-type":"item","numeric-id":4991691,"id":"Q4991691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6643745$19E826A3-0A34-46B0-AFFC-E3D89F416EC4","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":"Q6643745$9CC4B8FB-3894-4065-9088-CD888CE2421B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d44484491b105b4eba9052e7ca901f22afe79de5","datavalue":{"value":{"entity-type":"item","numeric-id":5311496,"id":"Q5311496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6643745$3E4FE681-5359-49AA-BC76-FC2B0918EA59","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d02977b0b941072da5bdc458dfc467e84983610d","datavalue":{"value":"10.4204/EPTCS.339.4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6643745$549DF8BE-C7E5-4299-90FC-863919AD9225","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c6e8f2194f6cfd1ff123c09b2324b2c2c947947","datavalue":{"value":{"entity-type":"item","numeric-id":845832,"id":"Q845832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a2baeee2600e80f21b4f95e380b278cae33d3b1","datavalue":{"value":{"amount":"+0.8370946049690247","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":"Q6643745$705D32D8-D866-4CEA-8112-D461D07D1089","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"50fd430ef4c027ec617df7d79e7a88a5abbce362","datavalue":{"value":{"entity-type":"item","numeric-id":4964729,"id":"Q4964729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3431035a0cb13502336a33b1d90db59d6e8bbedb","datavalue":{"value":{"amount":"+0.8078053593635559","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":"Q6643745$A7357D84-5B79-4EB3-BC49-E68526920092","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"459889d5310106929d088e8b9b294423d01d5621","datavalue":{"value":{"entity-type":"item","numeric-id":2643333,"id":"Q2643333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9b9f474552ff66a1121427878c4ca91fa8a35823","datavalue":{"value":{"amount":"+0.7987055778503418","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":"Q6643745$0ECE8EA5-999A-4DF2-8489-B73B72D04A5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8227c58f50fa9702c619efa5e6b3509692ae1975","datavalue":{"value":{"entity-type":"item","numeric-id":5899095,"id":"Q5899095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f6457e40918302c4f746c992a052f902a1485522","datavalue":{"value":{"amount":"+0.7949144244194031","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":"Q6643745$EC373426-BA90-4435-AB9B-4C7A60CF2BDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4feaf3e934550e5c5d086c51179bfdf0cde50c6b","datavalue":{"value":{"entity-type":"item","numeric-id":5415640,"id":"Q5415640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"24348fb0c6f3978bb4eedb3b6d425aaa7b580c64","datavalue":{"value":{"amount":"+0.7706365585327148","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":"Q6643745$6B4CE474-F7A4-4378-AD0E-F921A7D75533","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Separating the expressive power of propositional dynamic and modal fixpoint logics","badges":[]}}}}}