{"entities":{"Q2849553":{"pageid":2860273,"ns":120,"title":"Item:Q2849553","lastrevid":51829097,"modified":"2026-01-20T06:13:10Z","type":"item","id":"Q2849553","labels":{"en":{"language":"en","value":"Provably correct code generation: a case study"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6210207"}},"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":"Q2849553$435D55C6-D0E4-4A65-909F-AD3AF5530741","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"413e3812e5f5b5e2d0ab4ee3d96dcfaafafdf0f1","datavalue":{"value":"1272.68215","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2849553$933862CB-D794-4F34-BE59-CAF3492FB5FD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b3dcb12e53a075f2a49b79b16a6317b340847e43","datavalue":{"value":{"time":"+2013-09-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2849553$39A9BE29-43CC-4D85-9052-DFE96CF23806","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d7fafb4788b5069947c506db9aaa45ac09da8df8","datavalue":{"value":"http://www.sciencedirect.com/science/article/pii/S1571066104053265","type":"string"},"datatype":"url"},"type":"statement","id":"Q2849553$851DED94-BA45-4D94-ACE0-B2C7B9160F4C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2849553$1FF2952A-C21D-45E9-9736-5C9D687646A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3affb2aa66be15f2a63c60d2aaa92bd143e6d46","datavalue":{"value":"68N20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2849553$57BB0E43-F7A6-4D91-A611-CFCAD84BAB62","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1cb25f1ed3ca7c3197978de610baa0851dac6ecf","datavalue":{"value":"6210207","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2849553$C1EAEF4D-D436-4B16-8C6E-E666A91E363D","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":"Q2849553$5E2CA6D5-E771-4838-BA18-2B90AC43FF0E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"45fadafc3ca77d44445dbb96aa2b1f6e7fe7ec99","datavalue":{"value":{"entity-type":"item","numeric-id":6097178,"id":"Q6097178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2849553$462DA85F-E7A8-4BCC-B744-CC7B7CA2C827","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"27a86691adef3d925dd95e3f08184763486122e3","datavalue":{"value":{"entity-type":"item","numeric-id":6063872,"id":"Q6063872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2849553$3CAD2CF5-2C1B-4C12-83B4-E9284B7B87D7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"08b3858ea261b8efaefb5dae116358511db9a3ed","datavalue":{"value":{"text":"Provably correct code generation: a case study","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2849553$E06DF4EA-0151-4FB4-85B0-DE15B835A310","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c50267358e30911bfce28e693901042853b76eaa","datavalue":{"value":{"entity-type":"item","numeric-id":5713940,"id":"Q5713940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"726f9198c69a05c613ea1cee9ad8bc7a4b5aa34a","datavalue":{"value":{"amount":"+0.8832927346229553","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":"Q2849553$F96839EC-AF60-435C-B9DC-68635FED94C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4745acb3acf53ea2b8529872283d51c5409e9059","datavalue":{"value":{"entity-type":"item","numeric-id":4315825,"id":"Q4315825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"71a374788f94f2b14c1bb9e443799ea29a48e20e","datavalue":{"value":{"amount":"+0.7378520369529724","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":"Q2849553$717C5421-29DD-4B37-842C-6BEBC4F3D27F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de594ec2d6394cdc303d43ffa33d153085c0a830","datavalue":{"value":{"entity-type":"item","numeric-id":3718127,"id":"Q3718127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"587f92204ead0b2d7183d32893cc82b3bc466e9e","datavalue":{"value":{"amount":"+0.7366588711738586","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":"Q2849553$16119E5C-7837-4813-8787-CFCEAE1DEBD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b31f01ff742b05ddfb13d3e517c7e58fd16b7074","datavalue":{"value":{"entity-type":"item","numeric-id":749202,"id":"Q749202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf085eaf859b6f2919b1117c059f43deab5a987a","datavalue":{"value":{"amount":"+0.7355130910873413","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":"Q2849553$95790E1D-BF2D-4BBB-A102-84C01823ED69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"44ad3bcac2eb462823232de5b8fdf66bee894219","datavalue":{"value":{"entity-type":"item","numeric-id":633302,"id":"Q633302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"89702317b6ec4ed3f8e989bf5b5d9b32d67b1cba","datavalue":{"value":{"amount":"+0.7293130159378052","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":"Q2849553$35A3CF1B-0047-4D50-81E6-341CD09D886B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2849553","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2849553"}}}}}