{"entities":{"Q1239177":{"pageid":1249927,"ns":120,"title":"Item:Q1239177","lastrevid":68272158,"modified":"2026-04-12T22:36:14Z","type":"item","id":"Q1239177","labels":{"en":{"language":"en","value":"Congruence lattices of distributive \\(p\\)-algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3557848"}},"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":"Q1239177$0522A4C8-9DB9-4A5F-B8DF-CD54510C1E5A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b33fec41d9a57908aa354fce4441ee6614ab95d4","datavalue":{"value":{"text":"Congruence lattices of distributive \\(p\\)-algebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1239177$F52F92B0-861B-4BF8-8A70-F5AA8E9402ED","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5ff359d98e228759f04c372394c1edcadb7383c6","datavalue":{"value":"0358.06026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1239177$309F8B22-3FD8-46AD-A334-C63A9084EF55","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9263986c5fd5039f19a187ec2eb8e049a55238b7","datavalue":{"value":"10.1007/BF02485436","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1239177$93B2E8C6-86BC-4DF5-9474-23F4194E9434","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":"Q1239177$E995316F-5D96-4628-95C8-1BBD8FA4C3E2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a49472451190faf858f564fafd4bcba399999753","datavalue":{"value":{"time":"+1977-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":"Q1239177$E672C6AE-AC98-4557-8EAE-38E64F7011C6","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"0c753a7a1025d52875ae99e292b41da823e827e2","datavalue":{"value":"An algebra \\(\\langle L;\\cup,\\cap,*,0,1\\rangle\\) is said to be a distributive \\(p\\)-algebra if \\(\\langle L;\\cup,\\cap,0,1\\rangle\\) is a bounded distributive lattice in which every element \\(a\\in L\\) has a pseudocomplement \\(a^*\\), i.e. \\(a\\cap x=0\\) if and only if \\(x\\leq a^*\\). In the paper an abstract characterization of the congruence lattice of a distributive \\(p\\)-algebra is given. More precisely, an algebraic lattice \\(A\\) is a congruence lattice of a distributive \\(p\\)-algebra if and only if the join-semilattice of all compact elements of \\(A\\) forms a dual Heyting algebra of order 3 (Theorem 3). The proof of this theorem bases upon the fact that any distributive \\(p\\)-algebra \\(L\\) can be embedded in a Heyting algebra \\(H\\) of order 3 such that every congruence relation on \\(L\\) has only one extension to \\(H\\) (Theorem 2). We recall that a Heyting algebra \\(H\\) has order 3 if \\(D(H) = \\{x\\in H: x^*=0\\}\\) is relatively complemented.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1239177$876670F7-1AFF-4D35-95C1-33EBB4AD66EE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c12bad36bd189cf0d3e5ea0440fc6afbb1be4a8c","datavalue":{"value":"06D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1239177$59F6AFEF-57EE-491C-828C-FC219794F1BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d95b7b3afe24e41b228e75d9b35511699f92de5f","datavalue":{"value":"06B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1239177$57C556DC-8209-4B42-B864-A3DB0448421A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ce5b74470053f031a57488d42a2b289573daad5a","datavalue":{"value":"06D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1239177$A1B74850-3D98-4600-89E4-058E477CC86F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1223d796215bbf4bcae3c67b36ec5aaeab489659","datavalue":{"value":"06D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1239177$38DF4AF8-0B41-4292-BDC5-77251DA40E28","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0bc4282e0e491d6904fc15c86a9e532b607669b7","datavalue":{"value":"3557848","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1239177$F5920314-BF39-487C-91C3-56D30A12E01A","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":"Q1239177$BCA2114E-81BB-4245-BC57-262DA5BA0536","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"a461cfcc1c525c3e05a3716cbb9b308cdf61f148","datavalue":{"value":{"entity-type":"item","numeric-id":1175934,"id":"Q1175934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1239177$9611C597-B24D-4ED2-9E88-85922758E8D1","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":"Q1239177$BB845FAC-F61D-4F7B-A19D-602995FB5A0C","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":"Q1239177$A09475BA-5DF9-434E-B5A5-1FAB79A66386","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":"Q1239177$51E60243-6890-452E-8C9C-A31BC17D186D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"182f0ef5fcef2fd09e92a43d4f0372d9355c6437","datavalue":{"value":{"entity-type":"item","numeric-id":5655398,"id":"Q5655398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1239177$A00FAE1C-8FA2-44C3-A948-0FC36C35CF13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2c47006e0f649af0d7c21aa92e85b1f9115edde","datavalue":{"value":{"entity-type":"item","numeric-id":2548616,"id":"Q2548616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1239177$3612E674-06DC-45B5-A341-2B891AE867A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f80d9295052d1e1de03ef3a77d0dcad9654b7661","datavalue":{"value":{"entity-type":"item","numeric-id":5626716,"id":"Q5626716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1239177$349AE6E7-5686-4504-ACF6-552947E67C1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3d2a97bf7f2323a3accf48c8e12b7cdcee5f762","datavalue":{"value":{"entity-type":"item","numeric-id":5626717,"id":"Q5626717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1239177$0C0B3D18-2441-4CE5-B243-EB20ADF8A80C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"32221554a2fde6785a329d326afa40fe5de88137","datavalue":{"value":{"entity-type":"item","numeric-id":5655397,"id":"Q5655397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1239177$C5F09F1E-2DDB-476B-8167-5B0C6545BA04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98782dca1b1c9d3479c56bc90f4cd51924e8bc96","datavalue":{"value":{"entity-type":"item","numeric-id":5734410,"id":"Q5734410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1239177$A8D5AA4B-1A37-4FA3-9C47-B3B7ED36F887","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dabe8eb829542d19f5a6dc46ac099c0cce3d121f","datavalue":{"value":{"entity-type":"item","numeric-id":4764298,"id":"Q4764298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f3115626e6793fc96e68f65d9829334c7609c13e","datavalue":{"value":{"amount":"+0.97438365","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":"Q1239177$E56C9677-D71F-48D2-9D3D-BA92F997EEE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8340d6f0d2b054bcf33f9c9272fdeacb345efff2","datavalue":{"value":{"entity-type":"item","numeric-id":1894551,"id":"Q1894551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"532f074082f70f72d6e79b8390ffa3e2b8ee5267","datavalue":{"value":{"amount":"+0.9696814","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":"Q1239177$AE5017B1-48D6-4DD7-B6BD-D002ACC4E5FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0aae6f04e4449afc1bf6bf0703bb218cef209ba8","datavalue":{"value":{"entity-type":"item","numeric-id":3765831,"id":"Q3765831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1339849d7ac83a2ff74656cf4f23ddae3bd22b72","datavalue":{"value":{"amount":"+0.96736133","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":"Q1239177$36189DA3-30D7-48A9-AB67-C186B3B06BA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a9bb9729d9f79fc3c624461fdef6a990978757ff","datavalue":{"value":{"entity-type":"item","numeric-id":877697,"id":"Q877697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de1c3494746fe48da0a3c65c7f081fd61d3c6d76","datavalue":{"value":{"amount":"+0.9604738","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":"Q1239177$A41DFC1A-4933-42BB-8B48-2F20DE947E7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"178944728a6c04f601c20e3ef0a8eacef95d6007","datavalue":{"value":{"entity-type":"item","numeric-id":1333286,"id":"Q1333286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ce0bdb98340713b1fb017e6c8d0728be755ee17","datavalue":{"value":{"amount":"+0.9545951","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":"Q1239177$8929FD11-C4B5-400F-9915-82A8CF9F8249","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b450b8c975a4c39d5aefd76a9ec74e2ec5924c67","datavalue":{"value":{"entity-type":"item","numeric-id":5279038,"id":"Q5279038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"76483a9d3319da2e42a09df4fe79311056aae5b4","datavalue":{"value":{"amount":"+0.94665253","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":"Q1239177$6541E8FA-5135-4F7F-997E-266A2D12692C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f7182957ab38442935acb4e3144051d869c4e33","datavalue":{"value":{"entity-type":"item","numeric-id":1954291,"id":"Q1954291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5bd78a40c7ba4a1d064ae815c28745acde4d7ac1","datavalue":{"value":{"amount":"+0.94615686","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":"Q1239177$D671EF64-B972-4541-B7CC-0E17B5359A6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"32288c152ce79386dce21c62a990de71f20a07e0","datavalue":{"value":{"entity-type":"item","numeric-id":4849828,"id":"Q4849828"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5408a7bb5d185760c908234e9cd2368508001cf6","datavalue":{"value":{"amount":"+0.9458755","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":"Q1239177$083BEECD-453C-446A-9DFB-EBFEF879CE0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8900ee3cdfec1e00856ff036be5db3d4d2c176c3","datavalue":{"value":{"entity-type":"item","numeric-id":1345914,"id":"Q1345914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a77c7a1a74bfa319cee61940a5bb9faa1f7bb079","datavalue":{"value":{"amount":"+0.9366224","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":"Q1239177$D67D373D-95E2-4701-AD77-68CA0926ED21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"534f70cb77413fab6481df1fb9362a28c239e2f4","datavalue":{"value":{"entity-type":"item","numeric-id":3835511,"id":"Q3835511"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c3d2cb31a6843ecafa6884a22ce9a7a241690426","datavalue":{"value":{"amount":"+0.93467903","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":"Q1239177$80551131-8CD6-4AE8-8C22-DC2D099ECCAE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Congruence lattices of distributive \\(p\\)-algebras","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Congruence_lattices_of_distributive_%5C(p%5C)-algebras"}}}}}