{"entities":{"Q794436":{"pageid":796284,"ns":120,"title":"Item:Q794436","lastrevid":48715492,"modified":"2026-01-05T17:01:58Z","type":"item","id":"Q794436","labels":{"en":{"language":"en","value":"A class of multitape automata with a decidable equivalence problem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3860400"}},"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":"Q794436$8C45BF62-62B4-4F2D-978A-44D0EAF89E3D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"64fa1eadf507b535fe943a5e4bc4138a3bf04a70","datavalue":{"value":{"text":"A class of multitape automata with a decidable equivalence problem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q794436$0F513FFC-5E39-4452-AA92-8BDC15B95183","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"43ca106dd347c1ed53bc79c6e8de06b3518bfe77","datavalue":{"value":"0541.68033","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q794436$DB785AEA-866C-4701-81FA-AB02060565DC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ec3b29744c0c4a5e008618686519803ba2d0b097","datavalue":{"value":{"entity-type":"item","numeric-id":760794,"id":"Q760794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q794436$3416464D-65AC-4D9C-A571-0253DB8ED023","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"be953c7743ad681cffb55322e552c5990c03cfb7","datavalue":{"value":{"entity-type":"item","numeric-id":174054,"id":"Q174054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q794436$FEF06466-B166-49CF-B7DE-E73818971CA2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0136733d5dd7d9f4d36f24c87a0b8375ae1cb2fd","datavalue":{"value":{"time":"+1983-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q794436$5D49DFDB-143E-444F-B2C2-45DA957555F4","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"a21edc9a59da0ff7d1d39fb182f1c2570786d504","datavalue":{"value":"The equivalence problems for two-tape automata and multi-tape automata, each of which is contained in at most one cycle, were proved. The question of the decidability of the equivalence problem in the general case has remained open. This paper establishes the decidability of the equivalence problem for the class of multitape one-way automata admitting transitions to all except two of the tapes only a bounded number of times.","type":"string"},"datatype":"string"},"type":"statement","id":"Q794436$72693380-295B-46E9-9D11-77A0A0550A72","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q794436$4C84AA7C-92C4-4C45-932C-B2DDAFD2247F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d54572e297aea015c8cfe2b7829180d806f62891","datavalue":{"value":"3860400","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q794436$7F32610D-0094-464E-9647-634078CECC36","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c4b653a99116a641ea331c23c01dd0539a978560","datavalue":{"value":"equivalence problems","type":"string"},"datatype":"string"},"type":"statement","id":"Q794436$350F47C1-7EBE-408C-9245-EEEB9A11AB9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2493d74f407631459d4aa446b6067d5a54d86388","datavalue":{"value":"two-tape automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q794436$187D0E23-13B7-4ACB-9FB8-5CCA51C9EEAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"99d5b07daf9940ee1172295506edaded66a4f9e9","datavalue":{"value":"multi-tape automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q794436$4108B6F2-34AF-4924-8155-6899B9AE1BAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q794436$81E1579A-B130-4324-B607-5B84C4E04148","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"05772a797ac77fb10343e9624d48afa03c9bdd32","datavalue":{"value":"one-way automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q794436$F8C0817A-F8D3-4E74-8741-0785AC78F2E7","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":"Q794436$37C753B7-FF01-49D2-8AF6-1541DAF71328","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"552e59842ea6309cdb3d0586b2df6780aca1c73d","datavalue":{"value":{"entity-type":"item","numeric-id":946704,"id":"Q946704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8cbefafc64e75fddfdbabf67058336e189d2e3df","datavalue":{"value":{"amount":"+0.882595956325531","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":"Q794436$2AB9B13D-BA20-47A1-AD48-5C1A7D90B8CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"45dbd0532cc02004553f2607df84173e2a345289","datavalue":{"value":{"entity-type":"item","numeric-id":955343,"id":"Q955343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"47d4ae86e9982c06320d1052ebdf85548c68f47f","datavalue":{"value":{"amount":"+0.880790114402771","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":"Q794436$DB109B0C-AC20-4983-8730-64A5BCEBD5A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65489716e6f8ec946fafa3f3e7721d6df5431244","datavalue":{"value":{"entity-type":"item","numeric-id":5327452,"id":"Q5327452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d9a468f40d2c5bc363924486343d2e01b60b1bcb","datavalue":{"value":{"amount":"+0.8767529726028442","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":"Q794436$6C3A0D81-BE7C-4AE8-84C7-8C13AE1202EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a98340a4c1d409d86db98f57d196824ddb7b8234","datavalue":{"value":{"entity-type":"item","numeric-id":3776665,"id":"Q3776665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"647bc3b170f0a728afe12106e1c2fdf88f15cfcd","datavalue":{"value":{"amount":"+0.8717506527900696","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":"Q794436$100FF6AF-8FE1-4ECF-9504-5B1DD72438AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"87c8fff22b5c5e7ea14804116ba1e29af71be320","datavalue":{"value":{"entity-type":"item","numeric-id":804302,"id":"Q804302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f86e83c22c815cf15d2fb23ccd0b00a692962127","datavalue":{"value":{"amount":"+0.8673200607299805","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":"Q794436$EB94B3E4-ED27-4D88-81BE-024C6DAF0333","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:794436","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:794436"}}}}}