{"entities":{"Q913838":{"pageid":915686,"ns":120,"title":"Item:Q913838","lastrevid":65310120,"modified":"2026-04-12T01:43:05Z","type":"item","id":"Q913838","labels":{"en":{"language":"en","value":"On some systems of simultaneous equations in a completely distributive lattice"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4148162"}},"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":"Q913838$9140153C-BB0A-47A1-8892-128153183F44","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"dca9d74097a9fe7627b3d05a568f1e5b309e652e","datavalue":{"value":{"text":"On some systems of simultaneous equations in a completely distributive lattice","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q913838$E20C2AE4-581F-46F6-BB46-2B5FEE01A730","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"dba96c6cd10d8a4f7128997a58e4963a3edc9ee2","datavalue":{"value":"0701.06011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q913838$97E73460-A148-4D1D-994C-C6E899616B90","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2700de67acfbf9b26421b4259413930ebafab5ff","datavalue":{"value":"10.1016/0020-0255(90)90010-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q913838$1759EF4A-B5D9-4B13-AC88-4C5A79837EA5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c144f0fb88440afe4b13555aedcc8676a016b6d2","datavalue":{"value":{"entity-type":"item","numeric-id":70466,"id":"Q70466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q913838$E6A8BC98-489C-41DA-8144-B636445D6AB4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70d2fbf8bcd48a5ca1ac752985098b379d0dbb65","datavalue":{"value":{"time":"+1990-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q913838$DBF09877-7818-4E81-BC90-2E1D35C89405","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"a7514d460c2c6e91fd62b39ef7576a412dac1fa2","datavalue":{"value":"Let L be a completely distributive lattice. Consider the n-system of equations in L \\(\\bigwedge_{s\\in I_ k}x_ s=a_ k\\), \\(1\\leq k\\leq m\\), where \\(I_ 1,I_ 2,...,I_ m\\subseteq \\{1,2,...,n\\}\\) are index sets. It is proved (Theorem 2.3) that this system of equations has a solution iff \\(a_ k=\\bigvee \\{a_{\\ell_ 1}\\wedge a_{\\ell_ 2}\\wedge...\\wedge a_{\\ell_{t_ k}}:\\ell_ 1\\in J_{k_ 1},\\ell_ 2\\in J_{k_ 2},...,\\ell_{t_ k}\\in J_{t_ k}\\}\\), \\(1\\leq k\\leq m\\), where \\(J_ s=\\{k:\\) \\(s\\in I_ k\\}\\), \\(1\\leq s\\leq n\\). Further, if this condition holds the system has the unique least solution \\(x_ s=\\bigvee_{k\\in J_ s}a_ k\\), \\(1\\leq s\\leq n\\). Similarly, Theorem 3.3 states the conditions necessary and sufficient for the system of equations \\(\\bigvee_{s\\in I_ k}y_ s=b_ k\\), \\(1\\leq k\\leq m\\), to be solvable in L. These results are applied to systems of fuzzy relation equations.","type":"string"},"datatype":"string"},"type":"statement","id":"Q913838$D974E9C8-9C71-4FAB-B9E5-0F3AD33BEE52","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"08ff37085da1bb248e1e5dc7e77aec603b6cf16a","datavalue":{"value":"06D10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q913838$3C4306E2-1DB7-4936-B540-5C959F5954AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d9038fbc6c9eb2d241eed759e44bf47d202533f7","datavalue":{"value":"03E72","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q913838$C6AE22A4-ADCD-4BA6-BD06-5096A11A3A72","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b0b589d496fd30f25bf002f926f7fb363626aa32","datavalue":{"value":"4148162","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q913838$C7C90DF0-E660-48F2-A72A-23C60279403D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"46bc975018bd9860a0f02ad3ddca26041d21fc37","datavalue":{"value":"completely distributive lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q913838$A80BAD21-3422-400F-854B-A0E00D9217D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"03ac5cb138b265094ae1d89011b58fcd2a839e2a","datavalue":{"value":"n-system of equations","type":"string"},"datatype":"string"},"type":"statement","id":"Q913838$14653170-2625-4780-828E-CDBD63D44832","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3e5de4c9b8db3f7d9cec20aeda829b631131b7b5","datavalue":{"value":"fuzzy relation equations","type":"string"},"datatype":"string"},"type":"statement","id":"Q913838$A5B06D4F-E716-4098-B746-E59864D9E72A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"10758565a2ea2dc4ab883ea417a17457448e6fcc","datavalue":{"value":{"entity-type":"item","numeric-id":762799,"id":"Q762799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q913838$4EB6C6C3-8787-4FDB-BA1A-219F8EFC91CB","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"8a4269540e775ce717310028f86928e9eeea39c7","datavalue":{"value":{"entity-type":"item","numeric-id":241780,"id":"Q241780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q913838$6F1229AC-FB94-4400-B497-CE9D1673B3F2","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":"Q913838$6A12F491-DE0B-442A-B9E8-3ADB3836C0D0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c063bbf609f020c3d38e4b9057d9ab7186a552e8","datavalue":{"value":"https://doi.org/10.1016/0020-0255(90)90010-8","type":"string"},"datatype":"url"},"type":"statement","id":"Q913838$D81E7185-8E7D-4CA4-B825-260FAE322854","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3ad0a174115643c5b4c58ca3a5713645742452db","datavalue":{"value":"W2049611493","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q913838$A395653B-4484-4E73-ACB2-1EA110AA8ED3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a2da7a4d41eb7d66bb322c82051c2df6979bd0e","datavalue":{"value":{"entity-type":"item","numeric-id":4090329,"id":"Q4090329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q913838$15F1FD29-6A25-4B93-83D8-F0A6E57AAC16","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b2130e53078dc136731f9ec39b6be8cb4beec0ff","datavalue":{"value":{"entity-type":"item","numeric-id":4879773,"id":"Q4879773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"29d7079ff21b545a92cda9bae6b23f9eab1c0221","datavalue":{"value":{"amount":"+0.8584365248680115","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":"Q913838$AC22011C-E086-4F34-AB2F-A9788BABC4F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1f3ae2889ae860b05dfdd9c39960bca90f507f36","datavalue":{"value":{"entity-type":"item","numeric-id":1112817,"id":"Q1112817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5228c87f52d33f61923c2828832dc95d6b74b22d","datavalue":{"value":{"amount":"+0.8459325432777405","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":"Q913838$EC052184-70EB-4EBB-B1D8-8EFD48DAFE29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3885253805533d06da72eabcceb88ff894d4d538","datavalue":{"value":{"entity-type":"item","numeric-id":2403307,"id":"Q2403307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"708c200367abb28d7b0d37a72d20f2f74bbadff5","datavalue":{"value":{"amount":"+0.8333441615104675","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":"Q913838$E7A98041-D418-45AB-BEF0-8F8A6F495B27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"847a09bf3ea174c23948916eed765a722203f1b1","datavalue":{"value":{"entity-type":"item","numeric-id":5319147,"id":"Q5319147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b37ffa2092645179e0ba29cea5a894199b361afe","datavalue":{"value":{"amount":"+0.8167985081672668","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":"Q913838$BFFB07CC-5EFC-4DE5-9361-8123E11A32E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"37756aab95b32efd96f0b011e49172c177676150","datavalue":{"value":{"entity-type":"item","numeric-id":801903,"id":"Q801903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e5034a66396d2c48fab956df945ae61bc4d9c6e","datavalue":{"value":{"amount":"+0.8032590746879578","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":"Q913838$DFA89D22-F901-4EC6-8B6C-D4CAC1BD1939","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On some systems of simultaneous equations in a completely distributive lattice","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_some_systems_of_simultaneous_equations_in_a_completely_distributive_lattice"}}}}}