{"entities":{"Q535107":{"pageid":536874,"ns":120,"title":"Item:Q535107","lastrevid":42572031,"modified":"2025-07-03T14:31:48Z","type":"item","id":"Q535107","labels":{"en":{"language":"en","value":"Principal congruences on pseudocomplemented semilattices"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5886746"}},"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":"Q535107$75488587-9940-4EE6-8A34-AFF21C7AEE25","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9f415f7d6b9821654c840472d2376fe7e18e917f","datavalue":{"value":{"text":"Principal congruences on pseudocomplemented semilattices","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q535107$19E32FAB-D170-40CB-8145-0D091CAB8C33","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"adee2d90fbdbdb4dcf2313e9708410cb9e2697ba","datavalue":{"value":"1216.06002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q535107$7D10C2DD-425B-4D84-B41B-009B0C766DF1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2766f6c4eac84e53658f2b03941882a1a3f43444","datavalue":{"value":{"entity-type":"item","numeric-id":535106,"id":"Q535106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q535107$AB99C763-025A-4CB3-94F1-B5C5F175294A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"55419e6e8249787c22b9254994ee5263bfb77540","datavalue":{"value":{"entity-type":"item","numeric-id":429937,"id":"Q429937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q535107$AF88B653-5523-4753-879F-1993C6E76AD4","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":"Q535107$6C5460CE-ABA2-433D-B508-7F2A3788FD84","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"48dcea6cafeaa3b44f87e092d3e836e753750797","datavalue":{"value":{"time":"+2011-05-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q535107$8521078D-BDD0-468E-A405-BCFD03125ADD","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"0a52de730ef88c0c4da72f9033f06236090304e8","datavalue":{"value":"It is proved that every principal congruence \\(\\Theta (a,b)\\) on a pseudocomplemented semilattice can be expressed as a relational product of three principal semilattice congruences whose entries are couples which are terms in \\(a,b,a^*,b^*\\). The proof of this exploits the theory of binary discriminator varieties presented in [\\textit{I. Chajda, R. Hala\u0161} and \\textit{I. G. Rosenberg}, ``Ideals and the binary dicriminator in universal algebra'', Algebra Univers. 42, No.~4, 239--251 (1999; Zbl 0979.08001)].","type":"string"},"datatype":"string"},"type":"statement","id":"Q535107$34E6E435-F5EE-4098-86A4-47617D3F4FC3","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":"Q535107$1E0FC37D-CEFB-4361-81DD-7B13D90DE043","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6bc68fdb72eda783db87ef0277cbbfb4c760cdbc","datavalue":{"value":"06A12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q535107$5D754721-863E-45B2-9B57-6A2AF961BBE3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9784eba0977cf5a5a65d1d6d9ca6c244ef5f4f53","datavalue":{"value":"5886746","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q535107$B63878DA-489A-462C-9D4E-26822420E4BB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8b42a8e506c79bb509baa97950f1cc069aebf7bc","datavalue":{"value":"pseudocomplemented semilattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q535107$7FED369A-0447-4D5A-9E8F-EFA5D7DB0CCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e36e88e1e416ed903cfa4f239bd2272493f8f6b1","datavalue":{"value":"principal congruence","type":"string"},"datatype":"string"},"type":"statement","id":"Q535107$BF68C235-37E1-4750-B388-5FD38527A1C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3b35346f49c6103177bb14f71fd0c8860214dd04","datavalue":{"value":"binary discriminator variety","type":"string"},"datatype":"string"},"type":"statement","id":"Q535107$1D78DF4F-480E-4562-B371-85D28C2AC324","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":"Q535107$C8524C3A-22F6-44F6-A110-780285F330F1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"979e22c2b6a9fc17eeaac1b2a33041654a544c33","datavalue":{"value":"https://doi.org/10.1007/s00012-011-0113-8","type":"string"},"datatype":"url"},"type":"statement","id":"Q535107$709E4726-EDE8-41EE-9511-D7FDC32A6416","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"95218b74f3f2522f6ceae3a949b38bcbf57b90a7","datavalue":{"value":"W2031258285","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q535107$C2DD9386-119D-4F45-8683-B02CC51618E2","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0cf1557297a3d207451989d491672faa9a36e338","datavalue":{"value":{"entity-type":"item","numeric-id":2543001,"id":"Q2543001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q535107$29B0A85C-F70D-420A-BF12-F0A2667A2189","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8b7bc2bcd26a1bbf690e566fa3b499cdc543da4","datavalue":{"value":{"entity-type":"item","numeric-id":1234301,"id":"Q1234301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q535107$77036BA4-1FFF-4A62-95BD-39F59CB5EF3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4506bd8ac227aa007e400a17d6bc779ba65059be","datavalue":{"value":{"entity-type":"item","numeric-id":5453728,"id":"Q5453728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q535107$6826907E-29DE-4004-9F81-46C6F6157521","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":"Q535107$D9D5D8E7-B9EA-4ECB-988F-ACE895B1237B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72839f47a68d0c464a8050edbc6afdcd2e62d720","datavalue":{"value":{"entity-type":"item","numeric-id":5950769,"id":"Q5950769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q535107$812036B1-C695-4FBC-8AE3-2B936FCD5965","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be943e92bc7b0b7b0830b4b8535fc7ae25b8758e","datavalue":{"value":{"entity-type":"item","numeric-id":2549709,"id":"Q2549709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q535107$79783894-2A69-4E38-98B0-DCF27E36314E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be262f797062507451ed0ccba9d8d186e07316dd","datavalue":{"value":{"entity-type":"item","numeric-id":3874275,"id":"Q3874275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q535107$379DC808-FDD1-4C60-8875-C26D4A4E0053","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7dac61e35b1968cd2d74c729090fc5b1b53c204f","datavalue":{"value":{"entity-type":"item","numeric-id":3926631,"id":"Q3926631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q535107$37FD6DD0-C2FB-4B1D-B09D-FF1A3D87D679","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4378b80f76d856778272a8e17c806fd2f444075d","datavalue":{"value":{"entity-type":"item","numeric-id":3907555,"id":"Q3907555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q535107$B6D7C0F3-6BAB-4308-BBC8-8AF3C9D057E8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7fee0719363406715cfa7605fb45377bfba75bb3","datavalue":{"value":"10.1007/S00012-011-0113-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q535107$74A9491E-4CBA-4D06-AFFF-4492753C30A5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"47d49480d94a76d6de56db3a9581729a41e3916f","datavalue":{"value":{"entity-type":"item","numeric-id":2717946,"id":"Q2717946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b1d67bfffa557cb0a79f29e2fcda4177a3043cb","datavalue":{"value":{"amount":"+0.96433884","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":"Q535107$DB6916A3-0864-4AB2-8009-DBDBBB11965B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e197c14ed4083a94f5344fb6621cdaa978a5e2b9","datavalue":{"value":{"entity-type":"item","numeric-id":3772266,"id":"Q3772266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b12eb829a3d6dad5f60eb45bf0208133496748f","datavalue":{"value":{"amount":"+0.9571687","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":"Q535107$101C3D84-58AA-4746-8522-CCAA11E38443","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"278d3bc6275ea1a8dccf232df3a608ba659ea6ae","datavalue":{"value":{"entity-type":"item","numeric-id":5906782,"id":"Q5906782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4327c72f71bba9cd4c2daeadbcf694f24c2c03ac","datavalue":{"value":{"amount":"+0.94146675","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":"Q535107$B4F6D8DE-67D2-4DCA-9107-0CB2EB6FACB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db62adf98b2991fb00564fc8ecfc4965ca21fb5d","datavalue":{"value":{"entity-type":"item","numeric-id":5686072,"id":"Q5686072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e9af3003097e6e0010a83813feb2656afb1fd176","datavalue":{"value":{"amount":"+0.9361082","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":"Q535107$FF028662-4F22-4553-96D3-15B190B9D5B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dfe8fe2f896e762030c68761d918a0208c0de195","datavalue":{"value":{"entity-type":"item","numeric-id":4488968,"id":"Q4488968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"21fb55acc817cbc616b4498af9f1806779306466","datavalue":{"value":{"amount":"+0.93433553","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":"Q535107$1C6D0181-4E5E-47F2-A52D-BDDC61BD7282","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9623faa625edcb7b18e199ca88fbf30b2170c891","datavalue":{"value":{"entity-type":"item","numeric-id":4296428,"id":"Q4296428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"049462a0474415dc8166c96a1442b57b9bfdb071","datavalue":{"value":{"amount":"+0.91756463","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":"Q535107$FB363170-E5AB-4CFE-A7D9-8F47DCB28A2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1888deba641d2ce85c25bac866c223b3d88ff1e0","datavalue":{"value":{"entity-type":"item","numeric-id":3540517,"id":"Q3540517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd4cdb57c0e18296f01a7aef49ba5be7670e077c","datavalue":{"value":{"amount":"+0.9085992","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":"Q535107$EC218FFE-D0D6-4C6E-9D42-753A2999D0DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1a4a6c7b18a92bc1d56a336cf4a2010af551f47","datavalue":{"value":{"entity-type":"item","numeric-id":3762372,"id":"Q3762372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"20fae00ddffd0ab28d324017689fdfcc8fe15cfc","datavalue":{"value":{"amount":"+0.90620714","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":"Q535107$FB59ECEF-593B-4F35-8475-EE48002D9AA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6fbc6c2e62c667cd0311d40d5291ee675c37385d","datavalue":{"value":{"entity-type":"item","numeric-id":4204189,"id":"Q4204189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be8a215585c9c0c91266e19a5783ed90704b1c99","datavalue":{"value":{"amount":"+0.90614295","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":"Q535107$3B7D6210-A3F2-484F-820A-B0FE95F165B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d05ca320207eb9ab8caa0b0e4a6b60ac63724d3","datavalue":{"value":{"entity-type":"item","numeric-id":4354688,"id":"Q4354688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f485d8bd47ac58da1f2e6a1b117bb6639e9b940","datavalue":{"value":{"amount":"+0.90382564","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":"Q535107$8D5018CB-3D31-42D5-B079-6C8E9B2B6773","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:535107","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:535107"}}}}}