{"entities":{"Q2640344":{"pageid":2651087,"ns":120,"title":"Item:Q2640344","lastrevid":49462915,"modified":"2026-01-07T05:06:53Z","type":"item","id":"Q2640344","labels":{"en":{"language":"en","value":"Automata and languages generalized to \\(\\omega\\)-continuous semirings"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4187111"}},"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":"Q2640344$9026EA3D-2D2D-4484-A4D1-CC7D48DE1800","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"321248448f81a3023558e7a7f5f782855e2c2315","datavalue":{"value":{"text":"Automata and languages generalized to \\(\\omega\\)-continuous semirings","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2640344$F7C0AD8C-40E2-4C12-9EDD-01AA46D027CA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5efe6e47d5e5a0ca8ea16ebae53bef6c8e51bef2","datavalue":{"value":"0719.68034","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2640344$D61F0AAA-B3C8-4277-809E-F8C5A1E67683","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"209906b8848c2c1eb949c2501940367f6dd1ee3f","datavalue":{"value":"10.1016/0304-3975(91)90147-T","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2640344$DD2BA089-5A4F-42D4-9D6E-A943FF709E06","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":"Q2640344$8EED331B-E169-4452-9DE1-B044B466198A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"391107ffc7a24346d69c573e292e4ff4587e3aaa","datavalue":{"value":{"time":"+1991-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":"Q2640344$15C097A7-6EA7-4D2F-AAC3-63529A957DB0","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"f8b7d6fd7bee2258b850b474afc52a340d084b6c","datavalue":{"value":"After presenting some basic notions and results about \\(\\omega\\)-finitary semirings, one defines automata over \\(\\omega\\)-continuous semirings and a generalization of the Kleene Theorem to this case is proved. (The result has been reported in \\textit{W. Kuich} [Lect. Notes Comput. Sci. 267, 212- 225 (1987; Zbl 0625.16026)], the Kleene and the Parikh Theorems in complete semirings.    Algebraic systems in the polynomial algebra over an \\(\\omega\\)-continuous semiring and pushdown automata over \\(\\omega\\)-continuous semirings are defined and shown to be equivalent, thus generalizing a known characterization of context-free languages.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2640344$66048D64-6EE5-4229-B70C-7F2DD8249D4E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2640344$F89E514B-EA17-4AF8-AFC0-520669CF6727","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"deb5f9f43f355c6575c467b17adc4a680e013b41","datavalue":{"value":"68Q70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2640344$F9EA8649-1DB0-4B50-BD7A-0821343E3427","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bd8469f048a9818354d648c0d969cf0276463853","datavalue":{"value":"4187111","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2640344$04EDC78A-98E8-48EF-AD97-7047F67D520D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d70a35bc69e124e1c7b10863bfea51216385aa90","datavalue":{"value":"Kleene's theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q2640344$AF2B561B-79F2-4D9B-8766-151F5C0AB1A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5131b2129187d7bca5a97fd861aaf17ca6ea2378","datavalue":{"value":"polynomial algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q2640344$544BC1BA-E896-476F-AFE5-5AE1E4EAC8A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e14e5b02b16571f2b88eaea026a3813503361fe4","datavalue":{"value":"\\(\\omega \\) -continuous semiring","type":"string"},"datatype":"string"},"type":"statement","id":"Q2640344$2661944B-3D36-4463-8587-06525392B1AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"456c672ca15cab74651e643baa7549046be81ae8","datavalue":{"value":"pushdown automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q2640344$C4F60B7D-5DB5-4684-864A-AB19C7DD8E14","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8ce11f4b3a69e8357fb668d5048be9658c17e247","datavalue":{"value":{"entity-type":"item","numeric-id":672828,"id":"Q672828"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2640344$4DEC5598-85EA-487A-AB43-30914E3CB8ED","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"42210bafdd52b4cbc4a62733feb51d89cc3d12b1","datavalue":{"value":{"entity-type":"item","numeric-id":224640,"id":"Q224640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2640344$13BF43B0-527E-4A8C-9BE8-D2142DD4CEE8","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":"Q2640344$C96CC8CC-5A93-45A4-A9F2-19A55D082671","rank":"normal"}],"P223":[{"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":"Q2640344$1E9BCB9C-536E-4DC4-800C-925C87806ECD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e1b1a2184a3e307a6b7fbcad400bae44b607ab09","datavalue":{"value":{"entity-type":"item","numeric-id":3201767,"id":"Q3201767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2640344$4BA65085-DF0B-4899-B26B-BEF3B1F8E2E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9a400bd87bf6a6ff978518d22bccfe9c5f8b77f","datavalue":{"value":{"entity-type":"item","numeric-id":3027187,"id":"Q3027187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2640344$31660AD8-A267-45F1-A4FD-8DD243A8011D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21de29bf9365363cdb3d75c47f1fcf014df66e5b","datavalue":{"value":{"entity-type":"item","numeric-id":3704880,"id":"Q3704880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2640344$1A6A45EE-9E1D-443F-8CC0-3362DF1F6B86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5895353c11b1c21348e17eb6a98c1407d628f115","datavalue":{"value":{"entity-type":"item","numeric-id":4769119,"id":"Q4769119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2640344$AEF8825D-130C-4FE1-AE6F-1B951F371575","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43e8120c912862c576a3856d36dc5b5adf27d5c0","datavalue":{"value":{"entity-type":"item","numeric-id":3777490,"id":"Q3777490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2640344$A33AF1D1-9D96-4634-91F8-F8A0C29EFB61","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":"Q2640344$B5C1F82D-237D-4DC6-8DEA-BEEADC677B32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7cb1641fb870bcd626eff0785d76fae0edf2444","datavalue":{"value":{"entity-type":"item","numeric-id":3794350,"id":"Q3794350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2640344$3F7695D6-15DF-4D67-9759-7092A5F5AF0D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"99497acc7d3bbf75c285b316b42258997310dd97","datavalue":{"value":{"entity-type":"item","numeric-id":4038685,"id":"Q4038685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e897bb6c592529d570ce714cee04129052572bd","datavalue":{"value":{"amount":"+0.9296157956123352","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":"Q2640344$2E942D25-0DB4-44C7-8F22-9C3F3AAE5491","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2722055e96e2aed5d4ad6d0b6fa6417896a64f5e","datavalue":{"value":{"entity-type":"item","numeric-id":3451106,"id":"Q3451106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f4a1deba7fffe4cfee8919bc7c59c95bd41feb5","datavalue":{"value":{"amount":"+0.9288215637207032","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":"Q2640344$E61D929F-497B-4379-A262-843BCC04A9A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e3c3c17047ed28829e58a22a46545b657ef17124","datavalue":{"value":{"entity-type":"item","numeric-id":5894889,"id":"Q5894889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c009f8ac83a047f3a7e4fb39fbdf2b2ee73a94f4","datavalue":{"value":{"amount":"+0.8431618213653564","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":"Q2640344$3B3ABA95-9EAA-4CA6-90CC-3C8143766E53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0864fb8afdde6840286d79dcb486d021f3ef2bd3","datavalue":{"value":{"entity-type":"item","numeric-id":5350146,"id":"Q5350146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd6dbe8e660dd2e7c245574c5bb8930bec51e12e","datavalue":{"value":{"amount":"+0.8388998508453369","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":"Q2640344$0A79D74B-2911-412B-9993-F51E910C0487","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"05cdbfee8c6d69853c2aa8d73cb208fae7b139c3","datavalue":{"value":{"entity-type":"item","numeric-id":2776608,"id":"Q2776608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0accc33ad41b22fad59cb41388aa1bc3c34db0d4","datavalue":{"value":{"amount":"+0.8110871911048889","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":"Q2640344$7011DB16-EA16-4240-9BD9-A3050C431ED4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2640344","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2640344"}}}}}