{"entities":{"Q2577714":{"pageid":2588457,"ns":120,"title":"Item:Q2577714","lastrevid":78908609,"modified":"2026-05-06T12:43:02Z","type":"item","id":"Q2577714","labels":{"en":{"language":"en","value":"Many-valued relation algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2243862"}},"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":"Q2577714$6809243F-E535-4775-851A-CF9B3567B3F4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"736539d93f2f52567683d336c0e2f78838901281","datavalue":{"value":{"text":"Many-valued relation algebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2577714$E8F5A9ED-1F63-4714-AC21-1D596B0D4B9C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ebe942403549b1d74621c6152faefd0d449b3cdc","datavalue":{"value":"1086.03054","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2577714$638552C6-6868-4EDF-BBED-56124B08277D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2ef4ea61388b67726824db4b9b444c6863305920","datavalue":{"value":{"entity-type":"item","numeric-id":817686,"id":"Q817686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2577714$85A7725C-3C6C-4EF7-B21D-226052B657BA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8fa179c8715004e2374d4db0c3ce41b39558e95d","datavalue":{"value":{"entity-type":"item","numeric-id":178112,"id":"Q178112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2577714$316827D8-A05B-4757-AA23-6484806E60A4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a28896e5111b14a787c7b95f92ad273263b18f84","datavalue":{"value":{"time":"+2006-01-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2577714$F6623B63-9C81-4B56-9F23-5ABCB0B98177","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"be055ba5ddb19b68022913bb7ff63fce7392b99b","datavalue":{"value":"J\u00f3nsson and Tarski introduced relation algebras in 1948 as algebraic models of binary relations. Relation algebras have a wide range of applications, ranging from the most abstract areas of mathematics to programming languages. To fix ideas, a concrete example of a relation algebra \\(R\\) is given by the totality of binary relations over a set \\(X\\) equipped with Boolean operations together with composition, converse and diagonal. A many-valued generalization of \\(R\\) is obtained by considering all \\([0,1]\\)-valued functions over the cartesian product \\(X \\times X\\), with the appropriate MV-algebraic operations. The author considers more general structures, e.g., relation algebras based on H\u00e1jek's basic algebras, group relation algebras and ``complex'' algebras: the latter are a significant class of relation algebras, because every relation algebra is embeddable in a complex algebra. Various generalizations of the classical results on relation algebras are proved for these larger classes.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2577714$D99E8DE0-E60E-4320-B1DA-47133764BA15","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"e860208dea0a8f07f1622b3764a2f40159457c4c","datavalue":{"value":{"entity-type":"item","numeric-id":186051,"id":"Q186051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2577714$2F5B0E89-3201-43FB-8399-DB527540C907","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fbbfb5aba73a457eaaeba301a3b683d0603e498d","datavalue":{"value":"03G15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2577714$F0438A39-988D-452A-914A-2CA1F145E5DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd19dc3d013c4b13f00e8fa7d8b28fd5bad6af5","datavalue":{"value":"06D35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2577714$FB2BDE96-F9E4-4BFD-9C06-E7471BD7DB85","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6b7c15ece01beb00fad6ffce38406581449e0285","datavalue":{"value":"2243862","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2577714$5F8808F6-0662-432F-BDD7-DABAF4BA7009","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c805f5020b605b68a317808d727275b520ef7c9","datavalue":{"value":"MV-algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q2577714$4D1A244A-5124-4A18-9F06-7C9FA62EEF65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8970d4681910c0fb972f8cc1f1362b61bc462d13","datavalue":{"value":"BL-algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q2577714$F2FA3F86-BC70-41D9-8A60-D5DE9709EAFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9b673c50d851c344648b1984ecdd9784240b48cd","datavalue":{"value":"group relation algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q2577714$87AC8AC0-741A-40D8-A57C-AF075128CFD8","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":"Q2577714$12E1F269-582C-47E7-B62D-EFC672C0EB07","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"210e2eca63726feda0ffa417ef90039dbf586ba3","datavalue":{"value":"https://doi.org/10.1007/s00012-005-1916-2","type":"string"},"datatype":"url"},"type":"statement","id":"Q2577714$87E283FC-CDCB-4ED9-8809-32CF02ABDB3F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"453ca821139c1d883f8d9bda7c0218a5b1f61e51","datavalue":{"value":"W2038058391","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2577714$380E0D54-C336-4B79-9133-03B6EE82A61D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1f1f5bf23d56091660c92c563b28c752a7fc01b9","datavalue":{"value":"10.1007/S00012-005-1916-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2577714$CA5374E0-4669-47C8-8598-70BDAF541C18","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dea5d014425ad168cfe1f519bf07f17e04c4d53a","datavalue":{"value":{"entity-type":"item","numeric-id":873744,"id":"Q873744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"111f571e6207728cdeea031b2dd4beb3e62bca8c","datavalue":{"value":{"amount":"+0.8754590749740601","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":"Q2577714$AF013E32-C9C1-4037-A626-078940166C1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"57e081089b07612fb90bfc24ebfb1aeb4a9bd205","datavalue":{"value":{"entity-type":"item","numeric-id":817687,"id":"Q817687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc55a0e1cf1f5dd767a227c4020c325627462b61","datavalue":{"value":{"amount":"+0.8071760535240173","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":"Q2577714$DCF61061-FCD2-4BF9-B404-D1BFF6542808","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"138adffd03e7e15d031e741ff20941795ee822d6","datavalue":{"value":{"entity-type":"item","numeric-id":4955605,"id":"Q4955605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca39022fa1f7bbb7e7cd1189116fa70ec1dfe54c","datavalue":{"value":{"amount":"+0.7710974216461182","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":"Q2577714$9839BD71-AF9C-4848-9243-7A92A9005AF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c92e62726135c864e3fd15ad7102740a00cdf723","datavalue":{"value":{"entity-type":"item","numeric-id":1955455,"id":"Q1955455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"46193b80cf61c6df0f9bcf661a82e9151eb90d71","datavalue":{"value":{"amount":"+0.7671985626220703","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":"Q2577714$1933EAEC-2727-4C4E-A4BF-AACFBD787BFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ee44cc60d16bfbedf52f3bb3ef0151910b836e9a","datavalue":{"value":{"entity-type":"item","numeric-id":1936489,"id":"Q1936489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"29d568c95a98b210741c7eb4f6249558bc079d96","datavalue":{"value":{"amount":"+0.7615862488746643","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":"Q2577714$96F45195-2EC1-4749-9F54-E47F63183640","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Many-valued relation algebras","badges":[]}}}}}