{"entities":{"Q5170708":{"pageid":7200280,"ns":120,"title":"Item:Q5170708","lastrevid":52047071,"modified":"2026-01-20T20:08:24Z","type":"item","id":"Q5170708","labels":{"en":{"language":"en","value":"Type-based amortized resource analysis with integers and arrays"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6320260"}},"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":"Q5170708$116B9B1A-BACB-4FDD-9A33-862A16EBB9CA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9d4d4a072f407f278eccbef0ec2eeb651c7302bd","datavalue":{"value":{"text":"Type-Based Amortized Resource Analysis with Integers and Arrays","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5170708$88CEB1A8-0DBD-4619-BB46-2171318B0999","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8b28b77f60013bf98421f571cfe56781a90b1a94","datavalue":{"value":"1416.68038","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5170708$91815EE2-E666-489B-ADDA-D822BDF260D2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"452aac7252f0af29396928445d3d1a17c61fa36f","datavalue":{"value":"10.1007/978-3-319-07151-0_10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5170708$1EAA6F23-86FE-4199-93F0-6C9D5C349EAA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e88be69c40b517dcf95562e728bf82dd0b4372ca","datavalue":{"value":{"entity-type":"item","numeric-id":372958,"id":"Q372958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5170708$5CE6F3AE-EDA1-45EF-A9BE-E23DF5629E09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b45204622bfa7b343b3d270acbf7de72b0faad61","datavalue":{"value":{"entity-type":"item","numeric-id":835763,"id":"Q835763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5170708$F188836A-5CEA-4054-A12B-4D3E8DB68E3E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a2a09b5cba4f9e4657809ce2fd194ee37ff6e885","datavalue":{"value":{"entity-type":"item","numeric-id":2798252,"id":"Q2798252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5170708$99BD4177-02D5-4A66-87BF-9B812A34AF4D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"62d5b6bdf672ccc34d428067b7e9172e5c9711cb","datavalue":{"value":{"time":"+2014-07-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5170708$3F2A0143-B22B-4032-99B8-7C021E20B404","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5170708$90DE7D5A-C83D-4EF6-938E-753EE7D3A34A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c95f7be0676a20ed6ed15d3a0ef4d83b9833c61a","datavalue":{"value":"6320260","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5170708$E0D77741-2EA6-45F1-9D43-6E6D1F71C4AF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"16da24c5a0382d4c0e1b754e184feb71bb9dfeec","datavalue":{"value":"quantitative analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q5170708$1FDC454A-7CE0-4425-9CD1-2870B8A6D30F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4f3b235a572024293dd8d24ca352c1013b454db8","datavalue":{"value":"resource consumption","type":"string"},"datatype":"string"},"type":"statement","id":"Q5170708$7A6CCDBA-C78E-46F8-9F60-C7E2C3EDB652","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7ec37da8502f5286d6e407b7d5b29adece889aef","datavalue":{"value":"amortized analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q5170708$9FEFD76C-8929-4F94-B13F-F2DBA4EB9B22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"00b76a2e54f8798fe172effecd557ced03e2f904","datavalue":{"value":"functional programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q5170708$EE135E6B-4E73-43F0-ABF7-A8305DF80F66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dca5cc682e76d80a491afdf82202532c8173882c","datavalue":{"value":"static analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q5170708$E779E5CA-F21E-4FB0-AF2C-2DB225DC019A","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":"Q5170708$3B3FD7FA-0278-4D4D-8FDA-0BB106B6A6CF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5c086966fdef5a8541c530fe6e7cd4ba1c6e5fb7","datavalue":{"value":"https://doi.org/10.1007/978-3-319-07151-0_10","type":"string"},"datatype":"url"},"type":"statement","id":"Q5170708$4CD36F05-F9FB-4EFA-BE75-3055A99D8DFE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2e6fe7316ae3ec2cd74fca4adfdca4ad14d6184c","datavalue":{"value":"W82233118","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5170708$E64C81C4-4111-43A8-8362-75A546BB2677","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb3ebf1c7e2b0f04ec3de2ce5d6cc1db0b34aab3","datavalue":{"value":{"entity-type":"item","numeric-id":5371954,"id":"Q5371954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a15fffa73faff45c7d6a80fe138885e0fbe7ee11","datavalue":{"value":{"amount":"+0.993849754333496","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":"Q5170708$2133DBC7-D46E-4BDD-8297-131185ED4C21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"761696e99a30f68ac4d6f41855006641f69acf18","datavalue":{"value":{"entity-type":"item","numeric-id":5408556,"id":"Q5408556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"223d9100afb3665b0f6a3a37251cb8bae47830cb","datavalue":{"value":{"amount":"+0.8469844460487366","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":"Q5170708$EB520903-81C9-4EC6-AEBE-065168CDD338","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f1bfc4ce1232f218f043d0164b8ced3edf78d5c7","datavalue":{"value":{"entity-type":"item","numeric-id":3558228,"id":"Q3558228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b54231dc26f72214db7e8729c510f26915b2bfa0","datavalue":{"value":{"amount":"+0.8263706564903259","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":"Q5170708$1F46C159-529B-4699-8309-F2BB2B2066AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9a62d0b2253c22073a42be83a96761e4ef2ea637","datavalue":{"value":{"entity-type":"item","numeric-id":5111324,"id":"Q5111324"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7646b21c92c2d5f1aa0cc8c1dd0df05efbe36f00","datavalue":{"value":{"amount":"+0.8213501572608948","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":"Q5170708$217EAD07-4548-4C3C-A134-9C9F64084958","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":"b860bc37a32f9307da4f15c5703b73df0f6bd65a","datavalue":{"value":{"amount":"+0.8212728500366211","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":"Q5170708$29308169-958E-4B2B-AA12-4851FE240D19","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5170708","badges":[]}}}}}