{"entities":{"Q685453":{"pageid":687302,"ns":120,"title":"Item:Q685453","lastrevid":47188990,"modified":"2025-12-31T23:10:57Z","type":"item","id":"Q685453","labels":{"en":{"language":"en","value":"Synchronized rational relations of finite and infinite words"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 417375"}},"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":"Q685453$9FB882A9-F348-40BB-B4DA-57DBE4A10A9F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"faff3689be9aa1264939ad14034673ae68fb625d","datavalue":{"value":{"text":"Synchronized rational relations of finite and infinite words","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q685453$69EAD19B-C04D-499A-8376-A755A37A8512","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a3f8b3a5c0b360faed6919da8397705595d4259d","datavalue":{"value":"0783.68065","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685453$F7A02C32-0327-4AA8-8285-CA0299DDF2F7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7d7d3bcce18f0794268ef6ea4b1ddc8d226781ef","datavalue":{"value":"10.1016/0304-3975(93)90230-Q","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685453$6EE81D24-746C-4125-9442-53ACB3CE0061","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"df95338b1c9dce7a662974f50b544ac3edae22f2","datavalue":{"value":{"entity-type":"item","numeric-id":596059,"id":"Q596059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685453$E4EB0632-031C-4DB6-9AEE-ECEFBD0BC01B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cfd137ab3986c6c9a1e6f54aff881bebe6c2d055","datavalue":{"value":{"entity-type":"item","numeric-id":505063,"id":"Q505063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685453$E6A3806A-9957-4FBA-B9F2-713A145F34A7","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":"Q685453$4FA97C49-F078-4DC2-96AF-ACEDD1786441","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ea9458ce3029a7f683c04e43e886fdc910ea299c","datavalue":{"value":{"time":"+1993-10-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q685453$6DFE6A86-B180-4F28-BBEF-476ACF915164","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"f1536b313c9b743e41fd7a76c0cc21b798a7a1a3","datavalue":{"value":"Rational relations on finite and infinite words are considered. The emphasis is on the synchronized (letter-to-letter) rational relations and the rational relations that are computed by automata with bounded delay. The authors make use of the resynchronization lemma of Eilenberg and Sch\u00fctzenberger. This result is generalized for infinite words. For the finite words it is shown that the synchronized rational relations are deterministic rational relations. Moreover, it is shown that it is undecidable whether a rational relation is synchronized or not. For infinite words it is proved that the family of deterministic synchronized rational relations is the intersection of the families of synchronized rational relations and deterministic rational relations.","type":"string"},"datatype":"string"},"type":"statement","id":"Q685453$AB01F28E-AF17-4CD8-BA7B-15A6C4A58AD2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685453$DFA59C0B-FA77-48FE-B3D9-E9AE62FB13B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"deb5f9f43f355c6575c467b17adc4a680e013b41","datavalue":{"value":"68Q70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685453$F3A1F068-3B12-414A-A101-7FCB1DF0786B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"23149673dde05813672617e26c3fcb130092997c","datavalue":{"value":"68R15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685453$9203337E-74B5-4F9B-8E1F-56F5CF98CCA4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"510f9f932d48fab3f698cc9a62afe47f939e1606","datavalue":{"value":"417375","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685453$A5460516-CE93-4817-9CE6-334BBEE3923F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c48b241c2e53ac9c4073e4f6a37f6442b7c79d7d","datavalue":{"value":"free monoids","type":"string"},"datatype":"string"},"type":"statement","id":"Q685453$1E9B6C21-10D0-4862-808C-C6AA3F26DC73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9fa36130e82077da1500a611dfdd0f247e985b15","datavalue":{"value":"synchronization","type":"string"},"datatype":"string"},"type":"statement","id":"Q685453$A3534851-4440-4F3E-A6F0-D66EB2408635","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"148097ed7316e52cb883595e9f256272eac37b52","datavalue":{"value":"rational relations","type":"string"},"datatype":"string"},"type":"statement","id":"Q685453$59A2FB79-D1DA-4BD8-882B-5F026307B8DA","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"6e0db3e87cf0564d4c180dc3531c145e91e81ccd","datavalue":{"value":{"entity-type":"item","numeric-id":1806108,"id":"Q1806108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685453$B4347F1E-3CCB-4CA9-B73B-8CDBEEB6A983","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":"Q685453$0BC9DFF9-3583-47AF-9D20-B8D5C3527559","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab7af928bb8214c6b34ff5528612e113b23dfe75","datavalue":{"value":{"entity-type":"item","numeric-id":4298373,"id":"Q4298373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685453$B8EAF5FD-FC0E-4790-9D0E-2F4092FB5A99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3632afaf7c9124694de853efafd5cd84e2a50881","datavalue":{"value":{"entity-type":"item","numeric-id":3859267,"id":"Q3859267"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685453$F76241E2-D4E0-4152-ACA8-BEA0A2936CD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06c411f40bd3fed70a734570dda325013084ac01","datavalue":{"value":{"entity-type":"item","numeric-id":5525343,"id":"Q5525343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685453$AC26CF50-E8D4-4355-92A2-84227B460E52","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":"Q685453$21875F62-B93F-4F6E-BA49-56129DDF8E8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf8323578f1bc3f7c7f8014c6f09aa7ff9af74a6","datavalue":{"value":{"entity-type":"item","numeric-id":5507511,"id":"Q5507511"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685453$5A0D54AF-7BAF-4C88-89A5-04ED9A3D26E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bda3489b46b03cce2e2d044b296bd7198c95bbca","datavalue":{"value":{"entity-type":"item","numeric-id":4003861,"id":"Q4003861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685453$6B726F64-D813-4946-B9D1-D99AB92B89D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a0006f9acf90b4b0284255798338710e2147e156","datavalue":{"value":{"entity-type":"item","numeric-id":2527943,"id":"Q2527943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685453$7747AF91-1234-40D4-95D5-88E79B16A177","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"afd52f9b2864d5eb26c0dee8cd058f17274aca5b","datavalue":{"value":{"entity-type":"item","numeric-id":3992021,"id":"Q3992021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685453$4AB83F20-16A5-4E7D-89A6-8A3C26DE142C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f2eb5d5bc87478e5fd151bc17cc12d6e7fe516d","datavalue":{"value":{"entity-type":"item","numeric-id":4347960,"id":"Q4347960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685453$6CD48B78-F9FA-4B7F-894F-639350D29FD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1e5a0e65126d9e3d89e8d06cd09d71f330bef34","datavalue":{"value":{"entity-type":"item","numeric-id":801688,"id":"Q801688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685453$5DD79C0A-103A-4FE3-B4F7-D23BA101A597","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":"Q685453$6F020074-F853-486D-8707-ECD05C060E86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"411c37cd4ef73a8325b7e8c6f5b0724340092f4f","datavalue":{"value":{"entity-type":"item","numeric-id":1089801,"id":"Q1089801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685453$6BA3FD78-657D-4C74-B409-E5CCFBFC590B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a592cba5bd50a769a8b95145033ff13a570cf73","datavalue":{"value":{"entity-type":"item","numeric-id":5573396,"id":"Q5573396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685453$42B36645-4E45-4B67-B980-86E82828EB4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a616e39975f1530d0d65ef279c561100695acade","datavalue":{"value":{"entity-type":"item","numeric-id":3358244,"id":"Q3358244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685453$9B1539E5-3804-41A6-8500-8B232C79EBF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c01cd7ed213ec77cf55a965744c79a410bdd100","datavalue":{"value":{"entity-type":"item","numeric-id":3906456,"id":"Q3906456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685453$F82970B3-3366-4E4C-B414-A89ED4B8D1A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2493561a6c0a7ef8a7e62c22f1a41a75c6b12fea","datavalue":{"value":{"entity-type":"item","numeric-id":1241982,"id":"Q1241982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685453$A0983BD1-2277-4252-806C-0C298172B407","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc991b6b90e8360baaa546e9dfdab51d8674e144","datavalue":{"value":{"entity-type":"item","numeric-id":1055547,"id":"Q1055547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685453$F3FC80C0-8CFC-4A4D-8C69-EA7C1674A107","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f1d821bd2a1a38500df8bdaf1b0ad70b8c8ee08","datavalue":{"value":{"entity-type":"item","numeric-id":4385530,"id":"Q4385530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685453$58AF3CC1-0018-4E4E-9C6E-C8DC3230772F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fcd6d9a9d64817a7b0edd88dd6e7f145fd04ebd5","datavalue":{"value":{"entity-type":"item","numeric-id":5377226,"id":"Q5377226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"87e96321185909d3604da47826c3a9f907a2ded1","datavalue":{"value":{"amount":"+0.826549768447876","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":"Q685453$00514F26-770E-4CAE-A28F-E20788957FAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"da717d4be4dd30c378acd3eb55913c3a864d1ffd","datavalue":{"value":{"entity-type":"item","numeric-id":1679989,"id":"Q1679989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1001cf9c62145893f8b9198bb25047f73ac8ef55","datavalue":{"value":{"amount":"+0.8265497088432312","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":"Q685453$5128035F-71AE-4910-A607-DF4DE702326D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c078fbb288fd82b1a3bcf46022dd8d7ea56c1f98","datavalue":{"value":{"entity-type":"item","numeric-id":801688,"id":"Q801688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c8a387fef49d8a3ed1a994cf0014f7e6b69d5003","datavalue":{"value":{"amount":"+0.8148660063743591","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":"Q685453$CA2E46C5-AE9E-469E-BD78-762B9F7B16FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f62ec9b95b652269a9fdf36ff622e0f884ff0805","datavalue":{"value":{"entity-type":"item","numeric-id":3431438,"id":"Q3431438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"84ed9e99aec5c7d473de8b7a1be0e714cdc085d2","datavalue":{"value":{"amount":"+0.8103810548782349","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":"Q685453$D5C41CB1-F5A8-4BBC-A596-94F0B0337180","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ebb5f8b7779f9cf4e4392c0a23298379d4856aa","datavalue":{"value":{"entity-type":"item","numeric-id":4035657,"id":"Q4035657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9459edfbae1372207e05a0d3db184fe34800779a","datavalue":{"value":{"amount":"+0.8065037727355957","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":"Q685453$CEF2F908-1994-407A-B1A5-9AB0BE4ECA9E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:685453","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:685453"}}}}}