{"entities":{"Q5896086":{"pageid":7935916,"ns":120,"title":"Item:Q5896086","lastrevid":58611501,"modified":"2026-04-06T00:13:34Z","type":"item","id":"Q5896086","labels":{"en":{"language":"en","value":"Resource separation in dynamic logic of propositional assignments"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7218625"}},"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":"Q5896086$554928C0-54CD-4B86-A956-6B062E684C78","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6610ae850a6f4e8e2db6c5430fcef5d0913cfdc4","datavalue":{"value":{"text":"Resource separation in dynamic logic of propositional assignments","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5896086$5E23CA3F-0455-4B28-8182-7C9EC5EFF284","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"958a5eca95e3f27e402477842db88ea8f2e398da","datavalue":{"value":"1496.03124","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5896086$44FDADC8-5692-43A5-8C8D-A905F1AE0471","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"562c373eebceae231c4b8824edc0851d5819a185","datavalue":{"value":"10.1007/978-3-030-38808-9_10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5896086$9E9355E1-005D-4496-A2A5-FD57D4B97A9A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"04281bfa65bfb883608bfa6d50149ba149b9639b","datavalue":{"value":{"entity-type":"item","numeric-id":777892,"id":"Q777892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5896086$B1E8E2D5-2362-4A90-8DBB-CDABB5B4222B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bb34c0f0dfb2eb4c6f3a6a5df96c0159936e52c2","datavalue":{"value":{"entity-type":"item","numeric-id":302221,"id":"Q302221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5896086$CF7C641E-2285-4FA4-A079-B2663E8FF6C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"02bd7f35312538179a3295a4fae146a1e6bbdc83","datavalue":{"value":{"entity-type":"item","numeric-id":652735,"id":"Q652735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5896086$3EB7B895-CA09-42BC-B651-4F301F1417D0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5896086$94A6A6C5-AEC4-450F-B54F-825AB54E289B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7a00d12a888ce0ffc3aa72928c7254f31eb87f77","datavalue":{"value":{"time":"+2020-07-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5896086$5C6B3834-37B6-471F-814E-6849066BD15A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e0d3788103838aa34824363c60056ee0a88294a0","datavalue":{"value":"https://arxiv.org/abs/2104.14884","type":"string"},"datatype":"url"},"type":"statement","id":"Q5896086$F514AE3F-961C-45F6-A9E3-7D80C7869C22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"9e2329755515f657ac650f5901512b7b3aa1d8ff","datavalue":{"value":"https://oatao.univ-toulouse.fr/26298/1/boudou_26298.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q5896086$E1E1102B-5C7E-494D-8F81-7E7D03A2202D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5896086$BD4258A4-8742-4FA5-8C01-D08FEDD34734","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5896086$2C2F056D-D42C-4DE8-A8A7-89C87FB54680","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5896086$1C35E5BE-8BF6-4994-B5C0-73B403A79094","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ecaec2b65d5012557909309c7b17ab1158bcea44","datavalue":{"value":"7218625","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5896086$EE83FB1B-B448-4B94-B80B-E48DD0BC7BA0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48a9d57224b4c90795ed16b4505d8da2503b1dae","datavalue":{"value":"dynamic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5896086$D66995C9-90F6-4E43-B109-D8815BC0FFF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"938358769b4f58ad078254388a41b1d2ec82e622","datavalue":{"value":"separation logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5896086$8831ABAC-C005-49D5-AD9F-C1F8B42D2DF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c599ac4b9acb2350558d05a9fafaf1ec66b19aa0","datavalue":{"value":"propositional assignments","type":"string"},"datatype":"string"},"type":"statement","id":"Q5896086$4F32EC79-FB05-46E2-A747-DA85441DC511","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"50d81425affb13dcf09985fe807cbb0cd8e68cb4","datavalue":{"value":"parallel composition","type":"string"},"datatype":"string"},"type":"statement","id":"Q5896086$9C31D976-C23A-4BD6-B6D5-1F9F910E21A8","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":"Q5896086$E1E1B738-3B4C-4B64-B538-3D31C0407B1E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"85c5995493c0cbe4373d81f9167d1db5747b6b3f","datavalue":{"value":"W2999871955","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5896086$E8142BC3-9EC9-4E6B-9F06-742E6DB74A28","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fadef567dfaba762ff0e1098f0e2f0d4bfd3956b","datavalue":{"value":{"entity-type":"item","numeric-id":5918351,"id":"Q5918351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ce3b11fb1d348cc217afb0adb6359cf8ead272e","datavalue":{"value":{"amount":"+0.9994707703590392","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":"Q5896086$19393C53-89E3-4D3A-B281-D93BDE05B080","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cf11d814a57d0e33247911c9820ab2cc3dee2f8b","datavalue":{"value":{"entity-type":"item","numeric-id":5271051,"id":"Q5271051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af228572e98cd9c726e2be7e9a136fb650cc1afb","datavalue":{"value":{"amount":"+0.7909759283065796","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":"Q5896086$880655B3-5920-42B3-9406-6E98A11AD8B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"44f1d65b56787812df13e5bf551b0526c10c79cc","datavalue":{"value":{"entity-type":"item","numeric-id":5191502,"id":"Q5191502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be8b4614ec7917830fe21c94c0572e7b4cc829be","datavalue":{"value":{"amount":"+0.7875381112098694","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":"Q5896086$22361FB3-0548-4CC3-A54A-0929E8C10D6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fc718aa1c80923324709ef97e3bb512e84befcd6","datavalue":{"value":{"entity-type":"item","numeric-id":4612424,"id":"Q4612424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4889b741005b76d16656332039835f89c159488f","datavalue":{"value":{"amount":"+0.7840943336486816","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":"Q5896086$8EF60D14-E346-4404-93E0-9706A4194016","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3835672983f8530d2df7bce018160814d5657b8a","datavalue":{"value":{"entity-type":"item","numeric-id":2817938,"id":"Q2817938"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8387a42a03ca39896994a6be061f45652aabcc9a","datavalue":{"value":{"amount":"+0.7754284143447876","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":"Q5896086$B74BB85C-398D-475E-8818-8A0317E6F3B9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5896086","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5896086"}}}}}