{"entities":{"Q40242":{"pageid":40298,"ns":120,"title":"Item:Q40242","lastrevid":105427532,"modified":"2026-10-09T10:07:48Z","type":"item","id":"Q40242","labels":{"en":{"language":"en","value":"Splay Tree"}},"descriptions":{"en":{"language":"en","value":"AFP entry Splay_Tree"}},"aliases":{},"claims":{"P13":[{"mainsnak":{"snaktype":"value","property":"P13","hash":"c8b7aa1998c98a6f6da9dfe035a77c170b541a65","datavalue":{"value":"28528","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q40242$77AAD91C-2428-4F67-82FB-586761E895AF","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":"Q40242$6E76593B-B2A1-4801-A199-4DFE63B703C7","rank":"normal"}],"P29":[{"mainsnak":{"snaktype":"value","property":"P29","hash":"3edbb78f33df17d9879126850988df6422d53886","datavalue":{"value":"https://www.isa-afp.org/entries/Splay_Tree.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q40242$AD2E3A0A-14AE-4D2A-93BB-FDFB24E5F404","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"acf10290b955a69659a681d98822944f91bbad9e","datavalue":{"value":"68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q40242$2624FF2E-348E-4A82-BE11-546645CDB733","rank":"normal"}],"P1458":[{"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":"Q40242$16083BD7-CCCB-4607-976B-4DEF9C8565B0","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":"Q40242$E3101A9F-A40F-474A-9DE4-33A62F51609E","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":"Q40242$9D67C191-CD7A-4FF2-9CB5-256E47D655F8","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":"Q40242$68B1E38D-7DBA-41FD-AE4A-75F781B5ED89","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":"Q40242$B6B8A3A2-46CC-4791-9CE2-5E1CB8EE3065","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":"Q40242$B775C1A0-2137-415D-83E6-E93F94FCEDD0","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":"Q40242$91563914-0AF2-4F20-BF95-975A4D106343","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"e47a88c8cdfcce1d988a599570eecc05b30b8ffd","datavalue":{"value":{"entity-type":"item","numeric-id":40243,"id":"Q40243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40242$3BB5B021-A9C3-485D-9E86-8CBBE3A8D169","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":"Q40242$6C3102C5-11B0-47C8-8B2C-09CE4455429E","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":"Q40242$0B590991-FEE9-40B9-97A9-577B977EF481","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":"Q40242$139C750F-D662-47F9-9271-BF3FEF7D6B9F","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":"Q40242$D637E08F-1800-4CEF-A15A-74FF9121821C","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":"Q40242$3B83EDF2-CC18-4DB9-BC3E-FA3C74FDC8BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"ca304bee9fe49b92c6720e7577a73ab53e469179","datavalue":{"value":{"entity-type":"item","numeric-id":40288,"id":"Q40288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40242$7CA15EF8-E6C2-441D-8ACB-DA3D7B448819","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"139c69b2a23f419923a7989e28183ef8179b6836","datavalue":{"value":{"entity-type":"item","numeric-id":12833,"id":"Q12833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40242$898DF5F0-EDC9-4D20-9CCF-EDA4735C1DCD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b4971a9ddf74884bcf16701fd33c65a59b55dbf2","datavalue":{"value":"https://isa-afp.org/entries/Splay_Tree.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q40242$3A76847D-6182-41E0-BD90-79B816EEA59F","rank":"normal"}],"P43":[{"mainsnak":{"snaktype":"value","property":"P43","hash":"78083bbf5b06a4f292e9e00ee445948e4fa51db5","datavalue":{"value":"Tobias Nipkow","type":"string"},"datatype":"string"},"type":"statement","id":"Q40242$EA84756D-C65E-4829-95CD-670A2286FF07","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"1768236053809edeec33045d203bf1eb51acb10d","datavalue":{"value":"Splay trees are self-adjusting binary search trees which were invented by Sleator and Tarjan [JACM 1985]. This entry provides executable and verified functional splay trees as well as the related splay heaps (due to Okasaki). The amortized complexity of splay trees and heaps is analyzed in the AFP entry Amortized Complexity .","type":"string"},"datatype":"string"},"type":"statement","id":"Q40242$407F7EB2-1674-4CA0-A222-29431E5F3AD1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"561c39284ec9421bb8483b2aeef47c80a5eebeb1","datavalue":{"value":{"entity-type":"item","numeric-id":2829265,"id":"Q2829265"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40242$1B0C3E10-065D-48EE-B240-6234C49DE684","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":"Q40242$D6225298-5213-4AFF-8121-849D8A8F7E63","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b9b4b63f7cea1582a3ada3e746b2363fec15bfa5","datavalue":{"value":{"time":"+2014-08-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q40242$317E53C8-6795-4475-B5F7-48B7687B69C8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b7b9cb02649c9588a2e8021553d1e8b59ed750c0","datavalue":{"value":{"text":"Splay Tree","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q40242$8AEB953E-04E9-46C0-8089-04FBF79A2C31","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":"Q40242$D2764B5B-7201-4517-B320-556E9F0DD1BB","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":"Q40242$D7B8D922-C2FD-43F4-B676-960A7B78690F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Splay Tree","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Splay_Tree"}}}}}