{"entities":{"Q5014445":{"pageid":7044022,"ns":120,"title":"Item:Q5014445","lastrevid":58404132,"modified":"2026-04-05T01:50:25Z","type":"item","id":"Q5014445","labels":{"en":{"language":"en","value":"Weak completeness of coalgebraic dynamic logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7437712"}},"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":"Q5014445$5F36FE41-B923-4530-8EA6-C6A8820E1E1C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a8854fbe4a5e479f52add8cb0500a9d571919bc9","datavalue":{"value":"1476.03036","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5014445$0B8DAE21-35F0-4ED5-AF67-BBB7157AAA48","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"daf07cf23f23c4637da7244b309b4bbc43d128e9","datavalue":{"value":{"entity-type":"item","numeric-id":618166,"id":"Q618166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5014445$0CEA36FE-7479-43C0-8851-DAAD47F3BBA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"28d8c9047b2bb72e50bbf56be800744851436c53","datavalue":{"value":{"entity-type":"item","numeric-id":618168,"id":"Q618168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5014445$3AD7F13D-BDD3-424E-A8B0-89662410F719","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fdad15c107a3ec3b53d0f64c681b4e5a9ad3e19b","datavalue":{"value":{"time":"+2021-12-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5014445$CC1F88CF-6EC6-48EA-98EB-561E9F341306","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"498d68f1cb4a54f42876e4c47713c08d0c5d9830","datavalue":{"value":"https://arxiv.org/abs/1509.03017","type":"string"},"datatype":"url"},"type":"statement","id":"Q5014445$DCC97DB6-DA2E-49E9-AE85-E0F37A2D93ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"2d3299617661a9022461dce04630f43e9d451e1d","datavalue":{"value":"http://eptcs.web.cse.unsw.edu.au/paper.cgi?FICS2015.9","type":"string"},"datatype":"url"},"type":"statement","id":"Q5014445$B9AE96BE-A760-4F9C-94FC-56CFC29BE166","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5014445$7B51B28C-DD68-4199-9668-87510C72ACBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5014445$FB936021-72C4-4EC2-80B6-2232519BB150","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"138bfade4254c939b16bf73099f468d5be54b557","datavalue":{"value":"18C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5014445$2E725DB5-91C0-4B62-AA24-EC1A6C84BA54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d94cdbde928d12db2a06305c6f1346171594ef02","datavalue":{"value":"18C20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5014445$E5CA3A27-F32A-4A80-AC6B-3A93D7A31B37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5014445$686ED384-1CE4-4B77-80FF-37DEEA76F7DF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"132e4849cb4751c40c1081db58ee148b0401cf3b","datavalue":{"value":"7437712","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5014445$758E0F2B-9649-4607-868A-1E382D947292","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":"Q5014445$8FAF132B-A467-4FEC-BD80-B299B4AF7DD2","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d683527167f5b0b0b7f266dc71053afd7ad96969","datavalue":{"value":{"entity-type":"item","numeric-id":1425188,"id":"Q1425188"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5014445$5998C841-FB16-4267-B3F5-774D42090BBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7ac3d7ec2b15acefd0efec27878eb9b4d230b02","datavalue":{"value":{"entity-type":"item","numeric-id":3867808,"id":"Q3867808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5014445$536B8655-81A5-4414-BFDC-0BB0B2FC667F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8440d80f9f1e8ae5498f6228abef335d0392e15a","datavalue":{"value":{"entity-type":"item","numeric-id":5410688,"id":"Q5410688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5014445$98A655E1-458F-48F8-9450-6154CD00BD00","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":"Q5014445$F106BB5C-6724-4D8D-B3FF-C64E3A8171F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72aa0a961c18435f164afb4f6b68b2d2e123d3e7","datavalue":{"value":{"entity-type":"item","numeric-id":5492822,"id":"Q5492822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5014445$82012213-22AA-4376-8F4E-75D2BECF2390","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1eae0411db16b244a4678fb51392a3b913451b90","datavalue":{"value":{"entity-type":"item","numeric-id":3190168,"id":"Q3190168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5014445$758DDB55-FD85-4B2B-8CBD-BEEECDBDD9A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"721bb7b0d05735a08e7f6374e9f67ed3e948ca77","datavalue":{"value":{"entity-type":"item","numeric-id":5275347,"id":"Q5275347"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5014445$D0D77B34-7A02-465B-879A-5BC84C557FF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"95e34163d5f1b6a04f68e439aae1bdd6a4e7e46b","datavalue":{"value":{"entity-type":"item","numeric-id":890377,"id":"Q890377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5014445$8F800BB3-F64D-4596-9B78-A2357AD9ABF7","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":"Q5014445$C6B02E76-F0D8-48DD-B89F-53878DDC036B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e12ce99e75f00697efa1f5f9afd862b773370cf1","datavalue":{"value":{"entity-type":"item","numeric-id":1147690,"id":"Q1147690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5014445$D67C7C32-CBFF-4864-ABC9-7D5A6E82B4DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a805efbdbabeece7f6216b948e8298233d3220a","datavalue":{"value":{"entity-type":"item","numeric-id":639647,"id":"Q639647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5014445$B7DCD55A-4C6A-4A0C-8FF5-54BFC9E3A442","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bdf4ccdcc70e71d35fd15b371cfa64eecb3f47f9","datavalue":{"value":{"entity-type":"item","numeric-id":4215784,"id":"Q4215784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5014445$FA9F8E44-BCB9-42ED-BF02-16FE91BB5072","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3f4b2eac24d9f89be1c7513caeb7568abecc973","datavalue":{"value":{"entity-type":"item","numeric-id":3346126,"id":"Q3346126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5014445$3F6B89B2-507E-4F27-BAA7-47CB697EC4CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f6df23c941ce47bb225f93d834bb5c870e3e7ae","datavalue":{"value":{"entity-type":"item","numeric-id":1425186,"id":"Q1425186"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5014445$D034FCB6-8B20-4259-80DD-9968804A0462","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59fedeaa1673af7bf11539505ca38c04f5218c0f","datavalue":{"value":{"entity-type":"item","numeric-id":1583483,"id":"Q1583483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5014445$07CA88E7-18C0-4B83-BAE8-2A45455AAFC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"029d50a541dbb3392926dc29435e106178377175","datavalue":{"value":{"entity-type":"item","numeric-id":5390017,"id":"Q5390017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5014445$B176ADD7-729C-4EB6-9CC2-D017EAF447E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5602a712555e3999df12c4260f8589c5a167f0ac","datavalue":{"value":{"entity-type":"item","numeric-id":2643335,"id":"Q2643335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5014445$0F6E4398-E81E-4846-937F-5B96FEBE9BD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53a659b2cbd537713eeed2150669304c9e3e0f0e","datavalue":{"value":{"entity-type":"item","numeric-id":1854336,"id":"Q1854336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5014445$C965C099-2B30-4807-9A16-1EBFD897AC90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61419096edc1ffbdcfe0820150a78c61244317e4","datavalue":{"value":{"entity-type":"item","numeric-id":3912632,"id":"Q3912632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5014445$ECD73539-67CC-4DA4-83D3-9C00E35C9306","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c410b483f9bd570587e20fc13a38f5502bb9a399","datavalue":{"value":{"entity-type":"item","numeric-id":3190168,"id":"Q3190168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1a4c67139698c54a0ead342dee5a9d5f47c0600b","datavalue":{"value":{"amount":"+0.9311136603355408","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":"Q5014445$9637FD7C-49EF-4A60-BF7F-B803D83FC8E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1fd8d09dee35351337ba4b36d9abb40279abf4e1","datavalue":{"value":{"entity-type":"item","numeric-id":5278393,"id":"Q5278393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"898d4cbc8763111372a193edbe87c62e939f186b","datavalue":{"value":{"amount":"+0.7908871173858643","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":"Q5014445$D046B138-346D-4D58-A329-E15ADE6BF679","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"70207880ca373230a84547d49c0e846e15c2533a","datavalue":{"value":{"entity-type":"item","numeric-id":2848939,"id":"Q2848939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"27bbc8b8830bb3404907050e7e05a98af95a626e","datavalue":{"value":{"amount":"+0.7635605335235596","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":"Q5014445$0445F1EA-1C28-40CE-BB41-1F3F95182657","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"19e86eb019fc332cd78dd00901a4ac57259ae542","datavalue":{"value":{"entity-type":"item","numeric-id":4029612,"id":"Q4029612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4cfcc07c6d1fb28f5fcc34ebbbf5ef31bed9d95c","datavalue":{"value":{"amount":"+0.761756956577301","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":"Q5014445$7A86988F-E2B0-415D-BE87-EF9CB85F44EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eca6bdd75bffa48d6296b7a7064943325a86d22e","datavalue":{"value":{"entity-type":"item","numeric-id":2711323,"id":"Q2711323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7503ce81b5943d8bf468aaa8ba410d5377625b31","datavalue":{"value":{"amount":"+0.7616296410560608","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":"Q5014445$6BEA063F-9D0B-4B96-AB67-3C3B193854F6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5014445","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5014445"}}}}}