{"entities":{"Q7361513":{"pageid":31520078,"ns":120,"title":"Item:Q7361513","lastrevid":105367973,"modified":"2026-10-07T13:37:19Z","type":"item","id":"Q7361513","labels":{"en":{"language":"en","value":"Weight-Balanced Trees"}},"descriptions":{"en":{"language":"en","value":"AFP entry Weight_Balanced_Trees"}},"aliases":{},"claims":{"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"968f701ac9fc340510ff5d908fe4d7dfdd8ab35d","datavalue":{"value":"https://isa-afp.org/entries/Weight_Balanced_Trees.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q7361513$CD30D50F-741F-46D2-873C-481093997B6D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"90ff5a319a6aef9e2f1cb8be1a4feb10a2b85d56","datavalue":{"value":{"time":"+2018-03-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":"Q7361513$C5B04054-DCBD-49F6-BB3A-F1F95930A700","rank":"normal"}],"P43":[{"mainsnak":{"snaktype":"value","property":"P43","hash":"78083bbf5b06a4f292e9e00ee445948e4fa51db5","datavalue":{"value":"Tobias Nipkow","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361513$EFA05B5B-66FE-493B-8577-EF09A95D517F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P43","hash":"1a0066d35b1635c2194d1a0d3142b35cc3fd7282","datavalue":{"value":"Stefan Dirix","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361513$FB30EAA1-1F88-4CA6-83BC-18AF91DCDB56","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cb97b7e17fb5683f510b305b9ecbde565b7c8155","datavalue":{"value":{"text":"Weight-Balanced Trees","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q7361513$016AB457-B4D8-4D71-96AA-875B7E8F5C0A","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"c27900cd8ad03362f353a1c88ab7daa801e4de5a","datavalue":{"value":"This theory provides a verified implementation of weight-balanced trees following the work of Hirai and Yamamoto who proved that all parameters in a certain range are valid, i.e. guarantee that insertion and deletion preserve weight-balance. Instead of a general theorem we provide parameterized proofs of preservation of the invariant that work for many (all?) valid parameters.","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361513$C8604B50-E75D-4110-8D5B-D2B91CEEF9A7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6128cb49ce962c8d17bc443da37a229864f61406","datavalue":{"value":{"entity-type":"item","numeric-id":1140428,"id":"Q1140428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361513$0A20BB55-9B6B-4A6E-B182-5E536968BA69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dcf778fe0335efa4c7df1b59a7c13888edd31ba7","datavalue":{"value":{"entity-type":"item","numeric-id":3016214,"id":"Q3016214"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361513$11F4732E-6C89-4E4B-9564-3379A2619B2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c5ee97dc07456d2c14cb532ce92e36a757542ca","datavalue":{"value":{"entity-type":"item","numeric-id":4125767,"id":"Q4125767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361513$29DC0115-0F02-4E58-9EDE-CC2EF6C2B1F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e37bb3fcdb01eab86b5965d3e2e5e4cd4b4a245f","datavalue":{"value":{"entity-type":"item","numeric-id":5678421,"id":"Q5678421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361513$44FAA9BF-4AD0-4869-96EA-FD17F41E297C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73cf0d6f6bf6c486d5169fde23776dca06a5c2cc","datavalue":{"value":{"entity-type":"item","numeric-id":4535040,"id":"Q4535040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361513$77A5227F-2A27-4C78-B5C2-C9A5470655A5","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":"Q7361513$43B90E5D-9B01-433B-87AA-7A337703D63C","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":"Q7361513$4B02F358-A6E4-4DF8-93E7-B30ECF6E0274","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":"Q7361513$27B9A7D2-A8A2-48E4-87C3-62CB5E617849","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Weight-Balanced Trees","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Weight-Balanced_Trees"}}}}}