{"entities":{"Q5739348":{"pageid":7768900,"ns":120,"title":"Item:Q5739348","lastrevid":97058705,"modified":"2026-06-05T13:09:44Z","type":"item","id":"Q5739348","labels":{"en":{"language":"en","value":"A revisionist history of concurrent separation logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6603844"}},"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":"Q5739348$7B83F0D4-14A6-4400-9E35-14D0C3946C2B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3cd7f95012edd511f12629bb806b24d8507f53de","datavalue":{"value":{"text":"A Revisionist History of Concurrent Separation Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5739348$229B030E-2C85-45DD-9A96-BEA9DEA100BC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6f3acdef5b81cc335b3cc8710a7512aa7ed9cff2","datavalue":{"value":"1342.68074","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5739348$5398F14A-01D0-45EB-92E4-8CA88151D61C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d425705e6cdafc2d847aa0b75ce1fdb33e5f17a0","datavalue":{"value":{"entity-type":"item","numeric-id":283740,"id":"Q283740"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5739348$B09E3727-73BC-4529-974C-5CE48D1BA402","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":"Q5739348$1944D45B-D17E-4517-B406-61786B377550","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":"Q5739348$911236EE-5EA0-49F9-A10D-DCE09A76934D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5739348$E4A85D6D-7CE1-4C08-85BD-5D2140912BA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5739348$80E0B6EF-13A2-4F3C-97A3-434FA347A9B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5739348$65F8A9D8-E034-4E93-A1E3-84790C8D0C63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5739348$48995EE9-7DDD-4E72-9DC5-5AB8FA4E27B1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"062c6083805340f8d1ab70a86b56d8853c2e8d36","datavalue":{"value":"6603844","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5739348$3EA87510-6066-40A7-9767-3264B999F7E2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"445a4fbc6b6bbba6e3c2169de8e334950d4f0826","datavalue":{"value":"concurrency","type":"string"},"datatype":"string"},"type":"statement","id":"Q5739348$15B2B5EE-AEDC-4927-9EED-6B73F5B5F45F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d0beb0dd62e616b9d74dedf917295173f10e62d8","datavalue":{"value":"shared memory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5739348$792E2110-610E-4E18-AFBD-8F70BB430520","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51802126f63d5102d578f2858428d5d0f09da73b","datavalue":{"value":"denotational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5739348$0F08D69C-5771-4C30-8B40-CE4F19DF371C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09a4d1df3248b5d4a0c18f406a6ed3603fb9672e","datavalue":{"value":"resources","type":"string"},"datatype":"string"},"type":"statement","id":"Q5739348$D6C1B6AE-26FD-417D-9F10-EA586FF7D74F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"938358769b4f58ad078254388a41b1d2ec82e622","datavalue":{"value":"separation logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5739348$27107A4E-4F10-4DEB-A621-6AD990C414C6","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":"Q5739348$CBFCB331-9911-4B50-8A81-9270FB4499B4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"be0412954993368e254a8ce8fc0af187d7dc8fc7","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2011.09.013","type":"string"},"datatype":"url"},"type":"statement","id":"Q5739348$3B087E9C-DA22-4ACD-BFE8-A5C2C9394425","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"84fdc30dafc006328528ecdbf83a8ea1ac6343d1","datavalue":{"value":"W1970558816","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5739348$F732AA61-BBE2-4575-84BF-DFA00B67550D","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"bb4e768149413660c1d72705c9cc0c581c650e25","datavalue":{"value":"Q113318235","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5739348$A4C4503C-0DEB-4A15-A437-470CA3C8CFAF","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"91b08ff1b0d4539c99f6902ec8427b7b8b6cea46","datavalue":{"value":{"entity-type":"item","numeric-id":5276151,"id":"Q5276151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5739348$07641FD6-E6C6-4ED4-9597-5840AA4A48DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b6f86e69e4182fe9dee7c3758ceccac77217422","datavalue":{"value":{"entity-type":"item","numeric-id":4813391,"id":"Q4813391"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5739348$5F0C8455-52B3-4551-AF5F-C37F1399F744","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fafe746e3b002ee1de89cad9c41b98e375dad63a","datavalue":{"value":{"entity-type":"item","numeric-id":5311481,"id":"Q5311481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5739348$520FF79F-5EB5-4F09-801B-FE6BC3765E11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cdb26cdf1cfba5d6136c14c42a3ddbd8559c1987","datavalue":{"value":{"entity-type":"item","numeric-id":2851320,"id":"Q2851320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5739348$F09B8BC0-0885-42A9-B134-190AE938C336","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":"Q5739348$736BF163-1BCB-4A5A-87ED-89A917B42802","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4a9238fc49995a79f8c006683b1a9c42fafe2bd","datavalue":{"value":{"entity-type":"item","numeric-id":4085221,"id":"Q4085221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5739348$CD677EA3-FB05-4431-B20E-2426C2DE6CA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0be2d7a498e1fa1a8eec9f77d2e3dbc81e945234","datavalue":{"value":{"entity-type":"item","numeric-id":3906397,"id":"Q3906397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5739348$15DF29D0-A1BB-46C8-ACAF-BC359084FC8E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9bf478a5229b7972857b750b3efc51d4124b472f","datavalue":{"value":"10.1016/J.ENTCS.2011.09.013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5739348$F3515691-4666-4164-BA85-816C4BE4220C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"250b38a1e29c3e3ff15bf7a62e33bddf5f1884ce","datavalue":{"value":{"entity-type":"item","numeric-id":3178275,"id":"Q3178275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6bff2ae46c1e5b515910f931405441dee531015c","datavalue":{"value":{"amount":"+0.8731704354286194","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":"Q5739348$44AB3012-ED12-4913-831D-C7ADD5F7BDE0","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":"546f93081d63835d1a6ffffde6f1ebb388fa255a","datavalue":{"value":{"amount":"+0.8410598635673523","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":"Q5739348$242226B0-5F6F-4B2D-8343-4811A5623261","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":"b9cb1cdb83c5bb1312379f07d542967c874f46e6","datavalue":{"value":{"amount":"+0.8355304598808289","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":"Q5739348$DC106444-BDBC-47E5-AC9C-A5EC4C69387E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"320299e16d3ef73cf320ea3c69397dfc61b80af8","datavalue":{"value":{"entity-type":"item","numeric-id":5739357,"id":"Q5739357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c9ad4bc264fc43edcfe8883e280bcf86d7d1481","datavalue":{"value":{"amount":"+0.8345759510993958","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":"Q5739348$71566D0C-840E-4355-88DE-EF3E93F49231","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b1fc4cff020b2b5c5f444f2c8bfd52cb26ccc0cf","datavalue":{"value":{"entity-type":"item","numeric-id":2851320,"id":"Q2851320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8962cdd4dcfa95b5f7ee1c2a62edfe8fe9202e06","datavalue":{"value":{"amount":"+0.8314927220344543","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":"Q5739348$2D7301E7-CDAE-4A29-A51E-88639BE7C0B9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A revisionist history of concurrent separation logic","badges":[]}}}}}