{"entities":{"Q6176563":{"pageid":13311451,"ns":120,"title":"Item:Q6176563","lastrevid":58742556,"modified":"2026-04-06T13:35:56Z","type":"item","id":"Q6176563","labels":{"en":{"language":"en","value":"Decoupling the ascending and descending phases in abstract interpretation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7717068"}},"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":"Q6176563$E88AB9BF-E6B0-4851-A2D2-41C5C2E22093","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"28dda7f85772f5fec73e5ac7628920f848434649","datavalue":{"value":{"text":"Decoupling the ascending and descending phases in abstract interpretation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6176563$F6C789B1-896D-458E-959C-CD94385CFC13","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a28b5aa89af1db735a1cea641262836feb4d7969","datavalue":{"value":"1524.68072","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6176563$0E00DB84-F015-47BA-81E0-226098FA9FEE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"24726b3f01e91bddff68d2aad557ae0c123bb40c","datavalue":{"value":"10.1007/978-3-031-21037-2_2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6176563$CB610E1D-1D28-426F-ADA6-4F2B92ECDB0C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"90e905d93a35397d5386e28e1f6b528de978069a","datavalue":{"value":{"entity-type":"item","numeric-id":1650955,"id":"Q1650955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6176563$52AD5563-EF49-4864-A61B-A41496435D63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"145dfc643b53f471cb50f045a5c8b4f60a920b97","datavalue":{"value":{"entity-type":"item","numeric-id":511011,"id":"Q511011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6176563$09F9CFCE-050D-4C78-9036-A4F4A8714A77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"768e10bb33d31727f16a418679f923fd95870c7b","datavalue":{"value":{"entity-type":"item","numeric-id":281282,"id":"Q281282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6176563$F222DD6C-CE98-4BE1-86D7-26FD710AF7A9","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":"Q6176563$353C0E4A-DF45-4A5D-A6FF-6CEC47BB19E4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c23e2f8c5005e57b25458422f4cd3f060374be12","datavalue":{"value":{"time":"+2023-07-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6176563$CDD11727-FD11-435D-AA06-2C1259E1AF89","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"439e2b77f24787d307ce67cbc31bcdc3c9675844","datavalue":{"value":"https://arxiv.org/abs/2206.10893","type":"string"},"datatype":"url"},"type":"statement","id":"Q6176563$E0E166AD-C8BC-41A1-9A6D-4AC6A2B41485","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6176563$3AA6A4D6-7974-4E61-A674-90682E694E35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6176563$49EF59EC-F29C-45E8-B511-43AD8FFA7A07","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d96e7285620125a813c7f37f10e4d7fc3bc2dc1a","datavalue":{"value":"7717068","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6176563$7FA7143E-A060-4544-B79B-CABBE1C0C1D6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"271b051f29cb2edbed99f6c31256721127b7519f","datavalue":{"value":"abstract interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q6176563$DDF8BAFE-28EB-4522-9D9E-D354584964D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dca5cc682e76d80a491afdf82202532c8173882c","datavalue":{"value":"static analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q6176563$47879234-C5B5-470B-A47D-D12138468DE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0338e16b2692ae366e8fa638206d6c15427db1b9","datavalue":{"value":"widening","type":"string"},"datatype":"string"},"type":"statement","id":"Q6176563$5F340D92-B1FD-4EC7-A2CA-B46013BA0E29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"50e20429622ec08ba47dc9e7a4c57de8bf8a42d9","datavalue":{"value":"narrowing","type":"string"},"datatype":"string"},"type":"statement","id":"Q6176563$24734414-4DBE-423A-95CA-60FE93170515","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":"Q6176563$9D00CCE8-5D11-45A2-AE66-9F8752775633","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6b2a62016b7c483fdeb4143c651f8894d67db8a2","datavalue":{"value":"W4312607842","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6176563$1CCC250F-D36B-44C7-BB5C-D0B54B77A1A4","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2458dcfc6cc0107e595f833ce5540b9a9ddc3927","datavalue":{"value":{"entity-type":"item","numeric-id":1671249,"id":"Q1671249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6176563$BC87751F-B765-4B27-BF56-17CFB3C482B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"312a7449c6ee5b718e6c832f972f9a62e9692789","datavalue":{"value":{"entity-type":"item","numeric-id":2182314,"id":"Q2182314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6176563$6127064F-6DA8-42ED-A7B8-8B3E339E2B11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b0385beb476f74347b6caaa53186c3cdca7a2f3","datavalue":{"value":{"entity-type":"item","numeric-id":2568443,"id":"Q2568443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6176563$FF7774EB-1555-42B6-AAC8-9E5D600D60EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c4e2205c650238b28dcba3d5ccc3a0ab20b3005","datavalue":{"value":{"entity-type":"item","numeric-id":5901909,"id":"Q5901909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6176563$B9657214-A40D-49B5-87F2-A60803274B11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19625e4870ced1247ff08012c9d4042bf0610f2e","datavalue":{"value":{"entity-type":"item","numeric-id":6045006,"id":"Q6045006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6176563$4F583B7A-8FCD-4B5E-9AEF-53D4E82623AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea2e0b4ce0d107b1f46ceb9cd1b59cff3a89057b","datavalue":{"value":{"entity-type":"item","numeric-id":6041169,"id":"Q6041169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6176563$E750A40A-1AD2-44B6-BD57-1B65153D27C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45bda76ea05ef6ca1ac25b4ac24d9a34eda2b59a","datavalue":{"value":{"entity-type":"item","numeric-id":2216124,"id":"Q2216124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6176563$1B666643-0CDE-47BC-9619-E0B05ECE5C0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3d60334f5894df8ad04c2c2afbb1c410448a367","datavalue":{"value":{"entity-type":"item","numeric-id":1620957,"id":"Q1620957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6176563$C5ACDE8C-DF5E-45D9-917C-17AA731F024A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90f06b363f5719862f98dfbbe9bbdce60dd6b1f0","datavalue":{"value":{"entity-type":"item","numeric-id":5178905,"id":"Q5178905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6176563$C755011A-3CE4-4FF4-B463-4C1D997D735B","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":"Q6176563$9ACD9A16-033B-4A18-82FA-443CE6B79772","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b0ad6cbe2cc2eccfff8929a15d53d8564eec757","datavalue":{"value":{"entity-type":"item","numeric-id":6039396,"id":"Q6039396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6176563$86AAFA8F-C745-4CDE-A94C-F14E4A434428","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":"Q6176563$CDAD9BE3-9F98-483B-B024-B8E19BAEF62B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3014fff1c94ad59e81787332ae7190a13501142f","datavalue":{"value":{"entity-type":"item","numeric-id":5756499,"id":"Q5756499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6176563$A3E02744-D21A-48D7-B3A6-48CD5A31571B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2073093aeb6208120f213f860dad84eb717663ba","datavalue":{"value":{"entity-type":"item","numeric-id":5756502,"id":"Q5756502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6176563$BEC1BB24-77A7-436B-BBAC-AEF6F407577B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a39da4a57272edb02d6053b5209e8619838564d","datavalue":{"value":{"entity-type":"item","numeric-id":3613383,"id":"Q3613383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6176563$3F9FDD90-66D2-436D-81B4-13E5DB6A9715","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5deaf0cccbcd91007881f1158a0f8b6702383fda","datavalue":{"value":{"entity-type":"item","numeric-id":3612009,"id":"Q3612009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6176563$D14A1292-E0A0-4112-9BA4-C801810E305E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f83934c02f3843ed413f8141b583a9f9ababcb9b","datavalue":{"value":{"entity-type":"item","numeric-id":853727,"id":"Q853727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6176563$7FFCF113-7202-4AB7-9CD1-FB28002B3B50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e61caeb9ccf34c77ec2a456b135b01b408ce9535","datavalue":{"value":{"entity-type":"item","numeric-id":853733,"id":"Q853733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6176563$2AA6D7C2-6636-4A37-8869-31425F1CA0C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6abe3edc74dc1405415e19e1dfbd849ab8d0ecb","datavalue":{"value":{"entity-type":"item","numeric-id":5170182,"id":"Q5170182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6176563$C396857C-2DFE-4D11-A509-79856F498605","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5216594ab26dc420117c0934281b2e8f583a7fe4","datavalue":{"value":{"entity-type":"item","numeric-id":4255591,"id":"Q4255591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6176563$114C7098-274E-4986-A918-B6B51992F808","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"814fff40ff200bc5e13c6d812176bfb0cc3e6573","datavalue":{"value":{"entity-type":"item","numeric-id":5385594,"id":"Q5385594"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6176563$1D979F72-1898-4E70-967E-C5E8BAA34386","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e05f84c1eae7d58b1794ec71b77ea8963935fe7a","datavalue":{"value":{"entity-type":"item","numeric-id":5370845,"id":"Q5370845"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6176563$B70C4E77-1C29-4141-861F-A7BCD6B6196C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ee105401400142bcae3e50107da65003fb72bed8","datavalue":{"value":{"entity-type":"item","numeric-id":5206948,"id":"Q5206948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e4382e74667704a947c148a213c51b49568a2ec8","datavalue":{"value":{"amount":"+0.7818968892097473","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":"Q6176563$E49A87C1-D1BF-4C09-8D92-BC0733554CB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c806df68cdaa1090026011753b6589ae9530da0d","datavalue":{"value":{"entity-type":"item","numeric-id":1671249,"id":"Q1671249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a8a9439d138cb4d90e76bac68dd7706e42fd234","datavalue":{"value":{"amount":"+0.7781704664230347","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":"Q6176563$17BBEC82-442A-4781-AF3E-AD433CD9C239","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f127c02d9ca9827b7b3b8411c079c9bec3247c06","datavalue":{"value":{"entity-type":"item","numeric-id":1620957,"id":"Q1620957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"381667b2a5b0f43c96f7e7e9135a107fb75fb98a","datavalue":{"value":{"amount":"+0.7677128911018372","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":"Q6176563$72AF9A65-8F07-4B57-9A32-B1912DF6CF25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a07c9093e060847b9e13d15dbfc9b71e30450b11","datavalue":{"value":{"entity-type":"item","numeric-id":765513,"id":"Q765513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e7c23e11c3996528b515f26102e314842bf5a6ea","datavalue":{"value":{"amount":"+0.7334828972816467","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":"Q6176563$DB54E534-2524-4CB6-BAAC-F2B37798BCEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"216b0aaa5c2d1ab1d91b2611e004313687b24a00","datavalue":{"value":{"entity-type":"item","numeric-id":6536310,"id":"Q6536310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b75371f7ec3948b68a3c1a0af6ab9ca54138a2e7","datavalue":{"value":{"amount":"+0.7329511642456055","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":"Q6176563$CE883E33-3BB8-4B5B-9FFD-8E8028A6FF84","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6176563","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6176563"}}}}}