{"entities":{"Q5271083":{"pageid":7300658,"ns":120,"title":"Item:Q5271083","lastrevid":52843094,"modified":"2026-01-23T15:18:27Z","type":"item","id":"Q5271083","labels":{"en":{"language":"en","value":"From monadic second-order definable string transformations to transducers"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6738826"}},"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":"Q5271083$D0E6C732-CD51-4121-9AE5-6BEF8C26BDC5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"24a65b45b45d457643ffaab0b5a2fbfde176aa0f","datavalue":{"value":{"text":"From Monadic Second-Order Definable String Transformations to Transducers","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5271083$99FDF5C7-8030-46D8-A4CA-912ECBA2B8C5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"38a358dcc67aaca0b6bc87c59a406ef92747dd13","datavalue":{"value":"1366.68133","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5271083$D3F589A0-9C07-4415-8236-44C025A841AA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"498e328b709f0cfc289489ff71334154e492faa6","datavalue":{"value":"10.1109/LICS.2013.52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5271083$0F771519-F673-4368-99CA-7FE6462C1F1E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cd0acc414943beb072c4bab682832f63ecf09ede","datavalue":{"value":{"entity-type":"item","numeric-id":526754,"id":"Q526754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5271083$F5F9BF8F-6BA3-43E5-9955-63C1EB253C7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6a72b28ad0c1900b47db02f10ab1ac784719860f","datavalue":{"value":{"entity-type":"item","numeric-id":278756,"id":"Q278756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5271083$D926C94E-77E7-4D52-BAB8-4C625FE94C4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7e23e254236a8294ef997c8803c32040e3643f2b","datavalue":{"value":{"entity-type":"item","numeric-id":294639,"id":"Q294639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5271083$C5861446-130A-401A-89E8-03751E4024EA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8f2a27057ee3b9429467b9887dffe24f85e110db","datavalue":{"value":{"entity-type":"item","numeric-id":5271034,"id":"Q5271034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5271083$D599D152-109F-42E7-AADD-ECFE4A072819","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6edb88116a7eeacb35c0b679978087861f13003c","datavalue":{"value":{"time":"+2017-07-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":"Q5271083$370F8DC5-A396-400C-BF39-138B860D5D76","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5271083$D2C84BA4-28B3-48FA-9E60-078A98B5A855","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5271083$4A7C44C4-ACB8-471D-9101-D79AB9D035BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5271083$E36D1036-35B4-4458-B4C1-49FB860236A9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"652d6cb7cf5bb27511f26c34b4509703c72dd8e2","datavalue":{"value":"6738826","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5271083$22ABFBEB-2675-4445-9B08-524F5A761408","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"62d6b0f76a1ea5dacc5f7ebaad28df95c0fc8640","datavalue":{"value":"streaming string transducers","type":"string"},"datatype":"string"},"type":"statement","id":"Q5271083$69120150-FEBA-466F-A1F0-5806379F2088","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d16b11223dd43ac9feeeb5b11a98ef1a7a06ae9a","datavalue":{"value":"monadic second-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5271083$6B75F22D-AF5E-47B3-BE42-3B103DA60E16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f9eed4889c3832b997a44d4b77f4b12bc83f2099","datavalue":{"value":"\\(\\omega\\)-regular transformations","type":"string"},"datatype":"string"},"type":"statement","id":"Q5271083$F03C4D98-E986-496C-966F-B9513D07AF76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e971c9fd8a445192e44006e754cf7b083c39b6f5","datavalue":{"value":"tree transducers","type":"string"},"datatype":"string"},"type":"statement","id":"Q5271083$6ADEA683-F48A-438D-9020-0F1A0A0EBBA9","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":"Q5271083$2BD003EC-7826-49AC-BB4D-93B017B0C49E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2497d137333c9127394362356567cb33e7824d88","datavalue":{"value":{"entity-type":"item","numeric-id":4406290,"id":"Q4406290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"72ec8fb809fb51d7d4000ab902ae52015b5e994e","datavalue":{"value":{"amount":"+0.839022696018219","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":"Q5271083$B6B9B6DF-5C3B-4996-B90C-7B86FDA3C008","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a26ac38d52ddf1468f70622955bd9da536e376ec","datavalue":{"value":{"entity-type":"item","numeric-id":5918275,"id":"Q5918275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"100f8ce1844787bc56d13fd827c6d7345aa9040a","datavalue":{"value":{"amount":"+0.8381482362747192","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":"Q5271083$E175B61E-730E-4D4C-89EE-FB6E85501926","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"81e5e6c00fc669844aa4bc1710e06915d10fc55a","datavalue":{"value":{"entity-type":"item","numeric-id":2986782,"id":"Q2986782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"120b81d53f9ca5a096ed21fa6c473a1eeeec7118","datavalue":{"value":{"amount":"+0.8341705799102783","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":"Q5271083$D6DE977E-40DC-4CD7-91CE-5C81667D4AF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e6688fc9328d8fec921cc8a512e269781638de0b","datavalue":{"value":{"entity-type":"item","numeric-id":2978509,"id":"Q2978509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b335bfab7ef834567b2693c75bc66032a29c3bc7","datavalue":{"value":{"amount":"+0.8256139755249023","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":"Q5271083$38212DE9-0A57-4B5F-B869-177EC27FDF69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b35f2265fc13442f7e1d14531b952a81b0bbc6b6","datavalue":{"value":{"entity-type":"item","numeric-id":4636559,"id":"Q4636559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e09e4d6b19f1d1b7b44a5262f084a6c386e9305","datavalue":{"value":{"amount":"+0.8101535439491272","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":"Q5271083$A918CECE-C7D4-4029-985E-460D5A2BFAE1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5271083","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5271083"}}}}}