{"entities":{"Q5950770":{"pageid":8127572,"ns":120,"title":"Item:Q5950770","lastrevid":97711685,"modified":"2026-06-05T15:16:24Z","type":"item","id":"Q5950770","labels":{"en":{"language":"en","value":"An equational theory for trilattices"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1682620"}},"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":"Q5950770$69C764C7-50F6-4330-BFE7-EE8168ECB67D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6dc1a7b3b59324b690f53b3604e74f03948d53a0","datavalue":{"value":{"text":"An equational theory for trilattices","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5950770$E6E94764-0D55-4818-B6D4-802B804DC037","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"56ed5607a3960895f916ceca5ed9eacedff762c4","datavalue":{"value":"0979.06006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5950770$DEEE6436-D24F-4F0C-B5BE-F153BD7507C2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3b6af40bc2fc75bd89b7ee93adf21df71c9f78e6","datavalue":{"value":{"entity-type":"item","numeric-id":219099,"id":"Q219099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5950770$04831211-BE72-4B52-9E74-EB6A1C59DD33","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":"Q5950770$EC25BAAB-F1E9-4E74-9E99-8FB09AD4CBF8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cff48275765814590658d506aafb5ce41ac2a492","datavalue":{"value":{"time":"+2001-12-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5950770$7E1DC534-0BF7-48B5-8C31-F7E21DAE629A","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"44141c602a5cc8b700e01c65715535342e2daf86","datavalue":{"value":"The triadic approach to Formal Concept Analysis was introduced by R. Wille in 1995. It gives rise to so-called trilattices which are sets with three orders satisfying the so-called uniqueness condition and antiordinal dependency where certain operations, so-called ik-joins, exists. Algebraically, they are characterized by nine types of trilattice equations. The Reduction Theorem guarantees that if ik-joins of arity \\((2,2)\\) exist then all finitary ik-joins exist. An axiomatization of these operations is included in Theorems 3.1 and 4.1.","type":"string"},"datatype":"string"},"type":"statement","id":"Q5950770$6DFCD4AE-FB19-43FB-9DB6-5E9C4B1D0960","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"967efbf7e9159f2448c17bb8438ae3fe0ce8fb52","datavalue":{"value":{"entity-type":"item","numeric-id":334969,"id":"Q334969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5950770$96650534-8796-4144-B7B8-B9DC1299063C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7a7c57a22810c1fc3e6e7843b0557275bc4a46fc","datavalue":{"value":"06B99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5950770$CF9591B4-0EFD-4A4A-840C-8A18F9369112","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"463f7d257a671a9510e684a0db949c2f8eb9d983","datavalue":{"value":"06B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5950770$FB062E0B-BAA0-4A5A-A667-C7693F723E4D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e13a7577a541eeb7c464a61b6a8e5cd16980c922","datavalue":{"value":"1682620","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5950770$A9EFD842-0D8E-459E-9D28-4A563702C8F0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4cde8c5633e8aad4b3ec145c1da8b0434b61ca43","datavalue":{"value":"trilattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q5950770$9768762F-CB6A-4CE2-8D93-FD77354BF47B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c6a26c619f3c34107172c32ab1d29a17af19378d","datavalue":{"value":"order","type":"string"},"datatype":"string"},"type":"statement","id":"Q5950770$C28F31B1-34A4-493D-83A7-DB45D9CFE22B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f544640c68096b30371a4b1f3cb60c23a607caee","datavalue":{"value":"quasiorder","type":"string"},"datatype":"string"},"type":"statement","id":"Q5950770$E298155B-0BF9-48B1-ABD6-D92A57AD98D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b527bb192c450739ea986ba9fce695d46d556fc3","datavalue":{"value":"ik-join","type":"string"},"datatype":"string"},"type":"statement","id":"Q5950770$AC5B8F4D-AE23-48AF-8B7A-4F694B98255F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"356e366d6c8b96790c960b2cb3520c79f5b43485","datavalue":{"value":"formal concept analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q5950770$1372531F-E1AC-4323-A1C6-06603CD24AB5","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":"Q5950770$FE4D4958-666B-40A2-A477-1A20345B1715","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e1d913ff57a52753c96db0ad867b628741e5a298","datavalue":{"value":"https://doi.org/10.1007/s000120050002","type":"string"},"datatype":"url"},"type":"statement","id":"Q5950770$0FC0AC37-A966-4B20-B944-EC8B6EF78CB0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f1685c02f48222d7873a3ef47920a6731c0607c8","datavalue":{"value":"W2055886298","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5950770$1D75EA59-F422-4FE2-BD0A-93C2E40A5177","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3be9f31cde76141f7e4297c36194d58315f850c1","datavalue":{"value":"10.1007/S000120050002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5950770$1A7F99EE-1EBF-481F-9444-0CB9B8FEEE79","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e4df3f979e13021cd4a623395503c4a8aa685af","datavalue":{"value":{"entity-type":"item","numeric-id":4208767,"id":"Q4208767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8e7fb902ff23e0abf1f13c374a1b139fcaaa360b","datavalue":{"value":{"amount":"+0.8542428612709045","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":"Q5950770$47129D90-0B91-4C40-ACF5-6B6AAD8D0C70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ebcfe13820b2e6ec00c7740b33567f9cb6b38a90","datavalue":{"value":{"entity-type":"item","numeric-id":506341,"id":"Q506341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8e7fb902ff23e0abf1f13c374a1b139fcaaa360b","datavalue":{"value":{"amount":"+0.8542428612709045","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":"Q5950770$669664BF-21D1-41D8-B33C-6A23A0C1EA9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6a43b91a8acbfb6d9304a81c8af038a39238fdfa","datavalue":{"value":{"entity-type":"item","numeric-id":4939251,"id":"Q4939251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c4d408055b3c0ec22dc54bbe9a2c220beb94e31","datavalue":{"value":{"amount":"+0.8148453235626221","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":"Q5950770$4656F16E-EDFC-46AB-B068-E8ED6680CE1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"712aaec90202a064c803f3663f7b47aae6e13b1f","datavalue":{"value":{"entity-type":"item","numeric-id":1904393,"id":"Q1904393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"47f3f3b78965fd20ef654509690991846422480a","datavalue":{"value":{"amount":"+0.8010774850845337","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":"Q5950770$BF04ACC9-80B2-4759-A1F9-1DF7C9CF5340","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"da1b4d4743b88d4c71dda530f1d4f828cfb2652a","datavalue":{"value":{"entity-type":"item","numeric-id":4395643,"id":"Q4395643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a8019b970c6258f224425e3f85de0f43c16b03e3","datavalue":{"value":{"amount":"+0.7834286689758301","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":"Q5950770$037832F2-CE0C-4B80-A362-1381DFA9F301","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An equational theory for trilattices","badges":[]}}}}}