{"entities":{"Q1193748":{"pageid":1204497,"ns":120,"title":"Item:Q1193748","lastrevid":66336432,"modified":"2026-04-12T09:24:37Z","type":"item","id":"Q1193748","labels":{"en":{"language":"en","value":"Balanced trees with removals: An exercise in rewriting and proof"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 65085"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193748$7659CB80-32B5-4AC5-A6C5-4D52A10FAECD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1f29a6f457e7c292c4c3ab0e57e851bb671ff0a4","datavalue":{"value":{"text":"Balanced trees with removals: An exercise in rewriting and proof","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1193748$E000C37C-61C7-4646-A058-3404A3564D99","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"af178ce2e9c4161745b065d33df949654cce5450","datavalue":{"value":"0769.68032","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1193748$012F3676-86F3-4D0E-963C-1F0C6A2C0021","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"69c26ab1eeac8d813738d712a037dc6d97c90516","datavalue":{"value":"10.1016/0167-6423(92)90009-Z","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1193748$A0B4E597-FED2-4C93-AD79-75645EE76DF4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"30658749ddd00f3bac996b915379c69f607921b8","datavalue":{"value":{"entity-type":"item","numeric-id":1193747,"id":"Q1193747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193748$A7A002A8-7774-4DC5-A44F-87BEE30B6DBD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4082512e7d3530b9726df691c7c28e9fec542a8c","datavalue":{"value":{"entity-type":"item","numeric-id":169675,"id":"Q169675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193748$C82A91EE-00C4-471E-9CEC-85B4B66AC8FC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5fd62271fe98c7ff9916cafed51cf35315eeeb31","datavalue":{"value":{"time":"+1992-09-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1193748$E530400F-BC08-4563-80D2-630246868326","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1de3565cfd3393000dd87ca545f95ff84d4c1446","datavalue":{"value":"68W10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1193748$C6012127-2E5E-4B49-BDD1-FE01757E46F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1193748$F6194E37-B38F-4410-A814-65986DB32133","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1193748$5F1E6F24-D6AB-4EEF-87DE-CC9003EA24E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1193748$BDAA6937-C1DD-445A-A9A8-9AA65A706A2F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a18df47bfb797a4e88d08053c56b63be59646953","datavalue":{"value":"65085","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1193748$E9B79586-A0A6-470F-A99E-8FFE97C717CA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f864626b47de03bc550dfb512336687f3eaf0bee","datavalue":{"value":"balanced trees","type":"string"},"datatype":"string"},"type":"statement","id":"Q1193748$07D64AB8-3535-4E1D-9E68-EFFBD93C2926","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d8aaeed1110d28d23b3c5285d524289751f0101","datavalue":{"value":"equational algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q1193748$7E926310-5389-4F2E-BEF9-DBE373ACC2C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f9ac4ef6ef6c5f8856ee80195276e724e0b6225a","datavalue":{"value":"correctness","type":"string"},"datatype":"string"},"type":"statement","id":"Q1193748$17A18C31-D31E-44E1-9473-B1385FADD1F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2fc34037dc93d4caefc63b584ad652bfe0f3f2a","datavalue":{"value":"insertion algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q1193748$7D0BAAAE-E5EB-4165-B51B-EBE52109ACFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"476e70cc5d552d5cdc76575cc73d40a8bfb4b86e","datavalue":{"value":"rewriting","type":"string"},"datatype":"string"},"type":"statement","id":"Q1193748$EABCECE9-6143-49D8-9370-3458988F099B","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193748$A38D82EE-0898-4A7A-8079-69A879F8AE96","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"01ad1d60508ce1a9d7c11b165f737293e39139f0","datavalue":{"value":{"entity-type":"item","numeric-id":4304362,"id":"Q4304362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b9e1fa3da36df1faab601ab05fd9a9b6b91631f","datavalue":{"value":{"amount":"+0.87141156","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1193748$F2051F3A-8A67-4D72-AFDA-ECBE9E7E74E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"01246965629f4285b87977e12375a6611dcbb9bc","datavalue":{"value":{"entity-type":"item","numeric-id":1108022,"id":"Q1108022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c60c6320ca0ce06f530de6151f5bb53d54e4825e","datavalue":{"value":{"amount":"+0.86577404","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1193748$828F3754-07A8-448E-A4DB-97EF3DF538BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a9328608adba3c429d63230d58d02d75f28b5489","datavalue":{"value":{"entity-type":"item","numeric-id":962958,"id":"Q962958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd54a861c6b58e62f925b0d20666cf7ee5493bf6","datavalue":{"value":{"amount":"+0.86429596","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1193748$A62664C1-DD0E-4504-8803-A61A3954A035","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9a24ec5845a7eff6d4c3786f101c3b99cb7c8a55","datavalue":{"value":{"entity-type":"item","numeric-id":1827688,"id":"Q1827688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d654cc1b26e55c28e86beb4dc3251528d6dd71ea","datavalue":{"value":{"amount":"+0.8638503","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1193748$8862C0ED-B6DE-4B48-85F0-1436F72CCC6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"955754099deaca8dd9df310de8de7714a478e671","datavalue":{"value":{"entity-type":"item","numeric-id":5205802,"id":"Q5205802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"598d5850170597760453dfb51fede47fd5a117ff","datavalue":{"value":{"amount":"+0.85690904","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1193748$38DDDFC8-67EB-4CAD-9129-D466B85F37C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4b112a4a8a29a31dff6445f7e467f3a95516daa0","datavalue":{"value":{"entity-type":"item","numeric-id":2312607,"id":"Q2312607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e6172d8698af2525b48d4787c45a385d53dc2ab","datavalue":{"value":{"amount":"+0.85482305","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1193748$018CF28A-E2EB-4659-9750-A6D782E737C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca108a1662fb597d07ceccfd9171ed6a0879449e","datavalue":{"value":{"entity-type":"item","numeric-id":3210890,"id":"Q3210890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9bfea5995fd0aa30b158e59d8b57a35f52278226","datavalue":{"value":{"amount":"+0.8542851","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1193748$C3BE7A1E-D29B-4645-ACC8-F33A0E4D5094","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f5dbc246a2ddb9d34d67331901efe19d81219da6","datavalue":{"value":{"entity-type":"item","numeric-id":2576662,"id":"Q2576662"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc67f2cb6316721b46f557d2294a5e5c0b5eae94","datavalue":{"value":{"amount":"+0.854129","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1193748$F9CB1E11-2B91-4117-84D3-C4A93A0753FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bff952adc7f9af54dc4e33715f0d62e624a9060a","datavalue":{"value":{"entity-type":"item","numeric-id":4448372,"id":"Q4448372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc67f2cb6316721b46f557d2294a5e5c0b5eae94","datavalue":{"value":{"amount":"+0.854129","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1193748$7F51B9BB-B455-4310-B57F-BFAF5903B813","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab45122f87adab868f865d832ae196033e1b4ede","datavalue":{"value":{"entity-type":"item","numeric-id":2904753,"id":"Q2904753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3fc462a5fb914d693eea4f307df55675677abe5b","datavalue":{"value":{"amount":"+0.854024","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1193748$CAC2A6A1-F79D-49E5-BEFA-1768ED26DAD5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Balanced trees with removals: An exercise in rewriting and proof","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Balanced_trees_with_removals:_An_exercise_in_rewriting_and_proof"}}}}}