{"entities":{"Q292837":{"pageid":294604,"ns":120,"title":"Item:Q292837","lastrevid":60795480,"modified":"2026-04-10T19:11:04Z","type":"item","id":"Q292837","labels":{"en":{"language":"en","value":"The ordered set of principal congruences of a countable lattice."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6590291"}},"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":"Q292837$BFB9375F-35DD-4AF3-92C5-1576C619FB3F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"83393905af096b47f847e96166286ced56f4d1fc","datavalue":{"value":{"text":"The ordered set of principal congruences of a countable lattice.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q292837$472452A0-91F7-427F-BDA0-E9F50F7227EA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b454565135ee52ef512d8dab3011ed03685b49b2","datavalue":{"value":"1343.06003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q292837$AC889ECA-7278-43BD-B74E-65A555DEE48C","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":"Q292837$0F8F981C-F42F-4A8E-B5B1-BC568DC8D942","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":"Q292837$1C464B21-3F53-4C4C-A5F5-89A5D38775BE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c38536433ca3187d3c315e3ccb89d3160798fa7b","datavalue":{"value":{"time":"+2016-06-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q292837$0C3D9E3F-FE5A-4282-935F-0A5FD08A0572","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e8e2904dab0f1a33c7afe921e74b0515cc0ef82a","datavalue":{"value":"https://arxiv.org/abs/1305.0965","type":"string"},"datatype":"url"},"type":"statement","id":"Q292837$76C6BD96-12E5-42F8-BDAB-E4CE8C10D84D","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"c31ee35e1dbad0d17d5d5d112f43e9f1a1cf8438","datavalue":{"value":"For a lattice \\(L\\), denote by \\(\\mathrm{Princ}(L)\\) the ordered set of principal congruences. It was proved by G. Gr\u00e4tzer that each bounded poset \\(P\\) is isomorphic to \\(\\mathrm{Princ}(L)\\) for some bounded lattice \\(L\\). Motivated by this, the author proves that if \\(H\\) is an ordered set with a least element which is the union of a chain of principal ideals, then \\(H\\) is isomorphic to \\(\\mathrm{Princ}(L)\\) for some lattice \\(L\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q292837$8376121D-1BE5-47CB-AE7D-933FA99D43B2","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":"Q292837$B902C377-EFFF-4B1A-89F2-FCF9A74CFBFD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d95b7b3afe24e41b228e75d9b35511699f92de5f","datavalue":{"value":"06B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q292837$56A38E6D-8ECA-40B6-A37D-E61D556B17B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e037813de56311048f7e0a208650360505bf4d4e","datavalue":{"value":"06A06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q292837$A33741C3-06E4-4025-8BE8-06B8A5476897","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c8657ac6c38ed25d0542315e1ea5d0b1ab0616eb","datavalue":{"value":"06B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q292837$320F440F-DAF2-4774-8AEC-269EE2515C26","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5ac35ba06f4a597d66c89ad5eaf29c4cc57ab69e","datavalue":{"value":"6590291","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q292837$FEC3E5E8-6A9D-432B-ABA4-3816D17DAA77","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5e674378f2cba21de14f62539e0e1979b55e1a41","datavalue":{"value":"principal congruences","type":"string"},"datatype":"string"},"type":"statement","id":"Q292837$298EC038-FEED-4806-BE13-6F90F9D33A32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cf81edc384b601b633ca817500ab76667150b499","datavalue":{"value":"lattice congruences","type":"string"},"datatype":"string"},"type":"statement","id":"Q292837$879D952F-F9C0-4362-93E9-F49673B5357A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ca277992f91db5dc674d0eaca198f17556de59e4","datavalue":{"value":"ordered sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q292837$010568AE-6198-4F0B-B044-60A3477B6932","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"11feab5031f5c04d1443553d0919e1a5890c3d06","datavalue":{"value":"bounded posets","type":"string"},"datatype":"string"},"type":"statement","id":"Q292837$DC8B18BB-D087-40AF-AD19-66125390E35D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4989e601e75a9fd493d1b2a43a94667051bd869e","datavalue":{"value":"cofinal chains","type":"string"},"datatype":"string"},"type":"statement","id":"Q292837$6EFB58AF-E7CF-427B-A4FF-644BA983B4C8","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":"Q292837$AE17B198-5539-459E-8706-FADB5289263F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"46ecb7ae270cbf40121f80ad9e873516cde9bda7","datavalue":{"value":"W2244616976","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q292837$DDA5DBEE-3133-4676-B2B7-880CE5078FB3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"19d5454bf3b1bce0e71da37452a9996b519140be","datavalue":{"value":{"entity-type":"item","numeric-id":3912631,"id":"Q3912631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q292837$CB2A3AA5-4350-4255-B271-E0DDFE2A9EE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"751e3773084bb83c895002523d029f457e175c03","datavalue":{"value":{"entity-type":"item","numeric-id":1965251,"id":"Q1965251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q292837$B0339558-E451-4A9F-9107-C8DAE9CDA211","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef905d564e4f1f264dddd653d13a5e1c8835521f","datavalue":{"value":{"entity-type":"item","numeric-id":451078,"id":"Q451078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q292837$E4F1F80E-7AE5-45CA-AFBB-C7AFCC17C47C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45eb248746022bc1c7cba5d87c4abbb308fba480","datavalue":{"value":{"entity-type":"item","numeric-id":2648292,"id":"Q2648292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q292837$E422F5EA-6D46-49D3-8B9D-CEF1B7C8177C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"418821fe58bdb4e8ca7702edf4fa623914f51248","datavalue":{"value":{"entity-type":"item","numeric-id":4399900,"id":"Q4399900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q292837$1A604F7A-3EF8-46D1-99CA-6D5B0D289ABB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5be21df75873d837d8a3b1de77ebc4a8606affd4","datavalue":{"value":{"entity-type":"item","numeric-id":5715576,"id":"Q5715576"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q292837$DAF6B300-85BE-4FC9-AD1C-C93BAB54468B","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":"Q292837$C1E5E2EA-FCD7-485D-AC77-F0CEBC76C0B7","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":"Q292837$D9AD1E86-24A6-4E7A-AC1F-4D27161C7C4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e03330ec9fd71d60e91bb15fae6fb3e7b6f4fa3a","datavalue":{"value":{"entity-type":"item","numeric-id":2950770,"id":"Q2950770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q292837$F396B9F8-ABEF-4D1E-B82B-91B53EA92FF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f93b72bfcdcf45ec9fb51724729e11fd6b94daef","datavalue":{"value":{"entity-type":"item","numeric-id":2510715,"id":"Q2510715"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q292837$0652D076-71B1-4897-842B-6E53EE4E2C1D","rank":"normal"},{"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":"Q292837$F002E023-BE2A-4966-9EAF-377D6B31E48A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7574376df1ba00fc164d115089b98458fb2a0ad7","datavalue":{"value":{"entity-type":"item","numeric-id":4733896,"id":"Q4733896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q292837$FDFD5E54-C645-4BA2-B5E1-E396C9B486E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb255d9bacce6c7a61778d6db1b22d3e2f1f1f7f","datavalue":{"value":{"entity-type":"item","numeric-id":5451612,"id":"Q5451612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q292837$CAB38BBC-A557-4C42-B9F5-A9C24364FBDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"535348d329113b4c7bed2aac763af7b5e7f7c998","datavalue":{"value":{"entity-type":"item","numeric-id":2456974,"id":"Q2456974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q292837$3E878CA7-070A-421E-B294-3E7BCA839EB7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ba04da1ea62599c97933638df47ac3c249cddd67","datavalue":{"value":"10.1007/S00012-016-0376-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q292837$283CB92D-6DB3-4BA4-A23A-84F6BB9D2D0F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bde46558e231372f32816c21f577be3f6e576f47","datavalue":{"value":{"entity-type":"item","numeric-id":364684,"id":"Q364684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8ab31421de7f4203688a7762569d0f72448a4abb","datavalue":{"value":{"amount":"+0.8478398323059082","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":"Q292837$F96319B6-3CBC-4EDC-844D-D26773C04367","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4536140b00c075160ed91592f6292a8b672eacda","datavalue":{"value":{"entity-type":"item","numeric-id":1652852,"id":"Q1652852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0178451093181c6fad802874af8074222ff6d67a","datavalue":{"value":{"amount":"+0.8358094096183777","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":"Q292837$27F7713C-5DA7-4CFA-B639-9F1077CE7556","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"340678e157e03349c3ce227ddc620ccbf10e240c","datavalue":{"value":{"entity-type":"item","numeric-id":509530,"id":"Q509530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db2f31715bc8b0ecc094ab2f39f0b6ca94b2e824","datavalue":{"value":{"amount":"+0.7805624008178711","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":"Q292837$6F636438-6196-491B-A101-3FEAC488A63F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ebfb78e78cbe58e143ab3cd504509f43b9529c89","datavalue":{"value":{"entity-type":"item","numeric-id":5211032,"id":"Q5211032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b633fc3c8dc3ff9e19ff94296653dc8e25dcaee","datavalue":{"value":{"amount":"+0.7640644311904907","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":"Q292837$6FB847AC-5151-4C19-975E-82EA056CB346","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"64f922d86c0ff6f65f9fb2071adc21dc260d7d72","datavalue":{"value":{"entity-type":"item","numeric-id":1669662,"id":"Q1669662"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dd2edbe21cbf7081ab961426152d7f3c366b3abc","datavalue":{"value":{"amount":"+0.7579983472824097","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":"Q292837$DFAF7797-F0A4-4696-A3EE-0DA6309906B5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The ordered set of principal congruences of a countable lattice.","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_ordered_set_of_principal_congruences_of_a_countable_lattice."}}}}}