{"entities":{"Q7361252":{"pageid":31519295,"ns":120,"title":"Item:Q7361252","lastrevid":105364370,"modified":"2026-10-07T13:35:19Z","type":"item","id":"Q7361252","labels":{"en":{"language":"en","value":"Skew Heap"}},"descriptions":{"en":{"language":"en","value":"AFP entry Skew_Heap"}},"aliases":{},"claims":{"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":"Q7361252$CABF26AF-FC7A-4D25-8B0C-4275EC2881F6","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":"Q7361252$9FAD23C2-9FB7-44E4-AED5-610A2FE2074D","rank":"normal"}],"P43":[{"mainsnak":{"snaktype":"value","property":"P43","hash":"78083bbf5b06a4f292e9e00ee445948e4fa51db5","datavalue":{"value":"Tobias Nipkow","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361252$05206DD4-1159-49A8-9DF2-F010EAA2D427","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cf4cbe0cefae720d373776c7eb092f56778d9861","datavalue":{"value":{"text":"Skew Heap","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q7361252$A79C270F-B6B0-4C4A-9CC1-7EE3148BB717","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":"Q7361252$D9332303-CE83-47B8-81E2-EA6B6F92D5A5","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":"Q7361252$6C64AA2D-EE48-47EB-9B8F-1EF39331CD88","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":"Q7361252$531B0888-A92D-4A16-A96E-7F7C4AA60E49","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":"Q7361252$6133F9BE-35ED-4302-B083-9B1A9866C36C","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":"Q7361252$BD87A63D-B520-4B95-AFEA-E2FD2EFD3014","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Skew Heap (AFP entry Skew Heap)","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Skew_Heap_(AFP_entry_Skew_Heap)"}}}}}