{"entities":{"Q647312":{"pageid":649161,"ns":120,"title":"Item:Q647312","lastrevid":51371738,"modified":"2026-01-17T23:33:57Z","type":"item","id":"Q647312","labels":{"en":{"language":"en","value":"Finite pseudocomplemented lattices: The spectra and the Glivenko congruence"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5977541"}},"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":"Q647312$3F6675AC-2C08-40B8-96A4-50199A3B4D14","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"be2b1c304cd94a99097885bf77ef50ee51249f65","datavalue":{"value":{"text":"Finite pseudocomplemented lattices: The spectra and the Glivenko congruence","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q647312$EA3D9632-7E3C-4D8B-BD7D-3176781CDF9F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d2b9b65f10736f9abd6d5a1d1a604c828f752bda","datavalue":{"value":"1231.06015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q647312$3894A32C-0DD4-4557-8FDE-131DC625E345","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":"Q647312$972A6621-9B07-4297-8802-46691DF1DE00","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e41089f084c402eced6627daeaaccc5646c70332","datavalue":{"value":{"time":"+2011-11-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q647312$E41D006F-CDA7-4F9E-B327-EC2E3E82E6C0","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"32f392598a0cd11c0c8d2f124cfc2c8459585ac7","datavalue":{"value":"Given a pseudocomplemented semilattice \\(P\\) and \\(a\\in P\\), the principal ideal \\((a]\\) is known to be a pseudocomplemented semilattice. The corresponding Boolean lattices of closed elements will be denoted by \\(S(P)\\) and \\(S(a)\\), respectively.  Let \\(L\\) be a finite pseudocomplemeted lattice \\(L\\), where \\(S(L)\\) has exactly \\(n\\) atoms, and let \\(B_i\\) be the finite Boolean lattice with \\(i\\) atoms. The Boolean spectrum of \\(L\\) is the sequence \\({\\mathbf s}=(s_0,\\dots,s_n)\\), where  \\[ s_i=|\\{a\\in L: S(a)\\cong B_i\\}|. \\]  Recently, \\textit{G. Gr\u00e4tzer, D. S. Gunderson} and \\textit{R. W. Quackenbush} have characterized the spectra of finite pseudocomplemented semilattices [``The spectrum of a finite pseudocomplemented lattice'', Algebra Univers. 61, No. 3--4, 407--411 (2009; Zbl 1209.06004)].  In the paper under review a tight connection between the spectra and the Glivenko congruence of finite pseudocomplemented semilattices is discussed. Also the spectra of finite Stone lattices are characterized.","type":"string"},"datatype":"string"},"type":"statement","id":"Q647312$E1C01733-D9DC-4116-8BA2-DC08227AA5AD","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"f88fa41ef91c2abf95c7a1edf27437cbf5cacbaf","datavalue":{"value":{"entity-type":"item","numeric-id":344072,"id":"Q344072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q647312$87ABA066-AF99-4D27-93FA-5B0EF8575E33","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c12bad36bd189cf0d3e5ea0440fc6afbb1be4a8c","datavalue":{"value":"06D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q647312$26D3C5F9-2A75-4C0F-9958-11CDF0F324DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6bc68fdb72eda783db87ef0277cbbfb4c760cdbc","datavalue":{"value":"06A12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q647312$CD6359A2-7785-4DEB-91AB-DC69C6F6FD2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d9a3514a89c23e0ac2c3d927db97941ff2631de6","datavalue":{"value":"06E05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q647312$8DD7BCB1-3866-47B3-B320-6F9D6887B296","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8e01db3494479ed10a336c6e9690f04129d8218a","datavalue":{"value":"5977541","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q647312$50E60548-4533-4766-A765-1D92BDC487EE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"198aab7837b7b47af2df3b54c87c4be495598b35","datavalue":{"value":"pseudocomplemented lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q647312$A9C865E5-54CD-41AC-9F0A-D52DF311CB5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8b42a8e506c79bb509baa97950f1cc069aebf7bc","datavalue":{"value":"pseudocomplemented semilattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q647312$6BCA79A9-CF1E-4175-A202-79AAEFB99D00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1095114f645c569caa1719df644257961c78a357","datavalue":{"value":"Glivenko congruence","type":"string"},"datatype":"string"},"type":"statement","id":"Q647312$F58842C0-7159-47CC-BED3-AE835A774DF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d5e5635796d61a2276700c5751e732bf45eb0f7a","datavalue":{"value":"Boolean lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q647312$6914B5D4-5B24-4E85-BB2C-BE1D766B39E6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a55bc96d0d67197cb5499bbb5a076e104d4a8e44","datavalue":{"value":{"entity-type":"item","numeric-id":1175934,"id":"Q1175934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q647312$047B9770-090C-44C1-86B3-552128C296B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0f7db1b65bbf8c121d54846f7b7409aa2a2fff5a","datavalue":{"value":{"entity-type":"item","numeric-id":271699,"id":"Q271699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q647312$CAB0D797-DA02-49BC-9B3E-18FD5B34583A","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":"Q647312$6D463AB9-6206-4F80-A8D7-7B71D01F6D11","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"af10aed7b2158e7daadad9889c32122e4f296e18","datavalue":{"value":"https://doi.org/10.1007/s00012-011-0145-0","type":"string"},"datatype":"url"},"type":"statement","id":"Q647312$7732244B-B549-42AF-B3A3-DEB3F6A9B42A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"051d2457288f493db80b44fb6615195ffb7827d0","datavalue":{"value":"W2024023804","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q647312$589FC2BB-E7A1-4D6C-BEA7-A507EC5B8343","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a7f95a181a122f35ae18fd86fcaee76950d7cde","datavalue":{"value":{"entity-type":"item","numeric-id":5532570,"id":"Q5532570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q647312$6D81A70F-D2A1-4D10-BBF1-A74354F63B63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cfd5df3b1d75c513225fd51cd3923e2a4cb48b88","datavalue":{"value":{"entity-type":"item","numeric-id":2625269,"id":"Q2625269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q647312$630C99B6-B802-4DC6-A828-894A2F780817","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47ad6861c78fd4390c0613c4ab63948d956f71fd","datavalue":{"value":{"entity-type":"item","numeric-id":5639727,"id":"Q5639727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q647312$4EB8C682-40D5-4820-92DC-AADD5A449EC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"418821fe58bdb4e8ca7702edf4fa623914f51248","datavalue":{"value":{"entity-type":"item","numeric-id":4399900,"id":"Q4399900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q647312$EDF55A4F-3BBB-4348-9146-4186FFC762F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6fddaf94f31baf982e127cf86aa853c7f9b8bee6","datavalue":{"value":{"entity-type":"item","numeric-id":1047115,"id":"Q1047115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q647312$8CC02C0A-73D1-49E2-B060-EFC490B45677","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8fe550f3549cdf995505ee8803ca92194c9d942d","datavalue":{"value":{"entity-type":"item","numeric-id":5328221,"id":"Q5328221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q647312$646C0445-3C1D-4CD5-9364-8E63608014DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c3e711aa45342d922c43b43e7b1d581935d3a1e","datavalue":{"value":{"entity-type":"item","numeric-id":2559394,"id":"Q2559394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q647312$8451F426-9405-4A02-9E80-4D203126107E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"993dfd2fb6a495c3071dd548c82ade65c191443d","datavalue":{"value":{"entity-type":"item","numeric-id":1221120,"id":"Q1221120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q647312$63723D94-2A40-4FED-A4D9-FF3C02537A0D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3c1e1e46730654527cd2b45b149aa80fafea4698","datavalue":{"value":"10.1007/S00012-011-0145-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q647312$7D038E93-CD7A-4979-9BEE-445B18813118","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8763c4c43d427a671c023d77ca4e3328514392e5","datavalue":{"value":{"entity-type":"item","numeric-id":1047115,"id":"Q1047115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9239180e1c1c805451df8270df7d270a5c33e27f","datavalue":{"value":{"amount":"+0.8558294773101807","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":"Q647312$C0ED5F78-5E50-4C8E-BB3D-CE3A06BA5F31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d9bddde561e1bae9fd309c97905adc41cf4e9f4","datavalue":{"value":{"entity-type":"item","numeric-id":1193546,"id":"Q1193546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"73074fb7e4e3f2df3c36e163a6c15bcb11e4327a","datavalue":{"value":{"amount":"+0.8544694781303406","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":"Q647312$2463077C-DC99-4569-8A7B-70DB3C60A4C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9bb3e479fc85a61fc5f3dd8bba1d36a1d39d30dc","datavalue":{"value":{"entity-type":"item","numeric-id":539984,"id":"Q539984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7dee8cf9f78e9b1dfc3c8b377176a5cc77dcc3ad","datavalue":{"value":{"amount":"+0.805438220500946","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":"Q647312$477B21E6-9578-4104-8275-C0BD5978161C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"934dd9b1958e84d61a0d16bd2f99177f6b4006ea","datavalue":{"value":{"entity-type":"item","numeric-id":4210662,"id":"Q4210662"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cdc330a47c08460ae66ea7d430928d63d14254cc","datavalue":{"value":{"amount":"+0.765413761138916","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":"Q647312$BEFFA1BE-2A9E-4401-ACE9-F7695365CCEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5794ef473ac05c369e274c258dbd77e1d991a593","datavalue":{"value":{"entity-type":"item","numeric-id":3705503,"id":"Q3705503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e28d8da220894e4da61c0b237fd2b1a6448a502","datavalue":{"value":{"amount":"+0.7649011611938477","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":"Q647312$286999FC-AA94-407C-B5A6-1E02E7F8AF21","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:647312","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:647312"}}}}}