{"entities":{"Q6902698":{"pageid":20915251,"ns":120,"title":"Item:Q6902698","lastrevid":84174800,"modified":"2026-05-13T01:36:16Z","type":"item","id":"Q6902698","labels":{"en":{"language":"en","value":"A Myhill-Nerode theorem for generalized automata, with applications to pattern matching and compression"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8118743"}},"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":"Q6902698$897637BD-8026-495C-8C49-F54351EA9BED","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"60f789f44eadebbccee44c5ea404358464ff62fa","datavalue":{"value":{"text":"A Myhill-Nerode theorem for generalized automata, with applications to pattern matching and compression","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6902698$BCA34DD1-F834-4504-9EC8-EF60F9A737E7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"053d097f3f850461bcaff0ca74209542ed2ae0d5","datavalue":{"value":"10.4230/LIPICS.STACS.2024.26","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6902698$6CE977B1-C5EB-41CA-9DD2-C69E8520B581","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6c2256a39b97247b758f7b09a02b05a90365c804","datavalue":{"value":{"entity-type":"item","numeric-id":6147410,"id":"Q6147410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6902698$709589B6-AF61-4296-B338-FAF62BD930C0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"74d5f828328b9ca08f1b6311796ddf34c5bfee46","datavalue":{"value":{"time":"+2025-11-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6902698$5B583437-0E27-4A80-BA67-041EFDC7AB6A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6902698$890FEE74-6C11-4FFA-97C7-D9AC46182B17","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"73fb31c702d93e041f3478a26dab8b682d21a401","datavalue":{"value":"8118743","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6902698$27924AEA-DAB5-452C-B42D-97956F34D8FB","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6902698$A45F8E02-A5D3-4258-834B-75FE1F4D4566","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"542430e42733ff9dcb0064d707f52e4d64d326e0","datavalue":{"value":"generalized automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q6902698$FB74D43E-0E0D-4B7C-9EE9-26DAA3E90BBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c53e18552301c4c174019a9ccd7161cadd7599ae","datavalue":{"value":"Myhill-Nerode theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q6902698$27F285DE-A7C9-4104-8065-B02544F891A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7142d39c3323636bd7cc377526eabf4365b5d436","datavalue":{"value":"regular languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q6902698$8276B034-2709-4C80-BE2E-23C59EE35933","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6bd6cd9a047af8e17e519aac371093b234c978d5","datavalue":{"value":"Wheeler graphs","type":"string"},"datatype":"string"},"type":"statement","id":"Q6902698$41DC8B5F-1FE0-48BF-B19E-6ACF65104BFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c58db95ff5b86305668bffacfe8bbddd46c60af3","datavalue":{"value":"FM-index","type":"string"},"datatype":"string"},"type":"statement","id":"Q6902698$161971D6-5B5F-44C5-8B7A-829D59C77A8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e3e7a436225d167e640e175e5d4534bbc928fa3a","datavalue":{"value":"Burrows-Wheeler transform","type":"string"},"datatype":"string"},"type":"statement","id":"Q6902698$CE4B1D00-40B2-4FD6-A7E3-3A496840D4CC","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":"Q6902698$0D620CB8-3E68-4337-A8F7-92DBA14C42D2","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"aff148122a0178311a656417a4021b222d247a5a","datavalue":{"value":{"entity-type":"item","numeric-id":5146826,"id":"Q5146826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6902698$CFE64FB7-B239-4FC4-B7E8-A843E9707712","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5499064d0bb6e5bac06935dd86e1f8c128c7e539","datavalue":{"value":{"entity-type":"item","numeric-id":2051845,"id":"Q2051845"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6902698$AEFFE6ED-C9DC-402B-A260-A44CAA0A17E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aedb799bf666961a956ead3ef5c6b4509107c776","datavalue":{"value":{"entity-type":"item","numeric-id":4953246,"id":"Q4953246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6902698$8AE0A056-4270-476D-AC7D-D6C29CF7CE4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"620f70d6330bfda5fc59c4c7458f6695cea0a351","datavalue":{"value":{"entity-type":"item","numeric-id":6155034,"id":"Q6155034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6902698$2A56962D-6250-48CE-97B1-52446BAC5374","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f20c32fb65b36af8ff6edb189227c23a2da796c","datavalue":{"value":{"entity-type":"item","numeric-id":6656955,"id":"Q6656955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6902698$D2CACC76-4151-4E06-8983-C94A841A0476","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c533316b774870b20c80bf8d0dd942a75a387698","datavalue":{"value":{"entity-type":"item","numeric-id":4916912,"id":"Q4916912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6902698$27C849A7-CC16-4BDD-AC27-7AE305A084A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9450089d0dff5a1768a5b1ad27f135cdd45bc81","datavalue":{"value":{"entity-type":"item","numeric-id":6953198,"id":"Q6953198"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6902698$713166B5-2177-4E86-B603-2239CB856577","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9cec7822dcb09d030efdb798ae7903e4a4eb91e4","datavalue":{"value":{"entity-type":"item","numeric-id":6902698,"id":"Q6902698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6902698$B136E60E-F604-4AEA-BAD6-474593F34243","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5356cbc919830e00c8a48dbb1dcd7a3431052618","datavalue":{"value":{"entity-type":"item","numeric-id":7032083,"id":"Q7032083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6902698$4F425BAF-2ECB-46EF-993A-9315705E51B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ffbb5f123efa91b6f1b80c8bdd45ccf5e5acb32","datavalue":{"value":{"entity-type":"item","numeric-id":6545421,"id":"Q6545421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6902698$44EBCE18-A7B3-47FA-9D0B-C9C8AA1BC958","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0071d6b25a7f7c3b975b31a3462110bab731f45","datavalue":{"value":{"entity-type":"item","numeric-id":6147411,"id":"Q6147411"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6902698$07DC3439-A87B-4412-BFB2-79223182AB10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"36d84aa78f0d96f7d40459af01bc21793f5962fa","datavalue":{"value":{"entity-type":"item","numeric-id":4079524,"id":"Q4079524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6902698$D7DB6E0B-B7DB-4A27-B1FF-E0F4113F38A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6dd3e5582eb78764edb526cde731e216ed42b77f","datavalue":{"value":{"entity-type":"item","numeric-id":5091210,"id":"Q5091210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6902698$6EC9EBCE-B178-4812-822E-9543E9E95B44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6af097021307fd454b304fc442bb64aa682c80ca","datavalue":{"value":{"entity-type":"item","numeric-id":831852,"id":"Q831852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6902698$2353C8C2-854A-48CE-A9CB-ED02D678E0A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2ae798f1b3ced52ee1bc6df21ebcfe92b49d95b","datavalue":{"value":{"entity-type":"item","numeric-id":6075757,"id":"Q6075757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6902698$12666363-491F-4CC6-8CBF-7CDD71611076","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0214ce1c02978e7c9f5baeb287fe660c6def1fe","datavalue":{"value":{"entity-type":"item","numeric-id":6147517,"id":"Q6147517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6902698$2BFECF39-B8C5-484E-B6DB-6410A9F9D72E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"511938cd7d6ae935fed7b8e7df1dabcf9b4a0d91","datavalue":{"value":{"entity-type":"item","numeric-id":6103519,"id":"Q6103519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6902698$96C29559-BEBD-44E0-93C3-1510FE937CF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"38f1ef0c6008067a98e6eb681185db01b14f722a","datavalue":{"value":{"entity-type":"item","numeric-id":3546296,"id":"Q3546296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6902698$4303B723-D104-4DE9-8E83-65589AB5E3BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c3749d7b0a0615b6cbbb5620bae59c9d84abe0cf","datavalue":{"value":{"entity-type":"item","numeric-id":1676308,"id":"Q1676308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6902698$465DE8A8-3613-4590-A1F8-8C5BB03F87E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee6a7a9123c3c8e8ddc64219de726c1b6442a298","datavalue":{"value":{"entity-type":"item","numeric-id":4596633,"id":"Q4596633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6902698$C08F2422-1AC9-4BA5-9B29-9C2F200139C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"181c352fe3ab89207c6c3805ecac05dd79a64e6f","datavalue":{"value":{"entity-type":"item","numeric-id":1285583,"id":"Q1285583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6902698$30F87EDD-02DF-4826-8C24-8E0F2C80FE1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"71762c2bf8e6c06c1bd0cd0ff7b05a0093b2ef43","datavalue":{"value":{"entity-type":"item","numeric-id":4036600,"id":"Q4036600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6902698$B7E1B68A-B0DE-4083-B210-925FD780D9DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2be2ce44bdf80df52f5a97dfe72ac01ea51570a9","datavalue":{"value":{"entity-type":"item","numeric-id":4045961,"id":"Q4045961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6902698$0824FFC8-477E-47F5-BAAD-BE293E9E69F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c906e54d7f8c3a2b4802cd6e6270c3025fe3ab0b","datavalue":{"value":{"entity-type":"item","numeric-id":6622022,"id":"Q6622022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6902698$905D65C0-E32B-4580-BD89-26F8E287D265","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cac7f741f9b1e3426d597355d63b43bdf762c36a","datavalue":{"value":{"entity-type":"item","numeric-id":4148937,"id":"Q4148937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6902698$873642EA-D329-4834-B77D-009284CE1DFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"519a173024476e70900dd9c00ddebc74e9094ba3","datavalue":{"value":{"entity-type":"item","numeric-id":6136235,"id":"Q6136235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6902698$282C3A0C-1115-457C-A78D-9D03F1C75FCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f5e2db56fc6ab40e52e710b11ff31eafc9056019","datavalue":{"value":{"entity-type":"item","numeric-id":1566744,"id":"Q1566744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6902698$21E9DDB1-B0C6-465C-9306-088008C0D678","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc768f1c1fb3e47410af9c4b50148f2a1319e7cf","datavalue":{"value":{"entity-type":"item","numeric-id":4547675,"id":"Q4547675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6902698$4F9E57D7-F72B-4F11-8FD9-B903C3E60EA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a86e12624b742107237af2f7a1d98a6a6274433e","datavalue":{"value":{"entity-type":"item","numeric-id":2169983,"id":"Q2169983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6902698$1A121861-061A-4C5B-AF5E-923C133581A5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A Myhill-Nerode theorem for generalized automata, with applications to pattern matching and compression","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_Myhill-Nerode_theorem_for_generalized_automata,_with_applications_to_pattern_matching_and_compression"}}}}}