{"entities":{"Q2398171":{"pageid":2408914,"ns":120,"title":"Item:Q2398171","lastrevid":78626666,"modified":"2026-05-06T12:03:12Z","type":"item","id":"Q2398171","labels":{"en":{"language":"en","value":"Complexity and resource bound analysis of imperative programs using difference constraints"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6760370"}},"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":"Q2398171$A0A5FA3A-124E-4FCB-A028-65251910FFB0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c07666b9587a14850ead997fdf72bc7c326901b6","datavalue":{"value":{"text":"Complexity and resource bound analysis of imperative programs using difference constraints","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2398171$FB8A95FC-BE76-4A2B-A27E-00F7D1C99D69","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"57c4edfec49288a63683eef074c50d0f7143e3ec","datavalue":{"value":"1409.68076","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2398171$302D8B3C-BFA1-4DE7-9D04-0D76EA421826","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"61f595630b1a56c0cd655f11460cb2f4f219aef2","datavalue":{"value":{"entity-type":"item","numeric-id":2398170,"id":"Q2398170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2398171$A0C0CB37-AA76-48A3-9DE7-64FB0FAF3124","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5b332ee779277e7cc941f7c72c75777e418fe1f4","datavalue":{"value":{"entity-type":"item","numeric-id":526770,"id":"Q526770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2398171$690A5A14-988E-4111-B978-E6E739456A61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ab766bab7d2d121997187bafff958b477c6b8a01","datavalue":{"value":{"entity-type":"item","numeric-id":234696,"id":"Q234696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2398171$96E76E69-2E01-4AC0-BADF-088D8A48C7A9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b84cc8b5923f45dc86ae69f67f68bf56d7ecfce9","datavalue":{"value":{"entity-type":"item","numeric-id":174771,"id":"Q174771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2398171$B1DB20A9-A75C-4024-BBAD-FFF212704DF2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"27864268865827ced233ef05b68e85bfe91ce2b3","datavalue":{"value":{"time":"+2017-08-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2398171$1DD717C3-17D2-4F84-A808-4B29A078110A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2398171$24D30D47-710A-45F4-88CE-07C9A4DAD773","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2398171$14EA85C9-8C07-4407-A445-5F39BF1C87F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2398171$143F72B6-4C65-498F-8229-7FB8281CF0D2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"831a1f7b3e05f6c411a3e80c0797a6afb80f139a","datavalue":{"value":"6760370","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2398171$0B8F53F0-925A-4AFC-A63E-F115D1267A33","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6d1aca7bea3c9d45d148b7be5dfe337fd9bc1574","datavalue":{"value":"bound analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q2398171$4176BC37-E2BA-4809-8404-3E15DC1C40B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4780b02cfc7bc35a586062e3271a9f52fa94f067","datavalue":{"value":"complexity analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q2398171$5C27FF6F-CF09-4142-8E09-CB1A2913AD8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7ec37da8502f5286d6e407b7d5b29adece889aef","datavalue":{"value":"amortized analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q2398171$B1F38ECC-319A-4AEC-860C-79D32E18ED62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2d9afdaf0316e82c921cbfa9ae3aca089958b0bc","datavalue":{"value":"difference constraints","type":"string"},"datatype":"string"},"type":"statement","id":"Q2398171$DDADB7D8-4F3D-4787-BAB7-6BEBCDD562EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dca5cc682e76d80a491afdf82202532c8173882c","datavalue":{"value":"static analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q2398171$66FC04ED-857D-43A1-93A7-F35B8A5C1B2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"431677bd029b657ad2332ee96011df2f61b6a2f5","datavalue":{"value":"resource bound analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q2398171$3C919029-0B0C-40FE-B273-6F3CC9F59792","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a1e2a00fc11bc564acf23573a75124a3d7b84cf3","datavalue":{"value":"automatic complexity analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q2398171$0CE551B1-0446-4805-B388-21F91403F280","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d037028d3fecc5bbab88047226a606ec81ce9edf","datavalue":{"value":"cost analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q2398171$84123C6A-C7D8-4A79-9704-F14C096C2B5F","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"9ebd52724cc8ebcb260088f87114272e0bd9c2a6","datavalue":{"value":"Q58105348","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2398171$C0FC1D4B-4251-4FC9-BF10-0C1B38C1F52B","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e3a7f5df06b272bd42f74baffc8ceda01dfacc5a","datavalue":{"value":{"entity-type":"item","numeric-id":17043,"id":"Q17043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2398171$514687A3-99F0-4A8A-8859-6983B31BCDD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"cb5085a0e3d3bb720346dd836bd54d5d9d9a7a0b","datavalue":{"value":{"entity-type":"item","numeric-id":20658,"id":"Q20658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2398171$8459AE54-5988-44FD-960B-88683E7BC040","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"90f139681161cf03fca3b88a13657b8b8fd37862","datavalue":{"value":{"entity-type":"item","numeric-id":25180,"id":"Q25180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2398171$E032B20C-4C74-4148-AD26-3C78FE916D1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8bf42d0fd66acf369e3d5d44d7ebef6adc7ae452","datavalue":{"value":{"entity-type":"item","numeric-id":56651,"id":"Q56651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2398171$3425F54A-C673-4A52-AD8D-163DCDC57CE8","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":"Q2398171$F2CE3825-242E-4F03-BD77-8CED46C0898A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7c62d71f27a7110fcdd9f966cbd41dfd15d847b4","datavalue":{"value":"https://doi.org/10.1007/s10817-016-9402-4","type":"string"},"datatype":"url"},"type":"statement","id":"Q2398171$C5C28A39-0D4B-4D4C-A4F3-43EA04432626","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3336ac60534b3eab385d3ea40993104f9fd89fac","datavalue":{"value":"W2577171054","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2398171$339A9F9E-09CC-46F5-A3D1-FFB689018992","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"104f60c84cb2360398187eed5e1dd228a199a063","datavalue":{"value":{"entity-type":"item","numeric-id":764297,"id":"Q764297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2398171$C86EAC54-7787-4E5F-B7EE-675BC4F547FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0383da82b76a5590e0218b9b1e2ba239918753ab","datavalue":{"value":{"entity-type":"item","numeric-id":4930721,"id":"Q4930721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2398171$D27F9938-5CCF-42E3-8882-A2800627D73B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2455f7dee77ffb217ffdc7b834f7a85175b71033","datavalue":{"value":{"entity-type":"item","numeric-id":714505,"id":"Q714505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2398171$25E34298-EE7B-42D9-908F-35449381A704","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"00910816ba034b6655b7a47d13d1206cc1d40ae2","datavalue":{"value":{"entity-type":"item","numeric-id":3735083,"id":"Q3735083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2398171$88E000B7-DC0B-4D4A-A52B-E206D38F971D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"169f76fb0c125d2a3bd25a406e08ce7e58387666","datavalue":{"value":{"entity-type":"item","numeric-id":2922015,"id":"Q2922015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2398171$3FD03AAD-3310-4817-8FD2-95CF02B2349C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b4a525346570575a41a435d358edb96d63288341","datavalue":{"value":{"entity-type":"item","numeric-id":2789051,"id":"Q2789051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2398171$D2EB447D-43B5-4AA0-BB80-C2CE1E823B02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"916bfff73ab672f1043621ca668f716c2d60da90","datavalue":{"value":{"entity-type":"item","numeric-id":5261520,"id":"Q5261520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2398171$97FFDC18-FD7C-4089-AD67-9A40BD6FC1E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"410e781afed9d251e23ab31322a968fadadc39b5","datavalue":{"value":{"entity-type":"item","numeric-id":5261512,"id":"Q5261512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2398171$B50D6413-C5DF-41B9-B18D-290AB084A867","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f787411cd150ae479aad18d1dd19610e066110a","datavalue":{"value":{"entity-type":"item","numeric-id":5408556,"id":"Q5408556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2398171$E0E7FC43-53A7-4C47-B24C-3D15AD4D58C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8aa9813c5d44205ab458818c2c071032f8d571d6","datavalue":{"value":{"entity-type":"item","numeric-id":5255075,"id":"Q5255075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2398171$4FD76B1A-BED8-4599-932B-A95393A4FF10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f035e7ce71fa36b05517fb3b1000527a247baf6","datavalue":{"value":{"entity-type":"item","numeric-id":5901912,"id":"Q5901912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2398171$3B8D09A9-DA09-4C51-A717-A491ECCEDB66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7fd7e0eaabae954c5ce023ec02943f7bbcdd3f59","datavalue":{"value":{"entity-type":"item","numeric-id":2398171,"id":"Q2398171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2398171$FA56D16E-4A92-4523-9429-60DDBCE260AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"622535d5d327cbcc585a17579b1ee456b1595679","datavalue":{"value":{"entity-type":"item","numeric-id":3617736,"id":"Q3617736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2398171$3F62EDC4-D5E0-45F5-AF8C-BCA9B6F1B6B2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"45063b02176473c9464298e2b9274d70ce5e1c72","datavalue":{"value":"10.1007/S10817-016-9402-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2398171$27885DE9-746E-4972-95D8-CBE181180738","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d2145ee29995428b4b61741d07317bfd979319fa","datavalue":{"value":{"entity-type":"item","numeric-id":2789051,"id":"Q2789051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"121ade40a87994157eb23c8ea39380ebfee16bc4","datavalue":{"value":{"amount":"+0.7534842491149902","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":"Q2398171$733AE11F-9E67-489D-84A7-3AB14A36C2E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8853475b282af5ddd36d57b26102a203ea9dec3f","datavalue":{"value":{"entity-type":"item","numeric-id":2946710,"id":"Q2946710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2fc7d594018584041b3a2d8183d1aeaadc96abf8","datavalue":{"value":{"amount":"+0.7309191823005676","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":"Q2398171$B5658F19-2FD8-4130-81A7-4080775DA902","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"68df2d2f484959f3a45302067ba1c837f323a9bf","datavalue":{"value":{"entity-type":"item","numeric-id":2818021,"id":"Q2818021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a842e0f713e351bc5dcf451000e7c07220a8357c","datavalue":{"value":{"amount":"+0.7184701561927795","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":"Q2398171$48CFE4BB-D178-4DB4-85CE-60F3AED42D1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7302cb43bac9da9d63bcf5d653ceedd0d385d3d8","datavalue":{"value":{"entity-type":"item","numeric-id":5108498,"id":"Q5108498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b4bef16b86fb4d63e47787be030c35b12a8ac85","datavalue":{"value":{"amount":"+0.7177347540855408","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":"Q2398171$E78A6D41-0221-49F5-98B7-4E728A16C748","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f7d458edef0a12fe970318efe1226e2d77f71467","datavalue":{"value":{"entity-type":"item","numeric-id":5261512,"id":"Q5261512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"69f28e653046f43e44faacd737627e994d87abc7","datavalue":{"value":{"amount":"+0.7091526985168457","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":"Q2398171$8A8149A0-3F96-416B-8B7F-F8DFFA68CA83","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2398171$B0FA686B-76B1-4940-A332-2085197F1368","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Complexity and resource bound analysis of imperative programs using difference constraints","badges":[]}}}}}