{"entities":{"Q873744":{"pageid":875592,"ns":120,"title":"Item:Q873744","lastrevid":50066473,"modified":"2026-01-12T20:59:01Z","type":"item","id":"Q873744","labels":{"en":{"language":"en","value":"Some algebraic theory for many-valued relation algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5139583"}},"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":"Q873744$A6EC9ADD-48AB-4D20-92B4-141E9F3586EB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"00736e6cd43b02a5a0f6332d1c48a24cd7259a82","datavalue":{"value":{"text":"Some algebraic theory for many-valued relation algebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q873744$5A667DBF-8652-43BC-8AA1-BC353C431C16","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9d6b19d4bb1682bfc7e58fdca187549cec84dc23","datavalue":{"value":"1118.03061","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q873744$5AE37757-DC10-4955-9101-ECE53F586DB9","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":"Q873744$E5603E30-3AC5-426F-853F-DD9C72A83C11","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":"Q873744$045FF205-D561-433A-A817-9FB24DD807DA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"76a53f1eb14babcafe8609d74553b403b724b70f","datavalue":{"value":{"time":"+2007-04-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q873744$A9408EAD-D786-4493-8469-8A0725DF3068","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"b8d2fbb4fef68cbb2da95604debfef2e1e35ee8d","datavalue":{"value":"Relation algebras were introduced in 1948 by J\u00f3nsson and Tarski as models of binary relations. Their applications range from the most abstract areas of mathematics to programming languages. A standard 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\\), endowed with the appropriate MV-algebraic operations. The resulting ``MV-relation algebras'' are studied in this paper. Basic examples are introduced, a special class of ``ideal'' elements is used to prove many results about congruences. The MV-algebra of ideal elements is used to characterize special classes of MV-relation algebras. Generalizing previous work by El Bachraoui and Van de Vel, the author proves that MV-relation algebras form an elementary class.","type":"string"},"datatype":"string"},"type":"statement","id":"Q873744$14C90C50-6FD7-4F21-BB5E-94AFA2CCE4FF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fbbfb5aba73a457eaaeba301a3b683d0603e498d","datavalue":{"value":"03G15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q873744$640F5D4B-4E32-48AB-AAD8-823036E2C807","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd19dc3d013c4b13f00e8fa7d8b28fd5bad6af5","datavalue":{"value":"06D35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q873744$15415771-5AD7-4297-935C-76B3D7C1B87A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4dcbb7a37317aa2bee77ef4c00a3f0823bfc3855","datavalue":{"value":"5139583","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q873744$2C359394-EA57-4B5A-AE1A-F18951A22D68","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c805f5020b605b68a317808d727275b520ef7c9","datavalue":{"value":"MV-algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q873744$D47000A8-35E8-4900-92DA-2C9D5E780807","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"199dd3cc417c20523b770c6c8cf20a0b7d3f9f67","datavalue":{"value":"relation algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q873744$71980C78-A0FD-4039-BC63-C45B0B9ECA45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ba71a21748d9b49163669cd4d0b455f4a4a1ae1c","datavalue":{"value":"elementary class","type":"string"},"datatype":"string"},"type":"statement","id":"Q873744$F1903D08-4935-4B7E-9579-B5AD5546D7A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1cd991aa7ee56770895ea2c04bce0411552bc5c5","datavalue":{"value":"ideal element","type":"string"},"datatype":"string"},"type":"statement","id":"Q873744$60EC8256-D157-489A-B54F-793226CE928E","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":"Q873744$621B045A-AD8B-4B4A-89F9-DD741E4A0C88","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":"Q873744$87BCE459-C791-425E-A667-130ED4190628","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6c8d9d6169370555baa8cab10909f0739136a4bf","datavalue":{"value":"https://doi.org/10.1007/s00012-007-1995-3","type":"string"},"datatype":"url"},"type":"statement","id":"Q873744$66BA7A1E-0D09-43D8-8D24-5C1735798E7E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2a086552cf2885507423c316468147915a5c7f62","datavalue":{"value":"W2004062172","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q873744$8B429105-0251-455E-B9E2-5CB71EC8242B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"311ddbf2ff9b474c2ee032bfe86f4fb7d1fbdb56","datavalue":{"value":"10.1007/S00012-007-1995-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q873744$EF838689-3340-4E6E-9A48-57C89CDB1E95","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dcdde4fe193134e1b68a4d6f2185030672d035ff","datavalue":{"value":{"entity-type":"item","numeric-id":2577714,"id":"Q2577714"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f74d6bafa8e9615321c8fdb3c41e75e47cfb194","datavalue":{"value":{"amount":"+0.95333069562912","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":"Q873744$2C0CC728-160E-4B53-96C3-152642668D19","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":"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":"Q873744$25C3A663-3864-4711-A718-3E33C2DE91F0","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":"8ce000eca69f48913c4ea369f1a1b3c42c36ac1a","datavalue":{"value":{"amount":"+0.8194668889045715","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":"Q873744$A4254D3D-AA13-46B3-8465-E26886E27EE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ffe61e6d4df8b3152cfd0616d0901729a8c8532","datavalue":{"value":{"entity-type":"item","numeric-id":868510,"id":"Q868510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d75607091b664c1a4785fcbd64b3459a79dd59a","datavalue":{"value":{"amount":"+0.8105309009552002","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":"Q873744$1596CCF6-0A26-4DC8-8542-4C541B902018","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":"7b4ce74f55603f87b5d413c57a0542b4135fea00","datavalue":{"value":{"amount":"+0.7856478691101074","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":"Q873744$5C8D4112-43F8-417A-83D2-630FC4AE5130","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:873744","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:873744"}}}}}