{"entities":{"Q5875410":{"pageid":7904961,"ns":120,"title":"Item:Q5875410","lastrevid":55434034,"modified":"2026-02-17T16:18:53Z","type":"item","id":"Q5875410","labels":{"en":{"language":"en","value":"Proving tree algorithms for succinct data structures"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7649954"}},"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":"Q5875410$FCAEFAC4-962F-4178-8B30-9CA4214CB69B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"58c3f1040f095d35860e29a1e4ebbce287a0aa55","datavalue":{"value":{"entity-type":"item","numeric-id":436403,"id":"Q436403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875410$30135574-094F-4291-96CA-E317F04C8C80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4f4fe5739bc92b9b7dd1c7e60f1d057a2d93c386","datavalue":{"value":{"entity-type":"item","numeric-id":1350340,"id":"Q1350340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875410$C5097F67-8726-4496-9326-3FD1321C1DD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e3ea4cb1ccb1e78f9c666d71794d1e1b3ca3ee03","datavalue":{"value":{"entity-type":"item","numeric-id":5875408,"id":"Q5875408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875410$FAF78407-18FF-4A60-81FF-CECAE4368CA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"426147180f91d3308679f3284feb332a67504934","datavalue":{"value":{"entity-type":"item","numeric-id":5875409,"id":"Q5875409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875410$5EC861C4-AD51-4B68-BDBC-69DFA9C652D2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6695abe38664d65c38747de7b5fe54d9caa92dea","datavalue":{"value":{"time":"+2023-02-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5875410$E5D8E8DD-BD47-4BA8-A6D0-4517B17076D1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4248e210a1d7dad448d93b2402140cc24d02cb9f","datavalue":{"value":"https://arxiv.org/abs/1904.02809","type":"string"},"datatype":"url"},"type":"statement","id":"Q5875410$EDF09483-05E7-4798-B8D0-71ADE1F9BA47","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5875410$80C09C89-1822-4FE0-8A40-B506F6EC647A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b44b97b42a99290649245ebc9b29a6402bdf3af4","datavalue":{"value":"7649954","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5875410$12128BDD-4948-4D84-AA39-BD7690745FE6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"587abfb10815bcb97839de12d5d9baff5f03e40b","datavalue":{"value":"coq","type":"string"},"datatype":"string"},"type":"statement","id":"Q5875410$47A6AD2A-AB2A-4454-9F81-203C2A942F45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fd08d8a426fdda6c743f67f29c2d91181d8d7a8e","datavalue":{"value":"small-scale reflection","type":"string"},"datatype":"string"},"type":"statement","id":"Q5875410$513CA6B0-D303-4E1A-95A8-3EB3FA764C64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"14d9f0629777ca135c9e5fc0205e600a9d836f74","datavalue":{"value":"succinct data structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q5875410$94779254-262B-4305-A88D-87AACE29057D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e43658c9c28298f64fb69daf3e6061ebc79443e1","datavalue":{"value":"LOUDS","type":"string"},"datatype":"string"},"type":"statement","id":"Q5875410$945126F2-AFED-443E-BD2D-657DC3F7320B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"132484203b86a05bd89af53f7cc9de275577d90c","datavalue":{"value":"bit vectors","type":"string"},"datatype":"string"},"type":"statement","id":"Q5875410$AD726606-1086-4E64-AC91-086A2C2E6780","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ed84d9db55c2938c53a477b0894af1864f278783","datavalue":{"value":"self balancing trees","type":"string"},"datatype":"string"},"type":"statement","id":"Q5875410$599CBEA7-2958-4014-9F88-07D7F63B8F61","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875410$8B79D83A-096C-4EEE-9A13-BB6BC8CC1655","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8bf42d0fd66acf369e3d5d44d7ebef6adc7ae452","datavalue":{"value":{"entity-type":"item","numeric-id":56651,"id":"Q56651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875410$93ADFADC-A6D1-4F9F-9EC4-7947E0D18AD9","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":"Q5875410$7E92B974-F144-4969-A805-273E54BDCA3A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b02cebc44c2831878b18e904086383fc947d3037","datavalue":{"value":{"entity-type":"item","numeric-id":5417200,"id":"Q5417200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875410$457C3F3C-52A1-4A28-B9BA-59B0A454C14B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98589d6fa667da17f782a55cd2dc8c33d4dbf671","datavalue":{"value":{"entity-type":"item","numeric-id":5308710,"id":"Q5308710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875410$16C2B238-23BB-4C7E-9261-F0E54D2B7523","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"adaff45a41d0a6bdbe56b77312c8af13a691189a","datavalue":{"value":{"entity-type":"item","numeric-id":5398327,"id":"Q5398327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875410$185171E7-4A12-4019-A914-7A4499AC6D45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c5d8efd78c2ccca8211b4d28a521e2a96aa6af8","datavalue":{"value":{"entity-type":"item","numeric-id":2757083,"id":"Q2757083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875410$BD4DE27C-78D1-4E05-B3ED-27E11167D74A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03d45719851e05816903fb8f3832cb770e993ebf","datavalue":{"value":{"entity-type":"item","numeric-id":2176671,"id":"Q2176671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875410$020C0C20-6CF1-475E-8950-8548C719B177","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a870079de674fad7784c992867942a9341a21e5","datavalue":{"value":{"entity-type":"item","numeric-id":2799480,"id":"Q2799480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875410$640A27D1-D96E-4259-89A4-6CEFBD05BA25","rank":"normal"},{"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":"Q5875410$62D51052-8C48-4168-B49F-6277CE9AB6D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49a8d50e2ac3112c2b5beab9a321e48e86e40e67","datavalue":{"value":{"entity-type":"item","numeric-id":4702190,"id":"Q4702190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875410$ECB072D6-6A2E-4F93-8C5A-47AFD9C0CF17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f2ad81a59146c63050def010b4501b013c951ac","datavalue":{"value":{"entity-type":"item","numeric-id":4778577,"id":"Q4778577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875410$03FF11FB-E1B9-40E6-BB14-6479B4E228A1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"696d9bb13ba9354218b59dbb0a3d19375e18fe75","datavalue":{"value":"10.4230/LIPICS.ITP.2019.5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5875410$5E5DE523-B16F-4F02-8774-1585D1DCA455","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0bb6fc48a0212ee0efc3f998d4a4331d006e51df","datavalue":{"value":{"entity-type":"item","numeric-id":2985800,"id":"Q2985800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2ca80a39d61bebd4dbc762fd77c8c423498af650","datavalue":{"value":{"amount":"+0.7775088548660278","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5875410$2251674E-6AD9-4652-9366-B54EFE1804EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"315b98ad2e8641ac47029ee9f108846ac9581864","datavalue":{"value":{"entity-type":"item","numeric-id":5417613,"id":"Q5417613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be955234bc0f736642b97f14cd3dbdf7d5ae1154","datavalue":{"value":{"amount":"+0.7732732892036438","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5875410$F1224E4C-EA2B-4231-886E-0D93507EFB0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f47720908fec4d939f419aa6fc8ff35602837a06","datavalue":{"value":{"entity-type":"item","numeric-id":2799480,"id":"Q2799480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"74c8e868c8e057b978ca26f359f57ce408c240eb","datavalue":{"value":{"amount":"+0.7568795084953308","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5875410$014A8401-85B5-40B2-87E6-DD4984A073D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ce5e49bba13b826c01d53d849bd6c82a94acc94","datavalue":{"value":{"entity-type":"item","numeric-id":2410360,"id":"Q2410360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"707ba070ecc31e24134b15fec6fd647c20e36d32","datavalue":{"value":{"amount":"+0.7455534338951111","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5875410$F6FD1221-B81F-4998-86C4-C6FD1E29AAAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"270d575a007185d9499cc878f96f81c5c7124cb3","datavalue":{"value":{"entity-type":"item","numeric-id":2768345,"id":"Q2768345"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"71c035c6579efe39484104c15ff2d48595ce1338","datavalue":{"value":{"amount":"+0.7455477118492126","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5875410$834B7435-83E9-4518-B679-9CC855C9A809","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5875410","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5875410"}}}}}