{"entities":{"Q2277498":{"pageid":2288241,"ns":120,"title":"Item:Q2277498","lastrevid":49483210,"modified":"2026-01-07T06:09:07Z","type":"item","id":"Q2277498","labels":{"en":{"language":"en","value":"Regularity of residuated mappings"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4196029"}},"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":"Q2277498$5D9505A2-1A70-4A9E-9A34-E4C8227336C9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e55bb6ad8644015652b17eaa60372932ee01de1c","datavalue":{"value":{"text":"Regularity of residuated mappings","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2277498$0C3ADB9F-EB50-4C85-AC9C-8E138C46B276","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4891cca7088488e27344bbe831e963ebb1354a4d","datavalue":{"value":"0725.06002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2277498$22BD3BF3-9EF2-4C1E-9065-AB7753F5B1F4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d27e3830cc1a2ad4a017ee1a4cb648e089567491","datavalue":{"value":"10.1007/BF02573428","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2277498$51E9564C-6453-4F7F-97FD-80F87BF88A57","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"28dbf90a09492d81530507fd711b9336815e58a3","datavalue":{"value":{"entity-type":"item","numeric-id":172569,"id":"Q172569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2277498$A621B737-1290-41F6-A77D-E2FA3FCE6706","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"391107ffc7a24346d69c573e292e4ff4587e3aaa","datavalue":{"value":{"time":"+1991-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2277498$2CF8801F-596C-4FA6-B208-724B14509072","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1a2390df851b18e4ca13a2da6477ae24d8134b85","datavalue":{"value":"https://eudml.org/doc/135085","type":"string"},"datatype":"url"},"type":"statement","id":"Q2277498$6C9EBDE2-1FD7-4D1E-A072-669F7667B791","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"929baabe7eb30263f3e47bc4def14ff1c2fa3640","datavalue":{"value":"A principal ideal of a poset P is a subset of the form \\(J_ x=\\{t\\in P\\); \\(t\\leq x\\}\\) for some fixed element \\(x\\in P\\). If P and Q are posets, a mapping f: \\(P\\to Q\\) is said to be residuated if it has the property that for each \\(q\\in Q\\), \\(f^{-1}(q)\\) is necessarily a principal ideal of P. Let Res(P) denote the monoid of all residual mappings f: \\(P\\to P\\) with composition as the operation. The author studies complete lattices L for which Res(L) is regular. He shows that Res(L) is regular provided L is a complete chain or the horizontal sum of a certain class of complete chains. A complete characterization of lattices L of finite length with regular Res(L) is given.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2277498$3533BEE6-3BA9-49D8-9078-26A4BE1DB3EF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"463f7d257a671a9510e684a0db949c2f8eb9d983","datavalue":{"value":"06B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2277498$E78306DE-D2FD-4250-81B8-E857E6C9B8CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ab61fb2d4201bc94cf09f5737001908cd5ef158e","datavalue":{"value":"06B23","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2277498$33E48F80-29D3-45B6-B639-336393F3022F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"83f72ffa7e11f45af632e5cc1f7fb9da144d792d","datavalue":{"value":"20M99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2277498$50E3A329-7FF9-4AFD-A163-1DBBAD371DFD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c7c252be7303db6157e38f555b4ac25b34709d74","datavalue":{"value":"4196029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2277498$96C6A76C-498D-4D81-ADB8-ACDBD562B05D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bd0171a36d084d66159656b13b14596fa1ef0016","datavalue":{"value":"lattices of finite length","type":"string"},"datatype":"string"},"type":"statement","id":"Q2277498$05B7AB33-112E-420C-9284-A3AB789D4415","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e942b9164b85df785c45c093432be75e5c4d68af","datavalue":{"value":"regular monoid","type":"string"},"datatype":"string"},"type":"statement","id":"Q2277498$2F768B8D-E6EB-44AC-A25A-700DEBCF586E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"86166313ad73a1de172ce82477a301f3a2b50f9f","datavalue":{"value":"principal ideal","type":"string"},"datatype":"string"},"type":"statement","id":"Q2277498$6B116DAD-8850-4251-88B1-F1698D04CB73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ce46d9493fa14f1e878f174a9c50e3df12b5bf68","datavalue":{"value":"residual mappings","type":"string"},"datatype":"string"},"type":"statement","id":"Q2277498$70CD2771-BF07-4F9A-AE3C-32478E900045","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d8d63bd162dbdb7e6310553fa4e73e95ac8f4ba9","datavalue":{"value":"complete lattices","type":"string"},"datatype":"string"},"type":"statement","id":"Q2277498$56090D07-0481-4628-AB32-9F5F7B623CE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"33e8625a83ee07ef2277f1a4bc804f0051506885","datavalue":{"value":"complete chains","type":"string"},"datatype":"string"},"type":"statement","id":"Q2277498$69E05339-2161-4506-9D29-DA3D29681108","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"70ed201e3415a0ea30d883cc59bb263ea850ec7b","datavalue":{"value":{"entity-type":"item","numeric-id":1042320,"id":"Q1042320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2277498$BF34B13D-3954-47B6-A8C8-8C05DB9A63F2","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":"Q2277498$D9152F07-83F3-4D03-A804-DA75F22BC55A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"82b12e1daf6e45d63d8a51f4caf9a5a0d84af071","datavalue":{"value":{"entity-type":"item","numeric-id":1264163,"id":"Q1264163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2277498$B5434FD5-EBD7-42C2-9EA8-9251D343FE48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a2e2417f93b9daa13012848673783da0d55f48c","datavalue":{"value":{"entity-type":"item","numeric-id":4018922,"id":"Q4018922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2277498$3E6BE8E7-5DBA-4DBC-A2D7-A7E702870307","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6bbf47437dde536cfcefddb5901c3ce0ea9e4ff5","datavalue":{"value":{"entity-type":"item","numeric-id":4056047,"id":"Q4056047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2277498$B77BF629-A127-415B-A1DE-AE2E74A26473","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6cb473c6026106fce5ad49a54be284a927657c08","datavalue":{"value":{"entity-type":"item","numeric-id":1086264,"id":"Q1086264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2277498$090A1614-F048-42D8-9CB6-B2A5A2209E99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"07dbad3a6cbbe109085e196fda3d0e411daa0766","datavalue":{"value":{"entity-type":"item","numeric-id":2527666,"id":"Q2527666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2277498$20160B05-4632-4CD5-9C6A-705E96008EA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3eae5926bb3ea30529f36ed5998f135010d759a1","datavalue":{"value":{"entity-type":"item","numeric-id":5533205,"id":"Q5533205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2277498$B9D29130-2E0F-4B1A-B451-861B63B9BB00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03f538de0fb504f2b0b674256b62b645861d4899","datavalue":{"value":{"entity-type":"item","numeric-id":3336431,"id":"Q3336431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2277498$64339459-B06D-4EDE-AA26-CFC5AD4030B6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c87f9859dcdc34eb3ed4c289eade9e93773139c5","datavalue":{"value":"W1974614459","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2277498$EB80740E-B544-47E7-8E81-949C5CF3C2CE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"920937f794d5c811937600b903f4e40e309847e2","datavalue":{"value":{"entity-type":"item","numeric-id":5896512,"id":"Q5896512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"781a80f32142a2d23e90d88d8e3ab1a2494252ef","datavalue":{"value":{"amount":"+0.8240947127342224","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":"Q2277498$095E1D2B-9BF5-4A74-B5FF-AC826665897F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f0b052da06c738255c1db2bb54195165f16ff393","datavalue":{"value":{"entity-type":"item","numeric-id":2388926,"id":"Q2388926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c7c50177cbb986e82b25152005cea2b459a2633","datavalue":{"value":{"amount":"+0.7788512110710144","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":"Q2277498$13B7B854-D7A2-4174-AC4D-37E4F52E1164","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea05d6926fda539e53f315e029dd940e06ab3fc8","datavalue":{"value":{"entity-type":"item","numeric-id":5134076,"id":"Q5134076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb40ecade04bbc59e874d1d03e6c93759cd50b1d","datavalue":{"value":{"amount":"+0.7738938927650452","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":"Q2277498$47833541-5AF1-442B-B5B1-9B8243E1F5E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4bb055331f7dd24cac92054629f780ea260d6d5f","datavalue":{"value":{"entity-type":"item","numeric-id":3071968,"id":"Q3071968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7799bc39278920edc5545d70921d23d1dca564db","datavalue":{"value":{"amount":"+0.7531811594963074","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":"Q2277498$B62A6B2A-48AC-42E2-AF3D-F8344115363B","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":"db2d0a5ab162fbf75236f4dbb32f062a2d39c81e","datavalue":{"value":{"amount":"+0.7418988347053528","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":"Q2277498$43030B70-7E7F-4EA5-9231-ABEE935F64C1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2277498","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2277498"}}}}}