{"entities":{"Q3172939":{"pageid":3183649,"ns":120,"title":"Item:Q3172939","lastrevid":45612475,"modified":"2025-12-11T09:23:53Z","type":"item","id":"Q3172939","labels":{"en":{"language":"en","value":"Widening with Thresholds for Programs with Complex Control Graphs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5954812"}},"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":"Q3172939$DD32F6FF-A643-4650-B38A-E49F1DC9443D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"912a412ab15683bd6fa26466ae1a0ee6efe78d22","datavalue":{"value":{"text":"Widening with Thresholds for Programs with Complex Control Graphs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3172939$B3750153-9B09-4BEF-8667-581E1E2B46E1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"882b6b5d578ceaaf4a916458dc06c1209019c673","datavalue":{"value":"1348.68040","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3172939$8AABDD81-BA90-4478-A322-D650500CE808","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1ca9c647e56ee880022ab8ea311672f277b35c20","datavalue":{"value":"10.1007/978-3-642-24372-1_38","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3172939$F59B02F7-0F1A-44DF-8D47-04BBE0129ADC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"60b9d9b66655a8eae2083edc030b0bdc5d381935","datavalue":{"value":{"entity-type":"item","numeric-id":3172938,"id":"Q3172938"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172939$7DD4F6B5-151D-4631-B354-FFF17910254B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d283bfff41569929de0ba520942a031eb8bd107c","datavalue":{"value":{"entity-type":"item","numeric-id":435976,"id":"Q435976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172939$4541EBBC-979A-466C-8A3C-4AFBADB9FAFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"42e3a12a64611dab07d8aeb77abf4493285ad1ab","datavalue":{"value":{"entity-type":"item","numeric-id":236319,"id":"Q236319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172939$69471D4F-4A2D-4C83-B367-9E0B2509C799","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fb871d7a444106c04a08900e781eca233868e362","datavalue":{"value":{"entity-type":"item","numeric-id":3172900,"id":"Q3172900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172939$2B274794-677D-43A6-8A97-5116F38789B8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6d9bd2d9b28ae12e022b2e08f4abf17c1216ac47","datavalue":{"value":{"time":"+2011-10-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3172939$7D44CB25-6D06-485A-8AEC-7570F1EF47E9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3172939$8023058B-003B-4AE2-B530-2765F333F521","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4fa24b2d7b3788da3848083400f76e7de0261cdc","datavalue":{"value":"5954812","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3172939$E809FF94-1931-45B2-8185-4FC2CB5B8D50","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"630858108012d4b1d813d05f96b53442397f2dc9","datavalue":{"value":{"entity-type":"item","numeric-id":17101,"id":"Q17101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172939$B9F4E97E-9C58-47D6-B6B0-5C7519AA164C","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":"Q3172939$AFAFEB8F-0C49-40D0-ADA0-BF62FF60ECAA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3583b4309d620431fe25fbdbb4eb38d59df20491","datavalue":{"value":"https://doi.org/10.1007/978-3-642-24372-1_38","type":"string"},"datatype":"url"},"type":"statement","id":"Q3172939$293A6A26-B9F2-4778-9A46-A7EF8652257A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"363bb3e31cf2fbe181c4ddd3264ce4e4d5eb0cc7","datavalue":{"value":"W143523914","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3172939$C827A6BD-C736-423E-82DB-A05B91C2F0D3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cf328b2ae483a8bac10c6bbe2eba433f6c9aa828","datavalue":{"value":{"entity-type":"item","numeric-id":1772780,"id":"Q1772780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e6dfcb61a5109aaf269bbfe7af286f51ad477165","datavalue":{"value":{"amount":"+0.8266754","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3172939$BBC02A83-8973-48D4-8E8F-0A775E9007A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c1cb3fafc27d9eb094cccc46e44dd7a60fbb0351","datavalue":{"value":{"entity-type":"item","numeric-id":3459810,"id":"Q3459810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca0dd3a58bb6b63bf90c53ac81e12ce09d5a4a1f","datavalue":{"value":{"amount":"+0.8196782","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3172939$416D001D-053C-4EF7-BAF5-B74CE8983805","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d3a5d0909306abc4c598209e27247a41805f60d9","datavalue":{"value":{"entity-type":"item","numeric-id":3815354,"id":"Q3815354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b9ad5a644f0ed1d5e1e38dda9a0ad1b8865851a9","datavalue":{"value":{"amount":"+0.8147582","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3172939$C68AD7E1-2DFF-4932-96D3-78C6E3426CC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e7870b97579c89d91e0924ecba7fb7b29fcc8b3","datavalue":{"value":{"entity-type":"item","numeric-id":4694717,"id":"Q4694717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a3ee8cc287aff14f0a3603fe103327ef14c1426","datavalue":{"value":{"amount":"+0.8142376","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3172939$CC9CEFB2-DBDB-4E47-B2F5-575E04811376","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a81ea77e9a0399e2f5fd73e50e363d055c241eac","datavalue":{"value":{"entity-type":"item","numeric-id":2894567,"id":"Q2894567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2337371db963893daf890433737605151c417b63","datavalue":{"value":{"amount":"+0.80978763","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3172939$AD608B28-AD1F-4788-9CFE-6A8EA725FAE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1c0e91219d9ad9e10e9858287ea77502f3db8d71","datavalue":{"value":{"entity-type":"item","numeric-id":5166718,"id":"Q5166718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0d299feb8745c9e4136eac5fd8cb8ca274257475","datavalue":{"value":{"amount":"+0.8095668","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3172939$40E624CD-ABC1-46E8-B0D0-744DE4A8AF61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"19ed83dfbeab17745bf3d1361bf73d3cc0f6eac7","datavalue":{"value":{"entity-type":"item","numeric-id":3718153,"id":"Q3718153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f817db72dc205027046227f83e72c383b1ea37e8","datavalue":{"value":{"amount":"+0.8088849","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3172939$E41A617C-CD21-4C97-B358-10C79C23B862","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd09d07ae12edcbd9bcf4a6d34a68450090f4a0a","datavalue":{"value":{"entity-type":"item","numeric-id":650921,"id":"Q650921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1250462c0524eaa9a3d38946d40335db8537ebbd","datavalue":{"value":{"amount":"+0.805023","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3172939$3DBB0CE3-8DD6-45E6-9C43-A5188BEA2A6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8547f9f87d310720da6c587da607ffc5d0bff5f1","datavalue":{"value":{"entity-type":"item","numeric-id":5276140,"id":"Q5276140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dabad11015fda3dbed434cdd70e64a60115352d9","datavalue":{"value":{"amount":"+0.80259883","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3172939$48C5A544-B3ED-47CC-96E3-67C0F3DF1C1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5d30b3cadd62839439b1eabe719031ac59691949","datavalue":{"value":{"entity-type":"item","numeric-id":2938087,"id":"Q2938087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a195b8243910b5a1ab1d3516207bf2e164a137b8","datavalue":{"value":{"amount":"+0.8009859","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3172939$E6B98341-5B4C-4183-91E0-32C8B6A81085","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3172939","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3172939"}}}}}