{"entities":{"Q2888151":{"pageid":2898876,"ns":120,"title":"Item:Q2888151","lastrevid":42450613,"modified":"2025-06-27T23:26:34Z","type":"item","id":"Q2888151","labels":{"en":{"language":"en","value":"Minimal subvarieties of involutive residuated lattices"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6039648"}},"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":"Q2888151$9029E098-5289-4CA7-89A3-7A041D64BB83","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c48083d6e38576e82a4b17a6455dea9a3ccf56ee","datavalue":{"value":"1253.06018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2888151$6B0F9F19-9ED7-4F81-96E9-AC639D1D7594","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b5133b0f573e02f0b15a73f8a2e97d7f53efd69e","datavalue":{"value":{"entity-type":"item","numeric-id":2425349,"id":"Q2425349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2888151$F7EDFCFC-E2D9-4DF8-B77C-66DB432B8F9D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9cf2f505c732bca65c95db37822678ba6da7d9b6","datavalue":{"value":{"time":"+2012-05-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2888151$D9F57895-37A4-499C-95A0-74E0EA599A33","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c37a2ebd177ad7250da57d7e7c99a314ea8d697c","datavalue":{"value":"06F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2888151$445CEC19-9687-4082-B912-2D510D4F3D4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"67d83a420633c5e61caca50109886be8d1d7a17a","datavalue":{"value":"03G25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2888151$C4898267-D30E-485F-976E-16B7202060A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a09929fa18be057d20e940578849cc6f5a29a3e2","datavalue":{"value":"06B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2888151$7B29AD0D-BC05-4BB4-86F3-7D79692FAB46","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2ed2cf0ac0c21360db84a1943a4d228400208e40","datavalue":{"value":"6039648","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2888151$720B05AE-8C72-40F7-A252-C20650B0D9C8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"871576db775750977e6332ef2b11f3b536053055","datavalue":{"value":"residuated lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q2888151$D9F08012-E797-4654-9596-429F38B6B03E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"865fa064bd5793ebd68e9c7d1b9a2b3aed9dc70a","datavalue":{"value":"involutive residuated lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q2888151$F500FA19-C2E5-401C-9061-6CEA91D3EF2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"584f5ca1572f79e0120903273d236710a66e6ea9","datavalue":{"value":"representable residuated lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q2888151$649DFA3A-AFAF-4B30-8746-A9D4B401157E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66be3f3780bf3ec23292110b5cf48d33cca994b8","datavalue":{"value":"minimal variety","type":"string"},"datatype":"string"},"type":"statement","id":"Q2888151$98311052-3146-46F5-9F3C-7209F886460F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9cba6af2f15e8f65a526b0ee638ad336c3fe931","datavalue":{"value":"mingle axiom","type":"string"},"datatype":"string"},"type":"statement","id":"Q2888151$FB83DB6F-D894-4D6A-B435-B34F0BB57377","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b24e9d82065b7a1ada8613f40ad303235d0f0b9","datavalue":{"value":"idempotency","type":"string"},"datatype":"string"},"type":"statement","id":"Q2888151$15CA31DB-6A62-438E-8841-48308388179D","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":"Q2888151$CEF20FAD-9C22-4CC5-8C97-AAAF3E5A4E64","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"628010f54f4a811d5dd7b5a1a66c1e444689e36e","datavalue":{"value":{"entity-type":"item","numeric-id":2433108,"id":"Q2433108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f12bed84afac30f6065ee704f03d7c43ea37b0b3","datavalue":{"value":{"amount":"+0.9789604","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2888151$20FB1101-AB7A-488D-A4D2-A6E2727E29CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f4559010ead204e3223ddc0f73a7eec2ef135fde","datavalue":{"value":{"entity-type":"item","numeric-id":2577691,"id":"Q2577691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1a596dbb3f544f60c08cd4c431d9ba9f05c24541","datavalue":{"value":{"amount":"+0.9530435","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2888151$B8C8A238-EBA5-4ADA-A843-3AA6DD8EDF49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1bfb4022f2d72a9f441192097eaa3ba4579a1969","datavalue":{"value":{"entity-type":"item","numeric-id":1935563,"id":"Q1935563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"048f91c4fdbcb35bd061e411d4c0a375096076e1","datavalue":{"value":{"amount":"+0.9297713","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2888151$CBEBBCFD-2D12-425B-BF98-ECFBB6AD4A53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e0d6500bd24ad3e0d3cab5ad2f4c8328703d886","datavalue":{"value":{"entity-type":"item","numeric-id":1866835,"id":"Q1866835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dbc8e0f272ef76d3084d876595536a58b8d2d7e9","datavalue":{"value":{"amount":"+0.90370864","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2888151$1CBAC3A0-BB52-4BF4-9A22-A040726F6BB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6f20fa31186ca5059d929b403a7e946640787323","datavalue":{"value":{"entity-type":"item","numeric-id":4257579,"id":"Q4257579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dba2e71811d148d39ef3889ea1a3cb0a32cfe3ef","datavalue":{"value":{"amount":"+0.9017627","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2888151$3D1E6677-DE98-488E-8505-CAA97872DE6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b0a423f7fb4954c2642c8abe7e6639d735096d2","datavalue":{"value":{"entity-type":"item","numeric-id":2153929,"id":"Q2153929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"000059cd63096897dba3020595df89fbc9bd36af","datavalue":{"value":{"amount":"+0.8982214","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2888151$C8A863FB-B208-4ADC-9965-BB118791E0E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"07ef4b6c1dadd73497e9c85388ddede64ce757a5","datavalue":{"value":{"entity-type":"item","numeric-id":5618408,"id":"Q5618408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"519721877272fa8477d2eb32e1544af50e2fece0","datavalue":{"value":{"amount":"+0.894723","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2888151$E7DF7C6D-0000-4713-B0AD-03CB9D1B1C6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5cf08d5f55c9e39942f09713570d12fe3e8ed328","datavalue":{"value":{"entity-type":"item","numeric-id":3502840,"id":"Q3502840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"edd21722fb6f392de268d2f4b68d1b25772c2501","datavalue":{"value":{"amount":"+0.89403105","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2888151$C2D019F0-D959-4815-A2EB-A418ED3C2437","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4103097ef26a4002168eb7d91ecf14f079a1396d","datavalue":{"value":{"entity-type":"item","numeric-id":5932484,"id":"Q5932484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"30f44b47b592d0c64caf1ea2906b281151ae39b8","datavalue":{"value":{"amount":"+0.8868452","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2888151$449DCAA4-3C09-4419-B634-3CEF3FBC7EC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e473b66b4d430bf2985bebf2773a87dc1091f53f","datavalue":{"value":{"entity-type":"item","numeric-id":844016,"id":"Q844016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eeefc088a8fd9e58e4e22322ac9a5f8721e19d98","datavalue":{"value":{"amount":"+0.88598233","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2888151$F3F0940B-5452-4123-9B95-57D766BBF0C2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"06af3b80d7a30d637830fc3d9253189f0ca2d82e","datavalue":{"value":{"text":"Minimal subvarieties of involutive residuated lattices","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2888151$100F5B5A-C07C-4698-B738-84A982147DFB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7a0d78bb1ba0b96c6ee7b4ed752efc00bcce9c9a","datavalue":{"value":{"entity-type":"item","numeric-id":4609352,"id":"Q4609352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2888151$A10A0032-C53D-45F4-83D2-6020552ECFED","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"992af2f4703d580f6e6771eb2646bf9ae94ffa05","datavalue":{"value":"Residuated lattices were first introduced in the late 1930s in a more restrictive form by M. Ward and R. P. Dilworth in their attempt to generalize the ideal lattices of rings with identity. Minimal varieties of residuated lattices have been investigated by N. Galatos, who proved that there are uncountable many subvarieties of representable residuated lattices with idempotent axiom. The minimal varieties of involutive residuated lattices have been studied by C. Tsinakis and A. Wille. They have shown that there exist uncountably many minimal subvarieties of involutive residuated lattices.NEWLINENEWLINEIn the present paper the author investigates the case when the two conditions, representability and involutiveness, are combined.NEWLINENEWLINEHe shows that there exist uncountably many atoms in the subvariety lattice of the variety of bounded representable involutive residuated lattices with mingle axiom \\(x^2\\leq x\\), while only two atoms exist in the subvariety lattice of the variety of bounded representable involutive residuated lattices with the idempotency \\(x^2=x\\).NEWLINENEWLINEAdditionally, the author explains the meaning of these results from a logical point of view.NEWLINENEWLINEI consider that the reviewed article contains valuable results and is a starting point for other studies on this subject.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2888151$EE907ECA-6ACB-4FAC-B2D4-7CE51AFFB095","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"39d03bc5e4b5d8bfd4455ed0ba4cd34fb8b2de21","datavalue":{"value":{"entity-type":"item","numeric-id":344088,"id":"Q344088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2888151$7EF7538F-C773-4C6F-95C6-3CEF9A29C2EB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2888151","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2888151"}}}}}