{"entities":{"Q879018":{"pageid":880866,"ns":120,"title":"Item:Q879018","lastrevid":65072766,"modified":"2026-04-12T00:07:50Z","type":"item","id":"Q879018","labels":{"en":{"language":"en","value":"Residuated lattices and lattice effect algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5149487"}},"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":"Q879018$956C6ADE-EA96-45BD-BF36-069C2F2D59D8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3fd05f55d6e6f677cfe550f6daaddf68d85acd9b","datavalue":{"value":{"text":"Residuated lattices and lattice effect algebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q879018$607242D8-6751-44D7-8938-7965CB8CEB9C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1b3585dbf882957fae650114e31b1b0f1cb76193","datavalue":{"value":"1122.81016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q879018$571EA032-3649-42A0-BF12-44C794C06D87","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"18f3fe006e520dc6753509ae7a9c12eb7a241c52","datavalue":{"value":{"entity-type":"item","numeric-id":332313,"id":"Q332313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q879018$7BFAD19D-DB51-4392-A697-7F9D9FFC800B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f15a1eb3c252513b7c6682025955cdc7d7ca297f","datavalue":{"value":{"entity-type":"item","numeric-id":929436,"id":"Q929436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q879018$94D1E6FC-E76C-4579-B267-6ADB3EB10A0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"be0124a27f3100a2fb0fec1e652cf4490d1b906b","datavalue":{"value":{"entity-type":"item","numeric-id":163213,"id":"Q163213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q879018$5212DF26-75CF-4A47-B099-D679989121F6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"784d2dc06e2a3bb008e6a3a15801a0f0231d6262","datavalue":{"value":{"entity-type":"item","numeric-id":65161,"id":"Q65161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q879018$FB337EA6-0357-400C-AE0F-FCD3EEA36388","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3ceacc095bcddce0ac9017ef9315962415a2b424","datavalue":{"value":{"time":"+2007-05-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q879018$273B2F9A-B2F5-4144-8179-73E1923E6F6D","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"d4bee56df23b597e4e3808a006963d9e2ae56ffb","datavalue":{"value":"The authors study two partial operations in effect algebras, namely \\(a \\odot b = (a' \\oplus b')'\\) if \\(a' \\oplus b'\\) is defined and \\(a \\to_p b = a' \\oplus b\\) if \\(a' \\oplus b\\) is defined. They show, e.g., that for an effect algebra \\((E, \\oplus, 0, 1)\\) we obtain a (dual) effect algebra \\((E, \\odot,0,1)\\). Using these operations they construct an adjoint pair in an effect algebra with the Riesz decomposition property to obtain an involutive residuated lattice. On the other hand, they prove that an involutive residuated lattice \\((L, \\leq \\otimes, \\to, 0, 1)\\) corresponds to an effect algebra with the Riesz decomposition property if and only if \\(a \\land b = a \\otimes (a \\to b)\\) for every \\(a,b \\in L\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q879018$849D2CEF-8BEA-4666-8273-C6B7ED7B9955","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"572048f4de56b44bb85ac973ae26b10de9340139","datavalue":{"value":"81P10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q879018$BC50F27C-94B9-4E97-BE40-DBCCB4BD8B82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"37d47921a58c85c2a107636e2df4b5e33bf07bbe","datavalue":{"value":"03G12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q879018$C75426CF-3D79-462D-B4C7-14E924556886","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c37a2ebd177ad7250da57d7e7c99a314ea8d697c","datavalue":{"value":"06F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q879018$407FCB64-7F7C-4D84-9B41-F538B8C3664C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6930e594acd0d6358a8eb4053162e2e7855e6f1c","datavalue":{"value":"5149487","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q879018$EA721D53-FF1A-455D-A537-B1C11FDDFC39","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d1a4df6c0d534868edb74642b7cf0741b77a75c4","datavalue":{"value":"lattice effect algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q879018$026ACF55-83DB-48E2-8BC1-46D02DF6AF4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"865fa064bd5793ebd68e9c7d1b9a2b3aed9dc70a","datavalue":{"value":"involutive residuated lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q879018$E54384B3-57F2-4D59-A73A-F3557B96A6EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2fe2ab7a713dc570e6f0869364985e291bcb0045","datavalue":{"value":"Riesz decomposition property","type":"string"},"datatype":"string"},"type":"statement","id":"Q879018$C2B6F686-443A-45DD-83A1-219145083434","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"1b5c948b869a2147da37e901550cf23840e0a684","datavalue":{"value":{"entity-type":"item","numeric-id":429935,"id":"Q429935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q879018$8F424614-90AA-45A0-864C-43204370027B","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":"Q879018$ACE531C0-7C7A-4A21-B7DD-F02F44363C91","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ccb4f37a47e54be014bfd4bf6767b7a9d1db6323","datavalue":{"value":"https://doi.org/10.1016/j.fss.2006.12.014","type":"string"},"datatype":"url"},"type":"statement","id":"Q879018$E947CB04-09FB-49D6-BA6B-68D6B40A8D59","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"829597f52f4b36cba06ef76391b6aa00ad47632f","datavalue":{"value":"W1968222062","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q879018$E9FFB611-4D53-467A-86F2-703809336959","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6bbf47437dde536cfcefddb5901c3ce0ea9e4ff5","datavalue":{"value":{"entity-type":"item","numeric-id":4056047,"id":"Q4056047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q879018$0F1B2CF5-C52D-4888-BF8D-25EE73353DE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6cbcfe38aff01bc3efdf092650a6a842dc6edf8d","datavalue":{"value":{"entity-type":"item","numeric-id":2492319,"id":"Q2492319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q879018$5EAF6184-96F4-48B1-9991-DBD30CE297A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9fa80e47f8c0afcf3ba05ea2d9b3adfbbc7bab31","datavalue":{"value":{"entity-type":"item","numeric-id":1817694,"id":"Q1817694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q879018$F833535F-90A6-44F8-8796-B49A840CCAFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"427351a5d61c27335ce72cbbfaa2c444dd5d696a","datavalue":{"value":{"entity-type":"item","numeric-id":4500035,"id":"Q4500035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q879018$CAED27D2-CC03-4A90-BCC5-5E1974836137","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e782a8ad907a63cc54a886521d9405e63861bbe","datavalue":{"value":{"entity-type":"item","numeric-id":1907552,"id":"Q1907552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q879018$86309755-E54F-4DB2-A9B0-904FCA14FBB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e201da94cfd0398227782cf6dd631186efd358f","datavalue":{"value":{"entity-type":"item","numeric-id":2762622,"id":"Q2762622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q879018$8693E73A-FB57-4782-85DA-C91C1475CCA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"64d86eb814ba98e5ffd73174737d9fe0e44580f3","datavalue":{"value":{"entity-type":"item","numeric-id":5938301,"id":"Q5938301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q879018$3B61B1DC-E522-49DC-AFF4-9AA09DDF01BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1ce102fef9df27c70318749ce7dcdea9d910dfc","datavalue":{"value":{"entity-type":"item","numeric-id":2572917,"id":"Q2572917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q879018$B9EC7BCE-251F-4449-A7AD-116E8BBFA50A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b21a46b53e0bc48233db6f19f8a64be4194c859","datavalue":{"value":{"entity-type":"item","numeric-id":1349199,"id":"Q1349199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q879018$23DA2698-1B6B-4F36-A4A6-7DAFC9811A71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fe8a6414565de4b925309387d853c97cd4c176f","datavalue":{"value":{"entity-type":"item","numeric-id":541810,"id":"Q541810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q879018$883D2D15-5620-4D12-9642-917DB2C0CF42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f421884f879ae4e0048a14b487c578b45714b0b","datavalue":{"value":{"entity-type":"item","numeric-id":1307301,"id":"Q1307301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q879018$79B25599-2C4E-401D-8B42-034D68EFA98D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1cde2be390f19f46e8a55f9b139a64a3d31b6e1a","datavalue":{"value":{"entity-type":"item","numeric-id":1885726,"id":"Q1885726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q879018$6B6DE19B-2BFC-463C-8F0D-2D8BEEE32771","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4fcdb5e30e526dc39a1320017bd25aa11991d2f","datavalue":{"value":{"entity-type":"item","numeric-id":4291523,"id":"Q4291523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q879018$6602F847-06FA-4B36-B312-E4E97E6F34DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c905787d899644e2b8a810b8c674f03a70752ade","datavalue":{"value":{"entity-type":"item","numeric-id":2793522,"id":"Q2793522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q879018$9435D2CC-95FD-4D3B-BB8B-61D71D86A2C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17368e2e354b9f2094a1d26975f373529b465924","datavalue":{"value":{"entity-type":"item","numeric-id":1768045,"id":"Q1768045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q879018$297818B4-432E-4A61-A0C1-26087E7636D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7ef09fe98139352fbbf0a9e19f86cea4819826c","datavalue":{"value":{"entity-type":"item","numeric-id":4680239,"id":"Q4680239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q879018$E51EB4A6-A12D-4C8E-AD67-B111A3157980","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1dd1a1259d711fa4c2627330c029d32000b350c6","datavalue":{"value":{"entity-type":"item","numeric-id":2576601,"id":"Q2576601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q879018$E250A296-4F6A-4685-833F-9EE259DBEFE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"276376264f33785f3bbac09d286d496eeb1c4a37","datavalue":{"value":{"entity-type":"item","numeric-id":1873679,"id":"Q1873679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q879018$90F962C3-C889-4F88-AFCD-E1B01E10F119","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c813bb4df8641e98416d1fe8cd2ffadbb8ea6f47","datavalue":{"value":{"entity-type":"item","numeric-id":5773661,"id":"Q5773661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q879018$2D407BF8-8F8C-4030-8774-4AB6FB421001","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7551bbe1d206ed56594c52030b460f0b08976b80","datavalue":{"value":"10.1016/J.FSS.2006.12.014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q879018$7E6C27DC-52E2-48DB-B739-F3679018EEC4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2777575d021afed11f76cfba52a0a20541e93ae7","datavalue":{"value":{"entity-type":"item","numeric-id":5863852,"id":"Q5863852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f8823c43cf81afcd848ccb969a300cedbaefe1fd","datavalue":{"value":{"amount":"+0.8538715243339539","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":"Q879018$361BBF41-4E83-4FFB-9ADD-1E6A798FAE2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f3854806527cc4b06674dce32b4bd0f14a225bde","datavalue":{"value":{"entity-type":"item","numeric-id":2035280,"id":"Q2035280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"89f78550f7a418344aba802bbdfd9e76817b3ee1","datavalue":{"value":{"amount":"+0.8467194437980652","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":"Q879018$1377700A-0B5B-4D24-B720-67F16CA555C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b8e99f401fbde9b61b3baeaccf198d9212e650b","datavalue":{"value":{"entity-type":"item","numeric-id":939179,"id":"Q939179"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5517194563e30099fa9c4d8e55514a6ad1ef2925","datavalue":{"value":{"amount":"+0.8396809697151184","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":"Q879018$7E8F9204-446D-47A9-AF1D-169F00BD12DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8b3cdb96cff04d514583530d1c10c080a38cc157","datavalue":{"value":{"entity-type":"item","numeric-id":2794054,"id":"Q2794054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd2c95b7a95087c69dde90c6290ec58b15b0f1e0","datavalue":{"value":{"amount":"+0.8297029733657837","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":"Q879018$A198D91B-4838-475A-B385-90ADB3D52A20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ac3d257a5678664babd09cf9c9dbe7d68caf32ba","datavalue":{"value":{"entity-type":"item","numeric-id":422485,"id":"Q422485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e7e541c5caa4b837c53564596d825466ab385fdf","datavalue":{"value":{"amount":"+0.8080129027366638","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":"Q879018$70BADBE2-0908-4E31-B738-BC079F54ADB6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Residuated lattices and lattice effect algebras","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Residuated_lattices_and_lattice_effect_algebras"}}}}}