{"entities":{"Q2830040":{"pageid":2840777,"ns":120,"title":"Item:Q2830040","lastrevid":44699994,"modified":"2025-11-25T05:44:33Z","type":"item","id":"Q2830040","labels":{"en":{"language":"en","value":"Certificates and Separation Logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6649703"}},"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":"Q2830040$90F780CD-43E5-43E0-A16D-5377B84B0B9A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a6bbda3b4c3d62929dad6d2d7307fed15c5a6a77","datavalue":{"value":{"text":"Certificates and Separation Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2830040$909B6F9A-5EAF-4DA0-9868-5B76BB81B79D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e4b9e0909bb21e63edc2f877057c9e0b8cf4ef00","datavalue":{"value":"1348.68041","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2830040$20DB1686-2449-4F4B-BA47-9F7BA11F358D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"559fdb6c3e92bfc88ac006ae5ebf007308e0f256","datavalue":{"value":"10.1007/978-3-319-05119-2_16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2830040$67B11861-B3A9-45D5-AE1A-96CAE8A306CD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3aadff98282eb0ff3cc170e3df7d1af9691006fd","datavalue":{"value":{"entity-type":"item","numeric-id":2830039,"id":"Q2830039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2830040$EF089DC6-1CBF-4816-AEF3-27479978E753","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8a7aa3b44f4693179521a8497c029ed5d3d49964","datavalue":{"value":{"entity-type":"item","numeric-id":964497,"id":"Q964497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2830040$41E5A910-3367-4CF1-BE31-9C31E84D4680","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"14c4d523b13f3aead91ab99aa4b7085cb8041985","datavalue":{"value":{"entity-type":"item","numeric-id":846107,"id":"Q846107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2830040$56A70ABB-CC7B-437F-BD5C-67E7E82E283A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ee0d095f9cd37ccf24b2b7a7c4ea665b54a342f3","datavalue":{"value":{"entity-type":"item","numeric-id":2811921,"id":"Q2811921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2830040$AB0EB15D-E967-4AE3-A362-49E197D75B23","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a075bd554bad2b16430b9c44ca6d378726682638","datavalue":{"value":{"time":"+2016-11-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2830040$3300F32C-C6D0-469D-8E40-0AABA25A7499","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2830040$857DE7B8-E1F2-4774-8022-ED7B741C5631","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2830040$67FCA09F-E115-462A-AB2D-E732F2E6858A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d79323a719b841252f53a91dd4f066c2080a3119","datavalue":{"value":"6649703","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2830040$83BCA92C-085E-424D-8D04-2B7B629FB051","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"5695ccde4f493ae427d2aaff82d404cadc0c8c9d","datavalue":{"value":{"entity-type":"item","numeric-id":23207,"id":"Q23207"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2830040$BEFA8E7E-8796-49C3-A960-7258F0634571","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":"Q2830040$15168B2D-D1BA-4E45-BEEC-AEACAD8A6997","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6877c9f7ad4520b6f25e4323c0fe3fac39225c2f","datavalue":{"value":"https://doi.org/10.1007/978-3-319-05119-2_16","type":"string"},"datatype":"url"},"type":"statement","id":"Q2830040$86935BD8-0E08-430C-912A-91355059C15C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3eb24d5018d1f207c66a4423977d085c78923a31","datavalue":{"value":"W1272983781","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2830040$B6675658-84C9-43F9-9CC4-F4FCA12624D8","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"398f65998a24aae4962aab1cef26216917730cd4","datavalue":{"value":{"entity-type":"item","numeric-id":3541689,"id":"Q3541689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2830040$F2E4C552-11AE-46CB-B8FC-97F45E8E1D9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"711b9a58df9e9d02e360a862629fbf9f3983be19","datavalue":{"value":{"entity-type":"item","numeric-id":5493398,"id":"Q5493398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2830040$39C581E2-7E65-4F4B-AF6D-979558115AC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b6c5aa1addf460148ffcdbb0b29392259175dfd","datavalue":{"value":{"entity-type":"item","numeric-id":3189829,"id":"Q3189829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2830040$4DD2012F-9BC3-4547-8784-AC90BC208405","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec596191c58c0192912d43559518df53cc026d8f","datavalue":{"value":{"entity-type":"item","numeric-id":879368,"id":"Q879368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2830040$966DEC7D-5624-4A81-9C2E-87459ABFAB23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17a8c0319a2245226b71de02a8c469bc6287b46b","datavalue":{"value":{"entity-type":"item","numeric-id":3452266,"id":"Q3452266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2830040$6F8F59F7-4619-4DF8-ADBF-46A79E21ABA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d35568f9e9d1b4da0eb41e1856ebed95b31b6f8","datavalue":{"value":{"entity-type":"item","numeric-id":3189828,"id":"Q3189828"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2830040$98D2F594-6750-4A74-B8A9-5D464052F4AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6bd3cb3ad644dad014ecb5bfe915da6e6d4ac4d7","datavalue":{"value":{"entity-type":"item","numeric-id":953533,"id":"Q953533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2830040$9752AC89-1DA0-4A8A-9B45-13805886D8D7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e494b8ba3180a56bbba4cac54a6e75bdaf5b8f78","datavalue":{"value":{"entity-type":"item","numeric-id":5276150,"id":"Q5276150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b8a03f90d000f55f82d80ba776f6f21bec5e0040","datavalue":{"value":{"amount":"+0.8267909","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":"Q2830040$21E90225-87B2-4D19-84FF-F267C3CB362D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"229a3a0eba787aa84df1639600e3c6f3356421eb","datavalue":{"value":{"entity-type":"item","numeric-id":3557673,"id":"Q3557673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"43a948a0f78a8d78634e0be67284a5d47931aaa6","datavalue":{"value":{"amount":"+0.8255665","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":"Q2830040$7E196E3B-2FDE-4907-AB31-35D024642BE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"efbf70216f8a9deefef3d97a176b2029dbf5d77f","datavalue":{"value":{"entity-type":"item","numeric-id":6070793,"id":"Q6070793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"15910f0fcb8f9a881f5ab28874551c05e6e60b81","datavalue":{"value":{"amount":"+0.82395726","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":"Q2830040$1A3AE151-EE0B-41C1-BC37-33856F5FD860","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"71ef30a69ca665d03e843a21e0d767dd5d67a47c","datavalue":{"value":{"entity-type":"item","numeric-id":3525642,"id":"Q3525642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e6363613ba65f643673fb6a67c52b280683c96e7","datavalue":{"value":{"amount":"+0.82389796","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":"Q2830040$F14FD344-830B-4A54-A3F4-3DC9E0D5D427","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f85a12b391445f2267a82f6cd0571a873a430da9","datavalue":{"value":{"entity-type":"item","numeric-id":3518272,"id":"Q3518272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be7305458684249b4c9c125cd20ab077fac3fd74","datavalue":{"value":{"amount":"+0.8230588","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":"Q2830040$210FCB9D-AD3A-4F90-BAAE-CAF745EA31B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0474bbb2119d7f935ca56ebb01dcab6b168475b7","datavalue":{"value":{"entity-type":"item","numeric-id":4928436,"id":"Q4928436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c33cecc7e8552bb06354f1fa98ab93f75f02b7a8","datavalue":{"value":{"amount":"+0.8222365","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":"Q2830040$C6BE9B4C-8ED7-448F-96EA-AF09B4EDBB30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"666d3c9e0a0602f2b92fda11efa4cd1f6313cc8b","datavalue":{"value":{"entity-type":"item","numeric-id":3183539,"id":"Q3183539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"115f441763b22fdb17d0ce139ba60f80350520aa","datavalue":{"value":{"amount":"+0.82122374","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":"Q2830040$413CE25F-63F6-433A-99FD-29BF31B42EEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c142c33cc6c23273f5e1e7f49ef9665a895bb9c","datavalue":{"value":{"entity-type":"item","numeric-id":1687747,"id":"Q1687747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"593020eb6b3b97e78a8ce991183502283bd2f6b1","datavalue":{"value":{"amount":"+0.8208433","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":"Q2830040$3D3171F6-487B-4446-BCAC-39DFAD236B57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c8c8c2487feef556ea5f088e9ac9186d865b31b4","datavalue":{"value":{"entity-type":"item","numeric-id":3602993,"id":"Q3602993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"067eb17c23cf3232039f0f2e3cc870b81c344bec","datavalue":{"value":{"amount":"+0.8158624","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":"Q2830040$B60FB304-BC4A-4678-A567-61B112DC40FC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2830040","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2830040"}}}}}