{"entities":{"Q5935988":{"pageid":8112790,"ns":120,"title":"Item:Q5935988","lastrevid":93409892,"modified":"2026-06-05T04:21:11Z","type":"item","id":"Q5935988","labels":{"en":{"language":"en","value":"On subvarieties of symmetric closure algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1612848"}},"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":"Q5935988$4982F731-55E5-417B-9BA4-05D9F47C7A89","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8db54abd073e1579763be562ee8d5941cf63184a","datavalue":{"value":{"text":"On subvarieties of symmetric closure algebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5935988$782F27BE-6BDF-4811-99DC-69E0589D46CA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ba4f9f0a913539136579728748934ced91d1e523","datavalue":{"value":"0989.06010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5935988$071479BA-D1A3-4B5C-B6C6-12DBDCBE3C38","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"be747dea7bfd9627e48dbee569fa4e8d83b2f99e","datavalue":{"value":"10.1016/S0168-0072(00)00043-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5935988$6A00AC75-12D5-441B-BC06-68FC1D9640BD","rank":"normal"}],"P16":[{"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":"Q5935988$63102783-0998-404C-8ED5-79E60AA9A401","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5935988$4395007C-1216-462A-A8E5-86193DCC0C46","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"66810b26c53348422cf67dd032df27ab202f42ea","datavalue":{"value":{"time":"+2001-07-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5935988$C2876CB4-2795-4FB6-BFE7-DD30B7D78FF3","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"a6fe8dc192d02ddc9eacdf0170bacb16e20e7549","datavalue":{"value":"A closure algebra is an algebra \\((A,\\vee,\\wedge, -,Q,0,1)\\) such that \\((A,\\vee, \\wedge,-,0,1)\\) is a Boolean algebra and \\(Q\\) is a unary operation on \\(A\\) that satisfies the identities \\(Q(1)= 1\\), \\(x\\geq Q(x)\\), \\(Q(Q(x))= Q(x)\\), \\(Q(x\\wedge y)= Q(x)\\wedge Q(y)\\) (interior operator). By defining \\(\\nabla(x)= -Q(-x)\\) we obtain a closure operator. One says that an algebra \\((A,\\vee,\\wedge, -,Q,\\sim, 0,1)\\) is a symmetric closure algebra if 1) \\((A,\\vee,\\wedge,-,Q,0,1)\\) is a closure algebra; 2) \\((A,\\vee,\\wedge,-, \\sim,0,1)\\) is a symmetric Boolean algebra (i.e. a Boolean algebra with a De Morgan negation \\(\\sim\\)); 3) \\(Q(\\sim Q(x))= \\sim Q(x)\\). A symmetric closure algebra \\(A\\) is called a symmetric monadic algebra if, in addition, \\(Q(x\\vee Q(y))= Q(x)\\vee Q(y)\\). The lattice of subvarieties of the variety of monadic symmetric algebras is described (Theorem 5.5) and an equational basis of each subvariety is given (Section 7).","type":"string"},"datatype":"string"},"type":"statement","id":"Q5935988$585F8F8B-44CE-402A-82DA-059867B00CA0","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"8a4269540e775ce717310028f86928e9eeea39c7","datavalue":{"value":{"entity-type":"item","numeric-id":241780,"id":"Q241780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5935988$7F862459-5232-41B6-91D0-D291A89159B5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d85fc819987f741ef83c7852209bce325062055c","datavalue":{"value":"06E25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5935988$6727847A-539A-4DB3-A26A-E3B7E41C9758","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a65487c7726591096aeacf67e5838b6764f4f370","datavalue":{"value":"08B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5935988$8A49DD84-10FD-493C-9307-0AE8A97B015A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e8c40330eb2379a40e6c9b62fdbcc32287207f24","datavalue":{"value":"06D30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5935988$F895B073-DFAF-4E32-B97C-3A41325C05D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"67d83a420633c5e61caca50109886be8d1d7a17a","datavalue":{"value":"03G25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5935988$24751ED0-2D2F-4D34-A07C-BF23A4CE22E9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6d756233d09aa193f4d99289a853272b6f309795","datavalue":{"value":"1612848","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5935988$F2973F69-0188-4341-B966-2C8A67D55708","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7cfbbdee39ef48032e03b499e615237ef0f50ece","datavalue":{"value":"De Morgan algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q5935988$55A188FF-2B44-4ACB-B624-7059357849F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"24696e017151cd00d04776e928a537548df4df0f","datavalue":{"value":"Heyting algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q5935988$FACBB9B7-4D3C-4202-A0E5-E87ADDBA7135","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d5f5379ecfc18c6c97b7b095086d81c6fe68061d","datavalue":{"value":"closure algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q5935988$ED433426-D639-44FF-9EE6-4FEF2F3FD0D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0b79c0d46aaed6ae08d529961c9f16b783e44803","datavalue":{"value":"Boolean algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q5935988$BF79EA50-BFAB-461B-A160-059B69266A4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e380a2a6740bc99767f3f0b2622e9050c075ebb2","datavalue":{"value":"closure operator","type":"string"},"datatype":"string"},"type":"statement","id":"Q5935988$BE24AFD6-A1E1-4FD1-9D22-F3E0EA01E85D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4612ecd64ba1e8bcddaf38d2008cf01024b48c48","datavalue":{"value":"monadic algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q5935988$49862141-79FC-47F4-8A3C-B8B7CF6CC01D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"584579cf0910359cb9f947bbbef0d144f12b43b0","datavalue":{"value":"lattice of subvarieties","type":"string"},"datatype":"string"},"type":"statement","id":"Q5935988$E86AD4D5-B766-4D23-A0C0-36513698C766","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4bced25d43fa7f4058922ab24687d4ac93f53049","datavalue":{"value":"equational basis","type":"string"},"datatype":"string"},"type":"statement","id":"Q5935988$CA66C46C-535E-4D90-8033-03857CCF298F","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":"Q5935988$F68376E6-EFF3-4963-A1E1-505C2C17C7D9","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"054613e45bb397c1bb2606c4f3ba62df76b51bf5","datavalue":{"value":{"entity-type":"item","numeric-id":3146371,"id":"Q3146371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5935988$037E51F6-C303-4C18-AEE3-C2C7389AC4FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c738b08d87af7a43a4ff84f7d7ec3ddbc2b7ab14","datavalue":{"value":{"entity-type":"item","numeric-id":4137166,"id":"Q4137166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5935988$B80CBF5B-AF95-4C21-9713-23A05ED708F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6939b7c6b5e1e43a2947e6d05e58171b2f424c55","datavalue":{"value":{"entity-type":"item","numeric-id":3934450,"id":"Q3934450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5935988$B3A6A2E3-62DF-4C34-8FD3-685F969A0CFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49bc632fe6650ea091bb10e08a7fbcfedcd2972d","datavalue":{"value":{"entity-type":"item","numeric-id":4179057,"id":"Q4179057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5935988$B0F5299F-81FF-4368-A975-13579898304D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7969e70822edc4e7f9cea75a21cc54ddd4ae510","datavalue":{"value":{"entity-type":"item","numeric-id":4063138,"id":"Q4063138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5935988$1BA11B2D-0231-4D32-959C-0E58BEEC84BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd5fdc5604c99a9049b19ca9b158f4277fcf7ecb","datavalue":{"value":{"entity-type":"item","numeric-id":5554384,"id":"Q5554384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5935988$FF9111FC-AACB-41CD-B543-E9D790F4840D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a187468248dfe2a1da5394da7689d884c95e7d3e","datavalue":{"value":{"entity-type":"item","numeric-id":5646902,"id":"Q5646902"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5935988$CC268E97-D53C-465D-A442-44FFF65F4A6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13d9af80fb394b6d4ce6a003c012f88c509797ce","datavalue":{"value":{"entity-type":"item","numeric-id":2652481,"id":"Q2652481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5935988$3BD61A6E-46DA-4222-9158-5E23D862D8DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d414f51649e857be26468402ac605eb351354827","datavalue":{"value":{"entity-type":"item","numeric-id":2652482,"id":"Q2652482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5935988$280522F9-8CEC-4953-812A-850F4080D966","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99a47daa5100c7328d48373c72d3518c6f0a50ae","datavalue":{"value":{"entity-type":"item","numeric-id":5608747,"id":"Q5608747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5935988$EE3DF907-97D8-404C-B42E-D33F31FABF8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"035ae85679a5dd535bd5737e1552edc7691864e9","datavalue":{"value":{"entity-type":"item","numeric-id":4052119,"id":"Q4052119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5935988$1472C1BA-F6DB-4568-A155-7A579E6FE88B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7cc407297c52090de603378237bacb8fe170dae2","datavalue":{"value":{"entity-type":"item","numeric-id":3705494,"id":"Q3705494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5935988$CC372A48-6B25-4DE0-9B52-2AB4B79C70B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c7d8e64299959eab8e6c750d8c9898c6456ecf8","datavalue":{"value":{"entity-type":"item","numeric-id":4175603,"id":"Q4175603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5935988$5F6C37D0-B08C-4204-9254-91296A1A6557","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9caf48eb6272c29b2e112de5b75b006a6128bd04","datavalue":{"value":{"entity-type":"item","numeric-id":1377757,"id":"Q1377757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5935988$24BFC9A6-8FBA-4BA7-9E75-C3EE3F857D01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e414372454e57c1951dac219ea3b1fe8577676bf","datavalue":{"value":{"entity-type":"item","numeric-id":3770582,"id":"Q3770582"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5935988$2BF9B9A7-ED9A-4DA4-8AEC-370DBE05A6B8","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"2bdad4a2a15358f10f609a4ab3fc104bd2906e7a","datavalue":{"value":"Q126977483","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5935988$069D1619-CF0C-4F83-87AC-3AE312AA1185","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5455d32a8b9cc44bd8735723783e5ccdad6d5cd5","datavalue":{"value":"https://doi.org/10.1016/s0168-0072(00)00043-9","type":"string"},"datatype":"url"},"type":"statement","id":"Q5935988$B92C6D49-CE6F-486F-92DF-BAB5A2D419FF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"597d576d3b8fdef123995aba25a6cb7a6c2c9528","datavalue":{"value":"W2117620203","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5935988$5461242B-3715-4EF7-BEC4-D6A9319BB317","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"18afee5940ef6729ecb952fd7d37487afb7890e2","datavalue":{"value":{"entity-type":"item","numeric-id":3605559,"id":"Q3605559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c8c2e4045bf8a83c2cae42c644df3083b274e715","datavalue":{"value":{"amount":"+0.9032805562019348","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":"Q5935988$10EADC25-EE4E-4974-A5EA-60E45B16678D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"301f9700962886afef0a1d1aa8fd506951ac9d57","datavalue":{"value":{"entity-type":"item","numeric-id":2367904,"id":"Q2367904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d4c168bfabf7e0052d88b2499fdaa51aec397a5","datavalue":{"value":{"amount":"+0.827019453048706","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":"Q5935988$73E66562-296C-4A20-B5AE-798C0CBC1ADF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8eb3e4c31d7b4c50706b0df77b4b85be68c10ea7","datavalue":{"value":{"entity-type":"item","numeric-id":3346312,"id":"Q3346312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7486e22333b50638981d76cc31a851b3a1dee36d","datavalue":{"value":{"amount":"+0.8268150687217712","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":"Q5935988$759B08B4-3D83-412D-B9D1-FAB8E9FC6D30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c567023e50bfb5df3c70b520d8d995aa2deac2e","datavalue":{"value":{"entity-type":"item","numeric-id":3146371,"id":"Q3146371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c90722a6b1228fe7965a13f4a73d91298434472","datavalue":{"value":{"amount":"+0.7833691835403442","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":"Q5935988$4D0CCC69-3FA2-4593-A17B-B7BFD21D4A37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a0c3ba1013686857880911cb1f7ade05bf8470d8","datavalue":{"value":{"entity-type":"item","numeric-id":4835629,"id":"Q4835629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c90722a6b1228fe7965a13f4a73d91298434472","datavalue":{"value":{"amount":"+0.7833691835403442","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":"Q5935988$E6041BD7-94E1-400B-9E63-8842ED871A1B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On subvarieties of symmetric closure algebras","badges":[]}}}}}