{"entities":{"Q2714404":{"pageid":2725143,"ns":120,"title":"Item:Q2714404","lastrevid":47619775,"modified":"2026-01-02T05:59:32Z","type":"item","id":"Q2714404","labels":{"en":{"language":"en","value":"On Kleene algebras of ternary co-relations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1604330"}},"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":"Q2714404$F5DEE51F-6CCB-4AD9-BAA1-56FA1448D3FE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"afbad83d149ed159fedfee4eecc01f6c866d9675","datavalue":{"value":"1062.08009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2714404$C1904212-621C-49E7-B5F2-8415CCD0C6A2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a415faf8a5f610a3108e7fd472916d58928f6763","datavalue":{"value":{"time":"+2005-06-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2714404$4DF713AA-A2C9-4620-85C8-774C5220F59D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"20bb5571a1bc4300de51d23c463eb631840cb343","datavalue":{"value":"08A70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2714404$1DEC0C79-FC90-45D2-B578-55F88784ED21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2714404$9BE63298-A4B6-42EE-BB13-AD0D71E0CE8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"92a555e3a541c9f0978c54443cf0a96e2a43c4df","datavalue":{"value":"08A02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2714404$6855151A-B491-484E-8988-CE83960E571C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4897136ea1c19614fe909b8db60c4ec176d94a78","datavalue":{"value":"08B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2714404$CB6B79D0-E6DF-4088-BE26-6D6EDB5C53D8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"06706416bf87e4c9e32dc440eecbc02ece928bac","datavalue":{"value":"1604330","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2714404$079458B8-0D4B-4248-B67C-8F8CB0A1DD16","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0222d02c0c106fe26365ba380548e1fb6e23c8a9","datavalue":{"value":"relation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2714404$EDA22504-315E-4D23-85D1-8B8D954D07E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"465e781df876fd22d07ca02197b8806c8252e8ed","datavalue":{"value":"ternary co-relation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2714404$52A30901-4E6F-4428-A6C0-8A519360BC86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5dce58886ffc63b5facc93c53510fce5628bb35f","datavalue":{"value":"Kleene algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q2714404$712C8E76-DAD0-4868-A9E4-5A2A55B6AE5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1e2e28f65b47bd2ddb40530dcc4b99b61384475c","datavalue":{"value":"language algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q2714404$0C5C1362-E1CE-4225-980A-7CA6820C64BD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"53947beb9dc5d675b932a5f73d81d12983fd0150","datavalue":{"value":{"entity-type":"item","numeric-id":342843,"id":"Q342843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2714404$ADD18AB4-8C86-4E26-843F-5C6EBF9BC295","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":"Q2714404$CF64890E-5F55-42EF-9516-3E7DFB00FC77","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3980d65f2368bd47a78e88749779971b14e61502","datavalue":{"value":{"text":"On Kleene algebras of ternary co-relations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2714404$CADEB7B8-2695-4D9C-9B08-676F15A7F064","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a48ab4f78ae1700d4809c5ff5f0191168fe3ff96","datavalue":{"value":{"entity-type":"item","numeric-id":2803044,"id":"Q2803044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2714404$315F4AF5-5CA8-4C0E-AFDC-83E58639F2D5","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"779ff89142d9d9497e7d74d475ac21e36142184f","datavalue":{"value":"In this paper, the author investigates algebras of ternary co-relations. Recall that an \\(n\\)-ary co-relation on a set \\(X\\) is a set of functions from \\(X\\) to \\(n=\\{0,1,2,\\dots,n-1\\}\\), thus being dual to the notion of an \\(n\\)-ary relation. Hence an \\(n\\)-ary co-relation is in fact a family of colourings of the set \\(X\\) in \\(n\\) colours. The main result of the paper states that algebras of ternary co-relations equipped with the operations of union, composition, iteration, co-relational converse and two particular constants generate the same variety as language algebras equipped with the operations of union, concatenation, Kleene star (iteration), language reversal and the empty language and the language containing the empty word only as constants (Theorem 10). Thus the author concludes that the equational behaviour of the language reversal can be modelled by ternary co-relations, which is not true for the classical correspondence between language algebras and Kleene relation algebras. Finally, the author shows how it is possible to obtain Kleene algebras of relations from algebras of ternary co-relations (dropping the operation of converse).","type":"string"},"datatype":"string"},"type":"statement","id":"Q2714404$334551B5-14C2-468D-9559-FE4DB14297ED","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"3cc696accff5676a401fb80bd47e3364bc7d537b","datavalue":{"value":{"entity-type":"item","numeric-id":1157413,"id":"Q1157413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2714404$36D17124-23FC-4FC5-BF51-58161845D996","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d4d2cbe51cc44bf9eb56ff290373b1900b5947eb","datavalue":{"value":{"entity-type":"item","numeric-id":2759845,"id":"Q2759845"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a8648a46beba9fd7aef4f4b04592fa038027aee1","datavalue":{"value":{"amount":"+0.8503568172454834","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":"Q2714404$81EA1F1E-2E89-40E1-A57B-5673A1AFD9D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5ce39e8aac244cc9131807d878325c5e2b09df46","datavalue":{"value":{"entity-type":"item","numeric-id":5894726,"id":"Q5894726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"820e9030aa457c0bd52289739306712bfd8c592a","datavalue":{"value":{"amount":"+0.7564073801040649","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":"Q2714404$F0747890-C624-4247-9059-05C490170E2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0fdbb167983b39d28d1730bcabc0f8fa8af8eea3","datavalue":{"value":{"entity-type":"item","numeric-id":1344844,"id":"Q1344844"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2abe13209136101ef511bccb4a1e636e6a8ba87f","datavalue":{"value":{"amount":"+0.7530502080917358","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":"Q2714404$62858C3D-3AD1-49CD-B50C-3F21BE8FD72F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ebefda19fe220c0ec2e26f7efe760d7c851d2fc6","datavalue":{"value":{"entity-type":"item","numeric-id":655418,"id":"Q655418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2abe13209136101ef511bccb4a1e636e6a8ba87f","datavalue":{"value":{"amount":"+0.7530502080917358","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":"Q2714404$2958C65C-A265-431C-A30B-535231F96819","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"21d15c7a43972fc1dad12813f25410a64fc06286","datavalue":{"value":{"entity-type":"item","numeric-id":5077350,"id":"Q5077350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"efb8b7374809be0fe99a243da0bd41b36cc52451","datavalue":{"value":{"amount":"+0.7497289776802063","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":"Q2714404$A807D3B3-29BB-4937-8EB9-B61DDE5742B8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2714404","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2714404"}}}}}