{"entities":{"Q2449449":{"pageid":2460192,"ns":120,"title":"Item:Q2449449","lastrevid":57933102,"modified":"2026-04-03T03:40:05Z","type":"item","id":"Q2449449","labels":{"en":{"language":"en","value":"A short proof of the congruence representation theorem of rectangular lattices."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6293181"}},"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":"Q2449449$E8FC2F30-F415-4F72-B4D1-4EE2CF740736","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8fa256cad686737eb9871a1a4eb06981bb7ce685","datavalue":{"value":{"text":"A short proof of the congruence representation theorem of rectangular lattices.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2449449$6AFD967E-52AF-4B51-A391-30BFEB63733B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c1754262bb69f233ff3d646f2f81f96c193d8cdd","datavalue":{"value":"1307.06001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2449449$E733EFA2-F735-467C-8482-23300F61620B","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":"Q2449449$CD4355DE-4407-4073-B360-665AC59DEA28","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0d02a77e378c8d37f781f05e2fdb6cacccb7e356","datavalue":{"value":{"time":"+2014-05-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2449449$699D7484-BB54-437C-8895-B8A8FFDCFD50","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"269aad7fd9248b6e3fc66c45554a9ae05763cd83","datavalue":{"value":"https://arxiv.org/abs/1303.4464","type":"string"},"datatype":"url"},"type":"statement","id":"Q2449449$5A498C52-5B3A-4C2D-906A-E228078E24DF","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"c2f5a217084c24598c05639d94239e0b15ee562d","datavalue":{"value":"In a 1988 paper the authors together with \\textit{H. Lakser} [Can. Math. Bull. 41, No. 3, 290--297 (1998; Zbl 0918.06004)] proved that every finite distributive lattice \\(D\\) can be represented as the congruence lattice of a finite semimodular lattice. Later on, the first author and \\textit{E. Knapp} [Acta Sci. Math. 75, No. 1--2, 29--48 (2009; Zbl 1199.06029)] proved a much stronger result substituting semimodularity by rectangularity. The aim of the paper is to present a short proof of these results.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2449449$61BDBF58-A05C-4FF2-8684-4CB400C5CBBE","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":"Q2449449$830F3616-5017-443C-8476-FE4A03679979","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d95b7b3afe24e41b228e75d9b35511699f92de5f","datavalue":{"value":"06B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2449449$2EE43580-B59F-41AD-A11F-23CB6A347E8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e037813de56311048f7e0a208650360505bf4d4e","datavalue":{"value":"06A06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2449449$AE79CC3F-2EB2-4324-9EEB-D649E46F6B65","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1bb5c109ad7a9091810735030696276654685786","datavalue":{"value":"6293181","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2449449$E7153AC8-E908-48E1-B01B-2EFAF51E836C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e36e88e1e416ed903cfa4f239bd2272493f8f6b1","datavalue":{"value":"principal congruence","type":"string"},"datatype":"string"},"type":"statement","id":"Q2449449$0CAC2433-C334-45AE-95E7-784B8FD69459","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e958c43da61e8f7c9192eea25385fc65a928905f","datavalue":{"value":"orders","type":"string"},"datatype":"string"},"type":"statement","id":"Q2449449$9F623D81-DD78-4480-92AA-E4F5D43A233A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cda1dc765057b0149ac7d53f9a5bde8d0ea8b901","datavalue":{"value":"finite semimodular lattices","type":"string"},"datatype":"string"},"type":"statement","id":"Q2449449$DFB76F14-B801-4C84-8824-A4F98E638B19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1f68aade9d8a1c9f77f590ca0170c257fe8cbef7","datavalue":{"value":"rectangular lattices","type":"string"},"datatype":"string"},"type":"statement","id":"Q2449449$CD012650-9176-4A25-82DF-E392DD56C726","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"076beb5883c561d34b7647deb1e2796c6e71f0b4","datavalue":{"value":"finite distributive lattices","type":"string"},"datatype":"string"},"type":"statement","id":"Q2449449$6B8F1EEC-50BC-44EA-B5C5-892CE9785B28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f63ed4af32740cf2a9ad8cffcd4b3c19e6b46ddb","datavalue":{"value":"congruence lattices","type":"string"},"datatype":"string"},"type":"statement","id":"Q2449449$7622C326-C693-4CBF-9181-2718E238203A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7527cefcc140a8cd03530225d272dfa946179304","datavalue":{"value":{"entity-type":"item","numeric-id":219052,"id":"Q219052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2449449$F2E2B846-0C37-41A1-8973-9DB27886880D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"97d76a34559601b9b0cc4f1bb88fc12d52b254d5","datavalue":{"value":{"entity-type":"item","numeric-id":647322,"id":"Q647322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2449449$444C1A57-C245-425C-9A75-5D116B87EBDE","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":"Q2449449$4CE067B0-C8D7-41FC-BAA8-23B097CCD080","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a16c9ba99cd1a0ad9eb40bb737d67b880055348c","datavalue":{"value":"W2014718701","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2449449$560A4B38-8A08-4C93-B16F-EA2F4EFD06D9","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"435788448b06a756cf5c9f937ae2838a2a1875c2","datavalue":{"value":{"entity-type":"item","numeric-id":4222194,"id":"Q4222194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2449449$08EEF0B3-F80D-4AD6-9BF3-5FD2483BBC6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd0cfd5e775a9dd2bf7286035f2e708b6ef27ce3","datavalue":{"value":{"entity-type":"item","numeric-id":364684,"id":"Q364684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2449449$E030B869-13E1-4D43-9282-924BFB89F431","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e93ff89d135109b1b55984f956628655f5154f9a","datavalue":{"value":{"entity-type":"item","numeric-id":3653813,"id":"Q3653813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2449449$FFA84B72-BC8C-40C5-9795-984ACE0243D2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3519cd6bb19d126c395f60cd38ade0f4076669bf","datavalue":{"value":"10.1007/S00012-013-0264-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2449449$2C3626B3-2734-46ED-A931-271EEBCF37B1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fced738ae2111e696b0a2307003d016ec565ecc8","datavalue":{"value":{"entity-type":"item","numeric-id":451078,"id":"Q451078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b61670df66d9aed116ee8a0b86a09e663d259d8","datavalue":{"value":{"amount":"+0.859624981880188","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":"Q2449449$2881EB3C-ACF7-4896-8AA4-03D6370C9090","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4cc55ae019ce089312ba05c9a8fd411c74c1eb59","datavalue":{"value":{"entity-type":"item","numeric-id":4959489,"id":"Q4959489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a430c89800e93794d17dc6f7e346cc66f8b355ba","datavalue":{"value":{"amount":"+0.8524836301803589","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":"Q2449449$47A9AB91-B393-4537-84DB-3AA8C3D41217","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c62ba6544f82feb32df4278a1285f34a19234ff8","datavalue":{"value":{"entity-type":"item","numeric-id":4294206,"id":"Q4294206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7c18f1da5c7002b9489d302cfbae8704b35d2c70","datavalue":{"value":{"amount":"+0.8363386392593384","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":"Q2449449$CC7AA10B-F65F-4506-B172-CCCF7FC18399","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a78aec8f4eb71bbe0221045b3f10ea7e7bd6abf1","datavalue":{"value":{"entity-type":"item","numeric-id":1362581,"id":"Q1362581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c456351b2e5010c4f0b5bc0fff976e2a0c0c7b4","datavalue":{"value":{"amount":"+0.8359308242797852","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":"Q2449449$F54C2230-16B7-46ED-8B7C-3CEB7D60D3E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c0201d265008197f16afed112c6417f6b4f567c2","datavalue":{"value":{"entity-type":"item","numeric-id":3653813,"id":"Q3653813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb8be2a29c176c79f9def5cb8ee145195421e30f","datavalue":{"value":{"amount":"+0.8308457732200623","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":"Q2449449$70D24839-3503-4478-A9A8-C7159A51FD2C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2449449","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2449449"}}}}}