{"entities":{"Q5408531":{"pageid":7438105,"ns":120,"title":"Item:Q5408531","lastrevid":51972470,"modified":"2026-01-20T16:10:33Z","type":"item","id":"Q5408531","labels":{"en":{"language":"en","value":"Mathematizing C++ concurrency"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6282593"}},"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":"Q5408531$EDE8EFB3-B362-4D4B-B032-9B7DCD7F8A47","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cd0cf6876b9f5cb2ddaf4ed64fc6541958446b37","datavalue":{"value":{"text":"Mathematizing C++ concurrency","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5408531$18771B75-E92E-4A6F-9507-71C3CDB1447E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3691b78fca67c1d3f3e08e7b47cb67ca3bbebdf6","datavalue":{"value":"1284.68165","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5408531$3F98149B-CC67-48AD-A264-D9A1BF2585B5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7988763d91de856c9260001ef7c1dbb4e15207cd","datavalue":{"value":"10.1145/1926385.1926394","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5408531$FAD12A89-1970-46FD-9720-848C60BB35F4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"086e3db9bc4581370681013d3e176f7ae12ba457","datavalue":{"value":{"entity-type":"item","numeric-id":2324019,"id":"Q2324019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5408531$E5813D79-0B39-4A82-A0A7-7FAB186213B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"57155b56d8fbcd7c5881cc6580886a49385bb630","datavalue":{"value":{"entity-type":"item","numeric-id":287360,"id":"Q287360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5408531$249F6DB6-9669-4981-B442-3386257A0AC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"150a6b0b2b8289ee781f8cda58bd776255ac6b3f","datavalue":{"value":{"entity-type":"item","numeric-id":453522,"id":"Q453522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5408531$002F5EAA-B2F1-4C47-9394-7D912A47A2C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8f688dbdbd0131e419730283649f1321b89972f6","datavalue":{"value":{"entity-type":"item","numeric-id":236083,"id":"Q236083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5408531$5E66E209-154B-4810-9E9C-DD7724F4EC79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d1f8cd3b806fd78547b3f4844ba487e41a5ec455","datavalue":{"value":{"entity-type":"item","numeric-id":286783,"id":"Q286783"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5408531$E03F5687-3DE6-4D15-90B0-3E07AD1975C9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"724e86f0a622186aef680198e4fbf5470f7a0c57","datavalue":{"value":{"entity-type":"item","numeric-id":5408524,"id":"Q5408524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5408531$CE726AF8-1815-4D59-A19C-66691367C576","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d29d162184913e14034b04455ad3f441d2a1856b","datavalue":{"value":{"time":"+2014-04-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5408531$CFBE9E16-62E5-4F0A-9D7B-9B77BEC83F03","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9eb2423e33227a3ab7b59f46c1700de59a7da2ac","datavalue":{"value":"https://kar.kent.ac.uk/50265/1/popl085ap-sewell.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q5408531$1FB3D88C-5260-4D74-B7A9-F951C4ED3E4D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5408531$44A6F111-D93D-4D0D-9B1C-AE2566A0627D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5408531$EB5766A4-B770-4C5F-A4AC-C7C03D10FC8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5408531$1972D24F-5096-493C-8A49-71706F1AE096","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1908801a2431998085c7d582418a428f7e7f6658","datavalue":{"value":"68M20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5408531$46E2AC2A-8604-4871-B179-A0F4455558EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5408531$E648E71F-040B-48C7-8B16-55B9C3E4C4F3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ee927309832e11d042cb4d5aaa5d85083473fd95","datavalue":{"value":"6282593","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5408531$7385EC5D-9CC0-493C-9C7A-B3F4A846F22B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"010c5d74db814ce63482dee23e586c9469a6bc76","datavalue":{"value":"relaxed memory models","type":"string"},"datatype":"string"},"type":"statement","id":"Q5408531$181C7D57-FF62-4047-9CF5-D93A2BD126BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d7bfc11de8cab95fd6af201970bd9d16d39bbd0","datavalue":{"value":"semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5408531$BAB395F0-D71D-4987-B21A-C90B672618DD","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fa5dc13872ba1592e71dabc4befba1daea72a8a3","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5408531$C7975877-7455-41C6-AC88-A7FB4BD38741","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":"Q5408531$3D98059C-9665-4976-840E-EE91B3C213F5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a11f58ca72b30fe05c4f9c8dbb2627d6ce6daa1f","datavalue":{"value":"W4234066571","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5408531$ACE3B2C3-897C-40BC-8761-B9000DBCA6D5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"25b3fd1dec21feb09955bb3289ad5041e6de3501","datavalue":{"value":{"entity-type":"item","numeric-id":5370854,"id":"Q5370854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"12b74c23379c0d436837f6c2793619bac968ce71","datavalue":{"value":{"amount":"+0.7602479457855225","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":"Q5408531$E335AFB0-6E43-422D-80A1-CD4FA42BDBB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a66ee203782451895e518275611070c40a1715b7","datavalue":{"value":{"entity-type":"item","numeric-id":5408530,"id":"Q5408530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b6e5003bd26c029997866f8f78cf52c6eb8d297","datavalue":{"value":{"amount":"+0.7493173480033875","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":"Q5408531$92637F61-29B4-4829-A3B5-D7E57E413563","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"21a45eeb79b72d83c85cafe5e430ce10511c079f","datavalue":{"value":{"entity-type":"item","numeric-id":2931799,"id":"Q2931799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"042730845621f2b571d91470ddeb3d34e9f80e0f","datavalue":{"value":{"amount":"+0.7469143271446228","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":"Q5408531$AAB1506B-B210-4C57-81BD-E53A21179F4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"56c48d6198cce4ccea551daaa078b9a0fb4be06f","datavalue":{"value":{"entity-type":"item","numeric-id":2828301,"id":"Q2828301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"17203baa016b10aa6015fcfeb7843f841898776b","datavalue":{"value":{"amount":"+0.741096556186676","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":"Q5408531$0BE175A7-60B4-4D4A-8305-61A45CBD0EA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad82eeeda3db65ba0c9e637877280a18f0e7bccd","datavalue":{"value":{"entity-type":"item","numeric-id":5395719,"id":"Q5395719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec82efacf6e012e19894b07ee04597f53d8e434d","datavalue":{"value":{"amount":"+0.7385595440864563","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":"Q5408531$BB6B04BF-450B-4C79-A9BC-D8857D15544F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5408531","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5408531"}}}}}