{"entities":{"Q7361385":{"pageid":31519694,"ns":120,"title":"Item:Q7361385","lastrevid":105365291,"modified":"2026-10-07T13:35:46Z","type":"item","id":"Q7361385","labels":{"en":{"language":"en","value":"Priority Search Trees"}},"descriptions":{"en":{"language":"en","value":"AFP entry Priority_Search_Trees"}},"aliases":{},"claims":{"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d04250392537d46ad7e5d597a04e4e2bec8abf75","datavalue":{"value":"https://isa-afp.org/entries/Priority_Search_Trees.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q7361385$D398697D-0CD9-4CC9-9D6C-4C57A65322B8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"32811a0eefced7079831f67220d5dfb015d0445e","datavalue":{"value":{"time":"+2019-06-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q7361385$155DBEA4-5A0F-4CF6-8A5D-EC03729FE95E","rank":"normal"}],"P43":[{"mainsnak":{"snaktype":"value","property":"P43","hash":"7545c5768cca6bd4b47e52bfec18c22cb81849df","datavalue":{"value":"Peter Lammich","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361385$61EBA650-3E68-41CD-802F-E7EED8C2038B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P43","hash":"78083bbf5b06a4f292e9e00ee445948e4fa51db5","datavalue":{"value":"Tobias Nipkow","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361385$4F977A52-BCD4-4B02-9FEC-0905FB14196D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"12d61fde5e2780f8852f859ecab08ecb9dbab92b","datavalue":{"value":{"text":"Priority Search Trees","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q7361385$DCFF3CC2-6CF4-4B2A-875B-DB60DF4C4C48","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"0667c734550d940631d8ff95cc8256552fb13b83","datavalue":{"value":"We present a new, purely functional, simple and efficient data structure combining a search tree and a priority queue, which we call a priority search tree . The salient feature of priority search trees is that they offer a decrease-key operation, something that is missing from other simple, purely functional priority queue implementations. Priority search trees can be implemented on top of any search tree. This entry does the implementation for red-black trees. This entry formalizes the first part of our ITP-2019 proof pearl Purely Functional, Simple and Efficient Priority Search Trees and Applications to Prim and Dijkstra .","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361385$FE3FB751-8028-47DB-BF54-E2988C8B98F6","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e35cfc212c85aaa97598370541cd17cff268048b","datavalue":{"value":{"entity-type":"item","numeric-id":4436983,"id":"Q4436983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361385$5299F459-264A-430F-9C07-F2385711559B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c60f93a1843fcd9c0656971efa4327b435decb9","datavalue":{"value":{"entity-type":"item","numeric-id":4736387,"id":"Q4736387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361385$2CA288F9-C546-4194-B72A-191D885D555A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b6023aa89253bff82e01277400127991ae28741","datavalue":{"value":{"entity-type":"item","numeric-id":3543656,"id":"Q3543656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361385$E351F97E-5193-40A9-89A4-9A9F6812726C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3343c3ecaf29b3d00ed730793fb135803dd0ca2f","datavalue":{"value":{"entity-type":"item","numeric-id":5176992,"id":"Q5176992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361385$34EDD254-6E13-4F90-90D3-E48DD616DD6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e264974062f53b439460b85662778a60b49509d","datavalue":{"value":{"entity-type":"item","numeric-id":2926333,"id":"Q2926333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361385$AAB7C8EB-5DF4-4B67-BC95-1767B03C986A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9194e9b150f8488fef979658da21ddd0e60751fc","datavalue":{"value":{"entity-type":"item","numeric-id":3651735,"id":"Q3651735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361385$0D5C5223-FEB7-43F6-9B2D-5FD957A71B98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b4c337c73bbdd8c0af97b41ae34298f7432cd64a","datavalue":{"value":{"entity-type":"item","numeric-id":5746215,"id":"Q5746215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361385$21E8EF56-E1FC-40B0-8445-72085D4E7FD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cdb064f7edd1f7f72eb4f24ad6649850942aeb52","datavalue":{"value":{"entity-type":"item","numeric-id":5178002,"id":"Q5178002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361385$D6029B92-B738-459B-97E4-A3950A01EAAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d0fb76487e24faee4c3ae84f3bcc85fa12a2976","datavalue":{"value":{"entity-type":"item","numeric-id":327098,"id":"Q327098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361385$BCA8F40E-7F2F-4FD3-9A1F-21BEF79C4FF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52923ce6b0d0ff62a58dcf078994b6da4f6f1e77","datavalue":{"value":{"entity-type":"item","numeric-id":1339988,"id":"Q1339988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361385$B356A423-08A3-4279-9D44-DEE8CB3CF6D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e99eedd77af0f5fa2fe26be582621b78682d4a3","datavalue":{"value":{"entity-type":"item","numeric-id":1407695,"id":"Q1407695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361385$4FC71D5B-9E98-4C0F-ADFC-8A0B309BAC23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b989f45b85fa44137ad22092706b6102fd241bf","datavalue":{"value":{"entity-type":"item","numeric-id":78129,"id":"Q78129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361385$EA030D35-7AF4-4D9B-9ABA-35D7A52EAC32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8f6d658032331dfb0270d5e1966446426f3c01f","datavalue":{"value":{"entity-type":"item","numeric-id":5326280,"id":"Q5326280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361385$B58620D1-387E-48E8-9516-B755B96254F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3bef23118bf98d63fdbb00d06eb4b6e716d89399","datavalue":{"value":{"entity-type":"item","numeric-id":3179390,"id":"Q3179390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361385$52061CE1-2504-4261-ACFA-B5040FD6E1C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da0d795517e293a55fbffeee6d84c637293c8bf8","datavalue":{"value":{"entity-type":"item","numeric-id":5327339,"id":"Q5327339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361385$95E6774F-FDDF-44E6-9787-FA1A81924AF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"931c42c28f22f89fe1b66164f9ececc2021ac1a2","datavalue":{"value":{"entity-type":"item","numeric-id":3558332,"id":"Q3558332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361385$D52DEA38-3C63-43CA-AF14-4FDC99B578E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81006327d72d2859034c6eecc92705ccc5770eba","datavalue":{"value":{"entity-type":"item","numeric-id":3377461,"id":"Q3377461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361385$91728302-1838-438F-82F9-642A3E735652","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db463348657cf41d5ff4d422c54e0c686e6e5dfc","datavalue":{"value":{"entity-type":"item","numeric-id":2554952,"id":"Q2554952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361385$122074BE-CAF2-47FC-B885-853F923E53B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"18ac860696e668a9ea3bf009a3485e439b6a4bbd","datavalue":{"value":{"entity-type":"item","numeric-id":3859249,"id":"Q3859249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361385$D7A81883-F407-425A-937D-84FEF6DA87DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f817c25e678d90420f00554ce09d160ef2c5bd73","datavalue":{"value":{"entity-type":"item","numeric-id":5875432,"id":"Q5875432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361385$FDEC22F6-269E-43D1-A0F3-CA926FB29C23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7f766bae7bb1dc745731294a8b2405f79150a41","datavalue":{"value":{"entity-type":"item","numeric-id":2914741,"id":"Q2914741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361385$AEC9B400-212F-4D31-823E-D979C8718601","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84afe353d96a988928bd5d41e96afba7e81d6980","datavalue":{"value":{"entity-type":"item","numeric-id":1600086,"id":"Q1600086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361385$9DB3F690-A60C-47B0-9FB0-74E6CB495126","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cdc80085f51274788196b5be4e7f9615585e8b2f","datavalue":{"value":{"entity-type":"item","numeric-id":3678686,"id":"Q3678686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361385$FF6260D4-1C31-4910-8823-DCFB39D4A6D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"517fc8b23acecbf986165d1288d8b39f955c2983","datavalue":{"value":{"entity-type":"item","numeric-id":2018659,"id":"Q2018659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361385$81C1927F-A792-4347-A7DF-A9801D24BA2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1cd712557cb33f4408f7f319583701e72d7ca321","datavalue":{"value":{"entity-type":"item","numeric-id":5168921,"id":"Q5168921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361385$59676825-DE7B-483D-8C70-E2BFE068A501","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":"Q7361385$D0AF1889-EE32-4318-A7B7-D0D258F3D324","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":"Q7361385$8C80BAED-6307-41EB-968E-2ED85C621417","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":"Q7361385$FF978363-0E8B-457D-8709-E6772C3122AD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Priority Search Trees (AFP entry Priority Search Trees)","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Priority_Search_Trees_(AFP_entry_Priority_Search_Trees)"}}}}}