{"entities":{"Q687635":{"pageid":689484,"ns":120,"title":"Item:Q687635","lastrevid":63615459,"modified":"2026-04-11T14:22:01Z","type":"item","id":"Q687635","labels":{"en":{"language":"en","value":"Congruences on ordered groupoids"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 436435"}},"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":"Q687635$27F255E7-5C34-471E-9988-A691D2A10FB3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"261a140c86d7358245e3c76ee9d119de5e0e1223","datavalue":{"value":{"text":"Congruences on ordered groupoids","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q687635$BDE9E336-F97C-4A5C-9316-B44518F1F088","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9a85fdc88c8cf952bce60cb6583b9178693b4c30","datavalue":{"value":"0790.06015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q687635$8464EC50-BEED-44E9-9222-3BBA1E0AD3DB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e23479f3a67a8f27549c7100265d8e119b0dcfce","datavalue":{"value":"10.1007/BF02573753","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q687635$120C4E66-9990-441B-8F5E-4EE74966EF6B","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":"Q687635$72400EF3-4201-4846-8ED6-05B3F4260183","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4da39dc52466ab31e48c9341de7b08f9f1ec72e3","datavalue":{"value":{"time":"+1994-06-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q687635$DC38E9EC-1480-4AF2-A823-934D96623574","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6bea86033d5e3ca8f5c24f72514eb005a6b78cf1","datavalue":{"value":"https://eudml.org/doc/135266","type":"string"},"datatype":"url"},"type":"statement","id":"Q687635$261D9A91-8810-46BF-877C-23AA683B7818","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"a335848af651696fa7ef07e4f6f0f9b31b1cef62","datavalue":{"value":"A category \\(K\\) such that each morphism is invertible with an ordering on the \\(K\\)-morphisms satisfying some axioms is called an ordered groupoid. Ordered groupoids play an important role in the theory of inverse semigroups because every inverse semigroup is described as a special ordered groupoid, see the Ehresmann-Schein Theorem. The aim of this paper is to develop a theory of congruences on ordered groupoids. It proves a First Isomorphism Theorem for ordered groupoids and the generalization of the Munn representation for ordered groupoids. As a consequence it explains a relationship between \\(E\\)-unitary covers of inverse semigroups and ordered groupoids.","type":"string"},"datatype":"string"},"type":"statement","id":"Q687635$C971BFEA-89A9-4FE8-9368-DE4C5AED6F53","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c37a2ebd177ad7250da57d7e7c99a314ea8d697c","datavalue":{"value":"06F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q687635$D8277EFF-8148-454F-A5FA-8BCD1BFA2FAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"983a596fcaf5e9f858c576e91f4228679d1d7d56","datavalue":{"value":"18B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q687635$2590B969-553C-42E2-A737-36F3B2AD9E75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"36d4ee2aca74c4c0df9926d6f3cf4629e4beb1fa","datavalue":{"value":"20L05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q687635$166F3562-D4EE-4279-9ED1-F4C23D1FE5C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4ac0e84a504a59b674a6c5271111dec0d2b6bb2","datavalue":{"value":"20M18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q687635$4E751C24-7996-438E-9E4C-5C0B0E7688DF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6e75e931d004d47c3b39eefa598815d47d05c98a","datavalue":{"value":"436435","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q687635$55A39FA5-1342-447C-8D69-70BAE06BAABD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"917a905a72e3e143479cc2141267d2647882cadb","datavalue":{"value":"inductive groupoid","type":"string"},"datatype":"string"},"type":"statement","id":"Q687635$3235B58F-E99D-4F82-8947-7CC89962D443","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"539ed9f6eff5e38b72a55f25bff8714fcfc082d4","datavalue":{"value":"invertible morphism","type":"string"},"datatype":"string"},"type":"statement","id":"Q687635$DEE85FAD-9605-4C41-B9A9-733DA0DD1197","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fc8073c875ef9504667acc7b906c70ebcbdc283f","datavalue":{"value":"ordered groupoids","type":"string"},"datatype":"string"},"type":"statement","id":"Q687635$7AAA5012-2A95-4058-AE80-6B14B54A31A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"094fe1e4d723ddc98de600ccad66b761ad85623d","datavalue":{"value":"inverse semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q687635$8AB465BE-5699-42A5-999A-60BBD3BF6081","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b14cd685c98a4ba07bb03380be5fdb0df906771e","datavalue":{"value":"congruences","type":"string"},"datatype":"string"},"type":"statement","id":"Q687635$805D701C-F994-47EF-82AD-09A527048349","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66fbe5a2d6dcc4f145c7db886ff4121385bafcc1","datavalue":{"value":"Munn representation","type":"string"},"datatype":"string"},"type":"statement","id":"Q687635$CA4587B3-EF22-414C-8758-B6693A011E27","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cf80c39af231c93232f1b929a10e333bca32fadc","datavalue":{"value":{"entity-type":"item","numeric-id":180891,"id":"Q180891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q687635$64C2B0DD-6040-4DA3-A9AB-35821FF24F1D","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"e77d710fff360ac5f5e834555bc2a388abb806e6","datavalue":{"value":{"entity-type":"item","numeric-id":409252,"id":"Q409252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q687635$2ADAA51C-AF2A-4859-AC73-8DAA93E75892","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":"Q687635$535217FB-0535-4E30-9520-E634BC14BAED","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"af32f9b12a84fe5da5b1ae5f84eab3028ddd5db9","datavalue":{"value":{"entity-type":"item","numeric-id":770496,"id":"Q770496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q687635$E4E0E69E-B5C9-46AB-A062-75A1325458CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"daa47a94ac394021b58afec91f4ee4a3623d1066","datavalue":{"value":{"entity-type":"item","numeric-id":5632789,"id":"Q5632789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q687635$812FE16C-B436-4735-8DCD-53A4EEE8FF8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc6a8c2708a853882cf63838266d9aa75cc82221","datavalue":{"value":{"entity-type":"item","numeric-id":4710575,"id":"Q4710575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q687635$7FB2DA51-4DB2-4F48-B051-9971477A627F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a771da5a4143614d66e61e5eb1c065796a9fe46","datavalue":{"value":{"entity-type":"item","numeric-id":4126563,"id":"Q4126563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q687635$AFA4133F-6251-4293-9FFD-E756DB4F00FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae56cbc30bf4e0ace39780e420d931108cdd0102","datavalue":{"value":{"entity-type":"item","numeric-id":4145861,"id":"Q4145861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q687635$8CDB43D8-9D66-4D2F-8DB7-CE00915A84BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"08c954433c392a61bb135283fa21f9f22b5219a4","datavalue":{"value":{"entity-type":"item","numeric-id":2277583,"id":"Q2277583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q687635$DBD5A56B-77E1-4683-A875-95DC6F7BDAFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6b503b9dd0ac53f35d2ec06092279154fbf9d84","datavalue":{"value":{"entity-type":"item","numeric-id":1326763,"id":"Q1326763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q687635$E4FE817A-EE8A-444C-A404-013B57245B9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9bf9c74a21eb13eb14be106a5c403ea45b480ea4","datavalue":{"value":{"entity-type":"item","numeric-id":2367887,"id":"Q2367887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q687635$82B8B0C1-348E-4073-BB9D-DDDF349845C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"67442374d0719d3c8df52a16860b98a48387f8ea","datavalue":{"value":{"entity-type":"item","numeric-id":1882659,"id":"Q1882659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q687635$1ADDA78B-7511-4B1D-95BB-A1B919EBB3E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0bf6e42c7025089ab9d5f372353652344c7dfb4b","datavalue":{"value":{"entity-type":"item","numeric-id":4693151,"id":"Q4693151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q687635$A143E3F3-C071-413A-9148-3EB0F04A5406","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"63f6ec4fe8dfae994fff88583945fbd9b4461297","datavalue":{"value":{"entity-type":"item","numeric-id":1242998,"id":"Q1242998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q687635$920C0319-6CAE-4EFB-B79F-DF53C3828935","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c3b6d792a5c26135370eb0c591aa266992c9b2bb","datavalue":{"value":{"entity-type":"item","numeric-id":3905477,"id":"Q3905477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q687635$1F1493BC-5E61-40FF-816D-650C03ADE913","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9822fe2328bf0193249275bb452ed9fd84598fc0","datavalue":{"value":{"entity-type":"item","numeric-id":3909232,"id":"Q3909232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q687635$F7241EA2-F32E-4E38-8C07-39EBA8F6D5B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c53d57a230b4bbfeeca49cf0ac14239a914a144e","datavalue":{"value":{"entity-type":"item","numeric-id":3337662,"id":"Q3337662"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q687635$0C6DBB55-636E-44EC-8C6C-784E192E8FF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f5b69488d16153236657102b9019cf1f8d157fad","datavalue":{"value":{"entity-type":"item","numeric-id":1158507,"id":"Q1158507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q687635$BC0E278A-F500-42D5-83D7-F1C2E6C2A9F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"075fd784c2ffb4b5b42a766e5c199cf775b4bb69","datavalue":{"value":{"entity-type":"item","numeric-id":4071939,"id":"Q4071939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q687635$44C18893-BD99-4CF0-8652-9FB000CA8A1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"96703971188acd09fec82a0157cc8c738714a3f4","datavalue":{"value":{"entity-type":"item","numeric-id":5596892,"id":"Q5596892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q687635$D7DB52E1-AAF6-4B8A-ADA8-121257276022","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb3700225cccad8d2a53c9c6068f512f4e7283b1","datavalue":{"value":{"entity-type":"item","numeric-id":5596893,"id":"Q5596893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q687635$7F83B400-3B4B-48D6-8728-EB4A5953BDBA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bc717bde98aa0fabdf6cca20d314224641bd384d","datavalue":{"value":{"entity-type":"item","numeric-id":1177273,"id":"Q1177273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"136961649e18972d7ac8a94c746f654bf960315b","datavalue":{"value":{"amount":"+0.821774959564209","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":"Q687635$E4856F36-D499-4991-9844-3754FE261344","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"71eaf845d367c3dd870b3eb0f1485b2d4b58ef43","datavalue":{"value":{"entity-type":"item","numeric-id":5429968,"id":"Q5429968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cec7b92786ecd2a573d5839c8d6f8a1ac1796b29","datavalue":{"value":{"amount":"+0.8129956126213074","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":"Q687635$49CA627F-60B0-40FD-B98C-BE91146F5B25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9143d8d8e6e76894c0eb3a70ce63a0616c7ec060","datavalue":{"value":{"entity-type":"item","numeric-id":4585019,"id":"Q4585019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1669cb8769213ebc5cb7a1d61ceb8661a2ef9778","datavalue":{"value":{"amount":"+0.803216278553009","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":"Q687635$0CA871F8-D905-469E-9EE3-116ABDB64673","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b36b43665ff8e04e3b3c191323dabb79a093a97","datavalue":{"value":{"entity-type":"item","numeric-id":1906478,"id":"Q1906478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d1b75c0677664ccbe665f715ec93c3941502f976","datavalue":{"value":{"amount":"+0.7977765202522278","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":"Q687635$2518A28F-B48D-4D96-9224-06758989180E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"27781a9f2a275d0d4b53ec9dbc39cad067ded4c0","datavalue":{"value":{"entity-type":"item","numeric-id":4934081,"id":"Q4934081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d1b75c0677664ccbe665f715ec93c3941502f976","datavalue":{"value":{"amount":"+0.7977765202522278","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":"Q687635$37A5D464-3F8F-4849-A178-D4F788D53CD8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Congruences on ordered groupoids","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Congruences_on_ordered_groupoids"}}}}}