{"entities":{"Q7361861":{"pageid":31521122,"ns":120,"title":"Item:Q7361861","lastrevid":105369920,"modified":"2026-10-07T13:38:44Z","type":"item","id":"Q7361861","labels":{"en":{"language":"en","value":"Formalised Burrows-Wheeler Transform"}},"descriptions":{"en":{"language":"en","value":"AFP entry BurrowsWheeler"}},"aliases":{},"claims":{"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d03857a02a1b8556b6af0f03dc57645830868a9e","datavalue":{"value":"https://isa-afp.org/entries/BurrowsWheeler.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q7361861$5C56191F-90E2-4FEB-9F8E-562BBE25E8AD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"17000f49c0f2609c4683a82c4aacd7701ef13ce6","datavalue":{"value":{"time":"+2025-01-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q7361861$DBFF67D1-62BE-46E3-AB89-C97D6470A34E","rank":"normal"}],"P43":[{"mainsnak":{"snaktype":"value","property":"P43","hash":"623e05249ba02bd5c631bfc5da60832ca94d3050","datavalue":{"value":"Louis Cheung","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361861$50EA1FE2-626A-4A7C-BE2B-651B62894890","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P43","hash":"55b0fc3dc61297337ef172ccc1d73223c8496fb0","datavalue":{"value":"Christine Rizkallah","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361861$2BE37572-CBC3-4EA2-8052-EC1D03A35550","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6892d9784b77de4e8bf86a452e660840af34134e","datavalue":{"value":{"text":"Formalised Burrows-Wheeler Transform","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q7361861$F9E66720-3C9B-41DD-9EDF-7D56CFC9E12F","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"84edc711aee3e708c94f2b00f5b28c3926c91bb3","datavalue":{"value":"The Burrows-Wheeler transform (BWT) is an invertible lossless transformation that permutes input sequences into alternate sequences of the same length that frequently contain long localized regions that involve clusters consisting of just a few distinct symbols, and sometimes also include long runs of same-symbol repetitions. Moreover, there is a one-to-one correspondence between the BWT and su\ufb03x arrays. As a consequence, the BWT is widely used in data compression and as an indexing data structure for pattern search. In this formalization, we present the formal verification of both the BWT and its inverse, building on a formalization of su\ufb03x arrays.","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361861$DCAD4A58-5ACF-4C62-8409-22D6071646AC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"feeb8395d4bc054f1f35bdf22be4314134d51e21","datavalue":{"value":{"entity-type":"item","numeric-id":5875410,"id":"Q5875410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361861$4D19384A-7846-4AA2-B11B-4867E958093E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd704604a2bd2b63f327fdbd06cec840c8191339","datavalue":{"value":{"entity-type":"item","numeric-id":7239966,"id":"Q7239966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361861$8B9E69C1-9B13-47AD-AD99-C4371FCD584A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"765e1a7b0cd5402f72cc273dc87f1f94470d841f","datavalue":{"value":{"entity-type":"item","numeric-id":3142586,"id":"Q3142586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361861$DB019A03-F2A2-47ED-923C-7EEFEFBFA2F8","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":"Q7361861$239DC17D-AC27-46E5-8900-412B56EE1039","rank":"normal"}],"P585":[{"mainsnak":{"snaktype":"value","property":"P585","hash":"255a3852ac5c66d8f9fc60fb189aaa2e752da5d5","datavalue":{"value":{"entity-type":"item","numeric-id":7361162,"id":"Q7361162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361861$A980F521-DFA3-415C-B86D-9177AA2CD35A","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":"Q7361861$9116DD96-BD47-438B-AE20-ADD627ECE40B","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":"Q7361861$64BCD9F0-F609-4F6B-84D9-36CCA8A039FB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Formalised Burrows-Wheeler Transform","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Formalised_Burrows-Wheeler_Transform"}}}}}