{"entities":{"Q2931839":{"pageid":2942559,"ns":120,"title":"Item:Q2931839","lastrevid":52145828,"modified":"2026-01-21T00:56:31Z","type":"item","id":"Q2931839","labels":{"en":{"language":"en","value":"Subjective auxiliary state for coarse-grained concurrency"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6374703"}},"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":"Q2931839$91FE6E1A-D7AA-4032-9EFD-D73F761472F4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"723dcf6c68004c30e41f8064bc0338d6ddd2933c","datavalue":{"value":{"text":"Subjective auxiliary state for coarse-grained concurrency","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2931839$E67AD307-F990-4B66-B344-F44FC81BE843","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2aaa82af4d07447d6f2999363e1daaae0663a419","datavalue":{"value":"1301.68102","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2931839$3296156A-2066-422A-925C-C8DFFEBB4E14","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"21df4e4efdd5fd2087f7f087116d7027db925607","datavalue":{"value":"10.1145/2429069.2429134","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2931839$6F8365FB-9929-41A9-A2FB-F7E2AF15060A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"76e5adbdff1a85e805f2fcf46c8d16ee361b3299","datavalue":{"value":{"entity-type":"item","numeric-id":2892746,"id":"Q2892746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2931839$AE322824-1AD5-4206-901E-36CB9A1ACC94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b248d705e0b51ec4722970eaa46ae5f39664514d","datavalue":{"value":{"entity-type":"item","numeric-id":1426867,"id":"Q1426867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2931839$192DAE2B-AE74-4DEF-B035-1A69FB3D83D5","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":"Q2931839$AB55F149-F79A-4DBE-998D-65A39ABF20C0","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":"Q2931839$C7B8DF90-B038-4A8C-A242-7A07EF252395","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2931839$D9215B48-86FE-460D-ABCE-A60600330CC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2931839$796D3A9C-6880-4140-AF89-407DE50F2192","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2931839$84E50323-F447-4B6A-8BE0-379805EDDE02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2931839$4BFC8F00-E7B1-474A-8D02-4391C84FE8C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2931839$6FA92306-6B94-4631-862C-F740DD0A7EB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2931839$5ED42B6F-A88F-4F62-9C04-C5147331C708","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f950f61306c4e83c904985f7240fc143f2793173","datavalue":{"value":"6374703","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2931839$3558F43C-A248-4C10-8E61-4E1954320A50","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"445a4fbc6b6bbba6e3c2169de8e334950d4f0826","datavalue":{"value":"concurrency","type":"string"},"datatype":"string"},"type":"statement","id":"Q2931839$C95A88AC-67DC-4EAE-B126-6A4960014646","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"13fd823fa813aa32375d6c4605d9195c2318674c","datavalue":{"value":"dependent type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2931839$E1079685-0B8F-4678-8494-1583B67D0F11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"220be66d53432dc869c25d91d86959700bdb130c","datavalue":{"value":"local reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q2931839$3413BEF7-DB1A-4680-920F-485CA331DB22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"86db71579f16afaa5264f0191e60bb06591c0a64","datavalue":{"value":"rely-guarantee thinking","type":"string"},"datatype":"string"},"type":"statement","id":"Q2931839$70FD0866-12B4-48F1-BF0A-12DF293AE8B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2931839$C859AED1-8BA8-44E9-B8AA-73166A464D96","rank":"normal"}],"P1463":[{"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":"Q2931839$AEA73C4D-BFD3-48DD-8B89-3076A397F24A","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":"Q2931839$A98A4FC3-6AD0-4927-8FAA-3BD66CC1730E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"56fd5237dbf49d3291e1ff030075cbbcc8dd6ec9","datavalue":{"value":"https://doi.org/10.1145/2429069.2429134","type":"string"},"datatype":"url"},"type":"statement","id":"Q2931839$C44338F6-D3EA-4B7F-919C-4F5D88376C4E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7ef077babbe9ed8a985b3550f2bc66b7d113f2ba","datavalue":{"value":"W2137554739","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2931839$F8BF8727-7DEE-46E9-B3CA-A283BD2D93FF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"39542ec6c733d1d5173c29b1faf2f819970a79de","datavalue":{"value":{"entity-type":"item","numeric-id":2802462,"id":"Q2802462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa9edc61211e68f3ed6f5a80f00e963107bb64af","datavalue":{"value":{"amount":"+0.8023653030395508","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":"Q2931839$7FA17317-983D-4E4A-97F4-37393FDADB70","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":"d8d35f654fe61f20a3cf0aade00eb41fe98e8f9f","datavalue":{"value":{"amount":"+0.7457211017608643","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":"Q2931839$991C055A-73E3-4D03-B477-D9DB18624C5E","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":"d2ba728972f37d88b75e4bd9d8b78cb75acb3091","datavalue":{"value":{"amount":"+0.741828203201294","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":"Q2931839$F15C0B09-0BA9-4E2A-B103-98CAEF382ADF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"94f822e90506a74059c914a62430f556ed83ecb3","datavalue":{"value":{"entity-type":"item","numeric-id":2802440,"id":"Q2802440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"353bfb8438c34966abfa82fbff836c09a5dc62f4","datavalue":{"value":{"amount":"+0.7333858609199524","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":"Q2931839$2000850F-914D-418B-A006-0625D36C83B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"40492cae6e4f296b458cfda29d89ed8fe3029b4a","datavalue":{"value":{"entity-type":"item","numeric-id":2931804,"id":"Q2931804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"70bb8d790b4155132adccdc8289141aacd085cf0","datavalue":{"value":{"amount":"+0.7321270108222961","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":"Q2931839$799D764D-462E-4985-8F4B-700E0CAB1CE9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2931839","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2931839"}}}}}