{"entities":{"Q3636883":{"pageid":5666789,"ns":120,"title":"Item:Q3636883","lastrevid":50694848,"modified":"2026-01-14T20:15:20Z","type":"item","id":"Q3636883","labels":{"en":{"language":"en","value":"Equivalence Checking of Static Affine Programs Using Widening to Handle Recurrences"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5571925"}},"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":"Q3636883$8429D5D6-FF93-4E30-9486-0F2EE84079D3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"31857db7325b5030ddb0a916ac5f5c1d530920f7","datavalue":{"value":{"text":"Equivalence Checking of Static Affine Programs Using Widening to Handle Recurrences","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3636883$4B5ADE54-6980-4419-B321-E718FF7953FA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ff3d6ff6d7ee641191f26bc07766495b7dde3dae","datavalue":{"value":"1242.68076","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3636883$6EFAABA0-E184-4EC2-87A2-B9D6574270D2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b218f1df2ee4a3c8efbaf8a7205f8434e4d438d7","datavalue":{"value":"10.1007/978-3-642-02658-4_44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3636883$DC2A26F6-85F9-4177-BD5A-DCC22561D0CE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e4c757ea36212f63564af7198694dfed8a46536b","datavalue":{"value":{"entity-type":"item","numeric-id":996704,"id":"Q996704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3636883$8C5965B9-D64E-42BD-81CE-8AE021F8DD71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"10df364845edaced0a0bcab5763b691a5d68702d","datavalue":{"value":{"entity-type":"item","numeric-id":2317966,"id":"Q2317966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3636883$8E4F7E8E-D751-4A2A-ACE8-0A99334D22A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fad0a696a48629b32209d6a33edd7328bb65d41f","datavalue":{"value":{"entity-type":"item","numeric-id":582148,"id":"Q582148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3636883$194C89B1-D3A5-43ED-A2FE-45AD519CBA26","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d4ba228bb5693c2e3eb7592c46c7d713183c8c65","datavalue":{"value":{"entity-type":"item","numeric-id":2864836,"id":"Q2864836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3636883$03FE7156-4DA3-42B9-8798-40AA489197CA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"09df791b31880a83cb69102ced8fef72b45dd8e8","datavalue":{"value":{"time":"+2009-06-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3636883$B931DBEA-809C-49E8-B8D6-A44AD794ACF0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"dedd5c5a6a86d1a1ed4241172cfaf2684b044923","datavalue":{"value":"https://lirias.kuleuven.be/handle/123456789/228370","type":"string"},"datatype":"url"},"type":"statement","id":"Q3636883$5F1FC75A-15FF-4698-8116-BBF8EFB54164","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3636883$CC99C3D7-A2D1-4D88-931F-CAAD5B5A9265","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3636883$415D64BE-6EB0-48DD-8AB6-8AB3B8290D4B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"82c991a369d8bff4d0c20b94fa3607f88da4317a","datavalue":{"value":"5571925","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3636883$6FC0B51D-F75F-49BC-9318-D6AE2AF7434E","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6fb9fa8ace8a07d2e7013da9c3160bad302ee051","datavalue":{"value":{"entity-type":"item","numeric-id":21820,"id":"Q21820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3636883$D51D245B-D998-405A-A681-E7DDA69D639F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6d1b503d7c8f19634e207574177819c306621855","datavalue":{"value":{"entity-type":"item","numeric-id":17038,"id":"Q17038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3636883$379B6070-7A27-40E4-AA9F-E4F776770274","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6146114e6a5c160d5dd1ba1b0fab5a287f6a17d0","datavalue":{"value":{"entity-type":"item","numeric-id":19068,"id":"Q19068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3636883$138B2305-70BB-4893-B87F-87B13C3B8819","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":"Q3636883$C56C1E66-02B1-4807-A304-AB23A8E6A9B6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8c79c3c68a4b469e465cc37815577019e9e725d4","datavalue":{"value":"W2151828216","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3636883$23041CEF-6E68-4F66-9C9C-C627A17E5D32","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6420c792dd462fa17848f8fb268b8f7977414da1","datavalue":{"value":{"entity-type":"item","numeric-id":4813045,"id":"Q4813045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e94fdc1e55383192d9e0bdeb3c65b3a55d046a21","datavalue":{"value":{"amount":"+0.7413814067840576","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":"Q3636883$31AF5E8F-DE8F-48A7-B438-22FFD50AADFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"287eb63ee6363dc7751d47680d1c8482e6914666","datavalue":{"value":{"entity-type":"item","numeric-id":2828296,"id":"Q2828296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4cdc4f806c27c9bb831dfdcf5791f2ebc0147896","datavalue":{"value":{"amount":"+0.7272546887397766","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":"Q3636883$38E09E06-B9C5-4BC1-AEC8-159D5492BD8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a50e722b72c46eb61d087c595e0ad9618d4ac485","datavalue":{"value":{"entity-type":"item","numeric-id":1656596,"id":"Q1656596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4691c2a355ca749305e2ac84186f9b413ddbc850","datavalue":{"value":{"amount":"+0.7027865052223206","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":"Q3636883$07DAFF39-5D0B-440D-BF55-DD6BC0E0E123","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef781cab9869677513fcb544cbcdc548ad98441d","datavalue":{"value":{"entity-type":"item","numeric-id":2415374,"id":"Q2415374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f7388bec67715a7caecaddc07ca592cd87607a18","datavalue":{"value":{"amount":"+0.6919853091239929","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":"Q3636883$C9E728F4-8896-4A35-96AB-098EB5A3898B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d58c1808ddf8498d09b58dd9ab6d998ad2a94c9","datavalue":{"value":{"entity-type":"item","numeric-id":2452753,"id":"Q2452753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f67fe2fe9320d1e249973d3bb67ddcaaa1970ecc","datavalue":{"value":{"amount":"+0.6904585361480713","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":"Q3636883$BE0547AA-02E8-46CC-861C-7E9A3056E2CA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3636883","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3636883"}}}}}