{"entities":{"Q2942883":{"pageid":2953603,"ns":120,"title":"Item:Q2942883","lastrevid":52343393,"modified":"2026-01-22T09:45:29Z","type":"item","id":"Q2942883","labels":{"en":{"language":"en","value":"Syntactic control of interference for separation logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6481258"}},"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":"Q2942883$D16DC6BD-511D-4759-8976-A4E7D91720FC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fe13e8bad2c7488cc6a24d61bfcd8a9115d0e9cf","datavalue":{"value":{"text":"Syntactic control of interference for separation logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2942883$04CC03E9-26A9-4520-88B6-1512A485B47D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fddc545ff80188e3a8704af76a075f494887f028","datavalue":{"value":"1321.68131","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2942883$8C5E8713-0557-49D8-89D2-818E4A234FCF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8e867b777760984c9a93216cf79f3dd3632dad08","datavalue":{"value":"10.1145/2103656.2103695","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2942883$8AB03229-5435-4FBE-BB5C-F7047D7EC9BC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0dd8979e1a685765dc1198ac350f0841f1b80717","datavalue":{"value":{"entity-type":"item","numeric-id":265825,"id":"Q265825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2942883$D758D77F-3EFB-461F-AAEE-3B3929A7CC4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4ce89a28b8751be49dfde7a8a71f1ba0108c6fee","datavalue":{"value":{"entity-type":"item","numeric-id":1260642,"id":"Q1260642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2942883$A373B663-9646-46BD-B7ED-8BEFC3716763","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b2e3947a47402cf435bd22e833e203adf92b612a","datavalue":{"value":{"entity-type":"item","numeric-id":2942852,"id":"Q2942852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2942883$4FF7A797-8B90-47BC-B75A-B42A36768577","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4dc3af13f56c9757ccde8db0e7a8779bcfa3e4e2","datavalue":{"value":{"time":"+2015-09-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2942883$545AF985-FA18-4435-A2E3-BC60DD6BC94B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2942883$5CCFA9F1-F66E-4231-8CE2-F031043395C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2942883$BAB23638-BA0D-4BE7-B450-A49174136B79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2942883$709A9DB6-3573-4D63-9818-2A81E6479711","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2942883$E7B1688D-F214-43CB-8A6A-A2FF25D11DEA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5c388568f5a67d2d3481275996d900ffc8a7e352","datavalue":{"value":"6481258","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2942883$25152975-FDC0-4905-8BCD-C7455DB60CA9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"795a0f6fb77395eb7ce0436eb0dcba920c6483ea","datavalue":{"value":"conditional critical regions","type":"string"},"datatype":"string"},"type":"statement","id":"Q2942883$92D078D0-03A2-48C7-BE5C-F507CB32E818","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"841203d25707f1b35f2990ffd0fd6db559fba9e9","datavalue":{"value":"fractional permissions","type":"string"},"datatype":"string"},"type":"statement","id":"Q2942883$4D569787-CEF9-4811-A46F-DF8D53CC33D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"938358769b4f58ad078254388a41b1d2ec82e622","datavalue":{"value":"separation logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2942883$07C540E2-8E8D-483B-AA2F-E60453DC582D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dca5cc682e76d80a491afdf82202532c8173882c","datavalue":{"value":"static analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q2942883$44FB92EB-D000-4B2A-AF3D-EA535181F73A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4bc9a6aec75050c4a2aa6cbb017a8bba03869d8a","datavalue":{"value":"syntactic control of interference","type":"string"},"datatype":"string"},"type":"statement","id":"Q2942883$56D59BBD-10BE-4CCC-A8B4-1634EA43128E","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":"Q2942883$9FC38C21-709C-4058-AB5E-7564F37F4136","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b23b3f98e0051a97f0763a343bab344fbf70b6e1","datavalue":{"value":"https://doi.org/10.1145/2103656.2103695","type":"string"},"datatype":"url"},"type":"statement","id":"Q2942883$573C8EB7-12F9-4D94-8E61-B7622ACADEC2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b98cc24db2c9d27378c82f086e5f5ea550420a9c","datavalue":{"value":"W4247835804","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2942883$C3D38DFB-70DB-408F-A5E2-1EAF94EA3EE1","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"727f2343f795333f91f4af500ddfc2dc8cce00c3","datavalue":{"value":"Q130870002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2942883$0E89AB54-A6E9-44F0-888D-AD81F2B19271","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":"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":"Q2942883$65C2213D-4083-4EBA-A96F-CCFC52B3B086","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":"be1be601be31e222c5fa0b29433dc026b9dbc792","datavalue":{"value":{"amount":"+0.8038275837898254","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":"Q2942883$1E460467-B2A4-43A3-A1E6-92762B082DD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"06f2c77f823ba47b965bc7a168d1c80fa8218503","datavalue":{"value":{"entity-type":"item","numeric-id":2226736,"id":"Q2226736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a5d8356e944fd02dd8a6feddf45dfb8b89d1b36b","datavalue":{"value":{"amount":"+0.791642963886261","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":"Q2942883$68EF69C2-B67B-4C1C-BE23-4C59E44D3141","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"302effae99d5b630a1a547d06432f2bd4b8bfd35","datavalue":{"value":{"entity-type":"item","numeric-id":3613364,"id":"Q3613364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e84fea3e79119856ae43394494d4f172607bbff9","datavalue":{"value":{"amount":"+0.7787772417068481","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":"Q2942883$D5C19A91-4CE7-4050-855F-500DEC96C17B","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":"e4e55f0cb635728aee6f555fd71ec4322cd953cd","datavalue":{"value":{"amount":"+0.7743181586265564","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":"Q2942883$A911CB2A-1037-457B-A753-5C6E68AEE60E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2942883","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2942883"}}}}}