{"entities":{"Q800391":{"pageid":802239,"ns":120,"title":"Item:Q800391","lastrevid":64552602,"modified":"2026-04-11T20:39:49Z","type":"item","id":"Q800391","labels":{"en":{"language":"en","value":"Ordered sets which support inverse semigroups: three examples"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3875351"}},"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":"Q800391$B76988A7-D61E-4E7D-946D-866CCCC855B8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ffaee00b210c396d97f403f84d29ed6073f4cac5","datavalue":{"value":{"text":"Ordered sets which support inverse semigroups: three examples","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q800391$96CAC426-D6E4-4E78-B190-919F39A58B51","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"99036f2db38ed8d75e1508ed0541dcecee2adc32","datavalue":{"value":"0549.06007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q800391$9DD77EA9-A245-486E-A027-FDF01BA0138B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"57e57b0b1f53f7e12582d18189d0420f31870988","datavalue":{"value":"10.1007/BF02573453","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q800391$340CF947-F6AF-4046-BF0D-273340CF7B99","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"381d965560e5f6eedba1edea1e0a7ee219d52e00","datavalue":{"value":{"entity-type":"item","numeric-id":675218,"id":"Q675218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q800391$FEA57A9F-AA7C-4E29-9F5E-71F972EEBB20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7dea7267854c5bcb2fa7a028843ebfb9fc60c804","datavalue":{"value":{"entity-type":"item","numeric-id":175797,"id":"Q175797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q800391$BD296A19-8FB5-4F13-9B2C-4CCD32242F8F","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":"Q800391$AE9D9055-5246-4BB5-93BB-0F3FB23AADC3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ee0f220147ae8bc749a64db56839865dbc4f127","datavalue":{"value":{"time":"+1984-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":"Q800391$88704479-2235-4D23-A232-B4A7447362AC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c4448dcfce7822741c7aefdcd83d07694689a3dc","datavalue":{"value":"https://eudml.org/doc/134719","type":"string"},"datatype":"url"},"type":"statement","id":"Q800391$A4CE08DA-A303-402B-BCED-C6F5AD2C42ED","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"404293f91ad91578140e84ab66a1f8f66e49fb1a","datavalue":{"value":"A partially ordered set (A,\\(\\leq)\\) is said to support an inverse semigroup if there exists an inverse semigroup (A,\\(\\cdot)\\) for which \\(\\leq\\) is the natural partial order. \\textit{V. V. Vagner} [Mat. Sb., Nov. Ser. 32(74), 545-632 (1953; Zbl 0053.206)] gave a result that if a and b are upper bounded elements of S, then a and b have a greatest lower bound. The authors give (1) an example of a partially ordered set which satisfies Vagner's condition but does not support any inverse semigroup, (2) an example of a partially ordered set which supports an inverse semigroup but does not support any inverse semigroup which is a semilattice of groups, and (3) an example of a partially ordered set which supports an inverse semigroup which is a semilattice of groups but does not support any commutative inverse semigroup.","type":"string"},"datatype":"string"},"type":"statement","id":"Q800391$7BA4E93D-47E5-43A4-82C4-FEE212A3FDD7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c37a2ebd177ad7250da57d7e7c99a314ea8d697c","datavalue":{"value":"06F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q800391$1EAFAD04-69BB-47E2-9AF2-5EEF49ABEEB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e037813de56311048f7e0a208650360505bf4d4e","datavalue":{"value":"06A06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q800391$82868D8D-9E97-40FF-B174-21220457A31F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"da4486fba5293e43f43fa118be7b2896ee43bba4","datavalue":{"value":"20M10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q800391$3058FB7D-8B2D-4939-9BA9-C805C2108A42","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"142ab2317030cdccbc7c2df25fffe66f03647b26","datavalue":{"value":"3875351","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q800391$CBF78057-476E-4C6D-B158-C17530320FDA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0da0f5147540e5ff9abe1a7fedfdb0d575bb38f3","datavalue":{"value":"partially ordered set","type":"string"},"datatype":"string"},"type":"statement","id":"Q800391$2EBE41D2-1935-448F-86DF-9283694DCC12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"671b7e2851abb81699e6f9474b39e96bfcf80287","datavalue":{"value":"inverse semigroup","type":"string"},"datatype":"string"},"type":"statement","id":"Q800391$56E2E315-3C7A-43BB-8703-0420BEC42614","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3abf8b905779653f4c01cd72c5725844d7ec90d","datavalue":{"value":"semilattice of groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q800391$7A831EBD-68C7-46F8-8C6C-A3F1A353B2D7","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":"Q800391$3749ECEB-56D9-4550-9181-CB00DEA99BC1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e2c59f623961c0546ef9ca9945d77ef79c3bac2","datavalue":{"value":{"entity-type":"item","numeric-id":4109656,"id":"Q4109656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q800391$19602D2F-AD25-40E7-9ACE-40ED4E45A6E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6f38ff966350be19068835b6a1502cc0a672c99","datavalue":{"value":{"entity-type":"item","numeric-id":3506242,"id":"Q3506242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q800391$13560B5E-0899-47BF-ACB7-71E87BBB3D78","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a242f44eb35983417f7fc38992dfd1a7dfce0aaf","datavalue":{"value":{"entity-type":"item","numeric-id":4837811,"id":"Q4837811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"61d96c367c7747d20bad7bbedd11a0808abbc5d2","datavalue":{"value":{"amount":"+0.7690733075141907","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":"Q800391$3A1E9E78-8C77-40B3-B75B-F299B3350913","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95313ce16119ea881bfe90dfd90e8dd826464d3b","datavalue":{"value":{"entity-type":"item","numeric-id":5429975,"id":"Q5429975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"05f65de1eb08a18dcac544e9140d77c6cbc1e7b1","datavalue":{"value":{"amount":"+0.7457354068756104","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":"Q800391$8040D377-1446-49EA-932C-5F37DDBA3539","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"83f6d2002b55ac578a1262146e83f206f5914e95","datavalue":{"value":{"entity-type":"item","numeric-id":3775724,"id":"Q3775724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff933e090c9228ac50e10e5b5f12936b49af06b4","datavalue":{"value":{"amount":"+0.7443879842758179","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":"Q800391$50F96792-C1C9-47F1-9C7D-3C215AE1B2ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"844547f6621056c722832b50a7889952e59bc9e1","datavalue":{"value":{"entity-type":"item","numeric-id":3573987,"id":"Q3573987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f5e4f233a2812a6eb9e5c656b9797c2ff907f401","datavalue":{"value":{"amount":"+0.7406507134437561","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":"Q800391$0AA95572-71D1-4623-8B81-AAA97788CD2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"71298d28a0ab1cd8fa8a78c47ac3fc297b23fd68","datavalue":{"value":{"entity-type":"item","numeric-id":1386722,"id":"Q1386722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b86e1c44672fc8a5bdd1c1ba4d0f705c10bb4529","datavalue":{"value":{"amount":"+0.7321964502334595","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":"Q800391$A6998449-984B-4946-8F4C-3BC697029A2F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Ordered sets which support inverse semigroups: three examples","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Ordered_sets_which_support_inverse_semigroups:_three_examples"}}}}}