{"entities":{"Q1866816":{"pageid":1877558,"ns":120,"title":"Item:Q1866816","lastrevid":71017713,"modified":"2026-04-13T18:56:16Z","type":"item","id":"Q1866816","labels":{"en":{"language":"en","value":"A constructive approach to the finite congruence lattice representation problem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1899939"}},"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":"Q1866816$9A23CBC0-0F08-404D-8B95-D2AC45BFBA93","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5cd5e351bdfbdee9b5e0cf06f60356fd889c5cd6","datavalue":{"value":{"text":"A constructive approach to the finite congruence lattice representation problem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1866816$544B760A-7366-4BB4-B23E-D841BC8B09BC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a7ed4b3e5deb82457393aeaaf856c685c754aa10","datavalue":{"value":"1011.06007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1866816$B0E2C1DC-5AFE-4BF1-86FD-5301C355D9A0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3ba436c3fa8d81c021bf964695830907b5c2b470","datavalue":{"value":{"entity-type":"item","numeric-id":995374,"id":"Q995374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1866816$0F7CBA69-B192-45AB-BA3F-1F8D74B79F41","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":"Q1866816$B28E9172-D816-4189-AD16-70CE5BD175F3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6ba3e0b9a3b6c64b5e8a6782bae90e5fe1531522","datavalue":{"value":{"time":"+2003-04-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":"Q1866816$9C55B6B9-8F3A-4F75-8ABC-4F87DBFB0515","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"06b3112f063ac49655fdab4a65333edfcd170848","datavalue":{"value":"A finite lattice is representable if it is isomorphic to the congruence lattice of a finite algebra. The author develops methods by which one can construct new representable lattices from known ones. The main results:    Theorem 4.2. Every finite lattice which contains no 3-element antichains is representable.    Theorem 5.1. Let \\(A\\) be a finite set. There is a set \\(P\\) of polynomials of \\(\\langle \\text{Eq}(A); \\vee ,\\wedge \\rangle \\) so that any \\(0\\)-\\(1\\) lattice \\({\\mathcal L}\\) of equivalence relations on \\(A\\) is the congruence lattice of an algebra on \\(A\\) if and only if \\({\\mathcal L}\\) is closed under the operations in \\(P\\).    Theorem 5.2. Suppose \\(L\\) is a finite representable lattice. If \\(L\\) is order polynomially complete then every diagonal subdirect power of \\(L\\) is also representable.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1866816$8BBB1B8E-6539-4892-B40B-B3075A454314","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":"Q1866816$377501C9-B1E8-45C4-9F7B-57BF9EBCD44A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c8657ac6c38ed25d0542315e1ea5d0b1ab0616eb","datavalue":{"value":"06B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1866816$FE106CCD-FD9C-44C0-AD91-987DB8174E64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"308ceb1553bd4b03ccb725c738254e73fff25edb","datavalue":{"value":"08A30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1866816$703039CD-EC6F-4B8E-8181-902B45BE5D84","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"50fb78ef4a274308cb8c01e153aa32bec4ef0fdd","datavalue":{"value":"1899939","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1866816$2E200AFE-989D-4B7C-B260-0A89D5963882","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"304b60f2d9e1845880880c56005c9c3f2d18e6cd","datavalue":{"value":"congruence lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q1866816$221E46D6-A693-4765-BECC-20965D0D0668","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c4d7789ca841dcbc19c070017eb1897684bef80f","datavalue":{"value":"primitive positive formula","type":"string"},"datatype":"string"},"type":"statement","id":"Q1866816$7BE21C21-3EFD-425C-93F4-96A20A98E964","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":"Q1866816$298A956F-59A2-425D-A731-A0E1AF7902F7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6aa2ce922eb2e57ec80ac4a1da1c635b57ca76c0","datavalue":{"value":"https://doi.org/10.1007/s000120050159","type":"string"},"datatype":"url"},"type":"statement","id":"Q1866816$DA99D2F4-708D-47F7-85F1-A301A5ED7FC8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"42dafc223b676071308ec42703faef57922225ec","datavalue":{"value":"W2049561126","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1866816$19034151-C8A9-4AA0-ADFA-209730908723","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c03ce9e7937858d113d2fa663bf85a8ddd72c834","datavalue":{"value":"10.1007/S000120050159","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1866816$7879F26B-85D9-405F-BF78-4E2355F2BF6F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4aeaaf5b66d0b9cba40947f98b834d20ac8ed2af","datavalue":{"value":{"entity-type":"item","numeric-id":5928583,"id":"Q5928583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f36418b6840814c2b5c2053c240254b220ce766","datavalue":{"value":{"amount":"+0.9382982","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1866816$CE814AAB-B00C-4389-9688-6DDC22F53F86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a0ef79f886cbfd279dd7e629cf3f6f033a66d9cf","datavalue":{"value":{"entity-type":"item","numeric-id":861608,"id":"Q861608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e1ec23f9bfee39e51d456198a0332c775139849d","datavalue":{"value":{"amount":"+0.92867255","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1866816$1C48A159-F365-43EF-990C-56007A47FFF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ace18a561a5cc0fe6ca84309b840403716734ed9","datavalue":{"value":{"entity-type":"item","numeric-id":4263732,"id":"Q4263732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d0ea916ae938421312276f6f7c22850c09fca673","datavalue":{"value":{"amount":"+0.9175461","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1866816$0E2ABC91-B0F3-4AFA-8E6D-089E0F41DEDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eaad4c8584ad03563d56694869d6ea1339a1d0d6","datavalue":{"value":{"entity-type":"item","numeric-id":4326176,"id":"Q4326176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"64ee55a8e66d1dbe29f2fce5f341ba90c5df679f","datavalue":{"value":{"amount":"+0.91679406","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1866816$031A84DC-0B0E-48BE-9AD0-4DBAA028119A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cc5c83f61d90aa92a9d0aad71caf4a076df1cb8e","datavalue":{"value":{"entity-type":"item","numeric-id":5392555,"id":"Q5392555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2de2eb11856bcfad9f008e18c13c6905197c09a5","datavalue":{"value":{"amount":"+0.9107629","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1866816$40DEF564-C8E1-46D4-B078-52EA0699D589","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a159a3a55f1e2473b919138ba54cfee52b9a2ff8","datavalue":{"value":{"entity-type":"item","numeric-id":1285781,"id":"Q1285781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"edab681e9b4ceb70d1eb5c1889e935b86ecb58cf","datavalue":{"value":{"amount":"+0.90230536","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1866816$083FE578-863D-4C2C-8D1E-09F5AA10294A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0e5656aad5075ace406a1a2865021c7f52e8abcb","datavalue":{"value":{"entity-type":"item","numeric-id":4372441,"id":"Q4372441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c2445213d9c2751555fa50fbb0f4fff7258b9cf8","datavalue":{"value":{"amount":"+0.9022502","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1866816$26248F69-284D-4B24-8947-AA7310E275DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a705f88744e7cb9026d9271412e370a9cd432212","datavalue":{"value":{"entity-type":"item","numeric-id":1239185,"id":"Q1239185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3bf73843665e96bd815a60bfefe68beac44c4575","datavalue":{"value":{"amount":"+0.8992602","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1866816$814A609C-F688-45FC-8125-E62886B348F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec9815ab98881f9a9fc5fa5de50f5b7c68ddfcb9","datavalue":{"value":{"entity-type":"item","numeric-id":1731599,"id":"Q1731599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc49ffd5456ff62ed5a99dde57ed308bb6094803","datavalue":{"value":{"amount":"+0.8957879","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1866816$BFE4CD6B-646E-4431-ADB1-CBA3CF0C70BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"613d378b71bca099073ef8fbcd36f77cb1f6c163","datavalue":{"value":{"entity-type":"item","numeric-id":5435060,"id":"Q5435060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"27186d5c961aca5b25152d942c264047cd25c086","datavalue":{"value":{"amount":"+0.8910832","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1866816$4CFE8A88-D5EC-4D2F-B9EF-5A1794F65A0E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A constructive approach to the finite congruence lattice representation problem","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_constructive_approach_to_the_finite_congruence_lattice_representation_problem"}}}}}