{"entities":{"Q1406587":{"pageid":1417327,"ns":120,"title":"Item:Q1406587","lastrevid":68629344,"modified":"2026-04-13T01:02:47Z","type":"item","id":"Q1406587","labels":{"en":{"language":"en","value":"On cyclic symmetric Heyting algebras."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1975344"}},"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":"Q1406587$29CD06E4-D38C-44B7-9BCD-512C2C05C4A8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9ff597f4168f215d70b9bcf3a575c4fa80b26eeb","datavalue":{"value":{"text":"On cyclic symmetric Heyting algebras.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1406587$8543E62A-565C-4140-ADDE-34EECFB1401F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7d7b01831c44fafe543a97d8296dd01e72c71475","datavalue":{"value":"1042.06007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1406587$4D1CDB37-F493-4D67-8EF0-FEE3585F5BC2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2b9b218d153545f5fcffd815dd8e76ee276ebe81","datavalue":{"value":{"entity-type":"item","numeric-id":1406584,"id":"Q1406584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1406587$984750F7-8E8C-4949-B0DE-967EC3DDA34A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cf7c6fcbcfbdf4de9dd92c3306427599b2bd4275","datavalue":{"value":{"entity-type":"item","numeric-id":1406585,"id":"Q1406585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1406587$CC9C9148-8B76-47BC-BADA-A0EB6F605D35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d3d74a71cc8787f9f84643f0b42b9c050e5341ab","datavalue":{"value":{"entity-type":"item","numeric-id":587967,"id":"Q587967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1406587$D5ED7C73-2AE0-4B0B-890D-11ABD776B699","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"400890dd66db10164ad71f611209574f2fce9097","datavalue":{"value":{"entity-type":"item","numeric-id":422483,"id":"Q422483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1406587$D7980723-2AD2-4A77-BFD1-77F7771D5F90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"42c85a1197bc565fe86c46c6c1ea10da5fa2e464","datavalue":{"value":{"entity-type":"item","numeric-id":186058,"id":"Q186058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1406587$24E89964-E665-42BD-8841-207F9AE14C6D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f0da1cb3a9fbcb78801361ca630307ed2635d6e0","datavalue":{"value":{"entity-type":"item","numeric-id":209011,"id":"Q209011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1406587$4C782F05-9BC5-493E-87AE-3F26142EBC61","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d6f630a8f9062cc7a61bf0b0d4072e8f242af2b3","datavalue":{"value":{"time":"+2001-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":"Q1406587$0C81C39E-8358-4F2D-9AAA-0F925479E182","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2c2057c5568cb02e75d6f67fc630b3e32a350ab1","datavalue":{"value":"https://eudml.org/doc/50842","type":"string"},"datatype":"url"},"type":"statement","id":"Q1406587$77BE6CDB-FE57-446D-A43E-836FD467B6B9","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"9710f6c462836618d097af48ef81b51570679892","datavalue":{"value":"A symmetric Heyting algebra is an algebra \\((A;\\wedge,\\vee,\\to,\\sim,0,1)\\) of type \\((2,2,2,1,0,0)\\) such that \\((A;\\wedge,\\vee,\\to,0,1)\\) is a Heyting algebra and \\((A;\\wedge,\\vee,\\sim,0,1)\\) is a de Morgan algebra. A symmetric Heyting algebra is said to be \\(k\\)-cyclic if there is an automorphism \\(T\\) such that \\(T^{k}=\\text{ id}_{A}\\). The variety of such algebras is denoted by \\({\\mathcal H}_{k}\\). The simple algebras in this variety are determined. For the subvariety \\(\\mathcal L_{k}\\) consisting of the algebras in \\(\\mathcal H_{k}\\) that satisfy the identity \\((x\\to y)\\vee(y\\to x)=1\\), a description of the lattice of subvarieties is obtained, as well as equational bases for each member of this lattice.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1406587$4E589F8D-75FB-4E0C-8AC8-5099620757DF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1223d796215bbf4bcae3c67b36ec5aaeab489659","datavalue":{"value":"06D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1406587$C0CF9185-88D6-4026-AA4B-7A96338BCC81","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"659049a315463df6c20c2668444dbc832a000a37","datavalue":{"value":"1975344","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1406587$80028C53-E702-4634-9977-204791FBB69E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5fa90d9b43357ac49f07caba3b29b66354b3e6fb","datavalue":{"value":"Heyting algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q1406587$A004A955-9D85-4318-A9F5-3F509EAFA2CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c94fad49b1153ca8b4e3d9b6dde022f0101a9254","datavalue":{"value":"simple algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q1406587$6DBC1CFC-646B-4DD5-8F59-8961A4B8FA72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e3c02ec5426e6d0393234b872b20ebe7c5158e71","datavalue":{"value":"variety","type":"string"},"datatype":"string"},"type":"statement","id":"Q1406587$F2153B92-5662-4AFD-AC18-1B508E78B243","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"584579cf0910359cb9f947bbbef0d144f12b43b0","datavalue":{"value":"lattice of subvarieties","type":"string"},"datatype":"string"},"type":"statement","id":"Q1406587$00AE83DF-C824-4083-B1AA-956B92B9064E","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":"Q1406587$1A99C0BC-8A4D-4F19-9077-66062AF133E2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"426009c16fdc30558fbe081833f9a6dd2a1d7a53","datavalue":{"value":{"entity-type":"item","numeric-id":1208070,"id":"Q1208070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b7ac6a04a0164ed6ad48f91be39bb347f1074942","datavalue":{"value":{"amount":"+0.8320953249931335","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":"Q1406587$37A824EF-24C5-48B2-81C3-B26023B645D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"03b0976ffba29203b2781c428581c9e8055f157f","datavalue":{"value":{"entity-type":"item","numeric-id":2250908,"id":"Q2250908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd2d4b726ed2c4355819cad45297c5de76c0b3d5","datavalue":{"value":{"amount":"+0.8300866484642029","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":"Q1406587$61D2716B-AC7F-49C8-94CF-3CEA2F87D61D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"94a208ead7d9a728e21f3465ea1e28b1ebfd9775","datavalue":{"value":{"entity-type":"item","numeric-id":3322103,"id":"Q3322103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b110985188a3d9b106d8a5a309693807b360378a","datavalue":{"value":{"amount":"+0.8210037350654602","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":"Q1406587$05BD332A-394B-427F-B45D-F333541E1698","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e2fb01579af735042733c34b760d633c9fcced1","datavalue":{"value":{"entity-type":"item","numeric-id":3705494,"id":"Q3705494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"423f8d31399489eab6edbedfad9dba9168922677","datavalue":{"value":{"amount":"+0.7899246215820312","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":"Q1406587$DCBA1FF3-A408-49BC-BF9D-DCBFA1FA29F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b63efdad2dca47f357b79c8e4f328f4474b4f57","datavalue":{"value":{"entity-type":"item","numeric-id":3204509,"id":"Q3204509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a7aee0e9d03b879cad6921feaacfc137525a65ff","datavalue":{"value":{"amount":"+0.7833502292633057","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":"Q1406587$CC0F9927-8B03-465C-B31D-2676BE6220E1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On cyclic symmetric Heyting algebras.","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_cyclic_symmetric_Heyting_algebras."}}}}}