{"entities":{"Q3522073":{"pageid":5551977,"ns":120,"title":"Item:Q3522073","lastrevid":50438906,"modified":"2026-01-14T01:36:35Z","type":"item","id":"Q3522073","labels":{"en":{"language":"en","value":"Automatic Inference of Upper Bounds for Recurrence Relations in Cost Analysis"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5317386"}},"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":"Q3522073$B2668CEB-8B9C-4B23-AFC7-11703096224A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cc1c1f374e3f18c3d046c0b1eb709b6ca5d31908","datavalue":{"value":{"text":"Automatic Inference of Upper Bounds for Recurrence Relations in Cost Analysis","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3522073$AA0DEC33-4CC6-4623-AA96-3211767ED4E7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b6a6479cbf541e228461748373877f1ed1eee85b","datavalue":{"value":"1149.68345","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3522073$1E74C52B-0D18-4EE8-A403-03A6BF2F48D9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"426e2b890503f25f6842cdba7d7615c26c7d5929","datavalue":{"value":"10.1007/978-3-540-69166-2_15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3522073$224E7953-15B3-47F3-B14A-8768DBCE5C92","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"db02a25ee0188485f9ab7c84ccd406f8866487b6","datavalue":{"value":{"entity-type":"item","numeric-id":232928,"id":"Q232928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3522073$84E85B00-4850-48F1-99EC-615F66710D10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"39970b65b758bc4386597449acf75bee389cd656","datavalue":{"value":{"entity-type":"item","numeric-id":764295,"id":"Q764295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3522073$54DA0B5D-ABA3-48C0-904F-5FDE7323927A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cbe753b9d2f7eccff8413eb524ea7d9ea3f789dd","datavalue":{"value":{"entity-type":"item","numeric-id":407519,"id":"Q407519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3522073$19ED3BD4-A352-4AAE-9CE9-F9C483861EE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b08713bd984f0db2e5b63dc9c1aaebc82280c11b","datavalue":{"value":{"entity-type":"item","numeric-id":493523,"id":"Q493523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3522073$4A89872C-1D75-4D72-B550-34BECAA57A86","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"19e166a297e557c212f7b597bbbbc3f69b1ceb4f","datavalue":{"value":{"entity-type":"item","numeric-id":2870767,"id":"Q2870767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3522073$EEA200AD-FCE4-4902-B928-3BEEB5AFE220","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2a6f30c96b939eda7f5ad6004e94c006250dd509","datavalue":{"value":{"time":"+2008-08-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3522073$71D9DF54-BB52-4A7A-974C-C7B394249565","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"98978f836b3a49f1529f843ba5210b3b15f3f46d","datavalue":{"value":"http://oa.upm.es/2904/","type":"string"},"datatype":"url"},"type":"statement","id":"Q3522073$BCE01736-6801-46C5-B477-BAF3A5CA09DD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3522073$A260E4A6-93BA-4362-A480-852B182A336C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"880e466c642a09a6f9c79d8e333d5298e3880d9d","datavalue":{"value":"5317386","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3522073$C021E006-5B72-4F23-AFCF-8103F430AE95","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d2835655056fc5b49a993ffa515714c5f882442b","datavalue":{"value":{"entity-type":"item","numeric-id":17604,"id":"Q17604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3522073$00893FF4-587A-4413-AA0C-DCA0CE283E72","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":"Q3522073$21BFB092-0C73-438C-A78B-0EE22FB3F072","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"12e8d96a98018dcae794885c7389735a73d86f83","datavalue":{"value":"W1563352283","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3522073$B1850BA1-604A-4B7C-BCD2-2568E8CB2270","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"bee048f1ced754f9e44e272868b0ae4d75db8058","datavalue":{"value":{"entity-type":"item","numeric-id":3907046,"id":"Q3907046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3522073$644EF408-DFF6-4C48-8DF2-7D29F010CE1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2148cab7bb0f0347dea7e36d9a70bbec7d7c299","datavalue":{"value":{"entity-type":"item","numeric-id":4411960,"id":"Q4411960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3522073$EC60B86C-5584-4753-AD22-3C0CD789B225","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"906fa5413b47a98c6e1b580cf1856aaa58f10623","datavalue":{"value":{"entity-type":"item","numeric-id":1827392,"id":"Q1827392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3522073$62115561-0D28-48A4-8070-7EBCABB69FDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a389b4b81c24e57cd4fa334091fc133acebf3dd8","datavalue":{"value":{"entity-type":"item","numeric-id":5316573,"id":"Q5316573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3522073$82A81FC3-7D59-40AB-A182-4F67B17B837E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a708f98730dce4f0fa1000a40f28c79f3cf7c27","datavalue":{"value":{"entity-type":"item","numeric-id":5178852,"id":"Q5178852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3522073$EEE72F0D-E680-43DD-BFA1-C0C10F525B40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"766fbaa92bcbb6bbaca460c89e9bad7008c12be6","datavalue":{"value":{"entity-type":"item","numeric-id":3769944,"id":"Q3769944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3522073$4BECFD1C-94A6-4B21-B5E3-64F5B50B55C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26cba9b0310940bbd32ffba3c2357cd3f3194911","datavalue":{"value":{"entity-type":"item","numeric-id":2942925,"id":"Q2942925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3522073$3EDDCEFE-7DF7-46DA-87F6-5BD5F288E265","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab124a7373ba82029ffdcc597bda7b4f27aee620","datavalue":{"value":{"entity-type":"item","numeric-id":5287559,"id":"Q5287559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3522073$45E17C1A-8DDF-4B9D-AF6E-5D90717F4883","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f173186ddb5c93bde4dadd6ac656a7a8f951996b","datavalue":{"value":{"entity-type":"item","numeric-id":3434631,"id":"Q3434631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3522073$FDAD06F8-5D3F-4CAF-93C1-D41CE38B5F2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc822b3b1d5cf1814d59a20db469188e24a0f03e","datavalue":{"value":{"entity-type":"item","numeric-id":4847380,"id":"Q4847380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3522073$88B625BF-2A2E-4F79-B6F2-D21D1529598B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1991f4b547e2ff1c1f581afcf8dbd3668dd60d9","datavalue":{"value":{"entity-type":"item","numeric-id":4062612,"id":"Q4062612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3522073$28FC3927-5F92-4B4D-B108-E9A1E2A94C5B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"676627e0e00852671bb17adf9b92849065704fb7","datavalue":{"value":{"entity-type":"item","numeric-id":2429987,"id":"Q2429987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e37509b02d1c625d5e7152f8662a647edd1b9863","datavalue":{"value":{"amount":"+0.907977283000946","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":"Q3522073$25C80F05-C9E8-454F-BB33-F85885EB540B","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":"4464cb787dc909932e69cb65d46783e854f9e44c","datavalue":{"value":{"amount":"+0.8464270830154419","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":"Q3522073$15FCEF41-DE27-4E4A-BC90-E7D2991307EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8aeafb8a7678e8f40c9e437fec97f3b0a50f17f1","datavalue":{"value":{"entity-type":"item","numeric-id":3075469,"id":"Q3075469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"104cac6fd6e4bc3cc1bbef7e47c266d0b0a44dde","datavalue":{"value":{"amount":"+0.8316711187362671","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":"Q3522073$95FF1CAD-10FD-439D-B441-8557DA93A1DC","rank":"normal"},{"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":"77f304f029353b238309621fd9e5ac226246fd93","datavalue":{"value":{"amount":"+0.768597424030304","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":"Q3522073$F5C8DF2D-5025-488C-8454-B3802BFEB494","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"77aaed4bee9396b41fb32e1bf94a5bad91977b52","datavalue":{"value":{"entity-type":"item","numeric-id":5166697,"id":"Q5166697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8aa2ac5efff93731918ac3ba9c4dba65aa1f2eb9","datavalue":{"value":{"amount":"+0.7574852108955383","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":"Q3522073$58F34057-AD25-4AF6-91E5-424DEDA58647","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3522073","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3522073"}}}}}