{"entities":{"Q4880526":{"pageid":6910105,"ns":120,"title":"Item:Q4880526","lastrevid":46374243,"modified":"2025-12-24T16:05:35Z","type":"item","id":"Q4880526","labels":{"en":{"language":"en","value":"Proving the correctness of compiler optimisations based on a global analysis: a study of strictness analysis<sup>\u2020</sup>"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 885353"}},"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":"Q4880526$B0932DB4-CCC5-4921-ACFC-58F2644A8B04","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0b4d89b6fe2f93df9a3dfb1f1959ca7c94a0845d","datavalue":{"value":{"text":"Proving the correctness of compiler optimisations based on a global analysis: a study of strictness analysis<sup>\u2020</sup>","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4880526$636100A2-018F-4594-9E88-14F46A45400A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1915500328c9014af5faba51d11e3cbf9d4f2606","datavalue":{"value":"0854.68018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4880526$842EB9C3-8044-432A-B023-9FA238229866","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3334b90bdd625c053128e2bd5daef888a718d3fb","datavalue":{"value":"10.1017/S0956796800001581","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4880526$0DFABE8C-A39E-4B0D-A9B6-8F03415B5900","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"53bf65b6921c6fe73fba316d52d43d60fa175ca7","datavalue":{"value":{"entity-type":"item","numeric-id":1082801,"id":"Q1082801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4880526$FF178F7D-8FDA-4157-931A-A756F01B74D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"74df75a91a75fa373e20dbe2d7bb33b1c32ae38c","datavalue":{"value":{"entity-type":"item","numeric-id":751837,"id":"Q751837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4880526$A66CB7D9-C88D-4AB9-8D88-A07FB02887A0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c0cefd96801130048cf3f8ae21032b5cf52d744d","datavalue":{"value":{"entity-type":"item","numeric-id":2713363,"id":"Q2713363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4880526$018EE588-858B-463B-BC2A-A6E2B8951B4E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a8e16ae67cff699ba8d54fbbd6dc295121c5eca9","datavalue":{"value":{"time":"+1996-06-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4880526$356473BB-E600-4F27-8373-FB7BA37F990F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3affb2aa66be15f2a63c60d2aaa92bd143e6d46","datavalue":{"value":"68N20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4880526$18242E0F-C385-4564-8AEB-C1A89DDACB76","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fc03fa7f11ad348c0786fa7589a9a41662be8490","datavalue":{"value":"885353","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4880526$4980E390-9EA8-4CF4-B687-8937AEB3417C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5a782d2e4557002706a4cae3d1b5278feacedc3e","datavalue":{"value":"program analyses","type":"string"},"datatype":"string"},"type":"statement","id":"Q4880526$F50E062B-9F30-4A2F-B5BF-E52BD9A6919B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"901c6d511d35303a6a968c1174234f4350020c8b","datavalue":{"value":"compiler","type":"string"},"datatype":"string"},"type":"statement","id":"Q4880526$C31E1348-698B-4A66-BCC8-A65F72C3DEAD","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"6536c9e94e144b474d454c2ab7c46c50148ad80d","datavalue":{"value":"Q123332080","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4880526$3E68F908-7015-4380-ADFD-4086F8EE96CE","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":"Q4880526$CB00D701-B2C0-4649-A6BB-D099CE87E37B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8d0c87a102dfbb72d08dbbff01d1e3e0d27dec5","datavalue":{"value":{"entity-type":"item","numeric-id":4288818,"id":"Q4288818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4880526$5ADC4F46-C6AA-4417-89D2-FDEDF61355BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"38544e4d5b9b72e55b740515a4b055c67b48ec72","datavalue":{"value":{"entity-type":"item","numeric-id":3942416,"id":"Q3942416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4880526$F1FB448A-86F5-4A14-8B63-F49036D77DB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"02a8f5ca257597984bc40adebcc761ca0d5d76ae","datavalue":{"value":{"entity-type":"item","numeric-id":1156472,"id":"Q1156472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4880526$4988F7D1-B64C-40F9-9B5A-EB5953A21B6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3109868eabc348164df54dfbc4d510999bf50764","datavalue":{"value":{"entity-type":"item","numeric-id":5285987,"id":"Q5285987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4880526$90D55C57-69D0-4102-8BF3-41864FFE2950","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b03de6f1dad401a15e7167ef5bc6e87332d6e2f","datavalue":{"value":{"entity-type":"item","numeric-id":1095636,"id":"Q1095636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4880526$E357FD8D-C525-4F81-AF67-31AB4F3081B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9aec7fdfbcba4c1d3ff3294dc1f0210ffedda842","datavalue":{"value":{"entity-type":"item","numeric-id":911319,"id":"Q911319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4880526$88E859D3-D277-475A-A38C-D6A05BBB6CB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"890aa582ec37803cbf74c8a6ca1c70024ea8a626","datavalue":{"value":{"entity-type":"item","numeric-id":4012706,"id":"Q4012706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4880526$DBFD8019-8B58-4270-B4D1-665C78781A24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e0bc180311b57c62eeb872b6b44fa7298188cae","datavalue":{"value":{"entity-type":"item","numeric-id":1097043,"id":"Q1097043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4880526$C04C6840-3D36-400D-A4C6-2D618C2ADED3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dad30fc9d0e257246e7704bef1d150d61ddbc861","datavalue":{"value":{"entity-type":"item","numeric-id":1098274,"id":"Q1098274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4880526$DFC4AE32-4F71-47F4-8F32-7FD00EA3B7A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"691bce00b18e7f521304d2f3c3b9c3064e60bb94","datavalue":{"value":{"entity-type":"item","numeric-id":1082802,"id":"Q1082802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4880526$888DCD43-35ED-43F7-8CE4-EA5AD3E591C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8de960a70541b3288752b5be00a181bf18e1b51","datavalue":{"value":{"entity-type":"item","numeric-id":3681904,"id":"Q3681904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4880526$8990B6ED-3E14-4854-AD36-6551D8C626D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cff4a89cd80c0c7e8c521abbd889f8b98ac1a3eb","datavalue":{"value":{"entity-type":"item","numeric-id":4311530,"id":"Q4311530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4880526$3571017A-817A-4DB3-91F2-E98726A67728","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e27be5516997b567899ad0b0d96cb56d275522c","datavalue":{"value":{"entity-type":"item","numeric-id":1225449,"id":"Q1225449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4880526$4BC107D3-6825-4D51-8E9B-C8C7F3200DE4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0aa3b14482c82aa10916496b6a5a64b59695d56e","datavalue":{"value":"https://doi.org/10.1017/s0956796800001581","type":"string"},"datatype":"url"},"type":"statement","id":"Q4880526$4B6FE789-8C78-4E03-898F-4B3923D73144","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"005ebe5ed6b66c6c666d1abe8ab5b80f4e606db0","datavalue":{"value":"W2062274057","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4880526$AA816AEE-AE3E-4031-B67F-8180D0823001","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0fae250c062bfbc6e25bde488425d7d800ddfb94","datavalue":{"value":{"entity-type":"item","numeric-id":4281611,"id":"Q4281611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"32fa39e462b747af66fe5e2e807115b5943c392e","datavalue":{"value":{"amount":"+0.9542540907859802","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":"Q4880526$BEF09AE4-401B-4C4C-AED5-15F40E2CEA42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"98863cb9a342a39ebd16a65a5ee79cc6fd137107","datavalue":{"value":{"entity-type":"item","numeric-id":3520168,"id":"Q3520168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c8bf148fa7dd75ada7cca74dadc25b12a0846be","datavalue":{"value":{"amount":"+0.8034559488296509","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":"Q4880526$838E364A-5E04-4C00-8257-5A3D276C8BF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e478ae7c70ec4afc6c78e224f2f83f91924cc13c","datavalue":{"value":{"entity-type":"item","numeric-id":4376980,"id":"Q4376980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a9a9e60aeb4c93376733ce296d1ac6d8f694fea3","datavalue":{"value":{"amount":"+0.7876138687133789","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":"Q4880526$32F69229-B594-4EC5-9E6B-7FA6A7BF8A64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"810e2e4a6f0c0331e3ce66a2f3a9b81ccfcacdf3","datavalue":{"value":{"entity-type":"item","numeric-id":5898173,"id":"Q5898173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e9552640d2580bfa0b12861884b9c8ec448e189f","datavalue":{"value":{"amount":"+0.7747267484664917","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":"Q4880526$04F6162A-65BE-4FA6-ACE0-271FBFD5C64C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d9ddaed8645eeb72cf87e0821745423c7c38b51d","datavalue":{"value":{"entity-type":"item","numeric-id":4778697,"id":"Q4778697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b3d56a12437001848a8734a34be7e349138ef3cc","datavalue":{"value":{"amount":"+0.760944128036499","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":"Q4880526$CF44625B-3AE8-4712-8F60-4B7E7861B37E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4880526","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4880526"}}}}}