{"entities":{"Q3449485":{"pageid":5199795,"ns":120,"title":"Item:Q3449485","lastrevid":52386080,"modified":"2026-01-22T12:51:37Z","type":"item","id":"Q3449485","labels":{"en":{"language":"en","value":"Owicki-Gries reasoning for weak memory models"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6504600"}},"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":"Q3449485$E8A3229D-078D-4E40-A69B-1F3F86E3D310","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"41cd280aa2888fc76f1d8e7e06cdf52f72360314","datavalue":{"value":{"text":"Owicki-Gries Reasoning for Weak Memory Models","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3449485$733A0BDA-7A96-4373-9CE2-39FC092F24B0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2a5236b8ea1de30d18d9d6d62caedbd5238897ef","datavalue":{"value":"1440.68046","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3449485$A30E5A3B-8DDA-4831-BDAD-8036045CBF4D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6c0de9c19a63bcf006938d008acc2df92ea5ae26","datavalue":{"value":"10.1007/978-3-662-47666-6_25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3449485$67981374-F102-4274-8DF3-54E001946F0A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"23fee96c298cf311331c13562efa1577022e6237","datavalue":{"value":{"entity-type":"item","numeric-id":1677039,"id":"Q1677039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3449485$5130CE50-B107-44BD-A704-EEE7ECCF22B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"21d1948b4a2322fe9397f00e40ae794a937c1ccc","datavalue":{"value":{"entity-type":"item","numeric-id":1664149,"id":"Q1664149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3449485$0724DCE3-7B67-48A6-93B9-74ACAB4B0877","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"803e72eb03c20f6e7d37022dda043ce5d2a7ff36","datavalue":{"value":{"entity-type":"item","numeric-id":2843225,"id":"Q2843225"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3449485$3C23B8B8-C606-448B-B25F-8074093D6E5A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"87b5c622b344036d13fd1ced0604456063cc2441","datavalue":{"value":{"time":"+2015-11-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3449485$942F81E0-9937-42D9-BEC1-69A4A5EF8413","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3449485$D00184DD-51B8-4DD7-8A38-6CE7C5E5E172","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3449485$02E6FB64-A39A-474F-9BB6-3C9DE6932557","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3449485$C4C6A15A-718D-440B-BCFC-D153B7C1252A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3449485$4AA721C2-0051-4D91-B0B7-EE2AF58BB3EF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"74f391d32ec055c538bd2542c5b834752e531044","datavalue":{"value":"6504600","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3449485$6D65ACF2-F1D5-420B-94C2-777BE512AE16","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":"Q3449485$9D4D04B4-AF94-416E-BCF3-B2A4070F29AB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"290df2f3def1b3ebc9ff6e25d058008e38103012","datavalue":{"value":"https://doi.org/10.1007/978-3-662-47666-6_25","type":"string"},"datatype":"url"},"type":"statement","id":"Q3449485$CAD23C9D-D314-46D8-A230-C469662920A6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d866be459394cb1add48aabe6ffdd1518fda3109","datavalue":{"value":"W1430872261","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3449485$E92F9F4F-A74F-4D60-8BF0-92EF78C33ABC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3b91bb151cd8a64e803b2a1e144870181c46cb5","datavalue":{"value":{"entity-type":"item","numeric-id":5408531,"id":"Q5408531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3449485$333E04DC-881F-47BB-BB0C-2C0B540B5D71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b470b5857961117b31497ec6ea7193bbde634ccf","datavalue":{"value":{"entity-type":"item","numeric-id":3558227,"id":"Q3558227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3449485$1C795F89-57BD-480E-822E-D2571A59B4D9","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":"Q3449485$9855619B-2FA7-470A-A0D6-C614E2D95251","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"796364eeefb9789a01eab3a144d0337d6c23ee01","datavalue":{"value":{"entity-type":"item","numeric-id":1219675,"id":"Q1219675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3449485$3D798CEA-72E4-4ED7-8071-F4C3F0A58F46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4a9238fc49995a79f8c006683b1a9c42fafe2bd","datavalue":{"value":{"entity-type":"item","numeric-id":4085221,"id":"Q4085221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3449485$A0518D9A-12F4-4B87-8BB7-5F630A858B88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd2791da5b87f3897ecd063b68e70aea276f020b","datavalue":{"value":{"entity-type":"item","numeric-id":4178461,"id":"Q4178461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3449485$5707EAE4-A9CA-4BC1-8C37-4B04930C26BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5a5c705aba0b64ed029c010f76941e6c8922d3a","datavalue":{"value":{"entity-type":"item","numeric-id":2802463,"id":"Q2802463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3449485$89ADAFCF-2EFB-4431-908E-D291CEB6FF9B","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":"Q3449485$0DD79E0D-5055-4046-A31E-FC840B04D3FD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"51aaa25ebb07ee12b83c51af98b12f5d8616b46f","datavalue":{"value":{"entity-type":"item","numeric-id":2151230,"id":"Q2151230"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a8aec714d65bb531a150e7d33f75e2589f1bec95","datavalue":{"value":{"amount":"+0.845423698425293","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":"Q3449485$E06A8246-F1CF-4018-9B9C-49FD433F0B6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"47d35681e391fdf56041687e513bd455b5a835f5","datavalue":{"value":{"entity-type":"item","numeric-id":5056374,"id":"Q5056374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"982207ff690637765330aecb6cea94badb1ab9b5","datavalue":{"value":{"amount":"+0.7917813658714294","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":"Q3449485$5564B0B7-31EF-4A4D-97A9-7E6A82BC94B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad022efa1d722e2c55c06d65f8653af371f9168c","datavalue":{"value":{"entity-type":"item","numeric-id":2441720,"id":"Q2441720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d0fcbff84f58618bf029dbced62ee4f14a4b2011","datavalue":{"value":{"amount":"+0.7644100785255432","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":"Q3449485$1BD5A230-C559-4DD0-A9A5-ED7F7BBA1E7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"76a05355ee9e643278d508aa84a113c5e6e15b99","datavalue":{"value":{"entity-type":"item","numeric-id":3179387,"id":"Q3179387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"33faa95b36ae62be5b7958509dcb2db87610ca91","datavalue":{"value":{"amount":"+0.7584514021873474","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":"Q3449485$26404CDB-9625-44B4-8AC1-981C17CBA92F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"12a9dbad85b24d9a28aa30ad6051b001874f74ff","datavalue":{"value":{"entity-type":"item","numeric-id":2324213,"id":"Q2324213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f4c72dfbb0f53bac788a333750c214ffae2dee7c","datavalue":{"value":{"amount":"+0.7576165199279785","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":"Q3449485$FC0F1AAB-4AA7-4CCE-9F4E-B12E6364FB36","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3449485","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3449485"}}}}}