{"entities":{"Q5739354":{"pageid":7768906,"ns":120,"title":"Item:Q5739354","lastrevid":97058780,"modified":"2026-06-05T13:09:45Z","type":"item","id":"Q5739354","labels":{"en":{"language":"en","value":"Step-indexed Kripke model of separation logic for storable locks"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6603849"}},"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":"Q5739354$78598094-1643-4F72-9A96-ECB5C4D035AF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9223e718ce6ee6b1849d530da87d7e662e8179c8","datavalue":{"value":{"text":"Step-Indexed Kripke Model of Separation Logic for Storable Locks","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5739354$281F9CFA-7B8D-4193-B3D8-47AAF8C71F67","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d5920b390214c0fa0487f54e4b68e3d381cafd75","datavalue":{"value":"1342.68075","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5739354$E454193D-4BA6-482B-80E6-2BEE0A31B249","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0c2369ca967657aa906088beb2d210e89b0ecb67","datavalue":{"value":{"entity-type":"item","numeric-id":2871880,"id":"Q2871880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5739354$6B45E2D3-CAEB-4B2D-9C6F-DE0ED7CD1441","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"573e97e485dc7f23b42802228edbcbd518cf2ea9","datavalue":{"value":{"entity-type":"item","numeric-id":444497,"id":"Q444497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5739354$4C7507AF-F29F-44A7-BA38-190A4EBF7377","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5739354$8F922A4D-2A62-4320-956B-425BF6F81A81","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"78adf6e76276ee5d7f342d12b99cf64bd7a4e40c","datavalue":{"value":{"time":"+2016-07-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5739354$797BDAF1-FE84-4D5E-9F75-A5C84150E95C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5739354$69DC6510-3E49-4801-9031-D6D4F003B2C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5739354$1619E7E6-C45D-43FA-9828-4CC90476FD8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5739354$D3D446FA-D7B8-4AFA-A2AB-2F2728CBAED1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5739354$0E6BAE9A-B9A4-41DE-994A-04CA80A41940","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4cd055653d127d8d43fc26d2e55fe496eec0b049","datavalue":{"value":"6603849","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5739354$C365B9B5-75C3-42B1-BC01-217D4EE4C189","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d7bfc11de8cab95fd6af201970bd9d16d39bbd0","datavalue":{"value":"semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5739354$8C13142C-53DC-4CC6-A603-E7A065F44D00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"445a4fbc6b6bbba6e3c2169de8e334950d4f0826","datavalue":{"value":"concurrency","type":"string"},"datatype":"string"},"type":"statement","id":"Q5739354$81ED44AA-3C4F-426A-89F7-5BCD79A86EF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"938358769b4f58ad078254388a41b1d2ec82e622","datavalue":{"value":"separation logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5739354$916ACFE5-5EC1-4A30-896E-69676B6FAE2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"139b1f088b49f35ab54028904277935cea2e950c","datavalue":{"value":"step-indexing","type":"string"},"datatype":"string"},"type":"statement","id":"Q5739354$D0A6DDDA-C14A-4C85-BEBE-CCBC9DC05C1E","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"cf2b58f4d310213fad2ec49285ac2c8406b084fe","datavalue":{"value":"Q113318229","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5739354$B0ADD5B3-4374-4CD8-B7EE-DBB392918B22","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":"Q5739354$C3029C2A-843C-4171-AA3B-336E0F3F91C3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6dce656d947c6408a1949e5c5bef11d95d0f108f","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2011.09.018","type":"string"},"datatype":"url"},"type":"statement","id":"Q5739354$E88E0A33-CBF4-417C-BAC1-6E0422D9C11D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b3ce0c6b39c1f72247d84f4ac4b007f8c96139f7","datavalue":{"value":"W1981363830","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5739354$8BD815CF-3A69-42B5-AEE2-083E0EC6869D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7ab4ee3ee8ef05ab2de5721210c2223252774bf","datavalue":{"value":{"entity-type":"item","numeric-id":753944,"id":"Q753944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5739354$729523D8-1AF7-4032-B65D-C05CA54F88E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59ee6ee01b4b1694eb9e94a00a8a009dce26654e","datavalue":{"value":{"entity-type":"item","numeric-id":5316567,"id":"Q5316567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5739354$0CB63AEE-95E3-4FCC-A30A-C2155DD4C46B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7af4abdec551b3aac3670e5b25a7a3b50d9f3b50","datavalue":{"value":{"entity-type":"item","numeric-id":5408537,"id":"Q5408537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5739354$DBBF72F0-4A34-467F-9778-DA9D7968704C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a17c4379c86a96dcc7980a8094e17013458d89a","datavalue":{"value":{"entity-type":"item","numeric-id":3583027,"id":"Q3583027"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5739354$32B078FC-E8C4-418A-9737-C2811A09DF94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89cbfeceb159ddcc8072c7be622a29c89ba80036","datavalue":{"value":{"entity-type":"item","numeric-id":5310672,"id":"Q5310672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5739354$CAF5CF96-32F1-4336-AC00-D92D12552B5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9db457c46a75b20727f84612ba0607e2d094d824","datavalue":{"value":{"entity-type":"item","numeric-id":3498431,"id":"Q3498431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5739354$D37EECAF-44D2-4B11-8F13-04D8C832DEF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de173836c028013896cd8bf3b02fa6e12262641a","datavalue":{"value":{"entity-type":"item","numeric-id":5458409,"id":"Q5458409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5739354$579AFAA5-E58C-477C-9AEC-67BBD4CA4FC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f7ca9d7d4c37cba35ad27dfba84e476bdb59d65","datavalue":{"value":{"entity-type":"item","numeric-id":5311497,"id":"Q5311497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5739354$A0FF2AA8-C9F5-4ED7-AF30-94BFE9A79422","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb97b334a68fae247453155dfcad48720dc60752","datavalue":{"value":{"entity-type":"item","numeric-id":5739365,"id":"Q5739365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5739354$C77A9992-8A44-4354-87DA-E88FC86AF57A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2a707315b847d101769ee83a987f3ad10d954bf7","datavalue":{"value":"10.1016/J.ENTCS.2011.09.018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5739354$32AC7912-5DF5-414C-BEC9-7581F3E0BFF2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ac07d04214513f562feb2497be5922a17313101","datavalue":{"value":{"entity-type":"item","numeric-id":3498431,"id":"Q3498431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"69068dd4ac775bfb76c3ea047886206edac42af8","datavalue":{"value":{"amount":"+0.7976904511451721","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":"Q5739354$F5710A74-58A5-4077-B01B-BDACD08B23E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"96f72112ae0de9c4ec7fdaff364082f56a8eeb23","datavalue":{"value":{"entity-type":"item","numeric-id":5311481,"id":"Q5311481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"edab87ef9042af24acac2228701d303f983e337a","datavalue":{"value":{"amount":"+0.776739239692688","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":"Q5739354$87DECF6B-E6D4-4D62-B58B-1373B5728036","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9544de41f81387be86297869277c1a82bc01c1b7","datavalue":{"value":{"entity-type":"item","numeric-id":879367,"id":"Q879367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"86e5716334359a7d4ca52659c6893d61e54486a6","datavalue":{"value":{"amount":"+0.7692078351974487","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":"Q5739354$53FC5FED-D1D5-42E1-89A4-37670C2362E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb5e80290f5edb83ca9f5192b55855c9c9835e51","datavalue":{"value":{"entity-type":"item","numeric-id":3519513,"id":"Q3519513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"94058a651d22b280035f491dd377095bda2c0d09","datavalue":{"value":{"amount":"+0.765110969543457","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":"Q5739354$DB86A7E6-772B-426D-8731-936B348A6E17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fdd4b8eb7a9fdb762b7b6b247d433dd50abaa943","datavalue":{"value":{"entity-type":"item","numeric-id":2323985,"id":"Q2323985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b3439509570339bbb73bf8c8dcd9f5c4a9ea2b76","datavalue":{"value":{"amount":"+0.7643526792526245","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":"Q5739354$0B9B75E7-DF47-4935-AB6B-FAA874F055E5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Step-indexed Kripke model of separation logic for storable locks","badges":[]}}}}}