{"entities":{"Q466890":{"pageid":468657,"ns":120,"title":"Item:Q466890","lastrevid":62043669,"modified":"2026-04-11T03:23:12Z","type":"item","id":"Q466890","labels":{"en":{"language":"en","value":"Distributive envelopes and topological duality for lattices via canonical extensions."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6363135"}},"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":"Q466890$0FF31D90-3E6A-47C3-96E5-B8FED4D4F089","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ce9d87776ec023a582e5ad55aff64041175207af","datavalue":{"value":{"text":"Distributive envelopes and topological duality for lattices via canonical extensions.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q466890$A695C030-63FE-406F-A7E6-8780BE061CAB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3d5d9c4cf215ecfa23a784b630db1dddc8bc8b07","datavalue":{"value":"1309.06004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q466890$DB71B876-ED6D-410D-95F5-50D01542E63A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b834b8a5fa066825015fdce4bdac31cee4bdc84b","datavalue":{"value":{"entity-type":"item","numeric-id":186438,"id":"Q186438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q466890$B52EDDDA-946B-4CCA-8330-5F1809CB02C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f94f8ee36125f5afab5b4bc39a72d674d800a7d0","datavalue":{"value":{"entity-type":"item","numeric-id":390414,"id":"Q390414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q466890$94F7E366-68D2-4285-B130-3028B5B50567","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":"Q466890$14C0BD9A-64F2-42C0-8405-CACE695A7300","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3d550cf90212976e1105a44c308cf7f1ad8d8e8f","datavalue":{"value":{"time":"+2014-10-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":"Q466890$F78FCFAF-6A27-47E7-B986-29BF4847B59A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c4731719852fcddd67456a1b1525f8d52c5198d7","datavalue":{"value":"https://arxiv.org/abs/1309.3113","type":"string"},"datatype":"url"},"type":"statement","id":"Q466890$7CE3C02E-605C-4635-BAFA-3B0A8B773FEF","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"f15b6034e71083c476226beea8435c1da425c00b","datavalue":{"value":"In this paper, a topological duality for bounded lattices is established. To this end, a universal construction which associates to an arbitrary lattice two distributive lattice envelopes with a Galois connection between them is developed.   Here are some details.   Definition 3.1. Let \\(L\\) be a lattice. A finite subset \\(M\\subseteq L\\) is \\textit{join-admissible} if its join distributes over all meets with elements from \\(L\\), i.e., if, for all \\(a\\in L\\), \\(a\\wedge\\bigvee M=\\bigvee_{m\\in M}(a\\wedge m)\\). We say that a function \\(f\\colon L_1\\to L_2\\) between lattices preserves admissible joins if, for each finite join-admissible set \\(M\\subseteq L_1\\), we have \\(f(\\bigvee M)=\\bigvee_{m\\in M}f(m)\\).   Definition 3.2. Let \\(L\\) be a lattice. An embedding \\(\\eta _L^{\\wedge}\\colon L\\to D^{\\wedge}(L)\\) of \\(L\\) into a distributive lattice \\(D^{\\wedge}(L)\\) which preserves meets and admissible joins is a \\textit{distributive }\\(\\wedge\\)-\\textit{envelope} of \\(L\\) if it satisfies the following universal property:   For any function \\(f\\colon L\\to D\\) into a distributive lattice \\(D\\) that preserves finite meets and admissible joins, there exists a unique lattice homomorphism \\(\\widehat f\\colon D^{\\wedge}(L)\\to D\\) such that \\(\\widehat f\\circ\\eta_L^{\\wedge}=f\\).   The definition of the \\textit{distributive }\\(\\vee\\)-\\textit{envelope} \\(D^{\\vee}(L)\\) of \\(L\\) is order dual.   Theorem 3.9. Let \\(L\\) be a lattice. The embedding \\(\\eta_L^{\\wedge}\\) of \\(L\\) into the finitely generated \\(a\\)-ideals of \\(L\\) is a distributive \\(\\wedge\\)-envelope of \\(L\\).   Proposition 3.18. For any lattice \\(L\\), the maps \\(u_L\\) and \\(l_L\\) restrict to a Galois connection \\(u_L\\colon D^{\\wedge}(L)\\rightleftarrows D^{\\vee}(L)^{op}:\\!l_L\\). The lattice of Galois-closed elements of this Galois connection is isomorphic to \\(L\\).   Via doubly dense adjoint pairs, it is shown that the category \\(L_a\\) of lattices with admissible homomorphisms is dually equivalent to a full subcategory of TSCP (totally separated compact polarities).","type":"string"},"datatype":"string"},"type":"statement","id":"Q466890$6FE64DBD-7155-45AB-A4E5-5C7FA945BAFE","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"ea751e1391efce5a824660ae00f540211586bfed","datavalue":{"value":{"entity-type":"item","numeric-id":306474,"id":"Q306474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q466890$9739E43C-9315-4F7F-A27B-75ACC65DD81D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c8657ac6c38ed25d0542315e1ea5d0b1ab0616eb","datavalue":{"value":"06B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q466890$66E0BC71-58EB-4A22-85D1-0525743B566A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"463f7d257a671a9510e684a0db949c2f8eb9d983","datavalue":{"value":"06B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q466890$2E1014F0-F501-45FB-9952-5CF6032CE9D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"798cc93af1af672fcddaa0ab93cef1e0a30d7b36","datavalue":{"value":"06A15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q466890$C81E8247-47CE-4888-BABB-79E4AC890E6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ab61fb2d4201bc94cf09f5737001908cd5ef158e","datavalue":{"value":"06B23","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q466890$D9D38056-ED99-44AA-B302-D5A039E6CB78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ce5b74470053f031a57488d42a2b289573daad5a","datavalue":{"value":"06D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q466890$1D85D3DF-906A-471A-A8C5-85A9FB29B469","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d8c1bc0d50b987b1b851d7a7dbf35b5fbed58358","datavalue":{"value":"06D50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q466890$30410A0E-1C82-4EFA-92DF-0CE65A50AAD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"30279ad2312ee8c09a87dcde90352f80d9dcbd24","datavalue":{"value":"06D75","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q466890$1A21B19C-B185-447E-A6A4-0E888435A532","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"98dbe09beea9ed1b100661cb9288773f183ecffd","datavalue":{"value":"6363135","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q466890$E496814E-E211-48A7-A250-4B9BA9EAC6D3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b3a2101ab474b6f44df9dd55f9abb3968bd932e","datavalue":{"value":"bounded lattices","type":"string"},"datatype":"string"},"type":"statement","id":"Q466890$7D6B38FD-3E55-4335-BDFF-A09ED370191E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c7ac8f4197a2cd5e07c524771377d01d4f848a7d","datavalue":{"value":"distributive lattice envelopes","type":"string"},"datatype":"string"},"type":"statement","id":"Q466890$D3592360-7CE5-449A-AAA4-A76641F0CC0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c99d50cc03f9621e87d1300d87a92e1d2d58606e","datavalue":{"value":"Galois connections","type":"string"},"datatype":"string"},"type":"statement","id":"Q466890$6BA2E2ED-4071-41E5-9D83-FC0C70F65D37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"29a585e34a303c8a2ea25cf65567ce5692e3beb4","datavalue":{"value":"distributive envelopes","type":"string"},"datatype":"string"},"type":"statement","id":"Q466890$C296E4C0-DC5F-4B03-9D2B-283A3C9CA75B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0366dd319579349da14fdeff0d88dd87b917a305","datavalue":{"value":"canonical extensions","type":"string"},"datatype":"string"},"type":"statement","id":"Q466890$D6D2FF23-132D-41F4-98AE-B0282241BECB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"08503ff68fda0185e5c7ee17350804ec8b84a271","datavalue":{"value":"Priestley duality","type":"string"},"datatype":"string"},"type":"statement","id":"Q466890$51DC0A4C-ADAA-462F-AD2E-009473B6745A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0d66a7d8a535f357f30e49b34ff8e234a6a7ffef","datavalue":{"value":"Pervin spaces","type":"string"},"datatype":"string"},"type":"statement","id":"Q466890$57A4BF6B-C418-4335-B4B0-7C57C24DCD14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb93ba6439679eb5b52d37434d0a9e6b654e79f0","datavalue":{"value":"bicompletions","type":"string"},"datatype":"string"},"type":"statement","id":"Q466890$3C724C25-A6CA-4A29-A50B-0FB995AE3C0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6a2ab3ab370fd7e8d72a9692aa17a7a0fe968975","datavalue":{"value":"generalized Stone duality","type":"string"},"datatype":"string"},"type":"statement","id":"Q466890$15EF8D03-1FA1-48E6-B905-0215F1075B8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fbe652244219df720e2a6856f6b8de95fa6ea40f","datavalue":{"value":"topological dualities","type":"string"},"datatype":"string"},"type":"statement","id":"Q466890$A60E1A3E-0CE2-4783-8CBD-424349F023FB","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":"Q466890$E869FF50-78AB-4A5E-892B-592175FA2A2F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9a355b2be36f73ab4dc8a9719440a2f27533e8ec","datavalue":{"value":"W2075474737","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q466890$DE8F2598-8C23-48F6-B949-D531C9647AE3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a7f95a181a122f35ae18fd86fcaee76950d7cde","datavalue":{"value":{"entity-type":"item","numeric-id":5532570,"id":"Q5532570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q466890$B0BF544A-1F83-4B31-9A2E-DDB5DB248677","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b00a92b4e0f4a6f2c10346ae58f94938b1b4077","datavalue":{"value":{"entity-type":"item","numeric-id":5522002,"id":"Q5522002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q466890$17FFD38F-D767-4708-9FC8-7D5BB444DD6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45adb4410dcd58539bacd0ce338b4331d45d456e","datavalue":{"value":{"entity-type":"item","numeric-id":5613213,"id":"Q5613213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q466890$C2233F26-0749-4D2F-9963-D5F320BB57FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86c93d97190e26096c22db3238c11ecdad8a3ed1","datavalue":{"value":{"entity-type":"item","numeric-id":714727,"id":"Q714727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q466890$21C34F4A-DD2F-4475-BA00-B2D063EF82A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ac9d198def843d376c80ccba7e4e9a4a9e97cf1","datavalue":{"value":{"entity-type":"item","numeric-id":4283135,"id":"Q4283135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q466890$15262C8D-C643-4D71-9913-F240C2B5A9DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"131e70300e3f8227ceafb7d0685319cdbb06e3d3","datavalue":{"value":{"entity-type":"item","numeric-id":5718685,"id":"Q5718685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q466890$EA5D9C9B-63EB-4863-A413-A479CCC052E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f89d5ed447e94e90ed7fe3665a01adbe0e474d5f","datavalue":{"value":{"entity-type":"item","numeric-id":5938997,"id":"Q5938997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q466890$5047CE08-282D-43A3-86DC-7C055A6B881E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"10c0f2209237e3c209cfc9a16a35fcba09d7f130","datavalue":{"value":{"entity-type":"item","numeric-id":2471003,"id":"Q2471003"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q466890$EC7CE3E3-C545-41B7-AF5D-86D882D08F2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd2d4700ded7881c5153f0c75f8d6c564bdc5d92","datavalue":{"value":{"entity-type":"item","numeric-id":2702770,"id":"Q2702770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q466890$93DCBDF1-B174-47F5-AB8A-B80C9E217552","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"20ffc94dc3ac8a1f4381a6fd00ef114a3d26e9f4","datavalue":{"value":{"entity-type":"item","numeric-id":5929738,"id":"Q5929738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q466890$99C2906C-05B9-4214-8132-E254E59551B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7cf4b3fbf7bb34dec9ef45add591e72af3e074e6","datavalue":{"value":{"entity-type":"item","numeric-id":3966761,"id":"Q3966761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q466890$F32C4BF9-E1C9-4C97-A6B0-CAD1E6833F81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"363f742c83b2675b357acfab9260dc81ed8988bb","datavalue":{"value":{"entity-type":"item","numeric-id":4230685,"id":"Q4230685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q466890$C9BCE36A-89D2-4C72-AAE4-3BBD74CD91F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b5585d4baeb825d826f8bb66ff9726cc956b3bb","datavalue":{"value":{"entity-type":"item","numeric-id":5255790,"id":"Q5255790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q466890$6DEE79EC-B4C9-43F4-8D13-5F138D52E446","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"376d7735efac504c7de038c26f5ae247ce31243c","datavalue":{"value":{"entity-type":"item","numeric-id":3587435,"id":"Q3587435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q466890$4E0FBE2A-C72D-45AC-A5DE-5F25B541E927","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e8f88f9033642cabec78d5aedfdc947accfe792","datavalue":{"value":{"entity-type":"item","numeric-id":5936163,"id":"Q5936163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q466890$2EF76A25-729F-4060-B810-0DA654BD35D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6027f7e7caa3f9f4bec3d5352d5c5a0eccf91c9","datavalue":{"value":{"entity-type":"item","numeric-id":4313857,"id":"Q4313857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q466890$3A541E8F-F352-4E59-9231-DE870F5BF686","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2baa5b40d0d65db6efbf6823780a6d1ba73b285d","datavalue":{"value":{"entity-type":"item","numeric-id":4827039,"id":"Q4827039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q466890$DCFF8F37-74F0-4B31-BEA2-5C958D7061AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c8af6b682b2636e8875326c2a6a0b69d55c4a19","datavalue":{"value":{"entity-type":"item","numeric-id":2433103,"id":"Q2433103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q466890$5C734FCA-A933-41A1-AD5A-A3C0D57358A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28f2854fe2ed423b84eb25124143eaa6680f5c06","datavalue":{"value":{"entity-type":"item","numeric-id":4955600,"id":"Q4955600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q466890$A57A1FA7-0B5E-4149-8E1E-332F77396DE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb3a0368b92607cf8bde9df7817f65fa49f3430c","datavalue":{"value":{"entity-type":"item","numeric-id":1193504,"id":"Q1193504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q466890$1C2BA0BC-D36A-4743-A844-D459B255D2B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef06c2bfff65c898f2207ecda2b438d5899e411a","datavalue":{"value":{"entity-type":"item","numeric-id":3140286,"id":"Q3140286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q466890$A202A2FF-1300-4E67-B18C-F540DB9AB20C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f898a236e8a2ae4e36da9dab850b67fb635ce60","datavalue":{"value":{"entity-type":"item","numeric-id":5810598,"id":"Q5810598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q466890$19B89A31-EBCB-462F-A15D-4D3EF08165D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dabddbda2c90efbc7858f44bea11b065fa6ae574","datavalue":{"value":{"entity-type":"item","numeric-id":5810599,"id":"Q5810599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q466890$CF9B002B-EFD8-4D36-820C-CBDFAD4774BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15ccb0923764a69dcb5b2e204893fd1386e60bbc","datavalue":{"value":{"entity-type":"item","numeric-id":5415639,"id":"Q5415639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q466890$029E3A6B-389D-4325-88B2-D19845955D1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"907ee33f72a3ebb4e96bc690c1d99f0023b55ade","datavalue":{"value":{"entity-type":"item","numeric-id":774497,"id":"Q774497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q466890$6024AB03-63E3-41AB-AB7C-B854CEDE2715","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9672d1f90f8366b2aa3154bc15fee0e7593092b3","datavalue":{"value":{"entity-type":"item","numeric-id":5598363,"id":"Q5598363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q466890$BBADFD3F-1169-4E38-802B-B68B18AF45DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a02cadedd7a65e75efe02bdda275daf43b301610","datavalue":{"value":{"entity-type":"item","numeric-id":5763114,"id":"Q5763114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q466890$F03FA9D0-83D9-441F-B43E-F8DAAB598163","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3663cb5ac31f9c3e3a6373116cc63e94db6c35b1","datavalue":{"value":{"entity-type":"item","numeric-id":5769244,"id":"Q5769244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q466890$28A87C83-C015-4545-83B8-506C0E586AED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e2602422b1b9a961df0ba2025967b41fe30ab3a","datavalue":{"value":{"entity-type":"item","numeric-id":1247989,"id":"Q1247989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q466890$0D3F0D33-DD5C-4BA6-B240-F2AE8344D493","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"852f803535d3119fd24efc7ec6141a42925d1d07","datavalue":{"value":"10.1007/S11083-013-9311-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q466890$3C7A4FF2-CE5D-4483-97B6-9B894F1877DE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"88aa731b2b89299fb7f4abb875a0d4003839a9a6","datavalue":{"value":{"entity-type":"item","numeric-id":2449453,"id":"Q2449453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"97066090d0145a0c458fecf33839df38ba908b47","datavalue":{"value":{"amount":"+0.878801703453064","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":"Q466890$4B9ACD1A-F086-4687-82ED-F315C8BD432C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0e3b14a3c4d9816a149c279377745cc03909e46c","datavalue":{"value":{"entity-type":"item","numeric-id":3564341,"id":"Q3564341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b575b1989fd725e5e233090fe1b5b334ade0985b","datavalue":{"value":{"amount":"+0.8721916079521179","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":"Q466890$35D7EB4C-E4E1-4983-B88C-C7F5C4561DBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"69718d2cb7c64db0d8201e507287d805b0bc20cf","datavalue":{"value":{"entity-type":"item","numeric-id":2643609,"id":"Q2643609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f57cd3949b172f1a3555bc5a2c45a4f5b3e6adcc","datavalue":{"value":{"amount":"+0.8261033892631531","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":"Q466890$0EF3BF40-8F52-4DA9-8B51-18B0E31354BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"220ae9bc404bc08a2da7b65d47b0bf405f0d1421","datavalue":{"value":{"entity-type":"item","numeric-id":395673,"id":"Q395673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c193cf7e80359a4e100b1203f07416a4d7425a44","datavalue":{"value":{"amount":"+0.8029192090034485","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":"Q466890$BD58AC78-D3F4-4BEA-82C0-3D7D5E7A0958","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e466d08b6284b7663e97db56b85e790c79ab175","datavalue":{"value":{"entity-type":"item","numeric-id":3698848,"id":"Q3698848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"908e96311bdf3956531269109d89241045e8794c","datavalue":{"value":{"amount":"+0.7854906320571899","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":"Q466890$01BDFAB3-2A72-46CD-8DA4-299091DA3E3A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Distributive envelopes and topological duality for lattices via canonical extensions.","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Distributive_envelopes_and_topological_duality_for_lattices_via_canonical_extensions."}}}}}