{"entities":{"Q6156636":{"pageid":13291185,"ns":120,"title":"Item:Q6156636","lastrevid":102434060,"modified":"2026-06-06T04:27:03Z","type":"item","id":"Q6156636","labels":{"en":{"language":"en","value":"Efficient extensional binary tries"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7695711"}},"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":"Q6156636$69E49D73-A498-4B48-BEFE-CF4B5E9C6A97","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4884ff4ef95e5da3b405d3bbf7380cc18e64ffb8","datavalue":{"value":{"text":"Efficient extensional binary tries","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6156636$CEC4F5F5-2047-4589-A57A-EC80BBF55F0D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fc26ae99955b17096664472ad434caf6f770734f","datavalue":{"value":{"entity-type":"item","numeric-id":1663237,"id":"Q1663237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6156636$2369CF93-162D-41C2-AEEC-72386AAB829E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c4b1e35c1c4bff0a8e8e775e8600e2e952b118ae","datavalue":{"value":{"entity-type":"item","numeric-id":848738,"id":"Q848738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6156636$E369E606-6E75-426F-8D75-B3C2B7C2446E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b84cc8b5923f45dc86ae69f67f68bf56d7ecfce9","datavalue":{"value":{"entity-type":"item","numeric-id":174771,"id":"Q174771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6156636$E81274B1-9E6F-44E4-B8AF-8EE5391AEB81","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e078913baaf6e58e465be4601d94b7e1928c7c65","datavalue":{"value":{"time":"+2023-06-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6156636$B5128B15-D3E2-4513-BB39-7AAE215C54F3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"460b40db31ca1fdc480bbfd93093e7fc40769510","datavalue":{"value":"https://arxiv.org/abs/2110.05063","type":"string"},"datatype":"url"},"type":"statement","id":"Q6156636$6FDC26EB-8F29-4DA1-AAC9-2A4B1E4CBD6F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6156636$52A2DBA1-2430-4A03-BCFF-985B9730BFAD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"873847605acc53268c640e55be868b874cf48d91","datavalue":{"value":"7695711","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6156636$0213FC0C-B087-4CBE-AC45-2EE1913CAFCA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"636f674b66d1ab877413d65d7e9773008f7f96f1","datavalue":{"value":"verified data structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q6156636$AF2157C5-B88B-4B0D-AF55-25838BF9D3E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"df198e9539af8ee1221a27fc303d184b5cc81a2c","datavalue":{"value":"program proof","type":"string"},"datatype":"string"},"type":"statement","id":"Q6156636$139E40B7-2C8E-4623-8F25-ADAD5BF59063","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"379cec3fcfbcff38054abae75d5b9f5c6b1c52d0","datavalue":{"value":"VST","type":"string"},"datatype":"string"},"type":"statement","id":"Q6156636$DA2D5FE8-4435-4088-AF57-A06ABC7DF56C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3daf0c95f517d479414bb155140ef763f87ea802","datavalue":{"value":"CompCert","type":"string"},"datatype":"string"},"type":"statement","id":"Q6156636$61FE02F7-2785-478D-8859-52DB46A7162E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09e5b68927baf737cf4d5adadb4664c931aae1c2","datavalue":{"value":"Coq","type":"string"},"datatype":"string"},"type":"statement","id":"Q6156636$A1494E3F-A4BE-458A-8F8E-A3D683337B38","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":"Q6156636$F615132F-A5E3-4612-89D8-62F586CA9931","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"42678821b5903d8d124dcb34366f2cb77d790e5b","datavalue":{"value":{"entity-type":"item","numeric-id":3003322,"id":"Q3003322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6156636$23BA07CC-EA2E-444F-807E-B3B461E7795E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"138a145b3723972a73dae2c6cdcf8294ccb2b2be","datavalue":{"value":{"entity-type":"item","numeric-id":3000569,"id":"Q3000569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6156636$6AF10DE9-C24B-491D-9EF1-A93B2373164F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c46319975d5f428b28cf95457785c347fec2d0df","datavalue":{"value":{"entity-type":"item","numeric-id":5494381,"id":"Q5494381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6156636$BE05BB71-CD9C-4D30-BC79-3C26EFD60136","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a2543d41846a089697c8f30d3bc9c93a903fc96","datavalue":{"value":{"entity-type":"item","numeric-id":2233451,"id":"Q2233451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6156636$3A7D79DC-028E-4098-99ED-9000B2B1C627","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6677259c35dccc2e50542523205d69436c3678e5","datavalue":{"value":{"entity-type":"item","numeric-id":2147702,"id":"Q2147702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6156636$4815053E-B8B9-4895-8288-F4D6C48BE5F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"086fdbd21f473c213329b475c94f7dc23f61bf59","datavalue":{"value":{"entity-type":"item","numeric-id":1663238,"id":"Q1663238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6156636$B55EA0E3-FBFD-45F3-BEF0-CC86C934AC03","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":"Q6156636$B45354CC-3663-42F1-9D6E-49B8A7BC6155","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6cc8abb92210655a5bd4143cbbadd6eadb52d635","datavalue":{"value":{"entity-type":"item","numeric-id":1801222,"id":"Q1801222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6156636$D6AF0D6D-DBBE-4C05-94CB-3FA7C5574938","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"03806eb0d12abd574a7f55c2b3a582a41d0e0c3a","datavalue":{"value":"10.1007/S10817-022-09655-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6156636$EA683651-03AF-4BE8-A3B8-C4850DE8E9D1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Efficient extensional binary tries","badges":[]}}}}}