{"entities":{"Q5326285":{"pageid":7355859,"ns":120,"title":"Item:Q5326285","lastrevid":92200343,"modified":"2026-06-05T01:07:25Z","type":"item","id":"Q5326285","labels":{"en":{"language":"en","value":"Modular reasoning about separation of concurrent data structures"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6194794"}},"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":"Q5326285$C57F9B20-7D67-40F0-9638-4AFBE3ED4449","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9d5fb50cc97c0108f9f02402a6ccfbffb9ef67ca","datavalue":{"value":{"text":"Modular Reasoning about Separation of Concurrent Data Structures","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5326285$F074D3A7-59E0-4DFF-A700-9681ED9AA685","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6b182b4fc9cb15ef23df3fb600cef732f8b3a914","datavalue":{"value":"1381.68062","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5326285$03CA8C7D-0AF5-4FF3-9E59-09D27128730A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5d09c59ab9a3b9fbc3996f4a8035cf17ae83578d","datavalue":{"value":"10.1007/978-3-642-37036-6_11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5326285$337F4627-8E3A-4BA8-AEBD-8BF5F6FDD319","rank":"normal"}],"P16":[{"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":"Q5326285$1C7B6DDB-0D23-4F38-9A0A-45A5493FB5DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fd33ff146caa74aefde0dc36311b64aaa0675018","datavalue":{"value":{"entity-type":"item","numeric-id":2151271,"id":"Q2151271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5326285$0CC2224B-E315-4F99-9A14-42A69FE14190","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":"Q5326285$CFFC97D0-5D5C-4B7D-8925-B3AD37AE3E1D","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":"Q5326285$6881BE3F-8F9D-434C-8F3B-9B53444729BA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"95aa5aea465a8772f3ec0450c3b06f16f93c1446","datavalue":{"value":{"time":"+2013-08-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5326285$5CE12F15-4BC1-4475-9437-08CA2F8111C4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5326285$E9F62317-4FC0-4E66-B82F-551221AEABB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5326285$E0AE03B7-0DD0-4F2C-8769-011C1A19BE62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5326285$AED378F1-9EFA-4089-844B-9821C6005423","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fcc12687110b6bd80d128d67f9d8cde285343000","datavalue":{"value":"6194794","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5326285$A097DC67-F940-46C3-A341-9F653B4663E5","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":"Q5326285$1ABFD695-C8D4-434A-B06A-AD8042B0A14A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1d329e94b44cff8fd5d07748b84f167d59121f8d","datavalue":{"value":"https://doi.org/10.1007/978-3-642-37036-6_11","type":"string"},"datatype":"url"},"type":"statement","id":"Q5326285$1CB8280C-6597-4B6B-A4D9-CFCC454DE405","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"78f5f6be5278800bafa45f0364c68947e7618cd6","datavalue":{"value":"W136497439","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5326285$40EEA9A9-0435-4471-94D5-A2E97206E7B5","rank":"normal"}],"P1643":[{"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":"fc17e3fbd960e36d0541d937cc80265313193eea","datavalue":{"value":{"amount":"+0.8081895709037781","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":"Q5326285$0F7FD939-A606-4263-A014-33F6EEA1751A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3086a37260f0d09f94adc495f3010a9d40e7e29c","datavalue":{"value":{"entity-type":"item","numeric-id":2988678,"id":"Q2988678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec0c0204d6cfe6c3986081b8b12567ae1f13e4e1","datavalue":{"value":{"amount":"+0.807114839553833","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":"Q5326285$1EB7B160-633A-4343-93B4-DFB31EB0049F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c3edb0e35abe551cd1ba974c3d36227362e9c22","datavalue":{"value":{"entity-type":"item","numeric-id":5971389,"id":"Q5971389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"35c1503de3e7dc974b95def89dfa940d8b225bc2","datavalue":{"value":{"amount":"+0.7878443002700806","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":"Q5326285$602BA376-8E2D-4C88-8015-6F05AC94FF43","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":"36c4e0bcfc78277fc3a7b250d48b9f0cede97812","datavalue":{"value":{"amount":"+0.7780386805534363","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":"Q5326285$DC58967E-C0AC-4DC4-A041-403ED28714BB","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":"54731ab378de95f45af803de10eb06e5b6e07728","datavalue":{"value":{"amount":"+0.7731945514678955","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":"Q5326285$39E17FDB-140B-45D3-A321-ED702B1C6FAE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Modular reasoning about separation of concurrent data structures","badges":[]}}}}}