{"entities":{"Q1935563":{"pageid":1946305,"ns":120,"title":"Item:Q1935563","lastrevid":71179146,"modified":"2026-04-13T20:04:08Z","type":"item","id":"Q1935563","labels":{"en":{"language":"en","value":"Minimal varieties of representable commutative residuated lattices"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6137001"}},"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":"Q1935563$A289861D-FD51-402F-A282-9C8D9A7C5294","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e6548c0a2b5c549068efa6b635b84508ddffd1c7","datavalue":{"value":{"text":"Minimal varieties of representable commutative residuated lattices","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1935563$6FBCA984-5036-4B78-8C9D-FF515EDABA76","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ebf6050555b2d0bfb3d6569d03841d7cadbcc5f0","datavalue":{"value":"1271.08007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1935563$FC587E59-E96A-400F-9431-CAF19AF9A1EB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ed884d62ba335a3bb4fbf19b212e496a3b37d0cd","datavalue":{"value":{"entity-type":"item","numeric-id":549719,"id":"Q549719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1935563$ECAB9429-F4DF-430B-BB4C-D474E5B0FAA2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1935563$60600219-C891-470E-8CE5-3848ECD3F8F3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e6580e539cd642ecce5788629c9cdef04a318cad","datavalue":{"value":{"time":"+2013-02-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1935563$546FB36A-8EFE-484C-9546-F55455411F44","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"3fdce682343177844ace2cbc59fe2e8922d008ef","datavalue":{"value":"The aim of the paper is to get the cardinality and a description of minimal subvarieties of the varieties of representable and integral commutative residuated lattices, denoted, respectively, by RCRL and ICRL. A commutative residuated lattice is called \\(k\\)-potent if it satisfies \\(x^{k +1} = x^k\\). It is shown that every minimal subvariety of RCRL is 4-potent and there exist continuum many minimal subvarieties. On the other hand, there are only five 3-potent minimal subvarieties of RCRL and only two minimal subvarieties of ICRL, all of them are described by their generators. Finally, it is proved that the variety of representable ICRL is generated as a quasivariety by 1-generated finite members. Hence, several open problems possed by N. Galatos, P. Jipsen, T. Kowalski and H. Ono are solved.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1935563$311ED630-8F71-4BC0-971B-73884343AA20","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":"Q1935563$CC2A3527-530C-4192-9C39-316B232C7C4E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a65487c7726591096aeacf67e5838b6764f4f370","datavalue":{"value":"08B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1935563$C2632B2F-90B6-4E69-B627-F2967BCE3DEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"67d83a420633c5e61caca50109886be8d1d7a17a","datavalue":{"value":"03G25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1935563$6DB6E488-5602-414C-91C7-27A54609CDBB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"684fd62a2645aa1c97ded052b05084dde079dd74","datavalue":{"value":"6137001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1935563$9E1938EE-B5EC-4056-B80F-0B03BC03D8AD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ba9f9e408677e5cda7fa1a1e81e1a3810d33ea67","datavalue":{"value":"commutative residuated lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q1935563$1425557D-4FD0-4D0E-B2C9-12317711ECA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"939ad6ffe4c1d2c57c6d15d34db2219dea95d048","datavalue":{"value":"minimal subvariety","type":"string"},"datatype":"string"},"type":"statement","id":"Q1935563$D9E9DDD6-A3D3-4825-8B88-CB47B0D5253B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3b6d93250c2985924d36d3bfca3241136a9f84f9","datavalue":{"value":"\\(k\\)-potent residuated lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q1935563$D5F1C49E-BA03-471F-BB49-2C9FD8AC79FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9c2c913261cb8291b56ee6461aae9241f302c889","datavalue":{"value":"subvariety lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q1935563$04123918-A47B-4E17-A169-20E445F998D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66be3f3780bf3ec23292110b5cf48d33cca994b8","datavalue":{"value":"minimal variety","type":"string"},"datatype":"string"},"type":"statement","id":"Q1935563$0D8D09FE-EBB8-4063-B7CC-F289A283D40F","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":"Q1935563$22099DCB-4D98-4A7D-9C90-E67B3DBB3EEF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"dce55515c2b540f7780dccec20b2e4ad751a19ff","datavalue":{"value":"https://doi.org/10.1007/s11225-012-9456-1","type":"string"},"datatype":"url"},"type":"statement","id":"Q1935563$1EA96A5D-3084-4FFC-B6BD-4CEB836890EA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ce072b6aad9e382cb8f03799e5b3ba210887922f","datavalue":{"value":"W1991280371","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1935563$EAC6887C-A873-446E-9F79-ED68A777A739","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d95f596d87616b4c45a125752dde08f3ba0a74cd","datavalue":{"value":{"entity-type":"item","numeric-id":1866813,"id":"Q1866813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1935563$60139ABC-B3A7-49D1-AA1B-6E11A469057E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60286d36984eaf65882c51a5abddcc0df15a9a5b","datavalue":{"value":{"entity-type":"item","numeric-id":1771949,"id":"Q1771949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1935563$57CE0248-6EBF-458C-A22E-C786D70BE510","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"48451130fa325b4302f0c1189496cfa710a55098","datavalue":{"value":{"entity-type":"item","numeric-id":2577691,"id":"Q2577691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1935563$8C8464D8-243E-4556-B812-2B9FE1CFF261","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b66c44c4ef6ee160003d0a07de5db4cffbce968f","datavalue":{"value":{"entity-type":"item","numeric-id":881452,"id":"Q881452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1935563$67BCF7BC-F1DA-43B5-9E32-8880AF179A0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c0e153dcad108c14c9a55e8f1c726ec817dd7f4","datavalue":{"value":{"entity-type":"item","numeric-id":5693612,"id":"Q5693612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1935563$7EC8A928-8FD6-4192-B56F-3CED2533D75E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc3996c15e4ba37ecea77f21e60849490c9a39e3","datavalue":{"value":{"entity-type":"item","numeric-id":1035670,"id":"Q1035670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1935563$4C0CC394-B379-486B-8A0B-E6044707F2A2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"83c65a9f136e8c033c57da9b0d0b6bac2cad2fc4","datavalue":{"value":"10.1007/S11225-012-9456-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1935563$E251A5EF-4EB1-4663-855E-D973AEB997A2","rank":"normal"}],"P1643":[{"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":"bb5139258479b2e82e5a87922c3fa8af00cbee10","datavalue":{"value":{"amount":"+0.9006633758544922","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":"Q1935563$A584AC74-9902-44A4-8A48-32EEE4C0F87C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e5e489b617892c741b64cf7554986e5a072e862","datavalue":{"value":{"entity-type":"item","numeric-id":664314,"id":"Q664314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9fdf3627fe6988baa8363b8b4caa39b0c34abdf4","datavalue":{"value":{"amount":"+0.8354381322860718","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":"Q1935563$A684D0EB-603E-422A-8686-AAEA912DEF28","rank":"normal"},{"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":"b43e0fbd1de9b63681f37d3df1208e4205ae8ba9","datavalue":{"value":{"amount":"+0.8273558020591736","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":"Q1935563$8E4F0E92-ECBC-4274-9B91-3FA9BD61B961","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"757e35848d1e46e218806f6ab5c0e2ecdb37c288","datavalue":{"value":{"entity-type":"item","numeric-id":3443137,"id":"Q3443137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f7e96319a695a3c6d104a135badda0be3fb53879","datavalue":{"value":{"amount":"+0.8236801624298096","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":"Q1935563$42A8484C-9F57-40A5-BB5B-22D180FF2F1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95359fe0c61e10100162bab6e3159a3c73ec4deb","datavalue":{"value":{"entity-type":"item","numeric-id":2888151,"id":"Q2888151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"58c2b6449750577bfd9137575ca6bfad238c22cd","datavalue":{"value":{"amount":"+0.8083582520484924","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":"Q1935563$2F1C0112-61FA-44E7-A4E1-AB130889EA60","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Minimal varieties of representable commutative residuated lattices","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Minimal_varieties_of_representable_commutative_residuated_lattices"}}}}}