{"entities":{"Q3178275":{"pageid":3188984,"ns":120,"title":"Item:Q3178275","lastrevid":86004302,"modified":"2026-06-03T13:19:15Z","type":"item","id":"Q3178275","labels":{"en":{"language":"en","value":"Syntactic control of interference and concurrent separation logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6602833"}},"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":"Q3178275$7AA6F65B-504A-4EB2-BE43-640F2C66AE3D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8369837b47239268f9120dae7cb2d6559c16a377","datavalue":{"value":{"text":"Syntactic Control of Interference and Concurrent Separation Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3178275$54583E9E-EC62-4296-9A5C-89B0E6253E54","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e661712920cd9b5860cbb8bdeb7552279b7b0cf1","datavalue":{"value":"1342.68073","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3178275$B766249A-4E56-4AAB-BC3C-16706E7A7BAF","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":"Q3178275$6146ABD0-D373-4123-925A-9602DF756D3F","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":"Q3178275$A5D2AC68-0E7C-4D71-9E0B-77ED10E97DE2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6d94d7fb93a112f04dcda84d3b27e1ba4f782c3b","datavalue":{"value":{"time":"+2016-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":"Q3178275$62A7B570-0F3A-4093-9AE0-5D39AB5C7F6A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3178275$255C37FE-605E-403D-B920-F0AC7EAB61AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3178275$30FEAB65-2E7F-4F16-922D-36486AD23FE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3178275$62538F80-F502-4065-8AA2-1D8EF82E8C1F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b9c9d12338e402bbd308c9dfdd79a964850c96fb","datavalue":{"value":"6602833","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3178275$FF68C9EE-C6AB-46DA-9D3E-5CF884B2D999","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"445a4fbc6b6bbba6e3c2169de8e334950d4f0826","datavalue":{"value":"concurrency","type":"string"},"datatype":"string"},"type":"statement","id":"Q3178275$884DD998-9144-4CE2-A0BA-EC04400EF54E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d0beb0dd62e616b9d74dedf917295173f10e62d8","datavalue":{"value":"shared memory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3178275$6A0B5752-901A-462C-ADFF-E6EE11714BB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09a4d1df3248b5d4a0c18f406a6ed3603fb9672e","datavalue":{"value":"resources","type":"string"},"datatype":"string"},"type":"statement","id":"Q3178275$F501234F-E30D-4A85-8ED2-22BB89F2373B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"938358769b4f58ad078254388a41b1d2ec82e622","datavalue":{"value":"separation logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3178275$5A9D8FAF-FFFA-4BBA-99F7-B639B1A2512D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"89cfc18aff65a9eeeed8950b1b8f1230186cc05e","datavalue":{"value":"permissions","type":"string"},"datatype":"string"},"type":"statement","id":"Q3178275$6D2DDFE0-6F9F-41E2-B34B-F479EEED46A9","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"5f1694cf4c18f07a2af83cb919d9bc4d15d4786b","datavalue":{"value":"Q113318087","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3178275$CC69DE67-9E98-4F11-824E-F60F5089D7CA","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":"Q3178275$4EA006B5-914C-4513-971F-0CF35D1DF4B2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"90a539dbc062710a6a1ca3fe37d004cbd7cba2bc","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2012.08.007","type":"string"},"datatype":"url"},"type":"statement","id":"Q3178275$B20D50EB-E27C-4260-A457-46FC5630B8DC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d99e2cc08f3ca61435a66f3004e0bc1554132a49","datavalue":{"value":"W1995259115","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3178275$6FF254F0-9F89-4611-AC1B-296AD0D373F7","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":"Q3178275$2AD74D41-D849-4F7D-9FEC-1B56BE96FA55","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":"Q3178275$4C0366A9-BDA4-4899-8DE3-51AE3406FA8C","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":"Q3178275$93F28C98-D8F2-4908-ACB0-9FCED89105C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f58c0a17dc5a0f4dca159d593b082338fcb20abb","datavalue":{"value":{"entity-type":"item","numeric-id":5739348,"id":"Q5739348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3178275$51836DBC-EA09-432F-80BD-CF5896F7BB1C","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":"Q3178275$493A4600-FE54-4F2A-9D2D-2311BEBAC91D","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":"Q3178275$8188D542-73BF-4935-AAD4-C88770DACD3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81bad30f7bc29771e402846c2e53b8f2df182bc9","datavalue":{"value":{"entity-type":"item","numeric-id":2942883,"id":"Q2942883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3178275$35FBA443-9879-4F8F-B86C-B38366CFF415","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"374cebb6c6f4d0a2e4aed80fe10c4981654204c6","datavalue":{"value":"10.1016/J.ENTCS.2012.08.007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3178275$F98073BC-157C-46D7-BC30-3CB5F194A3E7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1c075544acaf9d36d6375fe6660cc62bb7e7d4cb","datavalue":{"value":{"entity-type":"item","numeric-id":5739348,"id":"Q5739348"},"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":"Q3178275$2C2EF74D-1903-4701-9766-E7B7A4622991","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4b43cf4d3fb9c581af4c464d2e51eb039d021727","datavalue":{"value":{"entity-type":"item","numeric-id":2942883,"id":"Q2942883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b94f606ce8a7e0ecfff7c89d3079278c34f0a719","datavalue":{"value":{"amount":"+0.8649313449859619","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":"Q3178275$CB93F2A0-5295-4757-AF4A-AFBAA17A30BF","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":"8950065b42a220814e235a45a6663d26134165db","datavalue":{"value":{"amount":"+0.8306995630264282","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":"Q3178275$A8026FCC-8673-47B7-B761-3F96B0DE3456","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":"5523544c99eaf82203462ac08da29569862abb17","datavalue":{"value":{"amount":"+0.8260311484336853","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":"Q3178275$2D1A9D52-123D-4FBF-9992-55F7A3588FDA","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":"124ede661076182243a07e474f2c8bc77e98deef","datavalue":{"value":{"amount":"+0.8239537477493286","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":"Q3178275$86FC219B-4838-4372-A935-FB2295E9A728","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Syntactic control of interference and concurrent separation logic","badges":[]}}}}}