{"entities":{"Q582308":{"pageid":584075,"ns":120,"title":"Item:Q582308","lastrevid":62937387,"modified":"2026-04-11T09:06:06Z","type":"item","id":"Q582308","labels":{"en":{"language":"en","value":"Relation equations in residuated lattices"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4130441"}},"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":"Q582308$E27E53F6-108C-4422-B36D-4603D9AB9BF3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5470a127625e4a25ae2e406ad5852ec344ac2bc9","datavalue":{"value":{"text":"Relation equations in residuated lattices","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q582308$809A14A8-D6F6-4D16-8B84-249631D66C81","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1ffaa0cdda0bfb620a3877ffa63cf86110a5e957","datavalue":{"value":"0691.06002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q582308$0E6D78B7-8BE6-480B-92DF-E946EA15300A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ba534ce58984e4a62bcb1ddafcd7f50b020c93a9","datavalue":{"value":"10.1007/BF02843997","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q582308$5DA7D525-13FE-44A0-A7F7-2611D6DC56BB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"98a161c6563f600d55e948240633b52c1bed8c02","datavalue":{"value":{"entity-type":"item","numeric-id":234287,"id":"Q234287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q582308$A42979A7-85FC-4364-A270-449F458C2C9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8f3e9abde1830e56d26b27840eec5cf946c4acc1","datavalue":{"value":{"entity-type":"item","numeric-id":582307,"id":"Q582307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q582308$28E5A308-5ED4-4F2A-BA1A-5351346BCA8E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7211ad5ca16eb0d22cd0051fff3d0f3af254ceb6","datavalue":{"value":{"time":"+1989-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":"Q582308$E33BF8AD-F62E-456F-A402-19CF555218BA","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"5fe84806b920e49dae8114c9dbe0474f9b5683cd","datavalue":{"value":"Let L be a complete lattice endowed with an order-preserving right residuated multiplication \\(\\cdot\\); in particular, if this multiplication is the lattice-theoretical meet, then L is a Brouwerian lattice. Let further X and Y be two nonempty sets. The set \\(R(L)=\\{A|\\) A: \\(X\\times Y\\to L\\}\\) of L-relations from X to Y is equipped with the pointwise order induced by the order of L and with the following multiplication: if \\(A,A'\\in R(L)\\) then \\(A\\cdot A'\\) is defined by \\((A\\cdot A')(x,y)=\\bigvee_{z\\in L}A(x,z)\\cdot A'(z,y)\\). The authors point out that all results known in the literature about the relational equation \\(A\\cdot X=B\\) are in fact valid within the general framework defined above.","type":"string"},"datatype":"string"},"type":"statement","id":"Q582308$78721084-CB48-46BB-9307-7228F8B04380","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"31b64c380fcc4cff66bf21399b51cdd38a2b701d","datavalue":{"value":{"entity-type":"item","numeric-id":588921,"id":"Q588921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q582308$045E513E-0566-4652-9F68-4EE8FEB0010E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ab61fb2d4201bc94cf09f5737001908cd5ef158e","datavalue":{"value":"06B23","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q582308$DC5F7E9B-D467-4B61-8F94-C2333A9CDEE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1223d796215bbf4bcae3c67b36ec5aaeab489659","datavalue":{"value":"06D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q582308$F96F29ED-5D06-4D0B-B9D2-D7E81BB6318F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1ec63a0ab51237df67e9180d4cd78b9f8f886b2a","datavalue":{"value":"94D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q582308$3436213B-59E2-4B30-B58E-8964E3A3150E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"09f3eb9b2932c3fdc120e877804d57f4cb2d94e9","datavalue":{"value":"06E30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q582308$4D2EC3AA-A7AF-4216-9FA4-EFFD3EF83891","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"917f7f258011941f8dc7aeea0d9d255ae09c3817","datavalue":{"value":"4130441","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q582308$2D4C1B32-51C1-491D-98FA-6A262B3FF52D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"02c7dfd1ab67fbce273f865d4ce0edc484c69f9f","datavalue":{"value":"complete lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q582308$144CE012-304A-40B5-BC06-498F29452CF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"12804d4dff9d5013e3038c63ead5df382d60b9a0","datavalue":{"value":"right residuated multiplication","type":"string"},"datatype":"string"},"type":"statement","id":"Q582308$AAAA2EF3-126F-41B5-9A24-9F29D024607A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"82967ff1cdfecc17868780f2d98a5a8ecbb1769d","datavalue":{"value":"Brouwerian lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q582308$D1E5D30F-0C5F-470E-BEAA-8DA1838D83BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"937304a3d4ee222e7396c1cbd8efa8b53e08aa18","datavalue":{"value":"relational equation","type":"string"},"datatype":"string"},"type":"statement","id":"Q582308$D25EC39D-62B7-440A-A36A-0DD639A8406C","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":"Q582308$DE5A3B41-926F-4A92-B8BA-69A32FF3A0DB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d604881454bfcb8b9a0a572f713ca1786d6c6bf","datavalue":{"value":{"entity-type":"item","numeric-id":5533210,"id":"Q5533210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q582308$6CA4D91C-3E3E-49FD-9281-559BC2364D56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a9b1fd445e89ab927957acd7c843352b62334a0","datavalue":{"value":{"entity-type":"item","numeric-id":5813971,"id":"Q5813971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q582308$9AABA42B-EC7C-4146-BAEB-1BEB16EB6F4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eaa595c975cc96f28daa1bd7521f98f77aeacc40","datavalue":{"value":{"entity-type":"item","numeric-id":4083731,"id":"Q4083731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q582308$7AF82762-1541-498F-89A5-FC41AB217BBD","rank":"normal"},{"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":"Q582308$B7C912C2-B924-4C51-9213-3F39AF46ECC4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4b05ad14b1e9bc0daddc7307e7b9b3c54d699460","datavalue":{"value":"https://doi.org/10.1007/bf02843997","type":"string"},"datatype":"url"},"type":"statement","id":"Q582308$7D76485D-A5C4-44FC-A90E-2B1336B9BF53","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"da21ca498f14c27f26368ba9d07fcd4780aee63c","datavalue":{"value":"W1980090346","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q582308$7F5A56A9-E3A1-400B-81C9-7CBC869CA9B7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7db817327938cdc8b83382314e7e1d63339cacd9","datavalue":{"value":{"entity-type":"item","numeric-id":559543,"id":"Q559543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q582308$5FF9C61A-1ECF-494E-87A8-FC8767E91C18","rank":"normal"}],"P1643":[{"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":"94d4088ffa6c514292d5d9b265f32e318e8b3e25","datavalue":{"value":{"amount":"+0.7888379096984863","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":"Q582308$F4A56EE6-3B1A-48DA-86D0-33FCEBF051F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"16234decbc20f5423cec9217f9872f9b12232486","datavalue":{"value":{"entity-type":"item","numeric-id":3824414,"id":"Q3824414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7de8e87b551a8e7d38513c8429481f2c7c92ffba","datavalue":{"value":{"amount":"+0.7868945002555847","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":"Q582308$982D8B82-5F25-43F6-AEE2-14666B5C7BA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"31c9566761bc30cca7827b2bff9e40414fd44d03","datavalue":{"value":{"entity-type":"item","numeric-id":3043517,"id":"Q3043517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"758e97cebce103c306b19768e1b3f1373c16ceff","datavalue":{"value":{"amount":"+0.7747147679328918","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":"Q582308$A8EC4214-D130-47B6-9162-433564BC84A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d2bc550abf21ed2b42148aede98767c59e9cb9ea","datavalue":{"value":{"entity-type":"item","numeric-id":3734465,"id":"Q3734465"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4382938a95c48f33ad94d21ac1b640a8cc14143e","datavalue":{"value":{"amount":"+0.7679229974746704","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":"Q582308$8B479E15-5761-4FB2-8A94-55CB5F495761","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95b75ae43e992af68f1980913563be5a6335446b","datavalue":{"value":{"entity-type":"item","numeric-id":4609512,"id":"Q4609512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa7ca4949cd712c3a6dd1a97e42fde56af784659","datavalue":{"value":{"amount":"+0.7650054097175598","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":"Q582308$6F80E005-5843-474A-BD5E-95D7C0169BE6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Relation equations in residuated lattices","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Relation_equations_in_residuated_lattices"}}}}}