{"entities":{"Q2882389":{"pageid":2893114,"ns":120,"title":"Item:Q2882389","lastrevid":79510700,"modified":"2026-05-06T14:04:54Z","type":"item","id":"Q2882389","labels":{"en":{"language":"en","value":"A Kleene-Sch\u00fctzenberger theorem for trace series over bounded lattices"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6030477"}},"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":"Q2882389$77F602EC-620E-407E-A362-DD2B09A63522","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2320918ee069656f54720b561499af9f0c988399","datavalue":{"value":"1257.68097","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2882389$0986DB2A-6B25-4916-96E2-3C3482A5350F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"54ac8a242d4a526076e8118cbdefc8d9655bf9df","datavalue":{"value":{"entity-type":"item","numeric-id":1702519,"id":"Q1702519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2882389$4CB5F1C8-143A-46EB-9B21-3A6CC4FE6225","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8d0f2e18c1df897dbb15de5492927d1ae63c4ec2","datavalue":{"value":{"time":"+2012-05-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":"Q2882389$E44DA68A-5E55-44F3-B255-C807B1E0A7D8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"08b2d99cc3335cc6e158de78bb990819239a4cee","datavalue":{"value":"http://iospress.metapress.com/content/y01p7x314587550p/fulltext.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q2882389$A5BF987C-A671-4499-BD00-8C41277D9CAD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2882389$2B388B2D-715B-46B1-8099-0FAF96738D1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"deb5f9f43f355c6575c467b17adc4a680e013b41","datavalue":{"value":"68Q70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2882389$5D31FCCC-322B-4632-8BC0-86716AC6AEED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2882389$31A587C2-BDCD-42B0-A317-EF2B977D81A8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5bac0f1a0c952a2133b4f59f06c2bd39ab41cc04","datavalue":{"value":"6030477","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2882389$D7E3A1B5-B3B9-4073-A941-A56416BA2821","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"25a872fa636e70643c133c6966d147abf98291a8","datavalue":{"value":"trace languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q2882389$2B595958-D012-4A2B-BE08-E6B8BD2B82CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3590eb8b47f26c41d61639b5166afe44752133e","datavalue":{"value":"formal power series","type":"string"},"datatype":"string"},"type":"statement","id":"Q2882389$53E446B8-D323-4280-B6FA-FA115525C99E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"266cd2fb37ad2ba00390f1ff46b4c5e9361f6aa9","datavalue":{"value":"weighted automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q2882389$95AFBB30-381A-46C9-9BFC-544E3940E9E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d6a3ea23e1436bd5ff37169739e2af61b607f458","datavalue":{"value":"recognizable series","type":"string"},"datatype":"string"},"type":"statement","id":"Q2882389$C92C3EDA-CFA6-46AC-A28B-31C3D7DF7C5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bd1b7a86852d6568201155713c5b838e267dc176","datavalue":{"value":"rational series","type":"string"},"datatype":"string"},"type":"statement","id":"Q2882389$41103856-C998-464B-A9EA-24B539765B96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a79f69a9b8336f98156683596ec9378cfd0ed9fd","datavalue":{"value":"bimonoids","type":"string"},"datatype":"string"},"type":"statement","id":"Q2882389$708F1885-910E-46CF-872F-C56F9C12A6AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"445a4fbc6b6bbba6e3c2169de8e334950d4f0826","datavalue":{"value":"concurrency","type":"string"},"datatype":"string"},"type":"statement","id":"Q2882389$C2A32F75-9909-48D8-9B97-56A483616BBB","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":"Q2882389$965977AC-6E19-447B-9182-932EC8FCD28B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"953c99071dd84a24464bba10435b74925b002aec","datavalue":{"value":{"entity-type":"item","numeric-id":4761390,"id":"Q4761390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ba63efce3550b14584713bffe3d55ad1f766f56","datavalue":{"value":{"amount":"+0.8986127","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":"Q2882389$CFAACA2E-138D-4712-8412-7143BEDB1ACC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"18dfbb2370cd35d15207512c9af72bcb074f740c","datavalue":{"value":{"entity-type":"item","numeric-id":4500367,"id":"Q4500367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"08a51416c5496066935838f3b1906a44c5b645b1","datavalue":{"value":{"amount":"+0.87868667","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":"Q2882389$6380D006-5E5C-4CB4-8084-A9C12AE71026","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7deb788af19bd5060a4fba43887b81e00215308d","datavalue":{"value":{"entity-type":"item","numeric-id":1318685,"id":"Q1318685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"72e08025d7daee93f0c7dc2067cd50e035de9207","datavalue":{"value":{"amount":"+0.8675886","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":"Q2882389$9A45882C-F51D-4490-8ACF-DB31F493DA7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cefc94bc83feff4e60f4c2fce3ad8ae5038f6ff8","datavalue":{"value":{"entity-type":"item","numeric-id":2657652,"id":"Q2657652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"351e4c1a82e0e9589f8fb0370cb2e5f1adad18c1","datavalue":{"value":{"amount":"+0.86210316","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":"Q2882389$446CE631-AD0D-42CF-8BBB-0EEE04A9E4E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9438b78723e666e5bec5d498479e1d67c189f2e6","datavalue":{"value":{"entity-type":"item","numeric-id":1854303,"id":"Q1854303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a2e2367e2a8259e4dd38bb05a7f2d23ce1e6766","datavalue":{"value":{"amount":"+0.8593135","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":"Q2882389$3B98D1E4-8E78-4EFA-92E3-9AAF2E5E6F6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"285606dd88d1abab0ee1cfb24c414d174c284e43","datavalue":{"value":{"entity-type":"item","numeric-id":5095308,"id":"Q5095308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"05c2c0aa1656794c06dfc2f1474ad0d1f4587dbb","datavalue":{"value":{"amount":"+0.8585661","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":"Q2882389$AB6EDFD2-7488-4C1A-9815-590BD5065490","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c60f6a32ef9f5d872999d89c17f5371ee0dbef4","datavalue":{"value":{"entity-type":"item","numeric-id":2670662,"id":"Q2670662"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8fbd03d407c2a4484b3a49d2b8a04490859d33c3","datavalue":{"value":{"amount":"+0.85785353","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":"Q2882389$232AAACA-B3CB-4D7A-AF6E-834B296FC1F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1c8777df3f655dd45abbf2d297c133ead811cee6","datavalue":{"value":{"entity-type":"item","numeric-id":2577725,"id":"Q2577725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1e8d1675600bb020eee564e49f436884cb5f5d62","datavalue":{"value":{"amount":"+0.85614073","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":"Q2882389$21370AA5-1991-41E5-B7D8-45E2187B7ABC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2faec627c6019c5975fe4e89aacbec1f6b0e0277","datavalue":{"value":{"entity-type":"item","numeric-id":1024991,"id":"Q1024991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"51d5fb6cbf7fc2fe31e9caba8cf5f17f1f90cf1b","datavalue":{"value":{"amount":"+0.85396796","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":"Q2882389$03039B10-309B-47EA-BF0D-CB4CC5FB0BD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"96e49e8052bd6e85134aaabd50ff90c1250cfc2a","datavalue":{"value":{"entity-type":"item","numeric-id":4783809,"id":"Q4783809"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f06707b77ec9747dfe7e43a731991296ed03330","datavalue":{"value":{"amount":"+0.8520771","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":"Q2882389$53D0AB34-26AE-4EA6-9FBE-D8E88E78C61C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b5ffaebabe182d037365fbf6b7b0269f1ac34a8c","datavalue":{"value":{"text":"A Kleene-Sch\u00fctzenberger theorem for trace series over bounded lattices","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2882389$FA8A9BD1-DF96-4023-9F47-BE5BA44D1949","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1529db038bde6a8aed76ac5e8432917aee1a9200","datavalue":{"value":{"entity-type":"item","numeric-id":2803574,"id":"Q2803574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2882389$A96B11F5-CFC4-4B15-98CF-13E95E978884","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"f85a8dbb0f68d241853e5d55934085fc8c4967e2","datavalue":{"value":"The author investigates the relation between the recognizability and the rationality of weighted trace languages with weights in a bimonoid, i.e., an algebra with two monoid structures. The bimonoids considered here have various additional properties like local finiteness, commutativity or idempotence. The two special types of rationality studied, \\(c\\)-rationality and \\(mc\\)-rationality, are defined by restricting the use of the iteration operation.NEWLINENEWLINE The main theorem states that a trace series over a bi-locally finite strong bimonoid is recognizable if and only if it is \\(mc\\)-rational, and that, if the bimonoid is also idempotent and commutative, then \\(c\\)-rationality implies recognizability. In particular, for trace series over a bounded lattice, recognizability, \\(mc\\)-rationality and \\(c\\)-rationality are equivalent properties.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2882389$DF907427-A3B6-4B0A-99AB-F91E1899E1C2","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"6e07306c48ccd2e9c29ec0a26f6f3afb07223426","datavalue":{"value":{"entity-type":"item","numeric-id":591314,"id":"Q591314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2882389$F3106D1F-4C78-4328-B134-D4C0FDB9A5FE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A Kleene-Sch\u00fctzenberger theorem for trace series over bounded lattices","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_Kleene-Sch%C3%BCtzenberger_theorem_for_trace_series_over_bounded_lattices"}}}}}