{"entities":{"Q3000585":{"pageid":3011309,"ns":120,"title":"Item:Q3000585","lastrevid":58095291,"modified":"2026-04-03T19:03:40Z","type":"item","id":"Q3000585","labels":{"en":{"language":"en","value":"Barriers in Concurrent Separation Logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5897347"}},"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":"Q3000585$98B9969F-04B4-44BA-A6CD-4A4EA4C66F46","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"39a0f9160c39b72030cb7c82e2fae827a71066eb","datavalue":{"value":{"text":"Barriers in Concurrent Separation Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3000585$3259FE70-87A5-4691-ACC1-425E667FCE2A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"531e6b3dad22093c0e25dc594f5101bbabfcfa35","datavalue":{"value":"1326.68096","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3000585$9EAC9406-7CF0-42C0-BEAC-E4BB7E61415C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"49ecb515bf9d6edbefe42722acf3fa0c0a29048c","datavalue":{"value":"10.1007/978-3-642-19718-5_15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3000585$1414E65A-C0B8-48DA-A137-E204140C200B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9394590d5c791476eee96a2fc2c66d87e6d79c43","datavalue":{"value":{"entity-type":"item","numeric-id":832309,"id":"Q832309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000585$BC94C715-B363-4EAD-B119-BB28C8ADF6CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"efe56e76bedaff83b66aab910147cd9fba75aa3f","datavalue":{"value":{"entity-type":"item","numeric-id":2887057,"id":"Q2887057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000585$EF9C3673-6859-4864-8B88-75AC3817321E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7efb66db9d8cc237b51d0f645d1a54c929d4c460","datavalue":{"value":{"entity-type":"item","numeric-id":2789030,"id":"Q2789030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000585$76890F28-63AF-4840-ABEC-2794CCA6A1DB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"07154ee076353c2b0adec8e531d763756f4412f7","datavalue":{"value":{"time":"+2011-05-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3000585$EAB276A4-B877-415B-A1E6-BD54B7F2AA26","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"da0abb919464faf5c8bc82177f47399fa39e0a36","datavalue":{"value":"https://arxiv.org/abs/1203.6412","type":"string"},"datatype":"url"},"type":"statement","id":"Q3000585$39CD021F-B96A-4C58-9556-D0C0DC133A35","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3000585$05021C38-B96E-4CE4-BB84-AF614AA50BDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3000585$52DB84C4-83C5-403D-A545-9C79EB9817E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3000585$D420D1D5-1DC9-4A07-A88D-C3507699DE59","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6c30c052439b63fe578e66276d0ad0318dc2a98f","datavalue":{"value":"5897347","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3000585$FCADC498-FC36-4B1D-B314-A51C5A50623B","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"905dba29cec289c5c032a4190504b03c00014309","datavalue":{"value":{"entity-type":"item","numeric-id":25040,"id":"Q25040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000585$62EC06E3-D751-4356-AE85-EA6D040609AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000585$3EE339D4-91FB-48F0-B2A7-1E38EC527D4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"24ca62f46c2e4a4782ae714af37661320baead7e","datavalue":{"value":{"entity-type":"item","numeric-id":22001,"id":"Q22001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000585$48137570-721C-477B-99D3-0BE0AD87819E","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":"Q3000585$98A14BFC-2E1A-43E6-888D-D685CD58FF51","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f799aeaf1ef54ca07291a58c76926728aca43238","datavalue":{"value":"W2153880165","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3000585$F8F0750C-9F53-4073-8B13-70FF7DB82A93","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ed5124fab1d64feb8b4feb25646b660a09eb4cd","datavalue":{"value":{"entity-type":"item","numeric-id":3523161,"id":"Q3523161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000585$4740823C-0FC0-4DA3-A405-EE2ED5526D9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ef4f87aa6c809cecfe47d62d1407d6aa1246657","datavalue":{"value":{"entity-type":"item","numeric-id":4930723,"id":"Q4930723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000585$54CCE1B3-222E-4FE5-B6AF-61FD57D0AD20","rank":"normal"},{"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":"Q3000585$0296FEDA-BD6B-4243-B9E8-4A7808930B92","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":"Q3000585$019EB84A-5323-4A0A-8093-98C2EBAFD612","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c52d0561d6adf9d7c6eabaf6de644e8ad9f5983d","datavalue":{"value":{"entity-type":"item","numeric-id":3613389,"id":"Q3613389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000585$4D4E61F4-938C-4AF3-84ED-543D4422D0AC","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":"Q3000585$7EEA5B05-D856-410E-9493-BD78DE3F5B8C","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":"Q3000585$F8600580-9D9F-416B-A82B-7FE614F6B3CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c69df4c8871ee1b06727e4f90de98f0e5508859f","datavalue":{"value":{"entity-type":"item","numeric-id":5255071,"id":"Q5255071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000585$47A3D36D-8625-4E46-B11F-927A2D80AEFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"88107773061b55a684a37ff2030cb91e127bb568","datavalue":{"value":{"entity-type":"item","numeric-id":5408549,"id":"Q5408549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000585$B8F8200B-DC6E-4844-BF62-9804CF18AB9D","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":"Q3000585$46893094-3F11-4DF3-9183-17DF854D743A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fd3307e1d3e7b0d37b6b4709683a173ce1fd96e4","datavalue":{"value":{"entity-type":"item","numeric-id":2887058,"id":"Q2887058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"16b634b1b6b8b6ad047675814138c8f00d2db532","datavalue":{"value":{"amount":"+0.92431027","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3000585$E9603BB8-D31D-4B97-88A9-6BDE19F87527","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c2a79341a0cf952380289b3d1b5d38fa1220faa9","datavalue":{"value":{"entity-type":"item","numeric-id":2397039,"id":"Q2397039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d2e72da56e69092313dc4454c0740a3c70125a62","datavalue":{"value":{"amount":"+0.92262805","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3000585$5F59C9E7-3DFC-4B95-AD5C-EE12395E5D47","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":"c32546268f056595474c59f5ed97cabaae0c9ed8","datavalue":{"value":{"amount":"+0.9207581","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3000585$DEDE77E6-279E-408A-B1C7-696939DEF6CD","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":"921d8ec65dfe4501f64ba47a711b1cdf7256464a","datavalue":{"value":{"amount":"+0.91178524","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3000585$93E0E327-AB69-4174-A64E-F97BC69B812E","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":"921d8ec65dfe4501f64ba47a711b1cdf7256464a","datavalue":{"value":{"amount":"+0.91178524","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3000585$F431C36A-2D77-43EB-8849-D69BBDB2446E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d7997923f8ea3695262a5568baba6a54518ed42","datavalue":{"value":{"entity-type":"item","numeric-id":5739365,"id":"Q5739365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d33fcf69c3633d9a2238f82d0e1eb771a7b7315c","datavalue":{"value":{"amount":"+0.89581645","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3000585$2F7FD53F-9B0B-4551-B747-4B05FAD76D93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"08dc37f982591dedf58bcb8f661fd6bc327c026b","datavalue":{"value":{"entity-type":"item","numeric-id":5408547,"id":"Q5408547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"134f69221f05baf6d0ef865b7b60df112cba3293","datavalue":{"value":{"amount":"+0.88999474","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3000585$D7305CF3-DA07-4171-89EE-C7E305F8E781","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5be0a1b701db6fca2da35be5fdb6e7b38d0bcdb1","datavalue":{"value":{"entity-type":"item","numeric-id":2988664,"id":"Q2988664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d5a2afcbef150f7cdbae10e6f4aa20ded72fb41","datavalue":{"value":{"amount":"+0.8888935","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3000585$008E4BC2-13ED-46A4-9F00-D6DD456758F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8df1785e636faf4aa05d203c2cd26321715f9fa0","datavalue":{"value":{"entity-type":"item","numeric-id":763473,"id":"Q763473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eebcf9f287b2c82646715084bb24743acdbd2e0d","datavalue":{"value":{"amount":"+0.88725126","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3000585$C7650D41-12A2-449F-AC60-21B026FD8F08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f85a12b391445f2267a82f6cd0571a873a430da9","datavalue":{"value":{"entity-type":"item","numeric-id":3518272,"id":"Q3518272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d0e0c6359ddb3a125e236bb033755c910185b2d9","datavalue":{"value":{"amount":"+0.88279563","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3000585$9A322256-B144-470E-AA18-2A238DD4C10C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3000585","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3000585"}}}}}