{"entities":{"Q7361860":{"pageid":31521119,"ns":120,"title":"Item:Q7361860","lastrevid":105423920,"modified":"2026-10-08T13:45:48Z","type":"item","id":"Q7361860","labels":{"en":{"language":"en","value":"Splay Tree"}},"descriptions":{"en":{"language":"en","value":"AFP entry Splay_Tree"}},"aliases":{},"claims":{"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":"Q7361860$03DD12B8-B92B-4771-8C61-C27B517E75D3","rank":"normal"}],"P43":[{"mainsnak":{"snaktype":"value","property":"P43","hash":"78083bbf5b06a4f292e9e00ee445948e4fa51db5","datavalue":{"value":"Tobias Nipkow","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361860$FF8193CE-EEDD-488A-90C4-B66AA7566C44","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":"Q7361860$7B642F01-F50B-4E4E-B38A-E4F4EEC59817","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":"Q7361860$5E8B4D54-6934-40EE-9859-61850ABF9C50","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":"Q7361860$0E042487-2C31-4DBD-8E36-2C0E522D0E62","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":"Q7361860$D5E6AAEF-89AE-4BE7-A4CD-4D3E1C412117","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b7b9cb02649c9588a2e8021553d1e8b59ed750c0","datavalue":{"value":{"text":"Splay Tree","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q7361860$5CAB08E0-5F8F-4084-A543-6973F559D2CC","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":"Q7361860$801A46F7-3DC3-4338-9193-DE0A75059684","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":"Q7361860$5EEBCA5B-D9B7-4232-9D9E-DB86C6323151","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":"Q7361860$B6AC0A06-67E6-4849-B7C3-4121B649819A","rank":"normal"}],"P13":[{"mainsnak":{"snaktype":"value","property":"P13","hash":"c8b7aa1998c98a6f6da9dfe035a77c170b541a65","datavalue":{"value":"28528","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7361860$94E35E50-CCE8-4CE7-99FC-4ACA35981AE4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"acf10290b955a69659a681d98822944f91bbad9e","datavalue":{"value":"68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7361860$1A72FA63-FF44-4036-8EBC-ACEA8641F3B0","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":"Q7361860$3BD37017-A794-4A32-AB71-28B30B9909BF","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":"Q7361860$7B42149B-63BC-42C8-904E-57B81E8CF79E","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":"Q7361860$21B58195-ED94-44A9-AF55-9788C7A08774","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":"Q7361860$73B8D8CD-CABD-44B0-90F1-515BC62B6B8C","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":"Q7361860$71432BF8-4458-4225-ACFF-B41ADD536FE4","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":"Q7361860$6DD2D3E0-238D-4C8D-9706-A4696653A2DB","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":"Q7361860$D697E8AA-70E0-4F60-BA63-0B4FE0B5772C","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":"Q7361860$939BBE3A-B816-4263-B3B3-F539A2EB59C5","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":"Q7361860$FAE84D70-9571-4BBE-825F-8776961B9388","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":"Q7361860$1E432517-0118-4B2A-8B5C-8982899D5253","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":"Q7361860$B2C0BCB3-FAEE-4A1D-BD4D-C88636E7BCA3","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":"Q7361860$1DC8C578-BED1-4F91-A85F-775473B245CC","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":"Q7361860$3E09FF51-A180-44C5-91D9-26F37891E69E","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":"Q7361860$818CA21C-9E53-4578-98AF-D2260C2C7CF4","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":"Q7361860$4F8E9572-A9C4-4756-BCA1-C3738B806DF5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Splay Tree (AFP entry Splay Tree)","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Splay_Tree_(AFP_entry_Splay_Tree)"}}}}}