{"entities":{"Q2908566":{"pageid":2919291,"ns":120,"title":"Item:Q2908566","lastrevid":84961292,"modified":"2026-06-03T05:20:41Z","type":"item","id":"Q2908566","labels":{"en":{"language":"en","value":"Reverse exchange for concurrency and local reasoning"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6076971"}},"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":"Q2908566$7390794E-F870-4414-AB4E-A4D4AFB0257E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d078024be5f1d2843e61eb331e4383a072d8fcab","datavalue":{"value":{"text":"Reverse Exchange for Concurrency and Local Reasoning","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2908566$A5A29736-6791-4B87-98F9-694DE9B38113","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e9273931ecd66d4da75dde7eb0e7afa999e79724","datavalue":{"value":"1358.68063","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2908566$6557A5EA-05F7-4174-85D9-3195DF9DA60B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"78d04eb9203522b8d6e445fd668179cbe2eddb67","datavalue":{"value":"10.1007/978-3-642-31113-0_10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2908566$F7A9B105-B6F5-46E7-8B57-40DBFA3019B2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"787149007cde9cab1d2caf2001ab6cf4632dcffa","datavalue":{"value":{"entity-type":"item","numeric-id":406438,"id":"Q406438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2908566$3ED3CBC3-A56A-42F3-9AAF-000E6A53E50E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9460bd561e5fd140c91ed222cac6d9f6f30d6e40","datavalue":{"value":{"entity-type":"item","numeric-id":299199,"id":"Q299199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2908566$A9778C28-E45D-49AF-871E-4A8A8880B5FC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2908566$BF061F63-5752-4508-98D9-878A2E09651E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fd0374f9cee657eee67ac4dd9d79d96d1538c53a","datavalue":{"value":{"time":"+2012-09-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":"Q2908566$FB154153-E36F-4278-8C5E-2D9BE3717580","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3fdc1140545494ef688849c0e83a990fa34b6ebb","datavalue":{"value":"https://opus.bibliothek.uni-augsburg.de/opus4/frontdoor/index/index/docId/58762","type":"string"},"datatype":"url"},"type":"statement","id":"Q2908566$3C25373E-900A-4719-9F5A-430EFD61851D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2908566$00934605-4BBB-4BBB-A93A-E03D836C0FFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2908566$A41BBE93-A147-4CC5-B158-803E60CF3CAB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fe0ddc441a9046f084b63466741a2891da27f3dd","datavalue":{"value":"6076971","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2908566$F07B53FB-B72E-44E1-A538-3E3449B2533F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c798bc82d40898e5a150c07cc309b46baa155c3","datavalue":{"value":"true concurrency","type":"string"},"datatype":"string"},"type":"statement","id":"Q2908566$35258B7B-6F50-4163-8299-5A79A8BCDD22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"31d2faeb57b57f360251067fd610e199173399d9","datavalue":{"value":"relational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2908566$6A8C070A-0BE0-48E9-803C-865692761F8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8649681bd6e022af57b527d538b7a92c7e6b6e88","datavalue":{"value":"Hoare logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2908566$4001C622-7B40-4797-AB92-2E1201E550AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"db372644550235ff04c8764c60b2329a9ac7e607","datavalue":{"value":"concurrent separation logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2908566$A4968C6A-5672-4A3D-A47C-CD41D1A312EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7d5b73a08163a09a75cd91878ee7b2e9cf204284","datavalue":{"value":"locality","type":"string"},"datatype":"string"},"type":"statement","id":"Q2908566$80AB5A61-C975-4675-919E-48E0D0F1800E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cf662ee3cfc61f742203e228a581f6b6ffdfe32e","datavalue":{"value":"frame rule","type":"string"},"datatype":"string"},"type":"statement","id":"Q2908566$F0B590D4-02A6-4712-9046-1AADDF4D6427","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":"Q2908566$374A18BD-1F6E-498C-B83F-415E23A4F629","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"87153d3d9eba8efe45cc158064514aa95f6b4fb2","datavalue":{"value":"W144602492","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2908566$EEF66532-9093-43DB-92FE-C767AD89A2CF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd850ad77d6d77cccca85a17e798bfb9d04fa3dd","datavalue":{"value":{"entity-type":"item","numeric-id":3090834,"id":"Q3090834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"81ac65c7134e456ce4c1f9d70242853bba02d03a","datavalue":{"value":{"amount":"+0.8091001510620117","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":"Q2908566$8F5BAA13-EC24-497C-A5FA-5FB7F86C87E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"040151c5d810214d94f2fa1386332c2c43bb6d24","datavalue":{"value":{"entity-type":"item","numeric-id":3184688,"id":"Q3184688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"02a52ddefe41b2506b68bb5aaff06b1b6d5b66fe","datavalue":{"value":{"amount":"+0.7198647260665894","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":"Q2908566$B8E8522C-4585-4865-AC7C-380C352CCF3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"320299e16d3ef73cf320ea3c69397dfc61b80af8","datavalue":{"value":{"entity-type":"item","numeric-id":5739357,"id":"Q5739357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e49210653b46b466f140af9316d065501791b71","datavalue":{"value":{"amount":"+0.714524507522583","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":"Q2908566$1C1B8291-DC68-4C1C-B305-45715D8441F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"263062f64e465448683cafbaa0fc770774c859ba","datavalue":{"value":{"entity-type":"item","numeric-id":1941861,"id":"Q1941861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea367598f426e018f6aec08378086a2d01675094","datavalue":{"value":{"amount":"+0.7113451957702637","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":"Q2908566$C634A8FD-E149-4509-B9FE-9DAA8AD924BD","rank":"normal"},{"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":"c64188b381a46df9d5b083e34442a64bd82e66d4","datavalue":{"value":{"amount":"+0.7060849666595459","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":"Q2908566$48202EA2-8B7C-4024-B74B-97E994B29AE4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Reverse exchange for concurrency and local reasoning","badges":[]}}}}}