{"entities":{"Q861607":{"pageid":863455,"ns":120,"title":"Item:Q861607","lastrevid":50010232,"modified":"2026-01-12T15:19:12Z","type":"item","id":"Q861607","labels":{"en":{"language":"en","value":"Hyperidentities and solid varieties"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5119641"}},"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":"Q861607$1D7602DB-840C-42CB-87CE-28B91C4C7D30","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"832bae0cfe1d96afe247a6435e2ef451c324c5a6","datavalue":{"value":{"text":"Hyperidentities and solid varieties","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q861607$1CF7579D-5286-4E68-8372-017D84411028","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4110dd30dfe92b78828cb704d6e0c8c99d36f871","datavalue":{"value":"1110.08004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q861607$DB7E0215-6117-4354-875F-DC306F0D1605","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"055276adb0f13cc00236038e55eb272a6721420a","datavalue":{"value":{"entity-type":"item","numeric-id":583256,"id":"Q583256"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q861607$50574719-5013-421B-82AD-937F1041C4ED","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8fa179c8715004e2374d4db0c3ce41b39558e95d","datavalue":{"value":{"entity-type":"item","numeric-id":178112,"id":"Q178112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q861607$4310D8EA-B4C7-4B2C-9C6A-F6EF1D730425","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ba4941e2a349928a5b283a5f41bffc4e70697d62","datavalue":{"value":{"time":"+2007-01-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q861607$FC060524-9F74-4FF3-9FFE-E2FE82F6A011","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"8feb32c900f0e28241724bf0c6a7951276c42bf9","datavalue":{"value":"Consider a fixed type of algebras. An identity \\(u=v\\) of a variety \\(V\\) is called a hyperidentity of \\(V\\) if every identity obtained from \\(u=v\\) by replacing every fundamental operation symbol occurring in \\(u=v\\) by a term of the same arity (the same fundamental operation symbols are replaced by the same terms) also holds in \\(V\\). \\(V\\) is called solid if every identity holding in \\(V\\) is a hyperidentity. The solid varieties of a fixed type form a complete sublattice of the lattice of all varieties of this type. An overview (with results and ideas of the corresponding proofs) on hyperidentities and solid varieties in the case of semigroup varieties, varieties of type \\((n)\\) and varieties of arbitrary type is given, culminating in the construction of an infinite chain of solid varieties for an arbitrarily given type.","type":"string"},"datatype":"string"},"type":"statement","id":"Q861607$984A7D91-335A-43D8-847E-EEB67EF8521E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a65487c7726591096aeacf67e5838b6764f4f370","datavalue":{"value":"08B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q861607$A42DADFC-8B4F-4EC4-A4EA-5C5B89CA5C6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"602d7e96b613d2f356db81712453cadad0417631","datavalue":{"value":"08A40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q861607$AF5C48A1-571E-43DE-B20B-869E301264F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e5fb4697c93e6483e0ffbb93428a373e0646b68d","datavalue":{"value":"20M07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q861607$124D6C25-B6D9-4F3D-B875-254C15571E80","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"52b2f27b5d5028bbfc24a2768df3908da15bf7e5","datavalue":{"value":"5119641","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q861607$7EB48AF1-1C46-4547-B1AD-7C2AA0B73A5A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"19eceb28b3d4505ba888d1ace179a9bd0d9c64b5","datavalue":{"value":"hyperidentity","type":"string"},"datatype":"string"},"type":"statement","id":"Q861607$4BD74A22-E8EB-4722-B109-FD7A8DBEC947","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"46f4ec6fbcad0610648cb5b25fabc5e7b4f50a6f","datavalue":{"value":"solid variety","type":"string"},"datatype":"string"},"type":"statement","id":"Q861607$641E0B1D-910F-46B0-A80A-C1588631ACE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"353994e8fe4ea46c7967e2c391669c471c4ec902","datavalue":{"value":"semigroup","type":"string"},"datatype":"string"},"type":"statement","id":"Q861607$AAE3DB10-0F1D-404F-956B-2B9B596CC294","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"979ef4a30a3c4b4dc502fe36ddec548597439b00","datavalue":{"value":{"entity-type":"item","numeric-id":190393,"id":"Q190393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q861607$C5E3E73B-8450-4E00-9F85-E6E56E8A6D4C","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":"Q861607$60F17F4D-B59B-449D-B057-96DB8BED66AD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b7683c2aa022c7f3f7056c78a5022fcf77ee324d","datavalue":{"value":"https://doi.org/10.1007/s00012-006-1989-6","type":"string"},"datatype":"url"},"type":"statement","id":"Q861607$125927CE-870D-4E27-BE39-D326470D5995","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b2dbc2d3e7d06bce9fa950c88705faf0a8d394df","datavalue":{"value":"W2052495693","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q861607$3F00804D-86B0-4212-928D-393011CB3F91","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0ee15a453ccb0d388d68d01cb94aae11bacf546b","datavalue":{"value":"10.1007/S00012-006-1989-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q861607$448CABA1-BFC7-4009-AEAB-91CC1943CEEF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"981b7e0994dae40e2adcc46fb2b021ce08603d02","datavalue":{"value":{"entity-type":"item","numeric-id":1318964,"id":"Q1318964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"998e446cdc33122f334f942526e9e8a730e2e82e","datavalue":{"value":{"amount":"+0.9271681904792786","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":"Q861607$CA3D16FE-8E8D-49CB-B46C-23F88419041F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8b131620a33485b38604b868ab0abdf7caa63458","datavalue":{"value":{"entity-type":"item","numeric-id":751684,"id":"Q751684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cfd9445c1543cdb06da1a3702c29b5e6209b3ed4","datavalue":{"value":{"amount":"+0.9251691102981568","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":"Q861607$3604FD05-C245-4B30-99BE-02A2FF32C88D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fee78caedbbfbd70763d9368934288d00e2b187a","datavalue":{"value":{"entity-type":"item","numeric-id":3820660,"id":"Q3820660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a5259cfa18be6cf7d40c73cc51d67f5e3a4ce573","datavalue":{"value":{"amount":"+0.9097394347190856","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":"Q861607$70859BC3-B6E6-4E8F-9BFC-2689C6B292B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"52df956a842b64b2f62b4e17ae5b8a9f2ba77060","datavalue":{"value":{"entity-type":"item","numeric-id":1305436,"id":"Q1305436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"722ec9386ea19660b8be4a7500cb4da4e7bf9ff7","datavalue":{"value":{"amount":"+0.9073339104652404","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":"Q861607$437A6D2D-CB27-4F7D-AABC-BECA7703594A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7cbd1975c10eb04690210c3c253933dd5726cb4a","datavalue":{"value":{"entity-type":"item","numeric-id":1771954,"id":"Q1771954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"706358461873d35428956b3cb569e5a4ec2f7a32","datavalue":{"value":{"amount":"+0.9067364931106568","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":"Q861607$F6F9ABE0-0298-4D1E-809C-61DF64D70521","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:861607","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:861607"}}}}}