{"entities":{"Q3617746":{"pageid":5647652,"ns":120,"title":"Item:Q3617746","lastrevid":50618936,"modified":"2026-01-14T14:24:53Z","type":"item","id":"Q3617746","labels":{"en":{"language":"en","value":"Interprocedural Dataflow Analysis over Weight Domains with Infinite Descending Chains"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5535611"}},"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":"Q3617746$9416BD12-B426-4443-B1DB-CA4A89426DD4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"690b5267d58e69e4f9fb918e0922380a9e1eb786","datavalue":{"value":{"text":"Interprocedural Dataflow Analysis over Weight Domains with Infinite Descending Chains","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3617746$FB40C060-46A8-4CF1-8080-3BB0091A9DD8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1373e9d1ad48ade9d2f8ecde891c7d125659ebd8","datavalue":{"value":"1234.68219","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3617746$5078FA44-34FA-406F-93CD-62B8E3226E44","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d7140e8103ef74789213d49eac590b855282ac5f","datavalue":{"value":"10.1007/978-3-642-00596-1_31","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3617746$3869AF65-F5E5-402D-8BAF-EA7D712D665B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"63a455dac5bb73efcb8240abe2e97100512caf4b","datavalue":{"value":{"entity-type":"item","numeric-id":2864386,"id":"Q2864386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617746$017E1D02-8DFF-4276-8167-3FCF69CB3FC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"42938a6743e1355728dbe4fe3c3ae295737cb5ef","datavalue":{"value":{"entity-type":"item","numeric-id":314814,"id":"Q314814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617746$EBB6365E-69B5-4FFC-A21E-03049FE0A3A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d62012c44fa6c563fe5eb1edf4cf0db84f8565b9","datavalue":{"value":{"entity-type":"item","numeric-id":396601,"id":"Q396601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617746$E9E889E5-76D7-4D8C-AF75-330989CA4613","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"115241a544f99ad7a30e923fe7cd2e43b86b4105","datavalue":{"value":{"entity-type":"item","numeric-id":444489,"id":"Q444489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617746$F2B78FB6-41A7-4B28-A86B-9D083367FDD8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"24804f4b3014a48e696dd6005da1c061736a75ea","datavalue":{"value":{"entity-type":"item","numeric-id":2892754,"id":"Q2892754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617746$9CD0E2CA-4E23-4EF9-9F1B-EA0FAB5503DF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0d580ae26129476b328bb73be10f00e061bcab60","datavalue":{"value":{"time":"+2009-03-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3617746$BC56152C-9E06-4308-A3D9-86A0FA5105B9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3617746$15C9A8C7-0032-4E71-9C5E-DC1904D74E39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3617746$C6FA397F-D330-406A-886A-F32442A28604","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"deb5f9f43f355c6575c467b17adc4a680e013b41","datavalue":{"value":"68Q70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3617746$0F1F66D3-653A-49D2-BA40-5719F7D92260","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"04aa5bcf2ab69dffca09d486e1c87615d2867253","datavalue":{"value":"5535611","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3617746$726027AB-9B79-423D-91A5-338B2A790FCB","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6e027bf88ee7cfe985b42e564a22fa6632f8a570","datavalue":{"value":{"entity-type":"item","numeric-id":14221,"id":"Q14221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617746$9FB69EBB-2200-44FD-89C6-DD89FF563DCC","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":"Q3617746$56F519A7-D8C8-449F-B0A7-635C6C031FD9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8abe7624957cd4efb1b743c118a10856f309e4a4","datavalue":{"value":"https://doi.org/10.1007/978-3-642-00596-1_31","type":"string"},"datatype":"url"},"type":"statement","id":"Q3617746$3E66BBE8-0423-418B-A737-48A2AB5A8F24","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3ff78e6bbfdd54e67ed1163a06cf1223fa24b5d8","datavalue":{"value":"W1648568813","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3617746$898E949D-057C-4EA7-98A4-BDAE714612AA","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f07d752d453d9d03c92901a543bcb463f9ecf78d","datavalue":{"value":{"entity-type":"item","numeric-id":1403325,"id":"Q1403325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617746$99FACE4F-9C41-43DB-90F6-7F84D3524DAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ccb4cd7e285e803942a92e6fbe09a5c32ebc2565","datavalue":{"value":{"entity-type":"item","numeric-id":3527289,"id":"Q3527289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617746$B651FF93-927F-4325-A47F-DF3E052B8D0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a133b2b9476ffc4401b56d83bdfd1f487592e7be","datavalue":{"value":{"entity-type":"item","numeric-id":2754086,"id":"Q2754086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617746$F13B6AE6-17EF-47DA-9464-776A52DCE574","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90c52d7dc59310bf0600cfeb041725aae4c9e842","datavalue":{"value":{"entity-type":"item","numeric-id":5428228,"id":"Q5428228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617746$A46FD9C7-E2EE-46AE-A507-781AC7A6313F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd64829d7a6aea806e84c4d0e05bf37f087864b3","datavalue":{"value":{"entity-type":"item","numeric-id":3590943,"id":"Q3590943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617746$34A45FDC-5E0F-4B2B-B4F7-7AAE8C41380B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7275266fe0170561ebfcf16005b656127e444c2d","datavalue":{"value":{"entity-type":"item","numeric-id":3520300,"id":"Q3520300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617746$404AA541-56A8-4E43-A846-064446625E6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4eac4daa0ff1f2ab26986dab1a849b68a31b46c1","datavalue":{"value":{"entity-type":"item","numeric-id":5899075,"id":"Q5899075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617746$9A6A1AB8-F876-4661-BE32-5CB4EDCC47C5","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":"Q3617746$92D99EDB-B71B-49F8-9F7E-DBC63D6C1393","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ee413e1ca8709587bce5ce0784c7d6a8fc84e5b","datavalue":{"value":{"entity-type":"item","numeric-id":5899049,"id":"Q5899049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617746$8477F0CB-1877-474F-9647-71BBCA612D6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c1bed8cff70fccc0952c7ca65ad3ff47fc948fd","datavalue":{"value":{"entity-type":"item","numeric-id":3617746,"id":"Q3617746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617746$4290194D-BC20-4338-9ED1-DE9D2ED7261D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"20b4817d1800a6e5903ad07931ff34151f796cb6","datavalue":{"value":{"entity-type":"item","numeric-id":5899020,"id":"Q5899020"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617746$0B1C195B-38D7-4ECB-B162-E559193120CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d3d2417f93fd9ac6a20c1556ed918b8121aad8d","datavalue":{"value":{"entity-type":"item","numeric-id":3612002,"id":"Q3612002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617746$E724BDA0-8A87-43DB-9F0B-AE238950ECDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"78de56ced350df0f91a1373ee7eacc0e356c260f","datavalue":{"value":{"entity-type":"item","numeric-id":5385603,"id":"Q5385603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617746$0CD82926-6ED7-41CC-9519-5F5D7D1B9DC5","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":"Q3617746$4C1E08DD-A28C-465E-A138-4A76BC562E84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"662f6b65924e793a444fdd44690ab1feec5be531","datavalue":{"value":{"entity-type":"item","numeric-id":5458821,"id":"Q5458821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617746$FA93AD28-D7E1-45BE-B73B-B108EACD6942","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ee0c598d6ddfbfae4ea8479557380be0e2aa296","datavalue":{"value":{"entity-type":"item","numeric-id":2568453,"id":"Q2568453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617746$E6702F54-6610-4FE1-96BC-7AF3B85A91ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"077045a244fbd288ae331ab1c8a1357b37cd7400","datavalue":{"value":{"entity-type":"item","numeric-id":5758052,"id":"Q5758052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617746$ACE2A106-CCAB-4425-9529-F9A0E306FFED","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b725c81d79ce6597973f2ed8db436ab09913027c","datavalue":{"value":{"entity-type":"item","numeric-id":4813399,"id":"Q4813399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"034b3378df1cab13675acc3f7e72cc18e20d869d","datavalue":{"value":{"amount":"+0.7756198644638062","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":"Q3617746$09EDFED9-8263-48C3-8DA5-85426D7D3C93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"471850978f1cf60be8cee589a2caea83231022b9","datavalue":{"value":{"entity-type":"item","numeric-id":2568453,"id":"Q2568453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1591d9158ac6abc29daab03bca325e86a015a20b","datavalue":{"value":{"amount":"+0.7717484831809998","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":"Q3617746$CFDC5E87-238D-45C9-8E9F-727996089EBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"907e0283f77723e3abfbba915d66b58e3be22482","datavalue":{"value":{"entity-type":"item","numeric-id":2999782,"id":"Q2999782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"625533169d3fba71777c4f96e2d70b7133589bf2","datavalue":{"value":{"amount":"+0.7605757117271423","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":"Q3617746$13462EDB-34ED-440B-9387-434E9ED7FFA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b318f7d65e7dabc178a554cfa42098e660ea23c","datavalue":{"value":{"entity-type":"item","numeric-id":3060977,"id":"Q3060977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a366d0699d6ca82e14908e0f61e7517139300cf8","datavalue":{"value":{"amount":"+0.755797266960144","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":"Q3617746$1AD5FC8B-0431-4734-97F6-9DF0EDEB3C42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"01ccd714a7a593f9bd92fd2b911971043c0874df","datavalue":{"value":{"entity-type":"item","numeric-id":3520300,"id":"Q3520300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"98bdc148a6ce7bde909a7358e397175065c9fe4f","datavalue":{"value":{"amount":"+0.7319319248199463","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":"Q3617746$6E761707-0EAA-4794-A4EF-E6553168A212","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3617746","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3617746"}}}}}