{"entities":{"Q784484":{"pageid":786333,"ns":120,"title":"Item:Q784484","lastrevid":64353498,"modified":"2026-04-11T19:17:23Z","type":"item","id":"Q784484","labels":{"en":{"language":"en","value":"Polynomial algorithm for equivalence problem of deterministic multitape finite automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7226874"}},"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":"Q784484$1BDB7A23-E9C2-420D-8CE9-034598AAA732","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9c3482bf22f38ad2e89198e10da45835748a9a31","datavalue":{"value":{"text":"Polynomial algorithm for equivalence problem of deterministic multitape finite automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q784484$A1342727-8014-41B4-B821-D42BD169711B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2618157a13292084cbc76f860460d1cd3bf78ca9","datavalue":{"value":"1451.68149","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q784484$CB7F88E0-31F6-43FA-89B1-0ED3A7157C82","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8fe6074d4276399d543414b63f1c7d09950cd1e0","datavalue":{"value":{"entity-type":"item","numeric-id":784482,"id":"Q784482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q784484$BDCD149A-7E8E-4507-8EF1-E5D55DC56682","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"17852aef289c66fd2725c87255eebe1a238b8fb7","datavalue":{"value":{"entity-type":"item","numeric-id":784483,"id":"Q784483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q784484$60FE961E-E9E0-4A49-B660-3F23D0FD10C9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q784484$22154C93-4BF7-420B-9024-1C62EFBD4F3B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"469d299b05f6ef0db902802d19518b8f861cc702","datavalue":{"value":{"time":"+2020-08-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q784484$71018A61-0623-42F0-97DC-5FCFF812721E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q784484$86269635-007A-422F-956F-E82B8A8861C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q784484$EBE193E0-5B15-4FD6-A276-49D61E12E857","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"17ab378c19a16dce2814d96ff251b3936809bf56","datavalue":{"value":"7226874","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q784484$52B916E8-6B02-4182-80E0-8BFD66A1AFA5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"367e45d03415fe9e7ba227bc24481ad5e28ae1e1","datavalue":{"value":"deterministic multitape finite automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q784484$BFE07A93-7242-4160-A898-37BC31D057FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5f080b22ac194cf7585a56b63883129b1a17549b","datavalue":{"value":"equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q784484$CA3CCA0F-F805-484A-86AD-94285C0222D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"267b394071cf1b5b643cd515aabcdbcae8c08f98","datavalue":{"value":"polynomial complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q784484$B5468572-EB59-4FCB-869B-731527A9D134","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":"Q784484$6AC11410-BE24-4E15-9842-1A5C6A8BF86B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"75cb2aaad30a3f140d2edd1f0426899a4e3d8e2e","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2020.05.044","type":"string"},"datatype":"url"},"type":"statement","id":"Q784484$E637F1E9-BAA5-4B0B-B791-347B61B1BBF4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ce3ee269406441162413c17d5867d484bebb534b","datavalue":{"value":"W3033311762","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q784484$F65D81CE-87A3-44A7-A28E-164056AE0320","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8107b480decc678c92b78dee11f4a9915c90692b","datavalue":{"value":{"entity-type":"item","numeric-id":5541339,"id":"Q5541339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q784484$85BABBBF-846E-4DBC-BBA5-58AD11BB8E46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"869763a444140960d7ec6485edd04e604637d313","datavalue":{"value":{"entity-type":"item","numeric-id":758956,"id":"Q758956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q784484$85D4C338-7653-4AA1-879E-C580FC6CED57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28eb5b1180a1241786f0eee35d291b83d7d95648","datavalue":{"value":{"entity-type":"item","numeric-id":804302,"id":"Q804302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q784484$03170FDF-8D2E-4360-9714-C55663CE0CEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"384a98eae6b74b21c22cfe45d1759e3c4101c5c3","datavalue":{"value":{"entity-type":"item","numeric-id":3564880,"id":"Q3564880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q784484$16DBCF74-8F2B-41F0-9B62-AD98ADA46162","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"733766ae820dbe9603f69b1b6b8ee4b7e8ce6726","datavalue":{"value":{"entity-type":"item","numeric-id":3910002,"id":"Q3910002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q784484$42426BDB-F72E-4FA6-BC14-57856AE85BB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f6755a5ba9b0dffa9eb25b5ec62f1a57c213999a","datavalue":{"value":{"entity-type":"item","numeric-id":3738586,"id":"Q3738586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q784484$B757C8F7-DC33-4734-BA33-1C250DAC99FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7892da6a8f06de43c234cab2c678d227005d3f87","datavalue":{"value":{"entity-type":"item","numeric-id":3287249,"id":"Q3287249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q784484$D3F704CE-63CB-4531-BBE9-494D4064FC75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5afbf744a209bae591f2001b963f84ed85dc6a7","datavalue":{"value":{"entity-type":"item","numeric-id":3848243,"id":"Q3848243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q784484$CD3A6603-8371-4BC9-BE1B-FA0D78851BA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb90017f3e9fc4d40c3e2e365195db163cec534b","datavalue":{"value":{"entity-type":"item","numeric-id":5327452,"id":"Q5327452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q784484$A9F5378E-C6C1-4FDA-9BF6-3481FFDD5D00","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"852046163a5a9227dc0f54936734cd92375f1b46","datavalue":{"value":"10.1016/J.TCS.2020.05.044","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q784484$6DE66E4E-8953-4819-9B3D-F3ECC9CA453C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"98fdb33a424cc7af4c609499c483b0eaabb84af6","datavalue":{"value":{"entity-type":"item","numeric-id":904421,"id":"Q904421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9292062cda8e27c7f7a5740481885473f5f1466a","datavalue":{"value":{"amount":"+0.8673726320266724","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":"Q784484$4499BB83-5A52-4491-ABCA-89A3661A4686","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb5856cfab9222c55b39b1e185c12c23ff506404","datavalue":{"value":{"entity-type":"item","numeric-id":3564880,"id":"Q3564880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c33f0a45c7143deec45c41ffd52e91e69a7fb8c","datavalue":{"value":{"amount":"+0.8581372499465942","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":"Q784484$80DB5E20-68DD-4DEF-BAF9-51E6CA53AA02","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":"22b19dd2c8e0615334bea96c1fea8c545cb164d6","datavalue":{"value":{"amount":"+0.8459312915802002","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":"Q784484$D90F17DD-9B5D-44D2-AE72-4D13B4B35E4C","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":"3c430533dafbe0612042df32cac5e4431b0ec29d","datavalue":{"value":{"amount":"+0.8044511079788208","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":"Q784484$78CAEA8D-F342-48E0-8704-9F0B8639C55B","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":"e78a75f1e3c97e1c50649ff9a74a9e5741309f05","datavalue":{"value":{"amount":"+0.7940967082977295","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":"Q784484$B9B850D4-0C4B-402A-BCA8-5F87AD8F362F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Polynomial algorithm for equivalence problem of deterministic multitape finite automata","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Polynomial_algorithm_for_equivalence_problem_of_deterministic_multitape_finite_automata"}}}}}