{"entities":{"Q4612424":{"pageid":6642007,"ns":120,"title":"Item:Q4612424","lastrevid":55861099,"modified":"2026-02-20T14:45:55Z","type":"item","id":"Q4612424","labels":{"en":{"language":"en","value":"A modal separation logic for resource dynamics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7009538"}},"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":"Q4612424$FF3FF892-323A-4552-8CB3-FC14ECE4A99E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3fa8d7b8bd4f296f3c07bf25d08f3de3747568f5","datavalue":{"value":{"text":"A modal separation logic for resource dynamics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4612424$7FDE90E5-D6D8-4F53-AE69-433F9092F7CF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"07258db6bf033a615ffa6dec462b87edeb2a041c","datavalue":{"value":"1444.03049","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4612424$BCF5D388-2E84-4099-84D6-A37A8E36ACDC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"70cc2d30e04bf11219f934649dc4a901748d7b0e","datavalue":{"value":{"entity-type":"item","numeric-id":290915,"id":"Q290915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4612424$C0632E4A-A002-4682-A375-6E31804096D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c43c9dea2040a308ad1527d71ba75aae30019412","datavalue":{"value":{"entity-type":"item","numeric-id":290916,"id":"Q290916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4612424$2C79DFD2-659D-411E-8D2A-FE9ECEE66C27","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6cff588b238fe649ad35be9c49b1edf5332cb4aa","datavalue":{"value":{"time":"+2019-01-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4612424$970B6EB3-AE74-4CB8-92AC-4C55F46CD201","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4612424$CD32F02A-D5A3-49A1-9412-B63EC6552936","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4612424$6535961B-C78B-45DA-8D6F-5328A9C71A31","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"aec156293cac5f5bb5e3557416f2285e9f235bbe","datavalue":{"value":"7009538","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4612424$B7108D44-A1B4-4512-A4DB-51FD47897667","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0cfd831f206181a670e3a347af7452993c51c23b","datavalue":{"value":"Boolean BI logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4612424$2DA5D7A4-35FB-4F0D-9C76-744139D9CC17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"829188eb2ee377bc98adf76b2d300d08c99601d0","datavalue":{"value":"modalities","type":"string"},"datatype":"string"},"type":"statement","id":"Q4612424$D7E350BA-2E7A-4EB7-8BBD-DAD9DB773283","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b80c99afc4950f85b79a2fe3707eb2e870b9567f","datavalue":{"value":"separation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4612424$612CD0D2-36B1-4DCB-8A79-62ADD75276FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bd27e46592f130330ebc1251c159880402faa66b","datavalue":{"value":"dynamics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4612424$A6958610-F2EA-48E8-B7D5-F96DCC4BCC20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09a4d1df3248b5d4a0c18f406a6ed3603fb9672e","datavalue":{"value":"resources","type":"string"},"datatype":"string"},"type":"statement","id":"Q4612424$754263ED-E9BC-4D2B-A3C7-0F6986205C48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"45ba0550e07e04a3326d1cb7dbe398ac3d7c209d","datavalue":{"value":"tableaux","type":"string"},"datatype":"string"},"type":"statement","id":"Q4612424$1210B4BE-6350-4FBB-9F85-AA25936684EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"24666f84765caf8850554b4cdc7d5d216c100556","datavalue":{"value":"counter-models","type":"string"},"datatype":"string"},"type":"statement","id":"Q4612424$71D20945-6D76-4023-AAEC-D366D2F486B1","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":"Q4612424$C907F26E-C0D3-4DDB-888A-E1D5080E80D2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"58ad72bcd9b8a48e528806f33ec3eff31e510e50","datavalue":{"value":"https://doi.org/10.1093/logcom/exv031","type":"string"},"datatype":"url"},"type":"statement","id":"Q4612424$D5773E2C-2D0D-420C-BA52-244C34925B64","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ef47f25cb4963c6dad7878a34d3cca60bcf6e2f0","datavalue":{"value":"W2468564096","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4612424$05793BC4-B4DB-4AF0-8ECD-FD92E0E081C8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2bfc7c1ff9c407eb0b68bd8a7b8cd358b35decd1","datavalue":{"value":"10.1093/LOGCOM/EXV031","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4612424$B661AC6F-C1C6-4550-95AC-B9994DED185B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4612424$D535DB89-D747-491A-908B-F091CACA56D9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d0bbbaf2f9ca3b66021c0b6f75bdf438c084c54f","datavalue":{"value":{"entity-type":"item","numeric-id":5896086,"id":"Q5896086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8414ac2432ff798b7d1acc6d61c1d4dfee77bc88","datavalue":{"value":{"amount":"+0.91236144","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4612424$67B1588B-3B47-450B-8C6D-47B9336EC348","rank":"normal"},{"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":"8414ac2432ff798b7d1acc6d61c1d4dfee77bc88","datavalue":{"value":{"amount":"+0.91236144","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4612424$76C0A2DC-3F37-43B5-A096-BE7FC2AE906C","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":"e9aa34e66973ca9b492c247e31ecc7d1fc2229c0","datavalue":{"value":{"amount":"+0.90593034","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4612424$C777ADB2-3544-43AE-A543-8CE61665550E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ef990976fb10cd48c35cd3c557a4de02cd243fd","datavalue":{"value":{"entity-type":"item","numeric-id":5427253,"id":"Q5427253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"61b6b799d142df2fe97c35f3633c53795770b499","datavalue":{"value":{"amount":"+0.8985255","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4612424$3207CF3B-FCE3-4F81-862C-2ED335CEDA45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1784f59bfef3e6e33e11e36e6702c069517f2963","datavalue":{"value":{"entity-type":"item","numeric-id":3455841,"id":"Q3455841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"332fd49b82e562977ff513e1da6d1d0aadabd4bb","datavalue":{"value":{"amount":"+0.88922656","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4612424$1A0AADB3-B87E-409F-AAFC-E33B6F00D74D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9f28a28358356e931ca995f53b57ba656f58046f","datavalue":{"value":{"entity-type":"item","numeric-id":4586138,"id":"Q4586138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f61b58e43deb05715abd03f219da4d103bdae4ab","datavalue":{"value":{"amount":"+0.8892049","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4612424$E09EB080-5CAD-41E3-980A-23E01421D384","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a1a90c223ab4c301f2d04ef53ee8575fa60f7ae6","datavalue":{"value":{"entity-type":"item","numeric-id":5216335,"id":"Q5216335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cb2bc896fb8441e83f17616c2668e66b5dbc22ae","datavalue":{"value":{"amount":"+0.88602686","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4612424$DA45C0A7-E7C0-4FF4-805A-3D4428343983","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ebf05996b83aa44eaf616717a41f0e257edddac","datavalue":{"value":{"entity-type":"item","numeric-id":2157601,"id":"Q2157601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b4e18a3404929e147463e0d6c44e245e24f4bf12","datavalue":{"value":{"amount":"+0.87895906","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4612424$BAE447B4-1A32-43B7-A192-2ABD8DB88868","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bab294f427518c57a15c3d0d785cc534323fc76f","datavalue":{"value":{"entity-type":"item","numeric-id":5415628,"id":"Q5415628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f34d4834222f900f372f5ba2f2cbff45a23972b","datavalue":{"value":{"amount":"+0.8789178","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4612424$FC185346-2311-4BD8-92D0-1A36D4357E3A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4612424","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4612424"}}}}}