{"entities":{"Q1313472":{"pageid":1324222,"ns":120,"title":"Item:Q1313472","lastrevid":68433234,"modified":"2026-04-12T23:40:31Z","type":"item","id":"Q1313472","labels":{"en":{"language":"en","value":"Extending partial isomorphisms and McAlister's covering theorem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 492602"}},"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":"Q1313472$4EBFC99B-8EBA-4A8F-9F29-92F8E8AF80EE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b5df3ae2150375395e88f3cd789693db13f52af1","datavalue":{"value":{"text":"Extending partial isomorphisms and McAlister's covering theorem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1313472$7CF20D26-E761-494B-97C0-71AB61D3E427","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5908e47878c12a8d0f188ab0544017a9019b4795","datavalue":{"value":"0791.20075","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1313472$CB7C6245-CA3E-4B33-884E-01AB1F6A1C07","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"30fd2e454e864bd761edc3fb664adc551794f3e7","datavalue":{"value":"10.1007/BF02573650","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1313472$FBBBCDCA-B280-4C07-AA26-6A1A88F294AB","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":"Q1313472$9B3D4C98-2823-40A3-ACD7-F83F20712939","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":"Q1313472$45C255A5-CB08-47BF-A0DD-14B04188777C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"80a28c5f01d163e3594f6d2c260cd3e3a172c9ad","datavalue":{"value":{"time":"+1994-07-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1313472$467CD802-AC38-4898-B195-F62033D1FA27","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"921f596b8ad71f40196787ea3e25068bacd319e0","datavalue":{"value":"https://eudml.org/doc/135293","type":"string"},"datatype":"url"},"type":"statement","id":"Q1313472$E45C8749-2421-40E5-8034-ED23A21E461E","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"d693182bf3e3bf7ffa0d8b71ae8b52122f4b0498","datavalue":{"value":"Inverse semigroups are the abstract counterparts of the semigroups of partial one-to-one structure preserving functions of many mathematical structures. Given such a semigroup \\(\\Gamma(\\Sigma)\\) of partial functions of a structure \\(\\Sigma\\) it is a natural question whether \\(\\Sigma\\) is a reduct of a structure \\(\\Sigma'\\) of the same type with the property that every element of \\(\\Gamma(\\Sigma)\\) is the restriction of an automorphism of \\(\\Sigma'\\). Thus \\(\\Sigma'\\) is a (generalised) HNN-extension of \\(\\Sigma\\). In this paper, it is shown how the abstract relationship between \\(\\Gamma(\\Sigma)\\) and \\(\\Gamma(\\Sigma')\\) can be formalised within the theory of ordered groupoids, and that this leads naturally to the definition of McAlister triples, and the existence of \\(E\\)-unitary covers and factorisable embeddings.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1313472$17F9F3D7-C16D-4F46-B812-1795C41CBF58","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4ac0e84a504a59b674a6c5271111dec0d2b6bb2","datavalue":{"value":"20M18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1313472$130E0121-2CF6-4F0D-81A4-116AB084A35D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"da4486fba5293e43f43fa118be7b2896ee43bba4","datavalue":{"value":"20M10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1313472$46517C8E-98CC-465C-B6BB-259282DE6C4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"28c26f343d909e4a66e25387c3adc02e650c67e8","datavalue":{"value":"20M20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1313472$4692D1FC-9061-4E03-AEAB-E59C964757F3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ea2416a3abe7a9898fa2fb550d5db700a6c8de30","datavalue":{"value":"492602","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1313472$667512D0-25A3-47FE-8DE4-144FBEF027B2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"094fe1e4d723ddc98de600ccad66b761ad85623d","datavalue":{"value":"inverse semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1313472$7AF74863-2652-4B07-8AA7-04FD02AE8352","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9c135e094551be796b822d33e83647aaf8351cd9","datavalue":{"value":"semigroups of partial one-to-one functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1313472$33C33DC1-C32B-4504-A63C-8562AE68C352","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb4987963ce2ce5a2cbda3e044ad863451bb2c5a","datavalue":{"value":"generalised HNN-extension","type":"string"},"datatype":"string"},"type":"statement","id":"Q1313472$BEC50557-EC92-4792-8969-628C679DC286","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d0a4137cec8781711c568cdd66c15b894b3430ef","datavalue":{"value":"reduct","type":"string"},"datatype":"string"},"type":"statement","id":"Q1313472$B7F8457F-83E8-4C18-BE29-4DD44D87F882","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fc8073c875ef9504667acc7b906c70ebcbdc283f","datavalue":{"value":"ordered groupoids","type":"string"},"datatype":"string"},"type":"statement","id":"Q1313472$64746701-0D71-4D59-A1D5-F68835C26D6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1d652efda3f73dca1c8daad640b514d23b682a3c","datavalue":{"value":"McAlister triples","type":"string"},"datatype":"string"},"type":"statement","id":"Q1313472$ABEA68B4-6971-4584-8391-9437C0253DEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bf0680fe0711ce57b53259f49cca5be13a0ed541","datavalue":{"value":"\\(E\\)-unitary covers","type":"string"},"datatype":"string"},"type":"statement","id":"Q1313472$9D33C73A-DA8C-40EC-9038-8FDBDA3D8C4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f2cb5d1d5b18e016ab8a8d5b8a63e1ff88829d08","datavalue":{"value":"factorisable embeddings","type":"string"},"datatype":"string"},"type":"statement","id":"Q1313472$865CB4B3-AECF-49E2-AAD5-109AC07246AA","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":"Q1313472$5BD46A86-7E31-4D59-B23F-17D27DFABB7F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"691d04ec60aeada19c723686c12499fcbeb7280d","datavalue":{"value":{"entity-type":"item","numeric-id":3708174,"id":"Q3708174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1313472$DB53527A-55A6-4C14-BC36-EFBD351B961D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9f6716521d224544da29c623999f5dab5d1712a","datavalue":{"value":{"entity-type":"item","numeric-id":4023926,"id":"Q4023926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1313472$B00E2E01-9892-4A8F-98A1-81050A6B1EA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23864062d75dab2801a4a1fa8e29e18425c1e938","datavalue":{"value":{"entity-type":"item","numeric-id":2560797,"id":"Q2560797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1313472$3CBC7951-7FC9-408A-BA75-92D90FC2B4C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c169618aed507c8b9df1220e1260bccfbafaba8","datavalue":{"value":{"entity-type":"item","numeric-id":4003180,"id":"Q4003180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1313472$583B09CD-2DD7-46F5-89CE-C10C2DBDC1C9","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":"Q1313472$5A563E18-88FF-4B9F-9016-174F6FFF8374","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e341cd5f95066da6e587bd06867c92e8177a6804","datavalue":{"value":{"entity-type":"item","numeric-id":5792061,"id":"Q5792061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1313472$7F99E04C-8A64-4AB7-824E-E4247EEC4091","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":"Q1313472$9F68B31F-96EC-46C2-A714-5658A7324011","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":"Q1313472$8A5AD002-093C-4E68-A05D-36C83C9F32AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6cc602b36dd1af0b7234b24d8cb4f61a91a80827","datavalue":{"value":{"entity-type":"item","numeric-id":3837394,"id":"Q3837394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1313472$6EB358C6-46B3-468F-BC30-D4C442B6028E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa8a33777b2382971773f736bd1c0295f383e5f9","datavalue":{"value":{"entity-type":"item","numeric-id":1096714,"id":"Q1096714"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1313472$B809615F-EF16-4EAB-8321-D4B190D016A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a7245147d27c25e598a12a3db0ea22e7429e25e","datavalue":{"value":{"entity-type":"item","numeric-id":4050801,"id":"Q4050801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1313472$0101F682-5FAA-438E-BD5C-FAA70E361E35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d38e9da929649dc560476f8dd6099510bad9256","datavalue":{"value":{"entity-type":"item","numeric-id":4050802,"id":"Q4050802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1313472$D8133125-3E00-432C-8952-7E7B302522A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e23f6086da879180b31245000d3e673bfd55b41","datavalue":{"value":{"entity-type":"item","numeric-id":3679396,"id":"Q3679396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1313472$7DA50331-55C0-4E5D-951C-9E282F103BD8","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":"Q1313472$A1884B2F-EBA5-4676-A732-CB46C8809608","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":"Q1313472$B14AC6EC-8D98-4031-8D90-064C1FC60B27","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":"Q1313472$C0640288-9327-49B1-9F06-9001DC8A0080","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9ddb29aed18ff8a7e71e73cff1e94a8bb5ac54da","datavalue":{"value":"W2073257380","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1313472$EBB4D170-EB68-43DB-80A5-858594C7AAF6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"51f260e9409a666a9f20e533e134cb8fa6151c91","datavalue":{"value":{"entity-type":"item","numeric-id":579419,"id":"Q579419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"206713ea1b42b283d82628bc216c1b6d2dbf615b","datavalue":{"value":{"amount":"+0.7957023978233337","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":"Q1313472$CB496008-E45F-432D-917A-B19147FA6C2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"24a158d9d89eb55652d126945bdb4b7fe2ed619a","datavalue":{"value":{"entity-type":"item","numeric-id":1421817,"id":"Q1421817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b2510bc1f395b5d7c4d544ac341aabca327541a","datavalue":{"value":{"amount":"+0.778701901435852","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":"Q1313472$372B27E8-65DC-4027-908E-38EEC51370F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0da56fb71609394befb138f5dfb9324d975fd0a0","datavalue":{"value":{"entity-type":"item","numeric-id":1425087,"id":"Q1425087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"668965fce0a97f83830ab827ac30b140cfdc2da9","datavalue":{"value":{"amount":"+0.7715195417404175","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":"Q1313472$245D2301-5C79-4B2C-9FA9-171AC7E88B4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"56eef07fa3f8951f9e9d1427f788200edd37d257","datavalue":{"value":{"entity-type":"item","numeric-id":1326763,"id":"Q1326763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f0fadd79e6cb659899854499c853c6322caeb89b","datavalue":{"value":{"amount":"+0.7702387571334839","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":"Q1313472$0C86E309-B5EB-442B-8754-6ED70653328B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"614b00e1ff86a3706015aa08bc9ae8a455101ef4","datavalue":{"value":{"entity-type":"item","numeric-id":4289461,"id":"Q4289461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ecc85c5f414d65e81756007f8a897f84846af3e9","datavalue":{"value":{"amount":"+0.7682138085365295","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":"Q1313472$377D902F-BF11-454E-A347-3778DB9645F2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Extending partial isomorphisms and McAlister's covering theorem","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Extending_partial_isomorphisms_and_McAlister%27s_covering_theorem"}}}}}