{"entities":{"Q398523":{"pageid":400290,"ns":120,"title":"Item:Q398523","lastrevid":56786046,"modified":"2026-03-23T14:36:31Z","type":"item","id":"Q398523","labels":{"en":{"language":"en","value":"Quasitriangular structure of Myhill-Nerode bialgebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6330792"}},"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":"Q398523$3B67136B-5150-438E-B36A-BAD8E660E687","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"16d481361b0e1336af3a6e0aee289a03a052daf1","datavalue":{"value":{"text":"Quasitriangular structure of Myhill-Nerode bialgebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q398523$97E21A3E-8A21-4BB6-8E0E-581A57A5DD2A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"541f27960b469610618b148a9445b262574f1af9","datavalue":{"value":"1293.68197","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q398523$EA48176D-9D3D-4FF1-8A24-FECC26A73D19","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e3d9f1f512df135fbc64cee132f8ad0f835e7cfc","datavalue":{"value":{"entity-type":"item","numeric-id":398522,"id":"Q398522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q398523$46DE6F8C-CB24-4C85-BD98-4043DC2642F7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7dd11cc262a6fcca281e817d4f5a0d8151ca3de4","datavalue":{"value":{"entity-type":"item","numeric-id":66312,"id":"Q66312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q398523$83487AA9-1127-4A19-9D41-1D70B4371CF4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ccaf7859ab032289d4f4362a17897d19128605fa","datavalue":{"value":{"time":"+2014-08-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q398523$02BF3CB5-2A70-4BE2-BA2C-38AC95B17394","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"e53dbbf6136adb55b30f3617a3b2156bc26dee72","datavalue":{"value":"Summary: In computer science the Myhill-Nerode Theorem states that a set \\(L\\) of words in a finite alphabet is accepted by a finite automaton if and only if the equivalence relation \\(\\sim_L\\), defined as \\(x\\sim_Ly\\) if and only if \\(xz\\in L\\) exactly when \\(yz\\in L\\), \\(\\forall z\\), has finite index. The Myhill-Nerode Theorem can be generalized to an algebraic setting giving rise to a collection of bialgebras which we call Myhill-Nerode bialgebras. In this paper we investigate the quasitriangular structure of Myhill-Nerode bialgebras.","type":"string"},"datatype":"string"},"type":"statement","id":"Q398523$1CF221C9-1D1D-4076-9BD3-D4B40E88072E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"deb5f9f43f355c6575c467b17adc4a680e013b41","datavalue":{"value":"68Q70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q398523$276380AE-B192-4A76-B577-F3E3DF61C2A7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"be57a8fa24b5fdc4bff37bee100d17acfecca884","datavalue":{"value":"6330792","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q398523$20D069DE-EAAC-4E47-BC8F-7C385DCEBFE1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"392ec8c7899c6ce4685fe3ef956f7576c70b94bd","datavalue":{"value":"algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q398523$FC4436EF-199C-40E4-9995-5CEDB8DD574F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e1f5cd0980353ef12c3cca1547f9f9bc9bbd8890","datavalue":{"value":"coalgebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q398523$858B9743-2DFC-478D-B8FB-E355EC5F99AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1badf2e98acd66deab281042fd75e59bf02b11eb","datavalue":{"value":"bialgebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q398523$249D8371-5463-4EB0-85D2-B014091EF022","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c53e18552301c4c174019a9ccd7161cadd7599ae","datavalue":{"value":"Myhill-Nerode theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q398523$F5F7AEFB-F1D7-4579-8DA2-94E6168C5C20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0990cac0316212e8723661efc5b5f9ef454072ad","datavalue":{"value":"Myhill-Nerode bialgebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q398523$BF562C24-5016-46AF-8FD9-6649FBDE8901","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1e4ed3520ecbe005a4fe51d7be614d374f0637da","datavalue":{"value":"quasitriangular structure","type":"string"},"datatype":"string"},"type":"statement","id":"Q398523$18B96FA2-ED12-4029-96D1-843EF8A6ACF1","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":"Q398523$3F7D56F4-B42C-42F5-8345-0EA99546BFE5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4ce154e7469b9dd3673b84796c4d2ad44fec85c1","datavalue":{"value":"https://doi.org/10.3390/axioms1020155","type":"string"},"datatype":"url"},"type":"statement","id":"Q398523$5C68F1AC-E526-4DD9-9242-B852E2264CBD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a8ecb22bc6aa053ede6e457f0b0c55eae7ced8dc","datavalue":{"value":"W1965305242","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q398523$A4F0F695-9B0D-46D9-9637-5A5098CD8711","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1758902a66e2332f9d1d0268ecf38eeeb4d377f","datavalue":{"value":{"entity-type":"item","numeric-id":3862379,"id":"Q3862379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q398523$93BEF094-19B2-49DB-B867-45D15C8F874F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1ca91e030c471b70ad28d8e45b6009049d16049","datavalue":{"value":{"entity-type":"item","numeric-id":620959,"id":"Q620959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q398523$9A52B23A-14CE-4C23-A15D-D97587658F6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"50cbd1eb387036c57e160d6dd9547d1272465591","datavalue":{"value":{"entity-type":"item","numeric-id":4495793,"id":"Q4495793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q398523$2DA511E0-F8A7-4594-A7C8-D39A7A83C3E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9dd05bb59052915f8d658ffb9251d13df77bb208","datavalue":{"value":{"entity-type":"item","numeric-id":4274976,"id":"Q4274976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q398523$8E1C8B95-4FF5-48E4-92EF-92F501B8B77A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"20c4c93e29665805f7590d6f8d507e79994e8cd2","datavalue":{"value":{"entity-type":"item","numeric-id":3090327,"id":"Q3090327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q398523$A5D6ED9C-9717-419C-8E1A-6EAC6DB05053","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2913d1e89529289bc71a12bc7571c8b978fb507","datavalue":{"value":{"entity-type":"item","numeric-id":398512,"id":"Q398512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q398523$7AC638BF-6D9D-4C9C-AA61-810E5282AD68","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"38742ebaa6f11e21c41b4bb4cefc4ebef06b4a65","datavalue":{"value":"10.3390/AXIOMS1020155","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q398523$26C2697A-B882-4863-A1C0-B11D5218EDB3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"acc38e75794026f77887746d46db76a2570725ea","datavalue":{"value":{"entity-type":"item","numeric-id":620959,"id":"Q620959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ea93a2f44c532296321728f765da5f6e70cff2b","datavalue":{"value":{"amount":"+0.8723286390304565","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":"Q398523$732E4902-A1E8-47D5-BBB5-B7990E8E060E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed9b7ac3f2d0c88d57331e5388f1965407866d74","datavalue":{"value":{"entity-type":"item","numeric-id":408529,"id":"Q408529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9b0e1bb50b0c3f6011ca1c9ae7cd6a02d38fc517","datavalue":{"value":{"amount":"+0.7679891586303711","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":"Q398523$F0D87FB8-97AA-4696-A434-3FD4E766D7B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"01c5f2f1cee1987c4ee8bd4f4997f1ab024deb9b","datavalue":{"value":{"entity-type":"item","numeric-id":3605547,"id":"Q3605547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ba1b1e8befd7b3160ce83f577a994ee3f2fdc927","datavalue":{"value":{"amount":"+0.760899543762207","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":"Q398523$582494CE-6E03-48F3-AF8F-511B4978F5B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"702603a48e12f9469a993a28937d832d1e216d5a","datavalue":{"value":{"entity-type":"item","numeric-id":4431391,"id":"Q4431391"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a8cdab28811643ff26e8f9a42e76686c5fb2a021","datavalue":{"value":{"amount":"+0.7480090260505676","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":"Q398523$393536E5-FC15-4732-9388-01AF97F939B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"89df12d2be922677c12902c82aab6e4a78cfcee5","datavalue":{"value":{"entity-type":"item","numeric-id":969583,"id":"Q969583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9523a50bc2430131e53c42a93df049476f3fbf79","datavalue":{"value":{"amount":"+0.7426245212554932","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":"Q398523$13B64B48-1923-4324-BC25-FBD358A601EB","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q398523$92974B80-BF79-44AB-9A64-B143412FD8EA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:398523","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:398523"}}}}}