{"entities":{"Q1712426":{"pageid":1723167,"ns":120,"title":"Item:Q1712426","lastrevid":72836268,"modified":"2026-04-14T08:09:30Z","type":"item","id":"Q1712426","labels":{"en":{"language":"en","value":"An operational happens-before memory model"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7004632"}},"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":"Q1712426$4CA33899-8704-4C94-806A-E63BD970BB56","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ddbc0d282e5f650d12d552ecfe6195ac3c27bd32","datavalue":{"value":{"text":"An operational happens-before memory model","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1712426$5A66B1A3-AEC2-40FF-A0CA-30124F1D1EB1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"be501bf2f9207a7ee0fec5ef4c87b64c953acbb0","datavalue":{"value":"1403.68028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1712426$6E033A33-4428-4A22-BAD2-50DAE632E7EF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c7e39fb5d3b89e04f5e1e272d6e5653663cb2f29","datavalue":{"value":{"entity-type":"item","numeric-id":318779,"id":"Q318779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1712426$E20AB97B-03EC-441B-BB91-8BEC6E8BB1D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6739f7a97d4add6d49f3f8d01bf9811924d5f8d3","datavalue":{"value":{"entity-type":"item","numeric-id":835762,"id":"Q835762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1712426$979353AB-D4AB-4BAC-AE1B-A8A140E2C735","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"eabcb9c93ef6c7df283793669954b3abc32ee68e","datavalue":{"value":{"entity-type":"item","numeric-id":249541,"id":"Q249541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1712426$F4F5BDAA-61B0-41A7-BD17-2A836301D0F1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b285cd97435e35ecffc8737425d0c76ceadcbbab","datavalue":{"value":{"time":"+2019-01-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1712426$8D9DEC1E-6127-4C51-96B2-BEB80933E229","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1712426$9B5714BC-F376-4224-855A-FB002AFA498E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1712426$B1D9A0F8-5227-4194-905C-61C2E6712DB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1712426$42CE68C0-97D0-487B-8805-0BC02CD42CB2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8430324504022172ecea6dfdff568e374af4fa73","datavalue":{"value":"7004632","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1712426$2D07F2C6-63D1-49C1-AB38-70B85A696E6C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c7bfb1d07ef6259fbdb3f3b16eb17c2c8f86edaf","datavalue":{"value":"relaxed memory model","type":"string"},"datatype":"string"},"type":"statement","id":"Q1712426$FB30A97C-CBA0-4407-91E8-8C1719A74A9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"611831c4a1360adf62f6f2c588de5fd040a46073","datavalue":{"value":"happens-before","type":"string"},"datatype":"string"},"type":"statement","id":"Q1712426$809FF7BF-BC45-4976-B33B-2D836B0E9A71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d15a5b88457b15e43f49d0900c124a1c1adc72df","datavalue":{"value":"operational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1712426$4229188F-62D7-4943-BA2F-C8E21FC6359A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"882f70d98b5e8e202dbf9e243bae034d6b1a82ae","datavalue":{"value":"DRF-guarantee","type":"string"},"datatype":"string"},"type":"statement","id":"Q1712426$FBFDBC19-817E-4FCF-B050-15B25B0A66A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"65798988974661f3075d7b207114440840a3c587","datavalue":{"value":"JMM","type":"string"},"datatype":"string"},"type":"statement","id":"Q1712426$7E7E73A6-16B6-40B1-B233-E9B2DBB1CA5F","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":"Q1712426$5C829BD7-5414-461F-97BB-40BC16DB0778","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"721d5ccc309d74c0cfb535c1a87a74bf21f787a1","datavalue":{"value":"https://doi.org/10.1007/s11704-015-4492-4","type":"string"},"datatype":"url"},"type":"statement","id":"Q1712426$759D6FBB-FFFA-49FC-8192-D034193C8816","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d20ab4a07e41d970b182e8c0f8da24d1407be8a4","datavalue":{"value":"W2208855850","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1712426$D12CA038-5BBA-4D6F-99EE-A247B2FA0ECC","rank":"normal"}],"P223":[{"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":"Q1712426$F61DCFA4-3938-49C0-AB0D-BEBD7AE3AFD2","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":"Q1712426$4154C8C0-92D6-4B9B-86DE-54D768C348E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e1ed43ccbcdcc9170d7b928f1ceb34c033f67507","datavalue":{"value":{"entity-type":"item","numeric-id":5756503,"id":"Q5756503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1712426$EB39402F-BC5E-4C48-AC8E-DE2034979190","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed9702c45f558cf37c1cf27f32342d8410b993ac","datavalue":{"value":{"entity-type":"item","numeric-id":4157944,"id":"Q4157944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1712426$FBD31B6A-18BA-49C9-BA74-15C5947BB36E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0a457c597040796c8cd7d073008378e688faa21","datavalue":{"value":{"entity-type":"item","numeric-id":3523163,"id":"Q3523163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1712426$662C1C14-90DA-4828-A30E-93D8E39268EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d93a85767124c54e4225f755e9f8ef2670b8e1c6","datavalue":{"value":{"entity-type":"item","numeric-id":2819807,"id":"Q2819807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1712426$F2DB1801-4152-4869-BFD6-8E089017D3C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3465854ebec2bf54cbf9f18bb6fced291b245abc","datavalue":{"value":{"entity-type":"item","numeric-id":2892748,"id":"Q2892748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1712426$298D77F4-E506-43F3-A79A-D9261B34CB89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c33df7e1467573e0d2e192372a7ba728350e2ac8","datavalue":{"value":{"entity-type":"item","numeric-id":3558229,"id":"Q3558229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1712426$5D26C78D-3F2F-4B46-B948-B2A671ACB250","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"21471e98c78e5883b5e33de83a3949047c9d146a","datavalue":{"value":"10.1007/S11704-015-4492-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1712426$283BEDD5-0500-47DF-AB91-F1545470B520","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e763fdac44ab4eb2d0b0f8d66e7259e5fabf667f","datavalue":{"value":{"entity-type":"item","numeric-id":5261535,"id":"Q5261535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b38f5de401b811ed62149461033b8cf5baee2d3","datavalue":{"value":{"amount":"+0.8503449","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1712426$09AD6F3A-6745-4409-8059-DEA2A2AA8E85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a04bcb2b2931d1413ae58398dea6dc2697b38607","datavalue":{"value":{"entity-type":"item","numeric-id":4229590,"id":"Q4229590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f01f1bc3deca72c70c2e55cd8f4ebde99ef22c99","datavalue":{"value":{"amount":"+0.83476883","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1712426$9FB08993-EB66-42E0-8EF7-536A5BBEAD19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"56201b6089535527ce8cb62c0adbba4799d7693c","datavalue":{"value":{"entity-type":"item","numeric-id":2779293,"id":"Q2779293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2990934bb2d6f7bae386fb149257f3ff51d22ecd","datavalue":{"value":{"amount":"+0.8293221","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1712426$74E529DA-84C6-4FE9-A1CA-5EE4B03EB8D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed3deb59f8c3a1d4d3aa9558722f28cfffd7578d","datavalue":{"value":{"entity-type":"item","numeric-id":3814833,"id":"Q3814833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9fcc540049c7579b8ff4fa61e41fe094b48cb8e6","datavalue":{"value":{"amount":"+0.79839396","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1712426$0DF903E5-5C60-4129-AC26-0B62F17B9DC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eb3a2e854330aed4c241ba2714963557f643f889","datavalue":{"value":{"entity-type":"item","numeric-id":1124370,"id":"Q1124370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9fcc540049c7579b8ff4fa61e41fe094b48cb8e6","datavalue":{"value":{"amount":"+0.79839396","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1712426$E6CAC079-125E-465A-8232-E2087EAE25F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"19d3314689f207630963ad762843835988a6c382","datavalue":{"value":{"entity-type":"item","numeric-id":2364899,"id":"Q2364899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ced9a205a28d5c905d77a1b0e46bee49fe994a99","datavalue":{"value":{"amount":"+0.79802066","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1712426$7F7EBEDC-F9BD-47CE-96F5-1D244AA4E253","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ada1d83931a7d4670babf9f6e7cddcf461757014","datavalue":{"value":{"entity-type":"item","numeric-id":4420836,"id":"Q4420836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f6ebfdedc3c804ce8d725361abecd16d81b765b","datavalue":{"value":{"amount":"+0.79599243","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1712426$F2CCDED9-471D-4037-8F48-830250D3AA42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"397f87ef78043f063050932013d97a7796d992f3","datavalue":{"value":{"entity-type":"item","numeric-id":5054765,"id":"Q5054765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"594755290c4cda75b5c6dc72a8cf3cf4b255b357","datavalue":{"value":{"amount":"+0.79529","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1712426$E0A409A6-BCB4-415C-A3EF-31BB4D29F0F3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An operational happens-before memory model","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/An_operational_happens-before_memory_model"}}}}}