{"entities":{"Q1822509":{"pageid":1833251,"ns":120,"title":"Item:Q1822509","lastrevid":49062781,"modified":"2026-01-06T13:18:09Z","type":"item","id":"Q1822509","labels":{"en":{"language":"en","value":"Fixed point languages of rational transductions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4003550"}},"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":"Q1822509$9614C6FC-521B-4EFB-93F0-507E9AC79A26","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b9bc7fad60ba9112588ce74ff803ec2fbb06d58d","datavalue":{"value":{"text":"Fixed point languages of rational transductions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1822509$704F6414-465F-4FE6-ACD6-CA1ED8008387","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"eabf9791fdd05067a5b68641f574ac09f90a2144","datavalue":{"value":"0618.68065","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1822509$5281DBF2-EDD1-4869-886A-EA944E7C588A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7133abd143b1d100597126ce68a53715e8c832bc","datavalue":{"value":"10.1007/BF02573161","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1822509$85D72852-3E53-439E-AF8D-8EC3B8D32B6D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"39aea4bc9d456ab86b1f8acde8ed7f610dbd2d30","datavalue":{"value":{"entity-type":"item","numeric-id":296493,"id":"Q296493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1822509$266362E9-3D01-4E4B-A9C3-5F9509B0B712","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"28dbf90a09492d81530507fd711b9336815e58a3","datavalue":{"value":{"entity-type":"item","numeric-id":172569,"id":"Q172569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1822509$F842E508-4698-4C56-AA64-36350E86C24F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63df7153432d81fa42019fcabb076c89649b0b5b","datavalue":{"value":{"time":"+1986-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":"Q1822509$0D6BCE0F-EB00-4B3B-81E3-6969351EF983","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c716d67d323161988c59f235184016b00b345269","datavalue":{"value":"https://eudml.org/doc/134837","type":"string"},"datatype":"url"},"type":"statement","id":"Q1822509$F9577867-5E60-4FD5-B558-73B908BE1FDD","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"5bfbed730d0f0f0924262a99d03966ff8c88db89","datavalue":{"value":"This paper studies fixed points of rational transductions (rational relations). The set of fixed points of a rational transduction as a subset of a free monoid is called a fixed point language. Here we prove that a fixed point language is always a context-sensitive language and study some special cases. The results may also be viewed as a contribution to the qualitative theory of equation in free monoids.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1822509$13525441-B794-42BA-9221-CB952B99BD6F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1822509$A69BE119-95C4-45BE-A592-8AE7D042A137","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1f2d51749736d7a35abf742f9ac7394f1aeed58c","datavalue":{"value":"20M35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1822509$E4D65BBC-D26F-48F3-AA7D-CE58F99A9590","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"03468f1d5abafefed311cc9ccae9ddd73ff4dbd8","datavalue":{"value":"20M05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1822509$5A4EC924-0861-4A3E-94BC-40697688525F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"05885770b49c7c16f1025df26401edd0b556e55d","datavalue":{"value":"4003550","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1822509$5E8FA7B6-9EE7-4AD6-8215-D5BFF6D685DC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a9a7b0cf17169865b15e8c9d7014c24bafb8410c","datavalue":{"value":"fixed points","type":"string"},"datatype":"string"},"type":"statement","id":"Q1822509$E909007E-0DC9-4946-898D-CD5155917924","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"afd17ebcd4b5536029790b819e380a81a8678fec","datavalue":{"value":"rational transductions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1822509$FCEEB90E-CB28-4D26-9F43-7CC0DB690DE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"148097ed7316e52cb883595e9f256272eac37b52","datavalue":{"value":"rational relations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1822509$218548AF-311A-428F-901E-080C24B423F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e574ede4fc26d40643d52a2fef54221b23d8360a","datavalue":{"value":"fixed point language","type":"string"},"datatype":"string"},"type":"statement","id":"Q1822509$34461792-25DC-400B-A72A-F5E419DB73ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"018ea450f1270bac19e5288a5761db2ed9dfa60d","datavalue":{"value":"context-sensitive language","type":"string"},"datatype":"string"},"type":"statement","id":"Q1822509$3ADDC075-3ADE-47A8-BA26-07E0B88D192E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3b5438b95bf34505ed723fc8cb42234fddd22da5","datavalue":{"value":"qualitative theory of equation in free monoids","type":"string"},"datatype":"string"},"type":"statement","id":"Q1822509$D05679C5-0407-492D-BDC7-0D0A4DBA7376","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":"Q1822509$0851F507-396C-4B57-9458-744C095420A4","rank":"normal"}],"P223":[{"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":"Q1822509$2E15D472-A854-4061-985C-45DA53B5BB56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"faf638d94009d9b0647c7451d1548fd4f714ae70","datavalue":{"value":{"entity-type":"item","numeric-id":2554235,"id":"Q2554235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1822509$C04B30B5-D5FF-4C11-B7B3-0AD3ADD9791C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45a6cc612cd69e71b2b1680c5fce10af5da3602a","datavalue":{"value":{"entity-type":"item","numeric-id":3901701,"id":"Q3901701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1822509$85D232A1-3262-4FC4-898D-EB3B7B5C1B32","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":"Q1822509$FEC443E3-87F6-4FBB-944A-45469B5A2630","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca9c4d0378db61d4529bee932fdb85a442f47565","datavalue":{"value":{"entity-type":"item","numeric-id":3856116,"id":"Q3856116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1822509$5F7F60E0-3666-4DF8-A730-EACBFBAA156E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad14a7dd4f445a4e52bb9ac7dce1af5f5adb91c7","datavalue":{"value":{"entity-type":"item","numeric-id":3930659,"id":"Q3930659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1822509$4A448438-E8C2-43B1-8925-A493A47F5AE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"afe18fdfb882c799d34a7482b763d96a45625e71","datavalue":{"value":{"entity-type":"item","numeric-id":3853827,"id":"Q3853827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1822509$EBC146C0-B3FF-470B-970C-75C726CCECC9","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":"Q1822509$5C677C24-0302-44BA-BBB1-7C2F532F21F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"afbd0c5139cd54c5bc85147a9057c45e6c7edee7","datavalue":{"value":{"entity-type":"item","numeric-id":1220392,"id":"Q1220392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1822509$87BCA4FB-A30D-4001-B741-6B060118593E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56aa7a343db226e6c7da9bd7db585a412df58862","datavalue":{"value":{"entity-type":"item","numeric-id":5678435,"id":"Q5678435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1822509$C340C4D3-5436-466A-B693-C47CD8B29A24","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b2ac223a56ce4869a835fea092aa063b355e97c3","datavalue":{"value":"W2099633252","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1822509$111D4175-D0C9-4E8E-8698-D3B1ED012C22","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"295f9f49f30f68d0abfa2b0a9d713522fcbb6a93","datavalue":{"value":{"entity-type":"item","numeric-id":4884888,"id":"Q4884888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9801bd842cfb0c43ebe98ee68e28449e211d5b7d","datavalue":{"value":{"amount":"+0.8942485451698303","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":"Q1822509$CD1AD6A2-C7AA-462D-AE27-8F1ED898F543","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ec642a26f9d06f303cb230beef647b378f845f7","datavalue":{"value":{"entity-type":"item","numeric-id":1637233,"id":"Q1637233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"09a2fcdfc7704ec2c92cbce70cabcb1262bccad6","datavalue":{"value":{"amount":"+0.8432744741439819","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":"Q1822509$FE84F02E-C833-4035-928D-DF5AFBC2EE21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"56fe08d7549648aa43d740355f7d178e35fd6b85","datavalue":{"value":{"entity-type":"item","numeric-id":3995871,"id":"Q3995871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c4b41658bad62e2756ffc2a9bbec03f2b62c488","datavalue":{"value":{"amount":"+0.8420541286468506","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":"Q1822509$775932ED-AAC0-4BC6-A5F5-7D485B4D9165","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d71adf7da1b300612ec2196533692ae591196734","datavalue":{"value":{"entity-type":"item","numeric-id":1823712,"id":"Q1823712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"daab729a3fdd89f2e1c248ec7a193767b588fb57","datavalue":{"value":{"amount":"+0.8054553866386414","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":"Q1822509$034D39A6-3CA0-4468-B975-53B4ABA713E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"669844b2376d9d24de2b898649a387f9b4865df5","datavalue":{"value":{"entity-type":"item","numeric-id":3700861,"id":"Q3700861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f77437dfb2b4fd0b9ca9235521681c3db0fec8cd","datavalue":{"value":{"amount":"+0.8026089668273926","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":"Q1822509$5FD6C281-6EC2-4E22-8CDB-1A080329881D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1822509","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1822509"}}}}}