{"entities":{"Q2240721":{"pageid":2251464,"ns":120,"title":"Item:Q2240721","lastrevid":54133457,"modified":"2026-01-26T07:50:20Z","type":"item","id":"Q2240721","labels":{"en":{"language":"en","value":"Dualities for subresiduated lattices"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7420374"}},"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":"Q2240721$B5174B7F-A3C1-46E1-B807-7547D368D823","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8a3f59c16b5fb37b52f18240d427c4ea6792b764","datavalue":{"value":{"text":"Dualities for subresiduated lattices","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2240721$AD0F5130-3A52-4E51-B7FE-2D847B5F1F77","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"08063a2abe223a1e24bd075d3d71180ff30659aa","datavalue":{"value":"1484.06033","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2240721$682CBD55-A523-472E-87BB-FED24333417A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"abbd198b5ca9367e1087abc4e481567446a54edc","datavalue":{"value":{"entity-type":"item","numeric-id":2240720,"id":"Q2240720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2240721$66C7F036-6A05-4EC1-97F1-3513717147B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"92eafc96a46092e2429ee13b6bdee39b631fd790","datavalue":{"value":{"entity-type":"item","numeric-id":634748,"id":"Q634748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2240721$6734EB3F-EC9A-4D3D-9EFE-74CDB8AE4E7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3ec376dcb7cf5125b803e313059b45ffe75fceba","datavalue":{"value":{"entity-type":"item","numeric-id":284215,"id":"Q284215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2240721$B6258A4E-01EC-4CA0-B1E2-49A4FA80A39B","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":"Q2240721$5CE9D800-CDA6-4C0E-990C-8CE2CBA69315","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"51f0220dcd7207657e9465a422526ed9ffb9675e","datavalue":{"value":{"time":"+2021-11-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2240721$AF54F73C-BF7A-4330-98BD-522B86C74AE9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f7d30843becd5b237bac0ad3a622d91e98845f63","datavalue":{"value":"https://digital.cic.gba.gob.ar/handle/11746/11376","type":"string"},"datatype":"url"},"type":"statement","id":"Q2240721$FDE2C99F-CAE8-427A-A1B9-522179D7936C","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"c5b139994b6338cb31f9d4bb766d60ee9122c10b","datavalue":{"value":"A subresiduated lattice is determined by a bounded lattice \\(L\\) together with a bounded sublattice \\(D\\leq L\\) where \\(D\\) has the property that for every \\(a, b\\in L\\) there is a largest \\(c\\in D\\) such that \\(c\\wedge a\\leq b\\). One writes \\(a\\to b\\) for this \\(c\\). The class of subresiduated lattices is equationally definable in the language \\(\\{\\wedge, \\vee, \\to , 0, 1\\}\\), and the variety of subresiduated lattices properly contains the variety of Heyting algebras. (A subresiduated lattice is a Heyting algebra exactly when \\(D=L\\).)  This paper establishes a dual equivalence between the category of subresiduated lattices and the category of \\(p\\)-spectral spaces. Then, the paper establishes a bitopological style duality between the category of subresiduated lattices and the category subresiduated spaces.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2240721$C0040042-AED0-4770-AFCC-52BE63F78286","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ce5b74470053f031a57488d42a2b289573daad5a","datavalue":{"value":"06D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2240721$CB29F4FC-3F82-4702-9D1B-940252D965DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d8c1bc0d50b987b1b851d7a7dbf35b5fbed58358","datavalue":{"value":"06D50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2240721$E7156788-DFF0-463D-B4C3-730F243ED9BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"625495dc8cf796ad780e9da29b6a4a78ebce22b1","datavalue":{"value":"03G10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2240721$ED97AF29-15F1-4CF5-AB50-06E7A83E7EF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0a7eb06f78cf1bac52b186f12694848a795f3f40","datavalue":{"value":"18B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2240721$82DFDA03-4DC1-4EE0-8D0F-97A78778DC1B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9fce9273250969db2a8871dce567ef3c85aef654","datavalue":{"value":"7420374","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2240721$49885205-D61B-4537-B657-EB2B6127D016","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8683380a0de068912484210ebac0222ef48533d2","datavalue":{"value":"distributive lattices","type":"string"},"datatype":"string"},"type":"statement","id":"Q2240721$8C2DEDC9-DA0F-4B29-B833-6AC30680C074","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1e9ac175da47273468c72a13879e1e031269f582","datavalue":{"value":"subresiduated lattices","type":"string"},"datatype":"string"},"type":"statement","id":"Q2240721$C0F2FF1C-291A-4E7E-A66A-BB2E527A5D10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4b1da94dcf76917d27f929d9502403cdee112468","datavalue":{"value":"spectral duality","type":"string"},"datatype":"string"},"type":"statement","id":"Q2240721$E193386E-BDA5-458C-A851-5832015C5C1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c85f9c68dbf06c3a7ea11a18af11c6ec1c04cc5a","datavalue":{"value":"bitopological duality","type":"string"},"datatype":"string"},"type":"statement","id":"Q2240721$BC8E8268-13E1-49C4-B574-0159A2A75765","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"deb95c6597eb3e9658b0806695ab69531b4d8e03","datavalue":{"value":{"entity-type":"item","numeric-id":331016,"id":"Q331016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2240721$60FC6546-06B3-47D6-AA05-35DE3E5D56CE","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":"Q2240721$18419918-45A9-4EB9-A1A1-3786FF439081","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"74442cce68ac0d0b54fd3cd0435e5088b9a61fc4","datavalue":{"value":"W3202374122","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2240721$A3BAD1C6-DE05-41C5-B22F-DC5B117AB453","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ce47aaa57ed062610df59dbf8e315e80f656a8e","datavalue":{"value":{"entity-type":"item","numeric-id":4083730,"id":"Q4083730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2240721$3B540B50-8577-490C-81DF-D06C26EA672F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3760b801141d798ca65d9cd1f7c7b1bb40a3cbe1","datavalue":{"value":{"entity-type":"item","numeric-id":3564341,"id":"Q3564341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2240721$1249C8C6-6A3B-422D-BB3A-235B097A42DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"64ed40e3d101bd9d88cc6e0ad0937996baff9b25","datavalue":{"value":{"entity-type":"item","numeric-id":1422101,"id":"Q1422101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2240721$7E3FC6B5-71A8-457E-9B2E-E7690F063B8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35bf712e2b1b6bfb31b491dc46f544f6114af908","datavalue":{"value":{"entity-type":"item","numeric-id":4680368,"id":"Q4680368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2240721$F6351C98-A724-4A2A-A36D-CF365CEC12A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db84f34ec74672084a6cbe4ecfcf897db31b8725","datavalue":{"value":{"entity-type":"item","numeric-id":4111635,"id":"Q4111635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2240721$A22F101C-D1EE-49A1-B37E-A119DFFE3A1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d4dd4faeed82b17a31b15b4f4a630199ca52442","datavalue":{"value":{"entity-type":"item","numeric-id":4692885,"id":"Q4692885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2240721$4D2B681A-1E5E-43BC-B8A9-B0B59D7AF615","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1061ba4dfee59eb91f071e588d854a29a14527d7","datavalue":{"value":{"entity-type":"item","numeric-id":4116448,"id":"Q4116448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2240721$9842B172-DEA8-4F51-99B1-B52535D703BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"08d181c79c2a7f55b29ceceff125a24442e3cd9b","datavalue":{"value":{"entity-type":"item","numeric-id":5927941,"id":"Q5927941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2240721$8387FD2D-5D66-42C8-8FA9-1EF304C67E1E","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":"Q2240721$1A827150-B407-4023-B0EE-059AF3D17F9E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8b30761c53a52777b79c56c176b089d1223ffb61","datavalue":{"value":"10.1007/S00012-021-00752-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2240721$E3555227-3685-4607-BD31-8D7BFC0A1492","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6f4b205bc0b763dbedaa116e9927123d0f497362","datavalue":{"value":{"entity-type":"item","numeric-id":2418015,"id":"Q2418015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1323e066d1f20826ccd742ac8587d5c2dd9b0b62","datavalue":{"value":{"amount":"+0.7826636433601379","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":"Q2240721$ED043F0D-AD67-416E-95E4-12A225A02030","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1454c34edc296c6d2845bf58b10e10c44c6b00a7","datavalue":{"value":{"entity-type":"item","numeric-id":2443678,"id":"Q2443678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c2c41ea9bda6212badc04317aa88b9bfb83bb67f","datavalue":{"value":{"amount":"+0.7767953276634216","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":"Q2240721$E5AAD5DE-5F30-42A3-8397-6065442417C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"59bb24622b8f1faaae17bd5e9df986637fd38f05","datavalue":{"value":{"entity-type":"item","numeric-id":454389,"id":"Q454389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e0265714ca0a5cf3c6604a7505ab5347eff124a","datavalue":{"value":{"amount":"+0.7663629055023193","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":"Q2240721$BA2E8808-B037-4C7B-B557-20BDEEA26939","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"80db9c32310d91fbe46b0969af9e0e49671a7f9b","datavalue":{"value":{"entity-type":"item","numeric-id":3329516,"id":"Q3329516"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b91d6ee8ba3a1cadd1ee4df9edb5901936dc850c","datavalue":{"value":{"amount":"+0.753304660320282","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":"Q2240721$B1C94B11-F2F5-495A-B801-CA029A5A710C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"31c9566761bc30cca7827b2bff9e40414fd44d03","datavalue":{"value":{"entity-type":"item","numeric-id":3043517,"id":"Q3043517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1faa5c209ccc1d4b4dd1ac86ff16164e23c94a1f","datavalue":{"value":{"amount":"+0.750533938407898","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":"Q2240721$DDD70A47-5059-45FF-B025-168EC8851390","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2240721","badges":[]}}}}}