{"entities":{"Q453508":{"pageid":455275,"ns":120,"title":"Item:Q453508","lastrevid":51563462,"modified":"2026-01-18T19:29:02Z","type":"item","id":"Q453508","labels":{"en":{"language":"en","value":"Verification of STM on relaxed memory models"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6087622"}},"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":"Q453508$79631647-C11C-477F-B2E0-F0EF29F88BA3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e5a0643206c0750ce08130efbb2bd8d880641fd8","datavalue":{"value":{"text":"Verification of STM on relaxed memory models","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q453508$8D55F4CC-5BF0-4391-B573-47CE4F5E8712","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ab789cade7cb906c56922e19d3c023318b237e41","datavalue":{"value":"1247.68165","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q453508$81BE1B82-CB73-4946-9B6C-05B5A8852939","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c66e71311a531f5c49e07637d77e90cbb2640dae","datavalue":{"value":{"entity-type":"item","numeric-id":453506,"id":"Q453506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453508$DB03590C-2EEE-4436-BFEB-BCBD4A9AFE70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e91931f3fd780c36ea4328f78b3c3352f7c16650","datavalue":{"value":{"entity-type":"item","numeric-id":355505,"id":"Q355505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453508$A92292A9-4431-42E0-9409-43E19DCE8C45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"05aeb9289342efc2a224081583506ce557ce861c","datavalue":{"value":{"entity-type":"item","numeric-id":453507,"id":"Q453507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453508$29F394B8-BE61-431A-93F8-678EB1AD1CD8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"70551fcc6e89042fc26ae9242a005533b44a2d7a","datavalue":{"value":{"entity-type":"item","numeric-id":169908,"id":"Q169908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453508$7F513BB3-6B52-4ACF-9B88-4F7C77C21273","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3fc6cf2e793ffe0cfa0f8a10182fc08299b3419d","datavalue":{"value":{"time":"+2012-09-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":"Q453508$20C53E86-4CB7-4611-ACB6-62F99D11ADD0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"aea23d7fd7f9b312f627a2ae77e95e8874536581","datavalue":{"value":"http://infoscience.epfl.ch/record/178042","type":"string"},"datatype":"url"},"type":"statement","id":"Q453508$776795AE-1439-4B79-9655-2D80A541A1C1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q453508$2C5DA539-3668-4A65-AF2F-336E78978B38","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5850548fc6029e0e90d484a0553476a5e4b9e5f1","datavalue":{"value":"6087622","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q453508$225402E8-2E07-47D2-A6EB-F443C0534143","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f85ec92178af1bd0c27e5bb2161d42773fa31c34","datavalue":{"value":"transactional memories","type":"string"},"datatype":"string"},"type":"statement","id":"Q453508$573E82EA-18D2-4525-B7A4-100973BE5A7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q453508$B1FA6A0F-329A-4D0B-AB8D-7BB0178AD149","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"010c5d74db814ce63482dee23e586c9469a6bc76","datavalue":{"value":"relaxed memory models","type":"string"},"datatype":"string"},"type":"statement","id":"Q453508$A8759B62-EB9C-4418-BFDE-B9789E058E74","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6522ca7747c785bf9d644f39dd3e0aca04c1c6aa","datavalue":{"value":{"entity-type":"item","numeric-id":13781,"id":"Q13781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453508$363921D9-3476-4FBB-A281-2C8D9F067452","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9c1907fcbbe73cf235919e91baed30ac2b190e5e","datavalue":{"value":{"entity-type":"item","numeric-id":24730,"id":"Q24730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453508$1A29EAA5-4CB3-42AE-9119-2BD3C514C45E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e0264c458824c0394336bb6cc942a0d1696a3763","datavalue":{"value":{"entity-type":"item","numeric-id":20920,"id":"Q20920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453508$251E18BD-E703-4213-ACA7-9CCDBE04AA5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8a3b2bc7a1628fa1eabda220afee61eefbe04040","datavalue":{"value":{"entity-type":"item","numeric-id":20921,"id":"Q20921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453508$C2160D43-ECEF-4B1E-9807-E6F6373049DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"74fb7b0e57b9fca797ae3d6e69eaff9176bc90bb","datavalue":{"value":{"entity-type":"item","numeric-id":32028,"id":"Q32028"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453508$3968E69F-D795-47AD-9898-37501B46FCDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"53a4a9b6c38d395d5b2eb80cedc3eefcbf3e9947","datavalue":{"value":{"entity-type":"item","numeric-id":15987,"id":"Q15987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453508$A7C0F3BB-0AC8-4D93-9DE6-20521C4CF633","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bbadd4e4506c89c4e4887c593e8d94aff649584a","datavalue":{"value":{"entity-type":"item","numeric-id":21918,"id":"Q21918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453508$59E7FEDC-FE81-408F-8E0D-77F1E943EABF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3cd908aeecb90cfadaf1fb8555e16e89b3cae506","datavalue":{"value":{"entity-type":"item","numeric-id":34870,"id":"Q34870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453508$2B4C1B83-EC05-47CC-9489-35DABD0C2CA0","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":"Q453508$62263924-6192-42D2-A931-5A46C0CA3C38","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5c76a3f45337089bff297cd966cc1a7c8a696e29","datavalue":{"value":"W2067647017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q453508$DC5F95EA-ED3C-41C5-BD3A-4AEE2A70FB1B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"829741667be3983b7964ccce80365d24e5dea50f","datavalue":{"value":{"entity-type":"item","numeric-id":5312934,"id":"Q5312934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453508$D6631A0F-ED28-4F9B-BADB-B96085EBCA15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4571140468827117de9ef82d7ef08c246a067fd","datavalue":{"value":{"entity-type":"item","numeric-id":5261535,"id":"Q5261535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453508$0A3E179C-0840-4993-8620-C6FC995CB323","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28d7b9e297fcd76c14248efc49c105939c29438e","datavalue":{"value":{"entity-type":"item","numeric-id":3512487,"id":"Q3512487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453508$D8A36C41-A640-447D-B1D8-596426C29DF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2438919fd50440307ed2c5554004b21b73b7f8bc","datavalue":{"value":{"entity-type":"item","numeric-id":3512488,"id":"Q3512488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453508$EC7DB91F-FB0A-405E-A576-58F765C328B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4642bcb7c915521a77293757841128c7fd74d05f","datavalue":{"value":{"entity-type":"item","numeric-id":5756729,"id":"Q5756729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453508$5A5AA00C-75B9-419A-8963-A4273F07FEC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f5d1e52740d07bc7658b96da29f820f4483b0622","datavalue":{"value":{"entity-type":"item","numeric-id":924672,"id":"Q924672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453508$68DE80BF-C92D-454C-B965-CD6985486633","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81d3451bfa7a01037037f2a99b640d0d21e9ce88","datavalue":{"value":{"entity-type":"item","numeric-id":5312917,"id":"Q5312917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453508$5A9AD715-8FE3-4F16-8F2B-7AF99B92A2AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b56066c0daf021faa8b8aad4d63660a4263e82a","datavalue":{"value":{"entity-type":"item","numeric-id":3541009,"id":"Q3541009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453508$09201609-953A-4F76-BD1C-5CD03C9D17DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"139fcb1f4b1a046b32cb129c62dd102539e7c699","datavalue":{"value":{"entity-type":"item","numeric-id":3636871,"id":"Q3636871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453508$07E722C6-3643-4D79-9391-83D06A6F3CEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"066eb8cdc8433f36244b58d272d4a6e6c9cc7f21","datavalue":{"value":{"entity-type":"item","numeric-id":3853114,"id":"Q3853114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453508$6316A8DF-8596-4EEE-951F-9056D64371EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aad708b8e4e30e35c3846234774de37622f45350","datavalue":{"value":{"entity-type":"item","numeric-id":5276162,"id":"Q5276162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453508$E62D2088-7FF8-4F8E-AA86-CB5F2300FF7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a7ac70217829001bfdbe229aa58327de02581ad","datavalue":{"value":{"entity-type":"item","numeric-id":3853111,"id":"Q3853111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453508$333E45F1-9B8A-4DF6-9879-CF2745A4F659","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06a1669ea55c70484627fcb886923a0a7a7abbca","datavalue":{"value":{"entity-type":"item","numeric-id":5703798,"id":"Q5703798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453508$DEC72A56-B6C0-4C14-B813-98708AA84CAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc01c3546dd4a570a6e3cdca264cdb16f26b907a","datavalue":{"value":{"entity-type":"item","numeric-id":5361456,"id":"Q5361456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453508$8076F3A3-D4DC-41D7-949B-EDEF41CEA526","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7be8602a8d10f344f00490b89bb1bf0c18fc1bbb","datavalue":{"value":"10.1007/S10703-011-0131-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q453508$1D38544A-FD01-4508-B5FA-A4DA3EF47E4C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e1fbc28be788c99b297cf16feb220d09804c854d","datavalue":{"value":{"entity-type":"item","numeric-id":3636871,"id":"Q3636871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a6509a06916c8c74730b2e7c6ebaae14bd6e653","datavalue":{"value":{"amount":"+0.9641537070274352","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":"Q453508$A06E7533-3F7C-43A2-952C-0E99426AB927","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"920846cee47ebcd0c156e2badd883856874915ab","datavalue":{"value":{"entity-type":"item","numeric-id":681346,"id":"Q681346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6a3171bbe4e1392dc320392fcba770923b5d8bcb","datavalue":{"value":{"amount":"+0.8039323091506958","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":"Q453508$08D1B6F5-F539-4ADF-92C4-F696B1F4E988","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0bce4392e7d358810145d9b54d37c4420b2e70ba","datavalue":{"value":{"entity-type":"item","numeric-id":6045053,"id":"Q6045053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"04f67cf4196cb798b899b98798e58d3521e3ba01","datavalue":{"value":{"amount":"+0.7993541955947876","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":"Q453508$18A7B8DD-D1F8-4915-8CCD-0219E6B8C0B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5beef82811c1ed410a89dd64b21f082cf77902e7","datavalue":{"value":{"entity-type":"item","numeric-id":5172657,"id":"Q5172657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"69d2bdc0efa5c749830cdf19b9ffe9c0fcb56712","datavalue":{"value":{"amount":"+0.7971196174621582","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":"Q453508$CAAC343F-4731-41CF-8B2F-5F1D06C09147","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"573201f06fe9b16eb9dc3d33f5d647a5d78f5831","datavalue":{"value":{"entity-type":"item","numeric-id":470040,"id":"Q470040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0db861efb7e72263437ca0e818835b81f9ff9fc4","datavalue":{"value":{"amount":"+0.7851829528808594","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":"Q453508$27449C6B-8A69-4279-88F7-62E25969819C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:453508","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:453508"}}}}}