{"entities":{"Q2931809":{"pageid":2942529,"ns":120,"title":"Item:Q2931809","lastrevid":52145792,"modified":"2026-01-21T00:56:29Z","type":"item","id":"Q2931809","labels":{"en":{"language":"en","value":"Logical relations for fine-grained concurrency"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6374686"}},"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":"Q2931809$99AC1A30-9A60-4DA6-9442-B85E03FCA34D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ee057a40bc28b959b7658a7c591f028ea5b39902","datavalue":{"value":{"text":"Logical relations for fine-grained concurrency","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2931809$405B3B7F-37D7-497F-B405-9605304FEE9D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7f7fdaf24fbf76fbb4cdf4288f6c7a773b4b572a","datavalue":{"value":"1301.68181","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2931809$D6F04F0D-F4F0-4C84-9445-A7D1E04A2915","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"abc43988792cbd034d7980b1ebdc020af726fb22","datavalue":{"value":"10.1145/2429069.2429111","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2931809$983962B8-B9CC-403F-8B67-B1B88E6FF6BF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1bdc1b6532b18afb5587dbfadeeabefff6b21cc3","datavalue":{"value":{"entity-type":"item","numeric-id":2819853,"id":"Q2819853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2931809$8E75DD0C-AE00-4FAC-9A53-52376E8472D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"762c14c2030dd3ad29959bb2de51a0d6a2d43cac","datavalue":{"value":{"entity-type":"item","numeric-id":444499,"id":"Q444499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2931809$0F596889-E6BF-439A-9640-9CB7E2399FB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ba9eee2345936039a069f18114ac67b7e6d3777f","datavalue":{"value":{"entity-type":"item","numeric-id":1652976,"id":"Q1652976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2931809$E1CF8DAA-5993-4DE1-A843-B216731175C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"714a2f9cc11bbae3e9bb5cca0a961971143e413d","datavalue":{"value":{"entity-type":"item","numeric-id":1265186,"id":"Q1265186"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2931809$F2A99B8A-A471-4259-AAFD-986E04B5D1EA","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":"Q2931809$DE2CAB8C-A7DA-4634-9752-D2BDEB7D6346","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d480da44355e1cba6f97eb0f61979a1910561f9a","datavalue":{"value":{"entity-type":"item","numeric-id":2931775,"id":"Q2931775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2931809$03944992-36FD-4006-B006-69017434AA1C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d2caf1be9256fb0d3734f25532efe298070e0f96","datavalue":{"value":{"time":"+2014-11-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2931809$19327466-0F5C-41D3-88A0-A4D78CC9459F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2931809$8D6B3C8E-99FB-4C65-B9A1-2AFF7B7AD1B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2931809$DE55B6A8-183F-421A-841C-FE854A345C24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2931809$F1D06E4D-2B5F-4D9C-86D8-8C2AB2D7ED12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2931809$69ED29A9-9C4D-4865-AA3E-62F4F63EA30A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2931809$996DD2AA-87BD-492C-A7D5-4E1F2BF36979","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2931809$250BA688-158C-431F-AB64-3C3CF490A1C9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2a4988e4e5e69e9668f39c4341966be6e03c11b2","datavalue":{"value":"6374686","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2931809$C5DCBA7E-2A56-4A16-A8D9-1DD72D43C7AF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"302a42c8a61d3660ede2f3a51c558b802f2a3aae","datavalue":{"value":"data abstraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q2931809$041E3C6F-CBD2-4693-B10F-57662E7F6E95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"59c0ff791bef59c18e0be5c681d736f264593fa9","datavalue":{"value":"fine-grained concurrency","type":"string"},"datatype":"string"},"type":"statement","id":"Q2931809$FAC20D92-4904-4865-A8C8-D69D1647921F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"06ee1e819076ef64349ed3cd4ccae4a1cbb26c48","datavalue":{"value":"linearizability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2931809$17558E94-FECC-4EA8-812A-849D6B77611F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9e5f96ee27011412b92d5d55f9acaf0f31ccacf2","datavalue":{"value":"local state","type":"string"},"datatype":"string"},"type":"statement","id":"Q2931809$C442DE4F-D3AF-40DE-9D69-15552970D479","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"02e2bd1176be2ca24a8b368e42bc8812510b3ef7","datavalue":{"value":"logical relations","type":"string"},"datatype":"string"},"type":"statement","id":"Q2931809$203330E1-93CD-4A22-9DAF-1EDEE2B35F07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab20a0363e682206851b94b3be1e96bb56399f58","datavalue":{"value":"refinement","type":"string"},"datatype":"string"},"type":"statement","id":"Q2931809$C45FA1E0-48F3-4FDC-9C33-FF7A58521959","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"938358769b4f58ad078254388a41b1d2ec82e622","datavalue":{"value":"separation logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2931809$82B9660C-AEA9-4E8E-B49D-6DD325F553DD","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"f00e0291470275eca2232b575c77458088560244","datavalue":{"value":"Q60142677","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2931809$9FF061C3-805F-406B-B6C8-9B4F10F651B0","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":"Q2931809$75C480D7-92E6-45EC-943F-844E7AAE1364","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"926a2f3c01833c5e2d49439d5d02ed69a21986b8","datavalue":{"value":"https://doi.org/10.1145/2429069.2429111","type":"string"},"datatype":"url"},"type":"statement","id":"Q2931809$94EB9FA1-5061-4C74-8A6C-1B755D7601CB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e919d1010460d5de180579b13dc809f62c5e6185","datavalue":{"value":"W2081281361","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2931809$25DAC7EF-25E2-47DB-B4BC-652F4CA0098D","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"73535ed93809736b8d691f8172375c15c1b1a3da","datavalue":{"value":"conf/popl/TuronTABD13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2931809$507C18E5-451B-4AD1-8E23-F2533048AB52","rank":"normal"}],"P1643":[{"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":"96c6570c5b56b41d9e229b9dfbc011f9344a253e","datavalue":{"value":{"amount":"+0.7518523335456848","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":"Q2931809$88D9B3CB-2C4A-4614-896E-2F8EFA915670","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":"8fcffcc693a09f91d8c1c47d27e87e23cd988306","datavalue":{"value":{"amount":"+0.7485679388046265","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":"Q2931809$63CEA51D-6389-4E33-B539-4A67BC054AC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"949707000fab69b1d10d52327301950a9fd5c6bc","datavalue":{"value":{"entity-type":"item","numeric-id":5145319,"id":"Q5145319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"929795065ef9985c86a4e2abd0bc938564e267ea","datavalue":{"value":{"amount":"+0.7327618598937988","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":"Q2931809$062DE9D3-28C9-45F6-A97E-54E79BEB369D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"882179dcd5deae32cf94050811dfebe092bb0cad","datavalue":{"value":{"entity-type":"item","numeric-id":5408549,"id":"Q5408549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dd0549127c0d33a2c8ba5ee598ab734f03162e0f","datavalue":{"value":{"amount":"+0.7309324145317078","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":"Q2931809$405182AA-2DB1-470F-9D45-1DD097E324A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5dc9b0d04ab3450cb241ffa1da532485b511cc58","datavalue":{"value":{"entity-type":"item","numeric-id":5326285,"id":"Q5326285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9805f791b3c48197ee4a1068cd6a6379a20447be","datavalue":{"value":{"amount":"+0.7246482372283936","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":"Q2931809$4A4721AE-F638-4B1C-8215-6B7EDB5C8ECE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2931809","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2931809"}}}}}