{"entities":{"Q40243":{"pageid":40299,"ns":120,"title":"Item:Q40243","lastrevid":105429125,"modified":"2026-10-09T10:11:19Z","type":"item","id":"Q40243","labels":{"en":{"language":"en","value":"Skew Heap"}},"descriptions":{"en":{"language":"en","value":"AFP entry Skew_Heap"}},"aliases":{},"claims":{"P13":[{"mainsnak":{"snaktype":"value","property":"P13","hash":"195e12978a0967c29b517b5e3e704a61288c0ee6","datavalue":{"value":"28529","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q40243$605B0D1B-1C38-4DAA-B208-FF5756D35D5A","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":"Q40243$DAEC2A10-56C2-4354-96EC-D75415144001","rank":"normal"}],"P29":[{"mainsnak":{"snaktype":"value","property":"P29","hash":"d1513b817651d69d5f19dad0e54e06516b8e199b","datavalue":{"value":"https://www.isa-afp.org/entries/Skew_Heap.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q40243$8885C1AA-871C-48CE-BBBB-1C7396EEB67F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"acf10290b955a69659a681d98822944f91bbad9e","datavalue":{"value":"68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q40243$5B715A39-A82A-40CA-935F-E90622A3F0BD","rank":"normal"}],"P1458":[{"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":"Q40243$F0F04A56-E174-435C-8603-A637EC6C0959","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":"Q40243$D613877E-2C8E-47DB-A9AA-3CAA05398BD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"246d8bcd4bf1600a7c6d2b07f9f11f8689d33486","datavalue":{"value":{"entity-type":"item","numeric-id":40320,"id":"Q40320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40243$9A54EBE9-AF3F-417C-8594-055697BFBE2F","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":"Q40243$84F48635-9D5D-4733-9D91-9530FEA1108F","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":"Q40243$1EADA604-B75D-406E-ABD8-BD467C8B3861","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"f6bc14ced85504d0d308b16fbeab1267c9cb86c9","datavalue":{"value":{"entity-type":"item","numeric-id":40241,"id":"Q40241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40243$24A09F25-BDF7-4633-B6F4-1E22F292C45C","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":"Q40243$0016E499-F725-4EDB-B094-4BC567F913FD","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":"Q40243$7ED53833-0778-4343-9A5F-FA7F129EFEF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"7343f563fd02ee3f7d39ccb038f5c1c6c726769a","datavalue":{"value":{"entity-type":"item","numeric-id":20799,"id":"Q20799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40243$68EC4757-11F7-4835-8E00-66156F9ECAA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"18e15e946a9b8db60c88d8c0a9a054a3d76ac633","datavalue":{"value":{"entity-type":"item","numeric-id":14553,"id":"Q14553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40243$67D5DCAF-DFA2-4F35-AC0E-1E3D546291F2","rank":"normal"},{"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":"Q40243$F8851E0B-911B-4780-BB9B-F21C6DD23F07","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":"Q40243$303A09D1-3F54-49CF-9B5B-4697B076A09A","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":"Q40243$C1039149-690C-46FA-B3E6-E7C31C6D2C86","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e36cca34e45da7b05adcd253c21f38a78b40ddc0","datavalue":{"value":"https://isa-afp.org/entries/Skew_Heap.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q40243$00E77E71-A3A4-422E-B875-5D7CAAB6704C","rank":"normal"}],"P43":[{"mainsnak":{"snaktype":"value","property":"P43","hash":"78083bbf5b06a4f292e9e00ee445948e4fa51db5","datavalue":{"value":"Tobias Nipkow","type":"string"},"datatype":"string"},"type":"statement","id":"Q40243$CDDC7695-4F22-497A-B2B7-A7BAF4A6847F","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"029646a2a7c766d23b0a3347ea0604c4d86654b9","datavalue":{"value":"Skew heaps are an amazingly simple and lightweight implementation of priority queues. They were invented by Sleator and Tarjan [SIAM 1986] and have logarithmic amortized complexity. This entry provides executable and verified functional skew heaps. The amortized complexity of skew heaps is analyzed in the AFP entry Amortized Complexity .","type":"string"},"datatype":"string"},"type":"statement","id":"Q40243$2CA21603-4038-4059-BA89-9080F4F5819E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f80e145b44ef7aa11a9e241ede63c58486ab29d7","datavalue":{"value":{"time":"+2014-08-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q40243$4E597399-364C-4AE5-B539-B9EC01FA52EC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cf4cbe0cefae720d373776c7eb092f56778d9861","datavalue":{"value":{"text":"Skew Heap","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q40243$BB7574D8-2EB3-44F5-8C7A-B6347D36A157","rank":"normal"}],"P223":[{"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":"Q40243$A9F9938A-7FC6-4F93-BC78-A0626C017A05","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":"Q40243$6F5B0D45-906C-4B7D-BAD7-30555C6DE9F1","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":"Q40243$BE8140D3-8C89-4719-83A8-7D0147E3EC41","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Skew Heap","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Skew_Heap"}}}}}