{"entities":{"Q40320":{"pageid":40376,"ns":120,"title":"Item:Q40320","lastrevid":105427085,"modified":"2026-10-09T10:06:48Z","type":"item","id":"Q40320","labels":{"en":{"language":"en","value":"Amortized Complexity"}},"descriptions":{"en":{"language":"en","value":"AFP entry Amortized_Complexity"}},"aliases":{},"claims":{"P13":[{"mainsnak":{"snaktype":"value","property":"P13","hash":"9a9c1f8b7cafcd19f981fae36c86ce9c2eaab211","datavalue":{"value":"28606","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q40320$A81C1054-F10B-4311-9582-8FF78A5C2201","rank":"normal"}],"P286":[{"mainsnak":{"snaktype":"value","property":"P286","hash":"25c47c499c76f93edd7311924dfb1f235d6f17be","datavalue":{"value":{"entity-type":"item","numeric-id":2945642,"id":"Q2945642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40320$2A5DD415-4719-4B56-8A0F-95897E608178","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"908c3454b3659c4b140ccce33c5aee31081edc8d","datavalue":{"value":{"entity-type":"item","numeric-id":5976450,"id":"Q5976450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40320$826B0774-6986-45CE-BE6C-7A94D85F50D9","rank":"normal"}],"P29":[{"mainsnak":{"snaktype":"value","property":"P29","hash":"43eecb1e0caf1835619a3a30d7294a7293394a2c","datavalue":{"value":"https://www.isa-afp.org/entries/Amortized_Complexity.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q40320$97C209D3-EF28-4B5C-B845-831420F9E549","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0db99c3b17fc587dc6d0b047e5ff5ce0de1786ab","datavalue":{"value":"03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q40320$FA3DB01D-47E2-4A54-A1D9-0B6D507D88DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"95bde9084e6ca63a8492631a417b047b22c72453","datavalue":{"value":"05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q40320$AB0DE770-D179-49A8-9C0E-02E235C4CCAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"acf10290b955a69659a681d98822944f91bbad9e","datavalue":{"value":"68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q40320$67148EEA-BA98-4D15-934E-8A70D724414C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"541da1e359051dfcf3c498b9f1f1f8f905fbafe3","datavalue":{"value":"90","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q40320$75F29929-0B93-40A7-A57B-F0ECCA1EC023","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9ccfc2ffdb7a60cd36d8dca0a4e6d9d45f5228f3","datavalue":{"value":"3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q40320$E96C9E91-1F77-4E35-9ED2-23E4BB554A0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"24f8ba20e8ffa07910d0666302c1f09a25449c97","datavalue":{"value":"5.0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q40320$BC581FF0-957A-4782-BE2C-08049AD24883","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"09f5e0c6033338f59ef27e37d6877da0f26d9646","datavalue":{"value":"68.0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q40320$A988D996-F1A4-4DCE-A4BA-617EEF4A4051","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1a8aa801742e290b2e6820d89349e86d8f23555f","datavalue":{"value":"90.0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q40320$F3E38DA2-0633-4FCD-A8E4-E1D9176459A5","rank":"normal"}],"P1458":[{"mainsnak":{"snaktype":"value","property":"P1458","hash":"a2a767ccd0e9bdc5b1b4a2069a6679f9340a857a","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40320$8321809A-DD7C-4DAD-A327-0FEDD6C61606","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"bb05cb23794774f62a8e4aa4de610af231973a1d","datavalue":{"value":{"entity-type":"item","numeric-id":40327,"id":"Q40327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40320$17FA6FC4-AC14-48F9-8F33-CCADE927D6DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"cc41d9364226bfa8139f8dbc43b1b77967245f13","datavalue":{"value":{"entity-type":"item","numeric-id":17631,"id":"Q17631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40320$2A3ECBCC-6985-4D5C-BEF1-6BF00C4A22A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"ecda3e6d8e971c0b93d4cf3afb41990e853f830f","datavalue":{"value":{"entity-type":"item","numeric-id":13212,"id":"Q13212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40320$99ACC4A1-893F-45C0-BB33-AFE26B38F933","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"03281999c3208b8f3a62eaceadadf1ce834fe219","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40320$CB8AB66A-1DC1-49EC-81C1-1D64154BB90C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"a24f8a7388f66e88d6b3ae785d8ac21a7facd0b9","datavalue":{"value":{"entity-type":"item","numeric-id":34466,"id":"Q34466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40320$C68C3F8B-0E04-4517-8367-07BAD08AEDAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"868d665ea0607bf8bd28ea3e3872eb2ea87bd3d3","datavalue":{"value":{"entity-type":"item","numeric-id":40371,"id":"Q40371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40320$3D57E696-FFC0-46BA-9C74-59E1C25EFAAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"07eb0f28b45c8f9b5cf112bbf02e95717fb938ca","datavalue":{"value":{"entity-type":"item","numeric-id":25202,"id":"Q25202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40320$DC83BA02-07B4-4F00-AB9C-24B454DDB93E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"d6759b8dfb07be9f446b8d7ca7d3edd28f680e38","datavalue":{"value":{"entity-type":"item","numeric-id":55526,"id":"Q55526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40320$34647649-7E80-45C2-B783-9A0731593FD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"30c6b3cd0def4321e84267e90719462e2335afdf","datavalue":{"value":{"entity-type":"item","numeric-id":39280,"id":"Q39280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40320$07FEC304-C776-4DB3-BC8F-E19E85C04146","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"cc4eff68b160f30b8d66dfcb610a0ea7a927079b","datavalue":{"value":{"entity-type":"item","numeric-id":17039,"id":"Q17039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40320$84A32E33-581B-47F4-92B9-A1F7401E09D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"244ebbac6461f60bed6d50e50ce8194b0e233968","datavalue":{"value":{"entity-type":"item","numeric-id":40296,"id":"Q40296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40320$150F0702-04D3-4581-AECD-8E69AC0EE3ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"3a073d1e3162db58b1a890386d8dbe9eebb4637c","datavalue":{"value":{"entity-type":"item","numeric-id":40373,"id":"Q40373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40320$5C6AB7A8-D88C-4CEA-B9F1-EB72DA260965","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"b74075817e632ca235b8b1333580f4f12e29f9fd","datavalue":{"value":{"entity-type":"item","numeric-id":40372,"id":"Q40372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40320$633C12B4-CBDB-4BB6-80EF-8750563E3264","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"6bbc316d4497e097d8fb3e48fd57f7643b44826c","datavalue":{"value":{"entity-type":"item","numeric-id":40246,"id":"Q40246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40320$B61EB8CD-8CA4-45A5-91D0-C0F9B4843369","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"03bedb439d5ea402bd9603d3cdfe1813f9fa06ca","datavalue":{"value":{"entity-type":"item","numeric-id":40356,"id":"Q40356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40320$56BEEBFE-5477-47C8-942C-4F5C9B480359","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"0777df209460f6d453f13a63edbbd60cf656f2b5","datavalue":{"value":{"entity-type":"item","numeric-id":40355,"id":"Q40355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40320$9A76737F-95F2-41D7-B11A-5A1985DE6D96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"11b17bf0aad870b7d67d5fcc59497302cef60198","datavalue":{"value":{"entity-type":"item","numeric-id":40242,"id":"Q40242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40320$94BC36E1-632F-46D5-AE5A-C318D0A88469","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"b0460c22effbdc7abae47c972770a9682cc008dc","datavalue":{"value":{"entity-type":"item","numeric-id":18489,"id":"Q18489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40320$17061E7C-CDC3-4CE1-9F19-61AB7E455BE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"845fea984bd3d6706acc856d0595755051e72c0c","datavalue":{"value":{"entity-type":"item","numeric-id":40263,"id":"Q40263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40320$BECBA77F-038B-45A2-8C10-F47EFD20F0E8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"317a3fd4cd517ed875930c1e44f9ddd954748f04","datavalue":{"value":"https://isa-afp.org/entries/Amortized_Complexity.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q40320$8DB40A01-8FB7-4D2C-A62A-B62DDF706C25","rank":"normal"}],"P43":[{"mainsnak":{"snaktype":"value","property":"P43","hash":"78083bbf5b06a4f292e9e00ee445948e4fa51db5","datavalue":{"value":"Tobias Nipkow","type":"string"},"datatype":"string"},"type":"statement","id":"Q40320$B71401BF-5F78-4FE0-AC44-FC6CACE64247","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"59a378ed400d47e9310d2f692097fe733789c7a4","datavalue":{"value":"A framework for the analysis of the amortized complexity of functional data structures is formalized in Isabelle/HOL and applied to a number of standard examples and to the folowing non-trivial ones: skew heaps, splay trees, splay heaps and pairing heaps.","type":"string"},"datatype":"string"},"type":"statement","id":"Q40320$A140006E-3125-4E25-B6DA-51B7D9A70CE7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"11eefd7e7dc86c1755a8db4c6825e6e9fdeb6d39","datavalue":{"value":{"entity-type":"item","numeric-id":3619797,"id":"Q3619797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40320$98DE5667-00C8-4E32-A090-A6B426CA9FD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b980742713f9c604d1b9de272a394cd150a1241","datavalue":{"value":{"entity-type":"item","numeric-id":1087333,"id":"Q1087333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40320$0E9E6267-E862-444E-8DD3-03F4CBA71F81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81f9930c7eef9ded01a2755b2f40ce9744a8e4ba","datavalue":{"value":{"entity-type":"item","numeric-id":751283,"id":"Q751283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40320$D5819322-14A5-4625-8A61-D0EA12F11B11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"997214a7b55ffabdba512d09541bacb2e1bdf519","datavalue":{"value":{"entity-type":"item","numeric-id":2945642,"id":"Q2945642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40320$32727354-1484-43FA-B945-EA4CC35A1AA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b3060c6ee9db0a8d2353832be4b174845642139","datavalue":{"value":{"entity-type":"item","numeric-id":1209317,"id":"Q1209317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40320$96E66033-53AF-493F-A744-BE30F97BEC5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0f53d9231bc5ff64922d7dd218bb49071786117","datavalue":{"value":{"entity-type":"item","numeric-id":3768416,"id":"Q3768416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40320$89581901-BF5C-4E12-9418-46282F2566A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0bba8b7c8542e2c26e84a3bf236da2ed58fd93e","datavalue":{"value":{"entity-type":"item","numeric-id":4728230,"id":"Q4728230"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40320$07E8A9D4-29CB-4405-8A9B-9D2B76755DDD","rank":"normal"}],"P585":[{"mainsnak":{"snaktype":"value","property":"P585","hash":"693b52a7b9dd01d1026b7fe332818dab80c9c06b","datavalue":{"value":{"entity-type":"item","numeric-id":7361590,"id":"Q7361590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40320$4BDB0B5A-907A-49DB-95FB-E67EA1E9C1C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P585","hash":"383ee0493fed4fd05a41d9334be19351a4302e45","datavalue":{"value":{"entity-type":"item","numeric-id":7361252,"id":"Q7361252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40320$70109632-4631-4445-83CA-979751F80195","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P585","hash":"fd0f40dea0909149a861361e56043ea26383f30c","datavalue":{"value":{"entity-type":"item","numeric-id":7361860,"id":"Q7361860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40320$948B5014-935C-46B2-BBCC-4E1DAB1B0B38","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"57d603758fe5a0b1a306672087901c5802a7cd9a","datavalue":{"value":{"time":"+2014-07-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q40320$797AA30D-C257-47A9-9C41-85B4B33714AE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b276afe04ee9c3a382fe7165721453b617ed7975","datavalue":{"value":{"text":"Amortized Complexity Verified","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q40320$0190AE8A-B073-4008-BFDF-74772BBCF817","rank":"normal"}],"P37":[{"mainsnak":{"snaktype":"value","property":"P37","hash":"9a21a8eebe97539644aa32b24dda137c12e751dc","datavalue":{"value":{"entity-type":"item","numeric-id":40327,"id":"Q40327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40320$1112FF19-BF13-45F8-BD25-7375173206BB","rank":"normal"}],"P2651":[{"mainsnak":{"snaktype":"value","property":"P2651","hash":"ef7bddd24a035fe32f48fd95ea6033928a9b8e67","datavalue":{"value":{"entity-type":"item","numeric-id":7360788,"id":"Q7360788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40320$55461301-0ACE-49C3-AE51-F0535CE5DE77","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Amortized Complexity","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Amortized_Complexity"}}}}}