{"entities":{"Q2891436":{"pageid":2902161,"ns":120,"title":"Item:Q2891436","lastrevid":84871556,"modified":"2026-06-02T15:36:51Z","type":"item","id":"Q2891436","labels":{"en":{"language":"en","value":"Automatic inference of resource consumption bounds"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6046596"}},"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":"Q2891436$17E4079C-0415-4086-ACAD-4CE3E4F05326","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"593740745d6d8a3776f9439a3ea238082fa99009","datavalue":{"value":{"text":"Automatic Inference of Resource Consumption Bounds","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2891436$6E032CDA-DA62-4F45-807B-724CF45E90BF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"13fe996182584abfd4ca92c3906d0ab9b0a821cb","datavalue":{"value":"1352.68048","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2891436$E25B91CA-7829-4715-8E3A-0B5018FFCC4B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"446b223983ed4a6038536df2aeca70d01aecc918","datavalue":{"value":"10.1007/978-3-642-28717-6_1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2891436$51260E43-E5F6-472F-8651-64035C92DB89","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":"Q2891436$5313B3D0-649D-432B-86AC-DB29804034C7","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":"Q2891436$C84FCDA3-135C-47AA-9BE4-64E50D61102F","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":"Q2891436$8DB9A1F2-DF48-41D5-8BA0-D2E77B9ABF89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a2f5c7b71b96166a103050eb41122d48b5fbbacf","datavalue":{"value":{"entity-type":"item","numeric-id":989515,"id":"Q989515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2891436$C8EBB9DD-54B4-426F-8A8D-C9D89AA3698A","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":"Q2891436$C97026A2-CF81-456E-B9BA-0D2F0AB36AF2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"23864e2be568bb8a6a4b0526f5a5216348320070","datavalue":{"value":{"entity-type":"item","numeric-id":2870110,"id":"Q2870110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2891436$963F026A-C158-4B9B-8BA1-5780F06E240F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3e77e8a5f31c3c130201e11da285f79066a6e7f3","datavalue":{"value":{"time":"+2012-06-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":"Q2891436$95A2BB49-C9BC-4848-8BB6-EAD008799A1F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2891436$9622E7F8-7680-43D0-9149-672AD61092D5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fb1c67da0bb18cae15c22b28bf2562f6ce1050de","datavalue":{"value":"6046596","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2891436$A28C6A9A-7E94-4ABC-A791-206F3A4075CB","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"aa671ac82600b3ec323d025bf536d1e43831c61f","datavalue":{"value":{"entity-type":"item","numeric-id":12930,"id":"Q12930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2891436$B3CF9F57-65C4-4CF7-97EC-F1121A8C8450","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"acd29a66d944700cc643a55fd08d656223c26c70","datavalue":{"value":{"entity-type":"item","numeric-id":21856,"id":"Q21856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2891436$6266AF5E-783B-44B9-8F69-A5433AFABCF7","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":"Q2891436$CAEE7907-56A4-4401-A35F-7755424D2CBE","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":"Q2891436$D61F7384-B8D1-414A-902E-82B8AA38A669","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a1b89c561763b6192525861145afab0baff8a0cc","datavalue":{"value":"https://doi.org/10.1007/978-3-642-28717-6_1","type":"string"},"datatype":"url"},"type":"statement","id":"Q2891436$42733C72-B725-49AA-8712-2E654623594E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7367de71fe9131a64f358072bc51a3753f30decd","datavalue":{"value":"W2101953483","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2891436$76149673-E12D-43D1-AC4B-9B29D1E6DBA6","rank":"normal"}],"P1643":[{"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":"3e922b0710df0629d32f7883993bd8fc5bccc5ab","datavalue":{"value":{"amount":"+0.7917401194572449","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":"Q2891436$E361BD88-400B-4E3E-93EC-05A79560E544","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c968463b51da458432038916243b9383e5b69420","datavalue":{"value":{"entity-type":"item","numeric-id":5370874,"id":"Q5370874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"250bddae5c950a6e40f8b8ffef3efe264f7d0830","datavalue":{"value":{"amount":"+0.7720754742622375","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":"Q2891436$61F4C658-CF3C-4B9D-8EA5-1575BB93AF11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf6e8990deabb0e7ffcf6ec082019013db4e1157","datavalue":{"value":{"entity-type":"item","numeric-id":2802433,"id":"Q2802433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"406ae615708404653fd12e993936f7e1030261f0","datavalue":{"value":{"amount":"+0.7658350467681885","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":"Q2891436$DA58C507-9079-4F00-9937-2DABFB0CD2AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e61f5e769a3370191dff8520a9efc79de1d22c7","datavalue":{"value":{"entity-type":"item","numeric-id":5255076,"id":"Q5255076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c7e8289f9c02326f5d48def527dd20d1889bb863","datavalue":{"value":{"amount":"+0.7590277791023254","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":"Q2891436$A3A24F86-F84E-4978-9BBD-2CBB1C1F07F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0667b953dc767cf4cd903ac17fa69f11f3b19d0d","datavalue":{"value":{"entity-type":"item","numeric-id":2164211,"id":"Q2164211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"adc03acfdb3c3797b917f82d049664ddf3b8df86","datavalue":{"value":{"amount":"+0.753041684627533","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":"Q2891436$63EE956E-A1E8-496E-B7FE-4E5E1323AB17","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Automatic inference of resource consumption bounds","badges":[]}}}}}