{"entities":{"Q1565890":{"pageid":1576630,"ns":120,"title":"Item:Q1565890","lastrevid":67884033,"modified":"2026-04-12T19:59:50Z","type":"item","id":"Q1565890","labels":{"en":{"language":"en","value":"Invertibility of functional Galois connections"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1921081"}},"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":"Q1565890$4ADA61C7-7274-4503-AA3C-F28FFF279DBA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3c1f457dc4546fea01550f795ce8841c97cd41b6","datavalue":{"value":{"text":"Invertibility of functional Galois connections","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1565890$4B571994-022E-4D72-986C-BEF00056B192","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"18398c68c0b248b84bc1658a2754f61ce64845d8","datavalue":{"value":"1022.06001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1565890$0A93F4BE-7C20-4946-A0E0-25A609B10A9D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ad5050a4760db74e18ee0f7d7d97dc78c834f29c","datavalue":{"value":"10.1016/S1631-073X(02)02594-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1565890$36D620D8-4BFD-4B4E-A8F6-02DC77B8AB55","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"76c0d742a1b2702723eb49f9b9d464d1dbd2a310","datavalue":{"value":{"entity-type":"item","numeric-id":255784,"id":"Q255784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1565890$46EF2E4B-9C51-4C34-BD96-BB966ADD2AE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e298a50abdd4dae72108aced252284ab65651b78","datavalue":{"value":{"entity-type":"item","numeric-id":255785,"id":"Q255785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1565890$032AC8C0-10C3-4128-ADD3-6369BB40F4CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"809b54fcb4619716efcb6e8d236fecc5df343361","datavalue":{"value":{"entity-type":"item","numeric-id":212974,"id":"Q212974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1565890$FF320F96-C656-4CBA-B2B1-F992CE9ADEB6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"5a5c9e0c6a7a2a0cb7662cbf32d2a100f29f5641","datavalue":{"value":{"entity-type":"item","numeric-id":251665,"id":"Q251665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1565890$C0B56FB7-C332-41BB-91A6-ECD01E274ED8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a2b40c08a2730a883022880979a273ca836a2fb3","datavalue":{"value":{"time":"+2003-05-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1565890$051C112D-7567-4914-9698-DC760043E786","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"2a5d4dc0b0128ceb424fd4e33f414178ee23eb9f","datavalue":{"value":"A functional Galois connection is a dual Galois connection \\(B:{\\mathcal F}\\to {\\mathcal G}\\) between a sublattice \\({\\mathcal F}\\) of \\(\\overline \\mathbb{R}^Y\\) and a sublattice \\({\\mathcal G}\\) of \\(\\overline \\mathbb{R}^X\\), where \\(X,Y\\) are two sets and \\(\\overline\\mathbb{R} =\\mathbb{R}\\cup \\{\\pm\\infty\\}\\). The authors consider the following problem: for given \\(g\\in{\\mathcal G}\\) and \\(X'\\subset X\\) find \\(f\\in {\\mathcal F}\\) such that \\(Bf\\leq g\\), \\(Bf(x)=g(x)\\), \\(\\forall x\\in X'\\). Theorems 2 and 3 give effective conditions on \\(g\\) (in terms of generalized subdifferentials) for the solution \\(f\\) to exist and be unique, and so extend Zimmerman's covering theorem for max-plus linear equations.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1565890$7BB63513-4EFD-4A4B-8C40-3D3DEBF43C7C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"798cc93af1af672fcddaa0ab93cef1e0a30d7b36","datavalue":{"value":"06A15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1565890$1EFC6E51-B3A5-4E4D-A20F-F47B9F2B8311","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3cc0a69df9833551a36455c96769c276a21473cc","datavalue":{"value":"49J52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1565890$F43C556E-2D2A-4C9E-8767-9C83EEA27833","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3686439322e8310cd22ef20c56028f309d582f22","datavalue":{"value":"1921081","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1565890$7E736134-FE92-4408-8436-B8E475185429","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1dce8cc5247ea260efe21f0f81ace485c76fefc3","datavalue":{"value":"lattices of functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1565890$8BC84F2C-4124-402B-8E09-E364A0C807CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"71862c009662ece60047c30a6aa8854b84ba1867","datavalue":{"value":"Moreau conjugacy","type":"string"},"datatype":"string"},"type":"statement","id":"Q1565890$556F358A-8095-447E-9122-D0034A596001","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1d9fec6e4578262fe8b16f18d14e2a2359f31252","datavalue":{"value":"functional Galois connections","type":"string"},"datatype":"string"},"type":"statement","id":"Q1565890$2E2F3505-F14E-48C5-8437-4B2A5D5B6BB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"99f8156c89cf9b6375265dded9de9ce89c421491","datavalue":{"value":"dual Galois connections","type":"string"},"datatype":"string"},"type":"statement","id":"Q1565890$E5D8E85D-728D-45AC-9B8D-3C86996FB767","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"00601296050d0caf024694f19678a08c7c6accc9","datavalue":{"value":"generalized subdifferentials","type":"string"},"datatype":"string"},"type":"statement","id":"Q1565890$D52979CF-ED67-4BD1-81DC-E06AB9C097EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6f970bfbe1a09184031f8aba5c26ef5f70d7e552","datavalue":{"value":"covering theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1565890$437E3F50-B4BD-4032-8683-6EDFE8175802","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7334a42746440a26fee226f75762654892d8b9d8","datavalue":{"value":"max-plus linear equations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1565890$5C16DAE6-3092-4246-BA62-ED578EBE1A15","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"8a4269540e775ce717310028f86928e9eeea39c7","datavalue":{"value":{"entity-type":"item","numeric-id":241780,"id":"Q241780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1565890$BF1BCAB1-FC2C-456B-99F0-9701943C8C4C","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":"Q1565890$0D48E18E-4CD9-4577-AA26-DDEC930F1FFB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"19f048f1232cdd90fa66164e6dd3d52f5efb64df","datavalue":{"value":{"entity-type":"item","numeric-id":4257592,"id":"Q4257592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1565890$7F45AB55-89DA-4B14-AE84-8323D70F207B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ed6ae580e1901ce65a13757fdd3b6c3be5ffe4a","datavalue":{"value":{"entity-type":"item","numeric-id":1565890,"id":"Q1565890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1565890$3ABA100D-3C26-43BD-9F03-1111930320D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f249580a521efbf8ec95a14e96ab42705350cf25","datavalue":{"value":{"entity-type":"item","numeric-id":4304869,"id":"Q4304869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1565890$0A2EC7F9-3238-4AB0-8C9B-70140046F5FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cdc57cf2ba5617fc074cae34fef64910590e17f4","datavalue":{"value":{"entity-type":"item","numeric-id":5331549,"id":"Q5331549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1565890$3F35EDFD-8015-4932-83C0-D6554A3DF663","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40343e23af4c68a4a411e513b701aa6df62bb2d9","datavalue":{"value":{"entity-type":"item","numeric-id":1314327,"id":"Q1314327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1565890$4446ECCF-9A91-4AED-B066-324D2BC71C6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8812919d16364b06f0837b92df69757657879240","datavalue":{"value":{"entity-type":"item","numeric-id":1582069,"id":"Q1582069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1565890$21A5C55A-1530-47EA-B66E-32A4F5873E5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f06f5550e9e145485a3b041a1f682842f5ed5b86","datavalue":{"value":{"entity-type":"item","numeric-id":3964346,"id":"Q3964346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1565890$14493704-6418-48AA-92DF-A89F8CD5BFF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28cee3cfcae93106f3d629bc428db689703a1917","datavalue":{"value":{"entity-type":"item","numeric-id":3134548,"id":"Q3134548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1565890$1AAB2249-98EB-4DD4-B5C3-84B1E800347C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3403070d32d5bc34af7d820c472d5205f59d783e","datavalue":{"value":{"entity-type":"item","numeric-id":3137040,"id":"Q3137040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1565890$49D98E48-0DB8-49F6-B759-6D11663C3A7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf9518b9a84143dc5e1d4574d5c93d79d037f805","datavalue":{"value":{"entity-type":"item","numeric-id":4337616,"id":"Q4337616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1565890$65437DCD-B6EC-43EF-99D6-6D7EF7AEED35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c00b26823c7bed556b6c0bc1ea93fb4283fac5bb","datavalue":{"value":{"entity-type":"item","numeric-id":5286663,"id":"Q5286663"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1565890$56786117-466E-4C58-92A0-AEA0C766B2B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52745946a4b9b6c9b8e48765d737efff80a6eede","datavalue":{"value":{"entity-type":"item","numeric-id":1822646,"id":"Q1822646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1565890$A583C90D-DE09-481D-9C26-451B70D17E53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7de4bd0a914f441b1dca9b0a4e615efbf561a9b5","datavalue":{"value":{"entity-type":"item","numeric-id":1391756,"id":"Q1391756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1565890$2C33CD43-6482-4C62-8A75-D31DC9E6ABEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d2aa4eeac790205c4037ea67c80426826ddde338","datavalue":{"value":{"entity-type":"item","numeric-id":5638112,"id":"Q5638112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1565890$63DA320D-C9B6-4F02-82D2-04222B4235D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87fc1ebd72311c6bd86f820fa81d0f54181755a1","datavalue":{"value":{"entity-type":"item","numeric-id":4375190,"id":"Q4375190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1565890$1D11F5DA-EF7B-4390-9FEE-95CA1D7576E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"55d13f9e2b7bb600eca13cadea00d04c2a2605cd","datavalue":{"value":{"entity-type":"item","numeric-id":4339231,"id":"Q4339231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1565890$D19B6632-402E-4FB7-99D3-5C9FCDB8DA96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dec5da7f87ac0ba6ea37e33aaf7eee258c7dde9a","datavalue":{"value":{"entity-type":"item","numeric-id":3150256,"id":"Q3150256"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1565890$54DDFA9D-075C-4F20-A76E-4A89E16888F1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"96d10d284d3bcdbcc0a5cb9eeecfbe57362ac253","datavalue":{"value":"https://doi.org/10.1016/s1631-073x(02)02594-3","type":"string"},"datatype":"url"},"type":"statement","id":"Q1565890$7DA13CA9-5687-47F3-A527-62CBE1954BB1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4becda1bdbd6c17a884cef1178ae63b808a3cd12","datavalue":{"value":"W2073051433","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1565890$DB17CF79-D62B-4F7E-B2C3-ACF3ECB870AD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5dbfce9cb594e079b20a3b80679e40a9647394c4","datavalue":{"value":{"entity-type":"item","numeric-id":5702469,"id":"Q5702469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c65c64b888ef7ecf1a01bcc638c52ef9a6bce481","datavalue":{"value":{"amount":"+0.946463942527771","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":"Q1565890$09C3836E-075F-4966-A2F2-C33D22A0FD86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f5aac68f0bb94839e09a92f1022bc393f3132f4e","datavalue":{"value":{"entity-type":"item","numeric-id":4783806,"id":"Q4783806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d3bf05c4eb6002fb9c7ee230e0ac9de8bbdf46b7","datavalue":{"value":{"amount":"+0.7278613448143005","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":"Q1565890$516B00F0-B9B0-498C-841C-5D5CC19B6AF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be2b9c494ed8ad2d16190e34ae6addab4fd5c3fc","datavalue":{"value":{"entity-type":"item","numeric-id":934182,"id":"Q934182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af7a0420c2453a7b067bc56cacf3c51a9cb7be76","datavalue":{"value":{"amount":"+0.7261225581169128","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":"Q1565890$9FE21B6D-DC59-4E90-AA3C-1609093C1398","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"11330b16bd222608db9404677a2612bce0f41b7c","datavalue":{"value":{"entity-type":"item","numeric-id":598314,"id":"Q598314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"17e12829d61e03279eda34d864beb3c37d09588e","datavalue":{"value":{"amount":"+0.7141978740692139","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":"Q1565890$F8FFFF3A-15B1-4B4A-8108-D0983F21C1A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b18ebbb4efc1cc2299fed19519b551e374e7d986","datavalue":{"value":{"entity-type":"item","numeric-id":5701819,"id":"Q5701819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f94feeccf8ef62126c9d3b625d0ba7e799bfa0e8","datavalue":{"value":{"amount":"+0.7119900584220886","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":"Q1565890$62ECA2F2-E894-4D4C-A703-C9D38F46A969","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Invertibility of functional Galois connections","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Invertibility_of_functional_Galois_connections"}}}}}