{"entities":{"Q3558228":{"pageid":5588132,"ns":120,"title":"Item:Q3558228","lastrevid":50972348,"modified":"2026-01-16T00:56:05Z","type":"item","id":"Q3558228","labels":{"en":{"language":"en","value":"Amortized resource analysis with polynomial potential. A static inference of polynomial bounds for functional programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5703410"}},"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":"Q3558228$7D0E2CFD-0AFC-42B4-B6BA-CDF58D5762A1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fb2c1d680bc3393f2c4ab1277851a8d3c390b764","datavalue":{"value":{"text":"Amortized Resource Analysis with Polynomial Potential","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3558228$77A69D63-E300-4F8F-A888-B109BEE328AE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"62809f3b7fb13fcb7d8c895e15c4ff62f1591c04","datavalue":{"value":"1260.68074","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3558228$75EB875E-7E1E-4A38-B96A-A76A71F4BBC2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"74e6517ff56967a44cd4f4c7641d02b9f5708cb7","datavalue":{"value":"10.1007/978-3-642-11957-6_16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3558228$4A5A0D1D-4E5A-443D-8922-667720966CCD","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":"Q3558228$1A70857E-8EA7-4245-B20A-E2991B960E30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"02af282ac48548b384bd92269300a29e2bca8e17","datavalue":{"value":{"entity-type":"item","numeric-id":534711,"id":"Q534711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3558228$F0253B01-9CB0-42E0-8366-CBED283A83B0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7efb66db9d8cc237b51d0f645d1a54c929d4c460","datavalue":{"value":{"entity-type":"item","numeric-id":2789030,"id":"Q2789030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3558228$F41138AB-EAF8-40F6-B86C-BFA1ABF133DD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b0d489a41f5ce9c5a7b74a3f4e524032b8d5d571","datavalue":{"value":{"time":"+2010-05-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3558228$EC9E655E-5256-4AC7-8AB4-C3E9CB944F7F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3558228$94B01DDA-652A-49F3-905D-8D17921B657C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3558228$C14325A4-DC1A-4584-940B-06F658339624","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4f2d2d25e296d1b44628c251e4dc620152b4e185","datavalue":{"value":"5703410","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3558228$CA769E16-2C39-4DAD-BE13-63B5656C2373","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"00b76a2e54f8798fe172effecd557ced03e2f904","datavalue":{"value":"functional programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q3558228$CA4198F4-D5FF-47B0-B87B-516A8CAF518A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dca5cc682e76d80a491afdf82202532c8173882c","datavalue":{"value":"static analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q3558228$627DCBDB-4618-4A3C-8BE3-5EA0067E55F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4f3b235a572024293dd8d24ca352c1013b454db8","datavalue":{"value":"resource consumption","type":"string"},"datatype":"string"},"type":"statement","id":"Q3558228$F26FB995-7962-451B-8B6B-53B31576C4EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7ec37da8502f5286d6e407b7d5b29adece889aef","datavalue":{"value":"amortized analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q3558228$179104EB-DC8F-4950-9113-9EF9A8BB1F3B","rank":"normal"}],"P1463":[{"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":"Q3558228$B94096EF-66FD-485F-8A8D-F6C751A93F47","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":"Q3558228$83924B51-D5D2-43E8-B20E-6BB03437963A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a372261cf0ec8f2c393513c01142852b1cd4f94b","datavalue":{"value":"https://doi.org/10.1007/978-3-642-11957-6_16","type":"string"},"datatype":"url"},"type":"statement","id":"Q3558228$D6F91510-3F7D-4015-AA1F-62F2DD4B00BF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3226c6b3275e65b63d01296de8123b1ad7fce4c5","datavalue":{"value":"W1230660382","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3558228$0F18C970-DCBB-4905-A090-39C05D152E33","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e89b481af36f516e073227c33647f7f5ef6d6d85","datavalue":{"value":{"entity-type":"item","numeric-id":5170708,"id":"Q5170708"},"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":"Q3558228$079606BC-F3C9-4D71-89C5-6C6034122071","rank":"normal"},{"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":"1e296d00282f360789b19dba623f9dad3a41e8fe","datavalue":{"value":{"amount":"+0.8240848779678345","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":"Q3558228$BB07D6E7-7854-469A-84D2-11413A56544E","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":"063a0e9139b4edb3e766c84a74ba59d07e5d5cc8","datavalue":{"value":{"amount":"+0.8177788853645325","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":"Q3558228$491268C9-E6F2-454B-9C2C-ED0E4AF7FBD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be3c2dc0c3aec795bd8db563e2af25af22b3ea3d","datavalue":{"value":{"entity-type":"item","numeric-id":5168911,"id":"Q5168911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a844268d54924694e304b1a5d9f403a0cd3b8ff6","datavalue":{"value":{"amount":"+0.8134443759918213","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":"Q3558228$3DADEC84-652C-4AA1-AABC-4F7C44C20672","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5a8e7b4004f8e04783fd890e058cec3c8423e33b","datavalue":{"value":{"entity-type":"item","numeric-id":5415597,"id":"Q5415597"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"368d682ee83cfb28895dedfceb340615320d6fe3","datavalue":{"value":{"amount":"+0.8054133057594299","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":"Q3558228$4C889ABD-CA00-4E5D-B111-2A07E5117775","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3558228","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3558228"}}}}}