{"entities":{"Q2314421":{"pageid":2325164,"ns":120,"title":"Item:Q2314421","lastrevid":78862106,"modified":"2026-05-06T12:36:28Z","type":"item","id":"Q2314421","labels":{"en":{"language":"en","value":"Finite semilattices with many congruences"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7083959"}},"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":"Q2314421$3EDF6D7A-FA93-407E-98E8-B18834DB20F8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9a779af3ff60a6df2745508c35e24268cc2464fa","datavalue":{"value":{"text":"Finite semilattices with many congruences","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2314421$4210038A-23F5-4984-AE15-2ED7AA76BC42","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1b07b0a071311f2c34f406520e5e1b3da7f99d73","datavalue":{"value":"1448.06001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2314421$1774A72D-0D2B-4C20-9D42-ADE4A3A29CAE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6c649e22bb3d5db2066270d2895619e83ca9dbc2","datavalue":{"value":{"entity-type":"item","numeric-id":353351,"id":"Q353351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2314421$D2B15E59-FA62-494E-8906-86D1EB5FA19B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e2599ed8061d57585b4363072a1afceea2452436","datavalue":{"value":{"entity-type":"item","numeric-id":172073,"id":"Q172073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2314421$692C24C2-B12E-4BF6-A574-441E74102D89","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9188f4fbcb344562138d779febd5aeba85eab48c","datavalue":{"value":{"time":"+2019-07-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2314421$6C73F9CD-9E86-443E-8EFA-64614F1F64D1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9b74dafa4bd71ee25ef303efffba2621a8358668","datavalue":{"value":"https://arxiv.org/abs/1801.01482","type":"string"},"datatype":"url"},"type":"statement","id":"Q2314421$4090EE38-264D-4727-B881-30704C870DE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"df59ca4ad42fc3c3782a8058467a162ff7992b94","datavalue":{"value":"http://publicatio.bibl.u-szeged.hu/14534/1/czedli_finite-semilattices-with-many-congruences.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q2314421$EFFE72D5-AFE9-4E85-84B4-9929667C3B20","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"3b28e917f8a8f394bc1642d2debdd8eb2241ac72","datavalue":{"value":"The aim of this paper is to determine the maximal size of the congruence lattice of a finite semilattice \\(S\\). The following result is proved.  Theorem. Let \\(S\\) be a finite meet-semilattice of size \\(n\\). The following holds: \\begin{itemize} \\item[(i)] \\(S\\) has at most \\(2^{n-1}\\)  congruences, the equality holds if \\(S\\) is a tree.  \\item[(ii)] if \\(S\\) has less than \\(2^{n-1}\\) congruences then it has at most \\(28.2^{n-6}\\) congruences and the equality holds if and only if \\(S\\) is a quasi-tree.  \\item[(iii)] If \\(S\\) has less than \\(28.2^{n-6}\\) conguences then it has at most \\(26.2^{n-6}\\) congruences. The equality holds if and only if \\(S\\) is a quasi-tree whose nucleus is \\(N_5\\).  \\item[(iv)] If \\(S\\) has less then \\(26.2^{n-6}\\) congruences then it has at most \\(25.2^{n-6}\\) congruences. \\end{itemize}  Corollary. If an \\(n\\)-element meet-semilattice has at least \\(25.2^{n-6}\\) congruences, then it is planar.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2314421$F00E0DDB-FB2F-43FF-B82E-6A5664C38A98","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":"Q2314421$91C75CD7-2334-456D-886A-00DB546B1B06","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6bc68fdb72eda783db87ef0277cbbfb4c760cdbc","datavalue":{"value":"06A12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2314421$6C991743-5F29-4955-AC79-8869A8D6E24A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d95b7b3afe24e41b228e75d9b35511699f92de5f","datavalue":{"value":"06B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2314421$51599A55-C340-4924-B719-91EBD3688E61","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"37ee7655c327425c4c43ecfb61aa8d9db0c3df8d","datavalue":{"value":"7083959","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2314421$5194F5FC-C36B-438F-8C0F-8AFD7F7E3DE7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f8d9fb2b26e7d5559455c0330013b6cebfe35fe8","datavalue":{"value":"semilattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q2314421$BBB7DCA4-0EB9-4659-9F84-33F57EF86F96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"304b60f2d9e1845880880c56005c9c3f2d18e6cd","datavalue":{"value":"congruence lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q2314421$15D10E60-8B23-46FF-AA08-03D8804EA422","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2b25f4774c688d14f992b9ba0daaaa3421b3bdec","datavalue":{"value":"size of the congruence lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q2314421$014B9B87-6F37-4BC4-8FAB-77D6E3FE291F","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":"Q2314421$EC843287-20EE-4C26-A593-18DE8075AE0F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a80bdd9968e55b8f27a8c66e86058f6f411ec03a","datavalue":{"value":"W2963235770","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2314421$5DEFF1BA-BF29-421D-9482-8728919AB986","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ac873fd525da31c88414c7ec1fdf8442e3bf248","datavalue":{"value":{"entity-type":"item","numeric-id":5243518,"id":"Q5243518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2314421$9C3FCD50-C101-41A2-ACCF-89A4685B7254","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ac37dacf7817037245705459473c8d1b3dacda4","datavalue":{"value":{"entity-type":"item","numeric-id":5211032,"id":"Q5211032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2314421$02C352C2-9EA1-4CB9-B42E-E4A1DD9FBB0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cdcb1e166c6987c535ca696c165d68f331430caf","datavalue":{"value":{"entity-type":"item","numeric-id":4372441,"id":"Q4372441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2314421$078FE726-2732-4A56-AC86-7F7771D2E6B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6945210de12c4c3a7bee9602f22584329d0c2e08","datavalue":{"value":{"entity-type":"item","numeric-id":1845749,"id":"Q1845749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2314421$9D50EE75-8FB7-4FFD-A857-F888D253D1B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff15e746841f29f4c842fef03dcf12205fa82ca6","datavalue":{"value":{"entity-type":"item","numeric-id":5040689,"id":"Q5040689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2314421$09559C2C-0A65-4F08-A8B8-8845A98130ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"75eafa87c266a7c18e3ace9e65b49c59b5f5be5c","datavalue":{"value":{"entity-type":"item","numeric-id":3162101,"id":"Q3162101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2314421$71C9C20D-6F18-42C4-B658-E7F0779314A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e0ff00d1931c0747f5e6c1c924b6e7a29e1e9778","datavalue":{"value":{"entity-type":"item","numeric-id":2809565,"id":"Q2809565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2314421$3CA54802-8304-4CAC-91E3-952F3AA75F1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"425cd49b423bccec5bd3b128f21d9dc851bf8c49","datavalue":{"value":{"entity-type":"item","numeric-id":2006976,"id":"Q2006976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2314421$8ED94100-8DA7-4AEA-A458-D0A7F7D642AE","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"37e7bc4000f7bde462bec82228c8843a9db4e5f1","datavalue":{"value":"Q129492270","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2314421$490B68EE-3D7A-4CB5-8B9C-71D53C807EC0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0feab33278b015213e8a01e9a8183023cdd6b6c1","datavalue":{"value":"10.1007/S11083-018-9464-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2314421$7E66F5DB-BFDC-4BB1-B227-1EBDEE7351CF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aa3c6b0af7606f2a3fde932c7ec7aa075b4691cc","datavalue":{"value":{"entity-type":"item","numeric-id":4210616,"id":"Q4210616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e53c21e9ed9cc50dfbe4d68868d819763923ec14","datavalue":{"value":{"amount":"+0.93450224","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":"Q2314421$747B9015-1BBE-4C81-84C9-C6AC6D32EBE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0775215e6516d7c5f2ebc0b5ff31c3fc1810731d","datavalue":{"value":{"entity-type":"item","numeric-id":4222194,"id":"Q4222194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e1895a0d1dfadabba2d3a12ca372b3fc8847fb66","datavalue":{"value":{"amount":"+0.9250953","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":"Q2314421$66B5CDA8-67C0-4DD9-AA20-B70EF57C66C9","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":"db0dcf0893fd9506a6717c12d67f3d0be1748ced","datavalue":{"value":{"amount":"+0.91892755","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":"Q2314421$8FEA3225-E37A-4828-88BB-2C3B45432476","rank":"normal"},{"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":"6d2a678c2480382990b71123daef038dc42731ca","datavalue":{"value":{"amount":"+0.9161871","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":"Q2314421$3E5A8BAC-39EC-4E71-A01B-694CE0285D89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d7e9a0052fa776ba2f832d979654c0cd4085611","datavalue":{"value":{"entity-type":"item","numeric-id":5373726,"id":"Q5373726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f13cfc2698abb67dd4b3d82c264eab368a93712b","datavalue":{"value":{"amount":"+0.91493684","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":"Q2314421$2D12FB55-6675-4444-BD76-CCFA7CF96C17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b56f6c4112a3f2a7c7b86018e17e6ee8b3af968","datavalue":{"value":{"entity-type":"item","numeric-id":4897853,"id":"Q4897853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a15303308162345f5eb08cc918c20091e5853df3","datavalue":{"value":{"amount":"+0.9080136","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":"Q2314421$37B00132-CFE7-4315-B41C-3B1994F2B6A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"986064f0a555f5c0f8caa82e124de0fe495411d3","datavalue":{"value":{"entity-type":"item","numeric-id":4875076,"id":"Q4875076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cbb0a239ac3aa8736aa505121abbd535d7ea5f99","datavalue":{"value":{"amount":"+0.9062069","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":"Q2314421$23E053C3-F012-4707-8045-D98B4D1E41D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ff2d9694da6fc6abc9ad3a5f8dca1ee9ca792bca","datavalue":{"value":{"entity-type":"item","numeric-id":1421830,"id":"Q1421830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf784fffcd1df6e6b2dd7ed68c43e49040bf17b5","datavalue":{"value":{"amount":"+0.905342","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":"Q2314421$6C90829C-BC64-497B-AF22-C3B8B691E630","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b92141034734c32712043c043dc9e38fad7be7dc","datavalue":{"value":{"entity-type":"item","numeric-id":2156415,"id":"Q2156415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b165b4ceb6d82c295c5cc31297642c1191278262","datavalue":{"value":{"amount":"+0.90523404","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":"Q2314421$9BB742D8-29C6-4A00-B9E0-B4E1DEFB0C55","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":"0e483fe314626ec04041f2c687e00a68ef428921","datavalue":{"value":{"amount":"+0.90282136","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":"Q2314421$BBF78F5A-9F73-4BA0-AD43-56E80D6801DF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Finite semilattices with many congruences","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Finite_semilattices_with_many_congruences"}}}}}