{"entities":{"Q1279671":{"pageid":1290421,"ns":120,"title":"Item:Q1279671","lastrevid":70062993,"modified":"2026-04-13T12:10:57Z","type":"item","id":"Q1279671","labels":{"en":{"language":"en","value":"Unary hyperidentities for varieties of inverse semigroups"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1251162"}},"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":"Q1279671$AED64E89-5FB3-41BC-B51A-042D094D2280","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a24fb2d40c911bb0541d82ab6c03b1935048b776","datavalue":{"value":{"text":"Unary hyperidentities for varieties of inverse semigroups","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1279671$79907BE7-B5D7-4135-8AB8-AEADD5E998CD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"90247b90a21b0dccd536c91a0630adf742882521","datavalue":{"value":"0919.20037","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1279671$95D22FC7-F80B-4123-8C61-3C0EA3C013FE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9435ceadfb51ae044bb9c79cb966a7cc82b9ff80","datavalue":{"value":"10.1007/PL00005994","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1279671$C4C46596-B6BF-422E-A730-917BC2370F37","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9e47d94cb50e8bff7e07db91cf2e29b89383adf9","datavalue":{"value":{"entity-type":"item","numeric-id":1223001,"id":"Q1223001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1279671$2F779761-9DE9-4BAD-A88C-E8723E9E578A","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":"Q1279671$CBF2BA93-734F-41FA-A17C-A2DFB2EF2993","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2d38e53adff89f3b423353584daf8950b172977c","datavalue":{"value":{"time":"+1999-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":"Q1279671$C032C023-0475-4DA9-952B-C705CC8B49EF","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"a9f4e8bd7f16a6ace611e29ec1a779d22d1f1665","datavalue":{"value":"Hyperidentities of an algebra resemble identities, but contain variables representing operations as well as elements. There has been considerable interest in hyperidentities of varieties of semigroups, which have a rich enough structure to be interesting, but are relatively accessible. Because of the extra operation involved, hyperidentities of inverse semigroups seem somewhat more difficult to handle. Thus the authors of this paper are considering only the case where the operation symbols are unary. They made a start on this endeavour in a previous paper [Semigroup Forum 55, No. 2, 221-231 (1997; Zbl 0885.20034)] where they considered only unary iterative hyperidentities. In this paper they investigate all unary hyperidentities for inverse semigroups and show that they can be associated with varieties defined by the following sets of identities: \\(x=y\\), \\(xx=x\\), \\(xx^{-1}=yy^{-1}\\), \\(xx^{-1}=x^{-1}x\\), \\(x^nx^{-1}=x^{-1}x^n\\) (\\(n\\geq 1\\)), \\(x^n=x^{n+m}\\) (\\(n,m\\geq 1\\)).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1279671$A993612A-ECB8-4780-AA3C-E36FAACB833A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e5fb4697c93e6483e0ffbb93428a373e0646b68d","datavalue":{"value":"20M07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1279671$ABDB0B0D-C49E-4882-A9BA-399E1999BA12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4ac0e84a504a59b674a6c5271111dec0d2b6bb2","datavalue":{"value":"20M18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1279671$11BDB8FC-9EBC-4962-832D-09B7F1F8D4A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"03468f1d5abafefed311cc9ccae9ddd73ff4dbd8","datavalue":{"value":"20M05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1279671$2C003251-F301-4275-86AE-08094D753F6D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"497cefe0e167d0020aee880309340126df916937","datavalue":{"value":"1251162","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1279671$B1DB84C2-7D55-4DD3-8D4B-4469772DCC2E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4b5ef52bedc0db72dc2f4f18042199799bed1ceb","datavalue":{"value":"hyperidentities","type":"string"},"datatype":"string"},"type":"statement","id":"Q1279671$5D03F4A6-6332-49C6-882D-D9DF9228830C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b012fe2df0cdf8092da8e4c2d9b174f67cc97109","datavalue":{"value":"varieties of inverse semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1279671$F423A553-CF84-4E1B-924E-995DF040BC94","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"f8414a3f118214cb0e61ac619ce4c188ec75d9e3","datavalue":{"value":{"entity-type":"item","numeric-id":587989,"id":"Q587989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1279671$E707D16F-F33C-498F-96F0-1962048C66DC","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":"Q1279671$35C4A75D-35D7-42EE-9DBB-5252DBCE8B59","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b3104579f4c0f76852e42761ceb9a2ad7691c753","datavalue":{"value":"https://doi.org/10.1007/pl00005994","type":"string"},"datatype":"url"},"type":"statement","id":"Q1279671$C65A7762-A6C6-4B59-83EC-CCD335DAFABC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"dabbbd4b92cd4d18b65721c28a9da99e4cebfb82","datavalue":{"value":"W1993112979","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1279671$D5C35CFC-7518-4547-BA4F-661FE460BD0E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b9f68c2105f0d5f5caaa5558ce25e9365ff1a534","datavalue":{"value":{"entity-type":"item","numeric-id":1365578,"id":"Q1365578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"406228f117bf1aa733f282e685e2318d73410ea9","datavalue":{"value":{"amount":"+0.96354","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1279671$593EDD79-45B9-4D6A-A76D-00FB81D013DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"51404096e99a889492113061904b4e9218aad31a","datavalue":{"value":{"entity-type":"item","numeric-id":583257,"id":"Q583257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a1013764faa7fdff7841f92a13068ffc64af441e","datavalue":{"value":{"amount":"+0.9246125","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1279671$87E57237-4722-4CA8-B2A8-F7ED9625041C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f8adb9279ca723efa5eabb1697b8308376fbbeb8","datavalue":{"value":{"entity-type":"item","numeric-id":2772743,"id":"Q2772743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c72a55cc841ee609669a352c834b3dc557d797c","datavalue":{"value":{"amount":"+0.9146807","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1279671$8B7247B8-10C3-429F-8EB7-73CF88CE08D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f226a33624198932d1d26c35e416cce6da99d096","datavalue":{"value":{"entity-type":"item","numeric-id":4210661,"id":"Q4210661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a43de6bf782e79475bc1e07e52088a3bbc801e3","datavalue":{"value":{"amount":"+0.9125882","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1279671$9E220F6E-ABDD-43D2-A3F3-6179F37F9157","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"45587d51abd3e110c16f3136bba203f4136d8505","datavalue":{"value":{"entity-type":"item","numeric-id":2825080,"id":"Q2825080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd02bb0e151c26dd2461fe087062a332541c8155","datavalue":{"value":{"amount":"+0.9124529","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1279671$02879DCB-8397-40BE-B650-EA78E99EDB0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"481de34a8577bd0786a21e51a69fb8ec5373f651","datavalue":{"value":{"entity-type":"item","numeric-id":1092171,"id":"Q1092171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"94ed966fad3cc0143937ce2750355d5f818ad181","datavalue":{"value":{"amount":"+0.90996486","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1279671$0232FCE0-D23D-492B-90BF-1F284A3E599F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f0518f91a2e4209d203e32faf048105c33f2aff9","datavalue":{"value":{"entity-type":"item","numeric-id":1175932,"id":"Q1175932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5d8ab5379d7b4a8b2d10236b6b4f6aedf82a4490","datavalue":{"value":{"amount":"+0.9090736","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1279671$97EC4A5B-266D-4E3D-BB04-E56D0F58099C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fbefc9465b454c16de8223069909b0b4bf497878","datavalue":{"value":{"entity-type":"item","numeric-id":1363436,"id":"Q1363436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c759be0155869bc5cc04a3f92ec785fa57963f66","datavalue":{"value":{"amount":"+0.90095043","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1279671$EEFC6203-9058-43E4-9401-F349DB5A1EF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"10cc2698cb377d9ccd7296018878d0390fefdb99","datavalue":{"value":{"entity-type":"item","numeric-id":2178386,"id":"Q2178386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c62fae42428500df27db666f632701fd13f628f3","datavalue":{"value":{"amount":"+0.90030897","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1279671$462FC8C5-C160-499C-8588-9445C76838D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b545e709276665ec023319d01685e95b90cd067d","datavalue":{"value":{"entity-type":"item","numeric-id":1344838,"id":"Q1344838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc5c8225851eb50b1cf58881f4085805baf136c2","datavalue":{"value":{"amount":"+0.8986561","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1279671$AFFDD81A-A057-4678-AEB4-FB69B5E02881","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Unary hyperidentities for varieties of inverse semigroups","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Unary_hyperidentities_for_varieties_of_inverse_semigroups"}}}}}