{"entities":{"Q519983":{"pageid":521750,"ns":120,"title":"Item:Q519983","lastrevid":52772498,"modified":"2026-01-23T11:34:49Z","type":"item","id":"Q519983","labels":{"en":{"language":"en","value":"Representing a monotone map by principal lattice congruences"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6699215"}},"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":"Q519983$177E5A6E-1118-423C-BA6C-0EE4E55817B6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0136792724c72051a870be970c0868fa51e84086","datavalue":{"value":{"text":"Representing a monotone map by principal lattice congruences","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q519983$D8E5C5BF-D55A-40FB-B7F4-F427B6A33FB6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e6efb3c3d3d9f7c573c56c2f4fcb3196936ece70","datavalue":{"value":"1374.06007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q519983$AFF151EF-75F7-4267-B102-F0F6624DA59C","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":"Q519983$88CA1194-0A6D-4F70-B39D-1EE055E31EA7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4b942190e17083b575cb45317653fe779fdb5a77","datavalue":{"value":{"entity-type":"item","numeric-id":168571,"id":"Q168571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q519983$457018C8-E7E9-4D92-89C6-C5B1AD986A97","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"72c0e07ad537fb33330a33ecd7818cc14403de47","datavalue":{"value":{"time":"+2017-03-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q519983$55A2856D-B3CE-406E-B4E9-5EC0F17B8970","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4a21689bc31823240c7fc9ad8ec5238c0484da36","datavalue":{"value":"http://publicatio.bibl.u-szeged.hu/14547/7/actamathhung_047_001_content.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q519983$73428E64-FF88-452A-9CCB-9AEF9D887CA5","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"09f27288598907a99c35c9845dfed6a3158c5034","datavalue":{"value":"For a lattice \\(L\\), let Princ(\\(L\\)) denote the ordered set of principal congruences of \\(L\\). In this paper, the author proves that for each \\(0\\)-separating bound-preserving monotone map \\(f\\) between two bounded ordered sets, there are a lattice \\(L\\) and a sublattice \\(K\\) of \\(L\\) such that \\(f\\) is the map from Princ(\\(K\\)) to Princ(\\(L\\)) that sends a principal congruence to the congruence it generates in the larger lattice.","type":"string"},"datatype":"string"},"type":"statement","id":"Q519983$33609EFF-7C80-4FDD-806B-9C2549EB80D6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d95b7b3afe24e41b228e75d9b35511699f92de5f","datavalue":{"value":"06B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q519983$D04ECF26-58ED-4235-8CA7-2E913D4448F4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ec2d10d14e414148981b03eece23bb8c49b6a854","datavalue":{"value":"6699215","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q519983$EF7F587A-6F28-4B15-877F-A7C1F15A87FF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e36e88e1e416ed903cfa4f239bd2272493f8f6b1","datavalue":{"value":"principal congruence","type":"string"},"datatype":"string"},"type":"statement","id":"Q519983$8B1B29B2-4CC7-40B8-81AF-90614EE3622A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"30e74fc86d3501c36ec18c6159668296932ca45a","datavalue":{"value":"lattice congruence","type":"string"},"datatype":"string"},"type":"statement","id":"Q519983$BF8F9F06-E6C8-4C23-8AD3-F789A4B8C740","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d8b4012ccbdab023048a01bfc8f94bd23553d1d4","datavalue":{"value":"ordered set","type":"string"},"datatype":"string"},"type":"statement","id":"Q519983$B98BD99A-BA55-40AB-B7B7-5C9E63FE287C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c6a26c619f3c34107172c32ab1d29a17af19378d","datavalue":{"value":"order","type":"string"},"datatype":"string"},"type":"statement","id":"Q519983$4C910A1F-7BF1-4806-B8F3-7A2E6FFD0ABF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"762a112ef0429a3655234c3e246a242461dca9bf","datavalue":{"value":"poset","type":"string"},"datatype":"string"},"type":"statement","id":"Q519983$9C2BF70B-CFB3-4578-84C7-9BF8206BC490","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6318d6bf8dcc6012055eee1f547c60dd2a120857","datavalue":{"value":"quasi-colored lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q519983$0ACACE2C-9D51-42DA-8A9B-EAFB28C309E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"85e158c7e69e9717d47be314dd95b31fbfa248bb","datavalue":{"value":"preordering","type":"string"},"datatype":"string"},"type":"statement","id":"Q519983$EC4CAE5B-73B3-42C4-88A3-D35400E584D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d4299bf6b5b9893852dda1903028a59b8a82e80b","datavalue":{"value":"quasiordering","type":"string"},"datatype":"string"},"type":"statement","id":"Q519983$652836D0-1059-44EE-9656-6182661259AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3edd35c3bd79a6f54d155fd784a0b959b7a9c653","datavalue":{"value":"monotone map","type":"string"},"datatype":"string"},"type":"statement","id":"Q519983$44C7638A-7D7F-4896-BF2B-19D38B6671D4","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"5359757b430db85bda396eacc69535f1c73d9926","datavalue":{"value":{"entity-type":"item","numeric-id":403198,"id":"Q403198"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q519983$359A1FA2-34E4-4CF5-A0AF-7C82CC0DB39F","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":"Q519983$B3F70A4B-25C7-48A5-B9E8-1488E0F856DC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"af670f5afaa3c6a973c01f41d260658dcee6b409","datavalue":{"value":"W1132841840","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q519983$0E3D5BA3-5EAB-4692-8AE3-6F26396E46F5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b34514edf9a2e109b71bef8617e3f53d0deddfda","datavalue":{"value":{"entity-type":"item","numeric-id":292837,"id":"Q292837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q519983$9C6FF6E1-263C-4C07-9E2B-7EAE43E75F34","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":"Q519983$01791AFA-1BB3-4555-A58E-0E38F9E5F012","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":"Q519983$8F3D3752-4A6B-49C6-A989-A9726790C44A","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":"Q519983$6A56A40B-143B-4841-9A75-23E38C164AD1","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":"Q519983$412C52E3-7DBC-4567-8ECD-FA85D4458C0A","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":"Q519983$95CF9C2E-0BC3-44FD-817F-080A7A0EA44C","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":"Q519983$E4A36D07-E79B-47EC-AD49-BD28D0D269D9","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":"Q519983$EDEAE67F-F221-420E-A739-3692E4798B96","rank":"normal"},{"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":"Q519983$4F4E0E0F-5BB0-4294-9738-EBB9ADF034FD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fce84446aa549be1f17e8ce6c66ae36636795d18","datavalue":{"value":"10.1007/S10474-015-0539-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q519983$1364B1C8-3384-4D6E-811D-ED4CA0E2E8F6","rank":"normal"}],"P1643":[{"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":"25cae5b3fb0652d697be79d55711537167816876","datavalue":{"value":{"amount":"+0.8776803612709045","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":"Q519983$AFFFA90B-729A-4031-AC4D-22A026EE9D2E","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":"5ce021877bd015171ccc103fd4b05ebc5f73e123","datavalue":{"value":{"amount":"+0.8734400272369385","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":"Q519983$27E7E245-2F38-454B-AD03-C0B9C7E39FED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"97776843832497314b90c44d125cf04c17fd9f7b","datavalue":{"value":{"entity-type":"item","numeric-id":2979433,"id":"Q2979433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8665dd253e6de7eaa536f85ed970b2f57dc316bb","datavalue":{"value":{"amount":"+0.830595076084137","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":"Q519983$F32E0BD5-A35D-49D5-810C-FE33206E547D","rank":"normal"},{"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":"2aec50a478f663b059fba6ca90241760f0bdadc0","datavalue":{"value":{"amount":"+0.7987549304962158","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":"Q519983$0823962E-6C7E-4CC0-AC40-1E7C468C8C2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7a66b0e133229de907a5ded2329478f0f626f03e","datavalue":{"value":{"entity-type":"item","numeric-id":292837,"id":"Q292837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1128fb015e43d7e36fb81e4d5dd58a40c6a8fe5b","datavalue":{"value":{"amount":"+0.7732405066490173","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":"Q519983$6376FAE7-12CA-439E-9C13-44FECAE40E5A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:519983","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:519983"}}}}}