{"entities":{"Q5458814":{"pageid":7488373,"ns":120,"title":"Item:Q5458814","lastrevid":50342498,"modified":"2026-01-13T20:52:00Z","type":"item","id":"Q5458814","labels":{"en":{"language":"en","value":"Static Analysis Via Abstract Interpretation of the Happens-Before Memory Model"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5267202"}},"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":"Q5458814$4F589A9D-D0FD-40E3-94A4-B528D4C9BF68","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ebc7471fbd335cc6f6b05221e58c5b14047dff73","datavalue":{"value":{"text":"Static Analysis Via Abstract Interpretation of the Happens-Before Memory Model","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5458814$DE33CF23-FBE4-470E-B39E-A4A635CC0B98","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"24b9e024a9e1eafd4614df02deb19adf05add985","datavalue":{"value":"1138.68448","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458814$01FAC076-B676-459C-AEFC-5677D1211A8C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ba01ae86b0db4a3477c51e14ab792acc0da5d036","datavalue":{"value":"10.1007/978-3-540-79124-9_9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458814$4BD5FA85-D9F9-4FCA-B777-F30877052980","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"243400d5ddd1208389d474075e48066f7efc9228","datavalue":{"value":{"entity-type":"item","numeric-id":278743,"id":"Q278743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458814$EB505354-99BF-4F02-8179-D8E459942604","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b59ea210f3608c8a62a77244182313fd466f62a3","datavalue":{"value":{"entity-type":"item","numeric-id":2827439,"id":"Q2827439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458814$D6A002F9-B18D-4005-9AC2-86A77268849B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c1394cf050ec7558b15d2b20d30583ebe6e633ce","datavalue":{"value":{"time":"+2008-04-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5458814$510E4F4F-9210-4AD8-B68B-3C3128F9E13C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458814$3484CCDA-38C2-43E7-935B-832842DBEB0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458814$261021CD-FE65-47D6-96F7-EA1674CBD3F2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"909d0e3adb3c2fa0785dba010f6619061390bca0","datavalue":{"value":"5267202","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458814$9CF65E84-9BF1-4385-9656-8D0800C0D5B3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"747bc4c0e959ef2dae7ff7f620b389fe6eb539f4","datavalue":{"value":"Static Analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q5458814$E45E1219-6B82-4C5E-8E91-C5C0E2C79715","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"28c8dfc02dd5e3c65f8fc31ae33c78f6e375f2fc","datavalue":{"value":"Abstract Interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5458814$106C0598-7198-49D3-BB64-B05FC719C3AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"42142402479f7b64f4e7d2b122a40dc414c7df88","datavalue":{"value":"Memory Model","type":"string"},"datatype":"string"},"type":"statement","id":"Q5458814$AF4F5B37-C707-46DE-ADC6-BB70CE2D6D98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8a062bb21cd2155aacd4ccdf26ead4258f0d550b","datavalue":{"value":"Multithreaded Programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q5458814$6605359C-A3AE-4F8D-8D8B-53D078C541F0","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fbed10bee046678d6f472e9e7c0efde19c97b8c3","datavalue":{"value":{"entity-type":"item","numeric-id":25616,"id":"Q25616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458814$07227664-4617-488C-9F1D-A2FB285B09CA","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":"Q5458814$11CCAF1F-165E-4724-93A1-BB9CC2ACB339","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4468eed8e21cfef66b1762b1c75a7bf7047a2816","datavalue":{"value":"https://doi.org/10.1007/978-3-540-79124-9_9","type":"string"},"datatype":"url"},"type":"statement","id":"Q5458814$6CA8992E-2B96-4910-A334-86479CB3ED77","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"469b303d4a986d3067b3ea4f6fe3a0eacc692040","datavalue":{"value":"W1512985475","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458814$A0ECC17A-5C36-4EC6-A5AB-6DDE9425AD2E","rank":"normal"}],"P223":[{"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":"Q5458814$3AA1BFC7-5DAB-45BE-BB53-41DFAEF0EED6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac265dc184c652a7103f6c4f62b8a58182398a19","datavalue":{"value":{"entity-type":"item","numeric-id":5758105,"id":"Q5758105"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458814$ABE9C4AD-71FC-4D3B-966F-5610775A2460","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":"Q5458814$B4C4F3AC-BB63-44F9-A1A4-5633A5B9018E","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":"Q5458814$BFE85830-B552-4353-9F7B-8639B98FB044","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e61caeb9ccf34c77ec2a456b135b01b408ce9535","datavalue":{"value":{"entity-type":"item","numeric-id":853733,"id":"Q853733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458814$9C22911B-334D-4D8E-8330-62DE155EDA2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7314c233131ffa2d488c9b8e5f850a4f69e2669","datavalue":{"value":{"entity-type":"item","numeric-id":4779111,"id":"Q4779111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458814$749D44D4-ECB3-4668-A74A-1062CBB1D5F3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b57255c83ee5eff21ef14be0b88cc7ae23c5622f","datavalue":{"value":{"entity-type":"item","numeric-id":4413677,"id":"Q4413677"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f6cd514029ad75b046d3a0e9cbb56e7778720c14","datavalue":{"value":{"amount":"+0.7792876958847046","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":"Q5458814$8717B0AC-9C6F-4714-8642-67E955AE9A98","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":"f6cd514029ad75b046d3a0e9cbb56e7778720c14","datavalue":{"value":{"amount":"+0.7792876958847046","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":"Q5458814$C7FD0330-A31C-4DBB-ACBC-4303FC715F5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c13e8db5d56a1378a9b3c703839f7ea4aedda6e1","datavalue":{"value":{"entity-type":"item","numeric-id":1712426,"id":"Q1712426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff6eb0e483e7e252018b50ee64723449c98d2d5a","datavalue":{"value":{"amount":"+0.7563273310661316","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":"Q5458814$E3028B98-AC3E-45CE-A369-5299BB9E85EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a7d0a1a06330f2971ad030396652994a00128f4","datavalue":{"value":{"entity-type":"item","numeric-id":5276162,"id":"Q5276162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c860b74d54de2794ce600e71af51e6ee524681c","datavalue":{"value":{"amount":"+0.7466657161712646","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":"Q5458814$EEB71D48-80D9-43DF-8896-9D494879D81D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c86587f2662a09c87989a48ab7311f9208b8e337","datavalue":{"value":{"entity-type":"item","numeric-id":4412529,"id":"Q4412529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c56837de00a1a5ae25b26d359564359489c213d","datavalue":{"value":{"amount":"+0.7463693618774414","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":"Q5458814$209AAAC2-505B-4E54-AA98-6AC2E8BD2FB1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5458814","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5458814"}}}}}