{"entities":{"Q7361607":{"pageid":31520360,"ns":120,"title":"Item:Q7361607","lastrevid":105367685,"modified":"2026-10-07T13:37:15Z","type":"item","id":"Q7361607","labels":{"en":{"language":"en","value":"A Combinator Library for Prefix-Free Codes"}},"descriptions":{"en":{"language":"en","value":"AFP entry Prefix_Free_Code_Combinators"}},"aliases":{},"claims":{"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7e65dd7fe9ed90ff72770f5b097faa0e3679f430","datavalue":{"value":"https://isa-afp.org/entries/Prefix_Free_Code_Combinators.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q7361607$CDC03FD2-C024-4C14-8763-64286EB1EEB8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e093b5d48a0e89e0bda6d94872b70fb1b6600ea9","datavalue":{"value":{"time":"+2022-04-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q7361607$63471C01-DD86-41EB-ABF5-C2876DDFDB83","rank":"normal"}],"P43":[{"mainsnak":{"snaktype":"value","property":"P43","hash":"08e34730e8843d863438c2ad5795ad3f0ee72024","datavalue":{"value":"Emin Karayel","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361607$C6DD70D2-4DDA-4766-969F-8C43DF981B4D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"eb3cbbfcbc4a89bc3a0eaec2dff0fc09f80be23d","datavalue":{"value":{"text":"A Combinator Library for Prefix-Free Codes","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q7361607$8FA0AEF0-D927-4BE0-B2B9-68084E906F43","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"4a053d721e904663a3bb943e5818545ccd377895","datavalue":{"value":"This entry contains a set of binary encodings for primitive data types, such as natural numbers, integers, floating-point numbers as well as combinators to construct encodings for products, lists, sets or functions of/between such types. For natural numbers and integers, the entry contains various encodings, such as Elias-Gamma-Codes and exponential Golomb Codes, which are efficient variable-length codes in use by current compression formats. A use-case for this library is measuring the persisted size of a complex data structure without having to hand-craft a dedicated encoding for it, independent of Isabelle's internal representation.","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361607$F3F44638-B29A-49B8-B06B-6A4635D29A2B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"44e85ba57e9ab8eefde4f3b7c1b1ce77ed79d631","datavalue":{"value":{"entity-type":"item","numeric-id":4053461,"id":"Q4053461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361607$16E8D3EF-4A87-4E0B-A4B3-F073D506041E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff5308dc542862767b5b9f16576e24f5e8ec1bae","datavalue":{"value":{"entity-type":"item","numeric-id":1251634,"id":"Q1251634"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361607$081028FF-A1A9-4744-90CE-AF3A50F7010F","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":"Q7361607$10FD2A1C-4E32-4533-AF27-A0D374FAF74F","rank":"normal"}],"P2651":[{"mainsnak":{"snaktype":"value","property":"P2651","hash":"1157f6239d5752bb0ad1cee836272bd46c6bf40f","datavalue":{"value":{"entity-type":"item","numeric-id":7360772,"id":"Q7360772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361607$C05D4D70-0C4D-4873-9E8F-92AA0B458C08","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":"Q7361607$FC2C5053-2057-4F71-8E67-A605DDAC20EB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A Combinator Library for Prefix-Free Codes","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_Combinator_Library_for_Prefix-Free_Codes"}}}}}