{"entities":{"Q2278270":{"pageid":2289013,"ns":120,"title":"Item:Q2278270","lastrevid":73020246,"modified":"2026-04-14T09:26:21Z","type":"item","id":"Q2278270","labels":{"en":{"language":"en","value":"Equivalence checking of prefix-free transducers and deterministic two-tape automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7139919"}},"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":"Q2278270$44FDF5C2-84F7-4B23-93F7-50EE3C965CE8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a283a1590efbf03e773a5cdf70f77c4bf07dc39a","datavalue":{"value":{"text":"Equivalence checking of prefix-free transducers and deterministic two-tape automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2278270$1F71B6DF-44E7-4E83-9D40-49AB2748544D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f23a19e4481e0bacec6cd47de77f8dfed825d010","datavalue":{"value":"1425.68239","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2278270$59629482-7EB6-40E8-B7CF-F3B97960E61C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9825d57d5edb6e08b91e7fb72b9b597bdd8ebad9","datavalue":{"value":"10.1007/978-3-030-13435-8_11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2278270$9A7D4E21-2810-4818-A115-F4F22E70393E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"332b7ab2f562de760e4211faf2f6e6ad840f3db2","datavalue":{"value":{"time":"+2019-12-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2278270$8092BA23-E809-4114-8F43-DFAD2D4CC957","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2278270$F4F8F38C-903A-4546-AD6B-B056A4C9EC32","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6ad05c892827dee40398befd6fd46fa93d823a82","datavalue":{"value":"7139919","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2278270$C2BED54D-3113-4801-98C0-604C6D1CCC7A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4d9249fb1cd697d81c85cdf08d7ccacda1a83410","datavalue":{"value":"transducer","type":"string"},"datatype":"string"},"type":"statement","id":"Q2278270$1307C4A5-8B5F-4CCB-9221-ADE543EEB66F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"07fde00bc3e664af7199a267aba62d13e9b10c79","datavalue":{"value":"two-tape automaton","type":"string"},"datatype":"string"},"type":"statement","id":"Q2278270$B9E85D7D-9725-4505-80E1-E3A97097B015","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"94a460cf012fa9356569b14e64b0464838067e30","datavalue":{"value":"equivalence checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q2278270$17AE2698-1824-47CD-B7FE-8F70FA87F2B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2e93c21848df64a68b458343a8055761bea97da","datavalue":{"value":"prefix-free language","type":"string"},"datatype":"string"},"type":"statement","id":"Q2278270$87C40F51-F079-4EC6-B129-6A919A743776","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4018889dfe66dc4c3640119c7c803ef439483ec1","datavalue":{"value":"language equation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2278270$09767334-C955-488F-A97A-9EDA116F55F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eb79299daf8f29391d6c8a2b4222865ffe474551","datavalue":{"value":"decision procedure","type":"string"},"datatype":"string"},"type":"statement","id":"Q2278270$877A9C17-B072-41BE-AD1C-1BCA4EE74254","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7153bb19785740785cd6347b4d653dc5d37c5e4d","datavalue":{"value":{"entity-type":"item","numeric-id":1592931,"id":"Q1592931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2278270$F095FA6F-0BE2-4C92-93EC-6CDF05928AED","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":"Q2278270$63F49888-E0B9-4213-A339-85184C5544E4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e67e71447ef8d36c68c17628eb44e4509644d8a0","datavalue":{"value":"https://doi.org/10.1007/978-3-030-13435-8_11","type":"string"},"datatype":"url"},"type":"statement","id":"Q2278270$A56E2884-BDDB-4CD3-BEF9-9DF554FB6F0F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9cfbfd3db4d9075cbfe04c7cfe172982e23664ba","datavalue":{"value":"W2913293222","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2278270$7DA4EFDC-B973-4366-97CF-AA18C5E2ACDA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d58c1808ddf8498d09b58dd9ab6d998ad2a94c9","datavalue":{"value":{"entity-type":"item","numeric-id":2452753,"id":"Q2452753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0584a652a201307f4b5ecedba1cc36cb674d99e9","datavalue":{"value":{"amount":"+0.9057623","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2278270$16A4F4A4-0AB1-4AAB-9487-5514374740A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d1c9740d56b6f3a0e9e919e8910a001ed40a339","datavalue":{"value":{"entity-type":"item","numeric-id":5096179,"id":"Q5096179"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e5cb87076887c4ad95c6fd60d69e191d4ef202e4","datavalue":{"value":{"amount":"+0.90447056","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2278270$B7F4B43E-21C4-4D55-A3A4-D2E9EF642589","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f27e6feb3a92810536d2ddef6a8c3d8d44b8be2","datavalue":{"value":{"entity-type":"item","numeric-id":5463990,"id":"Q5463990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4020c91c87e11eb3b670354e8ea7652befdc8e79","datavalue":{"value":{"amount":"+0.88071674","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2278270$5A77997F-56F5-43CC-9A0C-40A75213637B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"70b1a4da1c1ae4e57d9603c995a56d94f59669d9","datavalue":{"value":{"entity-type":"item","numeric-id":5045387,"id":"Q5045387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a0912ce17b806f1467c710e5acd96465d266e161","datavalue":{"value":{"amount":"+0.88050336","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2278270$A335409A-3C1C-4B7F-9216-9CF4A84D62A3","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":"876f64c2a38891589a56e76ebcecb8687341886f","datavalue":{"value":{"amount":"+0.87913376","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2278270$71A83D9B-CCA2-4BBA-9832-A67493FE7A63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"580d8c225796b3fc9e662b930ef5c6d00ebb8bc8","datavalue":{"value":{"entity-type":"item","numeric-id":2947161,"id":"Q2947161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"106371d7a83f463346c6b5b6bbd7da10f3e8554e","datavalue":{"value":{"amount":"+0.8765696","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2278270$CE1E83C0-DEC6-4C0A-9890-A3121DFF6923","rank":"normal"},{"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":"0ffa348332c9b51c521bea4ec0eb41f6da7532df","datavalue":{"value":{"amount":"+0.86791885","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2278270$4ACB3FF9-D113-43FA-B194-DC5FD81689A9","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":"6175b0b83612da6193082b616a885afa99c21303","datavalue":{"value":{"amount":"+0.8653909","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2278270$3259751E-7DDA-4DE1-AB75-B02A303A4310","rank":"normal"},{"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":"9f35279d56f85acac054c239929589ab0ba6876c","datavalue":{"value":{"amount":"+0.86520827","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2278270$EE7FA66F-B330-4881-8296-E9F6E7C62181","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b60d4915e05296216bc2e783adc07816ee14f3b","datavalue":{"value":{"entity-type":"item","numeric-id":2458041,"id":"Q2458041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb4006e0d1a3818ce08e9a0c8d60dc9207eda8a5","datavalue":{"value":{"amount":"+0.86405367","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2278270$7C1B800E-FBB3-4D31-9087-16AD0416B47C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Equivalence checking of prefix-free transducers and deterministic two-tape automata","badges":[]}}}}}