{"entities":{"Q2324194":{"pageid":2334937,"ns":120,"title":"Item:Q2324194","lastrevid":71844324,"modified":"2026-04-14T00:55:01Z","type":"item","id":"Q2324194","labels":{"en":{"language":"en","value":"Compositional non-interference for concurrent programs via separation and framing"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7105286"}},"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":"Q2324194$C150D569-BA03-4337-A1BA-ECC8B40585E4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ce39c45375848471703cf9b8939bd6e7cc47a230","datavalue":{"value":{"text":"Compositional non-interference for concurrent programs via separation and framing","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2324194$2D77C032-300A-4CA2-B0BE-EFFC2F4A42A6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2f8b797b2dd5e9497d202900138e2a494293caa3","datavalue":{"value":"1427.68036","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2324194$6597C164-A526-4BF5-9496-0C73D791FD81","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d3aee5f3cf48d03dfcc565e0bc92a7347b8c6390","datavalue":{"value":"10.1007/978-3-319-89722-6_3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2324194$52DA7493-66F5-47E2-9752-61911A533151","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bfc7b1b7ab0184a05cf0cccf558a3e1b198b2a30","datavalue":{"value":{"entity-type":"item","numeric-id":2324193,"id":"Q2324193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2324194$91509310-410A-46FE-B568-2B87BD3C8C7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"32a852dd13c129712c151cef4e3381588e180803","datavalue":{"value":{"entity-type":"item","numeric-id":2323982,"id":"Q2323982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2324194$DA6C7930-FD70-4334-AB2F-0EC1C093D54C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d5b760b9bf55ea4ce3e617974ef6bc89b8ab1741","datavalue":{"value":{"entity-type":"item","numeric-id":935461,"id":"Q935461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2324194$C9AA7102-DE17-49CC-B4B7-79C6E4EC639A","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":"Q2324194$93AD074A-21C2-478C-8D34-171EBB298BDB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"96391af82153a94a4af2a0e4c8ac60042cea1674","datavalue":{"value":{"time":"+2019-09-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2324194$5032C962-F2D4-48A6-8FCF-FB48EA16B825","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2335101d556243c88261e1fccd8d7026b2856a8a","datavalue":{"value":"68M25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2324194$393F3F52-B80A-4E6F-A4E9-1E9B9D71F238","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"89e2bbd669c6ec71bd7c35cff97aa90ff53de75f","datavalue":{"value":"7105286","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2324194$FCD0FA23-A540-44D9-9BC3-5E96F85FED1E","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":"Q2324194$BB273E25-847A-4AF1-BDAF-3724ABD7BA02","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"634ce86c1835ac373945336b8faa7bde91a9eaea","datavalue":{"value":"https://doi.org/10.1007/978-3-319-89722-6_3","type":"string"},"datatype":"url"},"type":"statement","id":"Q2324194$1ABA736E-93C7-47D6-BCB8-E29C0085AA17","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"160e08535c4b8de4c96089898f0d1d2d299e20bc","datavalue":{"value":"W2798178883","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2324194$FFF1BD1F-6605-4FA2-A323-2B13687F2C4C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e6a81250ac5a05d5c92a518d9f56e9f51081dd98","datavalue":{"value":{"entity-type":"item","numeric-id":3304803,"id":"Q3304803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e294770540eb0a722b9ffcdcc163ac8139d1aed","datavalue":{"value":{"amount":"+0.812195897102356","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":"Q2324194$B0B254CE-B8AB-4E96-8706-FCCE6D556F20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a88b49a54dd50e5c1b09656907ea0e3acf258dcd","datavalue":{"value":{"entity-type":"item","numeric-id":4535032,"id":"Q4535032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b58105626899cf2729158afd01e497b3969782d","datavalue":{"value":{"amount":"+0.8053151965141296","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":"Q2324194$8E6C7955-123C-44DF-9B93-BFBD4AA567E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a49713591421d542ac856c60647732701ed74a86","datavalue":{"value":{"entity-type":"item","numeric-id":4916055,"id":"Q4916055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"97a06c0a282b7c053979a0072df6fc76d5a20243","datavalue":{"value":{"amount":"+0.7914661765098572","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":"Q2324194$8E3A2D50-B1E9-44CF-A9F3-4657968E5B54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db0c93eaa6e80b4e4962ba277c85014e8c7f52e0","datavalue":{"value":{"entity-type":"item","numeric-id":1603688,"id":"Q1603688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1bd897031d5ecb44cd190dc22846ceebc3c9d57a","datavalue":{"value":{"amount":"+0.7877808809280396","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":"Q2324194$DBD570D0-0CBB-4C07-A983-69969DEB1A34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd9d926cd6e6dc8e2de996c8942243713fec2f3b","datavalue":{"value":{"entity-type":"item","numeric-id":997991,"id":"Q997991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"90d716c390629eb200b0c45a4acb0708d34a019d","datavalue":{"value":{"amount":"+0.7693843245506287","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":"Q2324194$B0821AD0-0BEE-4DD8-BC29-C7F2BFBB3EA1","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2324194$72EB7E8D-81DD-469A-B938-B729B11545EC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Compositional non-interference for concurrent programs via separation and framing","badges":[]}}}}}