{"entities":{"Q5326305":{"pageid":7355879,"ns":120,"title":"Item:Q5326305","lastrevid":58525245,"modified":"2026-04-05T14:37:30Z","type":"item","id":"Q5326305","labels":{"en":{"language":"en","value":"Software verification for weak memory via program transformation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6194811"}},"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":"Q5326305$E59C5C87-767B-499E-9A28-808D17D15DA3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2be4b5d715f142ae2a2a29d210afd24bd5327b4b","datavalue":{"value":{"text":"Software Verification for Weak Memory via Program Transformation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5326305$6A6AFB94-FE9A-4612-8B70-1B807FFA7FBE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a5b190c10262f5a3797c76fefda6960308a41af6","datavalue":{"value":"1381.68143","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5326305$FBAC67BD-04D9-4040-BF5C-20A1D83B57E8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e1283f8771af19244c471e19ba09d47c29bad546","datavalue":{"value":"10.1007/978-3-642-37036-6_28","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5326305$E1F9EB01-3F77-40A3-96A3-E242BD2BE88C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2a5ff3e8c52b6f49323bfd186d81f823487b8017","datavalue":{"value":{"entity-type":"item","numeric-id":453520,"id":"Q453520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5326305$4045C12C-230F-4744-9626-8BE7710AE374","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"de4a775b741b129661b3807102896dab39bea660","datavalue":{"value":{"entity-type":"item","numeric-id":438554,"id":"Q438554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5326305$673E6FA1-68E2-4346-9D1E-C99BCBD7EC8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4989ab7be602c7d172479a37bae692b4330d0b12","datavalue":{"value":{"entity-type":"item","numeric-id":5326304,"id":"Q5326304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5326305$91A45C5F-8F58-4CC1-B379-9C428B564039","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7abe3373612ef12de8fe2ea813d236ae04c8ed41","datavalue":{"value":{"entity-type":"item","numeric-id":888430,"id":"Q888430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5326305$0BCC4389-6917-4E5B-82EF-80E44E67D9AB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7efb66db9d8cc237b51d0f645d1a54c929d4c460","datavalue":{"value":{"entity-type":"item","numeric-id":2789030,"id":"Q2789030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5326305$F0AC9204-259A-4034-BE65-F81CA9EF4562","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"95aa5aea465a8772f3ec0450c3b06f16f93c1446","datavalue":{"value":{"time":"+2013-08-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5326305$79E30522-462A-4FBA-8CD2-AE27BDF73DAE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c7851eeb5a06455ead096929f514b88a867ebeb4","datavalue":{"value":"https://arxiv.org/abs/1207.7264","type":"string"},"datatype":"url"},"type":"statement","id":"Q5326305$C93A0A8D-0103-42F6-A406-72E85B51486A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5326305$CFB6E046-7A21-4BBA-89DE-FDB75FAB019B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cd80e9ade304e6b9b43fd50d0c3436276c3c217e","datavalue":{"value":"68M07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5326305$F8CCEA0C-8FFD-44F7-A7ED-22BE8A125601","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5326305$6FAF9FC1-0D87-4822-9C7C-F0215EB7680A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0ef8d79fecef2b439a7117c05895077a922faf65","datavalue":{"value":"6194811","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5326305$F15DB0EA-07A2-4392-80E3-768D8B9CB966","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d3e51a1966904a3ae55453357c0d638f6ec765b5","datavalue":{"value":{"entity-type":"item","numeric-id":21917,"id":"Q21917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5326305$733913EE-D00C-4944-ADAB-6CDEF4990A72","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":"Q5326305$C248ED23-916A-4168-9A1B-AFFCA1A585AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f8492ea92aea1252fd7ce14005cb07e8238d25ca","datavalue":{"value":{"entity-type":"item","numeric-id":27807,"id":"Q27807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5326305$C1B79DA2-9849-4F5B-BE82-04BC41D645A6","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":"Q5326305$C346CF95-5E96-4E31-A5EE-F939D1E41596","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1d7e64a890b3b43e6affcd98a710cc5850e72ba1","datavalue":{"value":"W1877513498","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5326305$DB490434-38FD-45C3-8172-9DDDEA7CAF5C","rank":"normal"}],"P1643":[{"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":"22d67f01cfabb512ece98ba83a86926630987f50","datavalue":{"value":{"amount":"+0.863901674747467","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":"Q5326305$48B3CB8D-1E5C-44EB-B89B-F13169290CA8","rank":"normal"},{"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":"3369071f540845bbcc2e1bb66705cb6a72a6eb1f","datavalue":{"value":{"amount":"+0.7929303050041199","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":"Q5326305$6D30B5AF-A06F-42C6-94B8-D6D72A974D9D","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":"573d6765ee6736d66767926b99fb9b710de2d37a","datavalue":{"value":{"amount":"+0.7775828838348389","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":"Q5326305$131B187A-8F84-459D-88C8-607B052B1E86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca091b71368f84598d64a3e28ec89303393aebf6","datavalue":{"value":{"entity-type":"item","numeric-id":2024349,"id":"Q2024349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a9f52d4ee4122ee3d76f98c6cc647386ef5f1f2d","datavalue":{"value":{"amount":"+0.7711672186851501","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":"Q5326305$F2797B22-8D4C-4912-A5AB-ADBCB4BA549D","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":"8de18ba1018f082442f9dfaffc00718775709f01","datavalue":{"value":{"amount":"+0.7668277621269226","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":"Q5326305$73F2F88D-3E68-4029-8866-0ABD13A174B9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5326305","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5326305"}}}}}