{"entities":{"Q2772743":{"pageid":2783481,"ns":120,"title":"Item:Q2772743","lastrevid":83180087,"modified":"2026-05-07T06:32:25Z","type":"item","id":"Q2772743","labels":{"en":{"language":"en","value":"Hyperidentities in semigroups"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1708187"}},"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":"Q2772743$D5B11DF8-80A1-47D7-965A-BA2E04FF07EE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fedbd316e7b1cd1b466ad7366331874483231caa","datavalue":{"value":"0998.20050","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2772743$E209FB26-7341-4474-9F8C-D9D2F1902336","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"48a3ff1d817d1b69c87ea41d273be250b65bac94","datavalue":{"value":{"entity-type":"item","numeric-id":345246,"id":"Q345246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2772743$22FA0088-BC12-4E07-83AF-6F7926CC5042","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1948f08a4f47c85a584ad15f0f75d019af30839f","datavalue":{"value":{"time":"+2002-11-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2772743$D7270FD4-BCCE-47A4-8B46-710B6CFE8895","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e5fb4697c93e6483e0ffbb93428a373e0646b68d","datavalue":{"value":"20M07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2772743$D8D8EA5E-F8A3-48D7-8918-86F9510159CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a81ca5b8726a2034b277ccf6907b245cba0e29b4","datavalue":{"value":"08C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2772743$78961C03-57ED-42A6-AED8-B5E3CA0668F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a65487c7726591096aeacf67e5838b6764f4f370","datavalue":{"value":"08B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2772743$B3BC6FDF-AC2A-4452-9C3C-E47C93A8BA46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2772743$F433D605-2D01-45CF-B8D9-E53D2681DE1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"03468f1d5abafefed311cc9ccae9ddd73ff4dbd8","datavalue":{"value":"20M05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2772743$565D7145-4EA1-4E49-824D-94CCDF421149","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"15ff62c559dfc68efe7fd3a0ee8c70f9521285fd","datavalue":{"value":"1708187","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2772743$CCAFE1C2-8D86-4E22-B3FF-EE16D35EED08","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"823c19a94366130a3fa49268f9ec12ef0e4a1bbf","datavalue":{"value":"hypersubstitutions","type":"string"},"datatype":"string"},"type":"statement","id":"Q2772743$02F19ABF-9A5A-499F-ABBB-9E5020186115","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e8370f09846d08cccd37cf75e3140f2c65445a1d","datavalue":{"value":"solid varieties of semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q2772743$ED2D6B93-B3E1-4910-B3AF-63C4C0DE5087","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f88f3f2d817af29ebedd4815046bb1d6447f1b7e","datavalue":{"value":"hyperidentities in semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q2772743$95ED4764-18AB-4D69-BC6C-CA904A0141DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"997806157f7e18f0966c26f6211a1a9b444e0eae","datavalue":{"value":"model classes","type":"string"},"datatype":"string"},"type":"statement","id":"Q2772743$1382E798-9DFA-4264-A0FB-8DA517832496","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":"Q2772743$831D5EAB-A4D4-4901-A4EE-60437FC744C6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7778d3e5d21690263809aeb6df71d4b4d208eabe","datavalue":{"value":{"text":"Hyperidentities in semigroups","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2772743$2C47AEA6-DFE6-48E8-95A5-A306D00FE203","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"a2d22e907c215798cc2e18357859bd702c463594","datavalue":{"value":"Hyperidentities are formulas in a second order language where quantification is allowed as well for individual variables as for operation symbols. This paper is a very nice survey on the theory of hyperidentities in semigroups, its model classes and applications. Several important and recent results and numerous open problems of this theory are presented.NEWLINENEWLINEFor the entire collection see [Zbl 0972.00067].","type":"string"},"datatype":"string"},"type":"statement","id":"Q2772743$5E73C38D-949E-4EA0-952D-AC63E297157E","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"9f7aeee4e278d8cbe380f4db4e0553d140395568","datavalue":{"value":{"entity-type":"item","numeric-id":1408758,"id":"Q1408758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2772743$D0DAF30B-674E-4F69-95C5-9F93A54748C7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8b4229ef3d70f1fde07d9f7b7234538dde9720e7","datavalue":{"value":{"entity-type":"item","numeric-id":4531621,"id":"Q4531621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd85db7a04c61f2c6cd689a4c548d32f89de7c4f","datavalue":{"value":{"amount":"+0.8600013852119446","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":"Q2772743$6D5D9A79-248B-4A5E-84A5-BF63F5FA6E5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ace4e77fe994337386396437dbbc1d2c67a90eb1","datavalue":{"value":{"entity-type":"item","numeric-id":4763288,"id":"Q4763288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd85db7a04c61f2c6cd689a4c548d32f89de7c4f","datavalue":{"value":{"amount":"+0.8600013852119446","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":"Q2772743$0897B9FD-3B2C-4CE5-BB2D-A440B5D303D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"20e523e9b02949cc99e8c241bdd8f70999816f4b","datavalue":{"value":{"entity-type":"item","numeric-id":3138868,"id":"Q3138868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7bee6baa3c061ef7d49af8ce471db55b9b020f59","datavalue":{"value":{"amount":"+0.8495408296585083","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":"Q2772743$8885020B-1AEB-47CF-BC2C-3A65EFD0E539","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ac252ef0d0a6339f7021ba941aafb3c415fe56a","datavalue":{"value":{"entity-type":"item","numeric-id":4606689,"id":"Q4606689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ee7a4509fa69b3a1f64b929b8ef48b73b4a47c5","datavalue":{"value":{"amount":"+0.8492701053619385","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":"Q2772743$7D1E9C5A-4757-4D78-B30B-E1446E49B3FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b405bba9a6a5badaebaa72a58d2599c54b5ba3a","datavalue":{"value":{"entity-type":"item","numeric-id":4510394,"id":"Q4510394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"59be2c8c97d4b8dbaef02eec1f0309281a303783","datavalue":{"value":{"amount":"+0.8389365673065186","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":"Q2772743$B5D8C2CC-A857-4DB0-938F-83AC18CE0102","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Hyperidentities in semigroups","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Hyperidentities_in_semigroups"}}}}}