{"entities":{"Q1966133":{"pageid":1976875,"ns":120,"title":"Item:Q1966133","lastrevid":47448940,"modified":"2026-01-01T19:00:51Z","type":"item","id":"Q1966133","labels":{"en":{"language":"en","value":"Hyperidentities of some generalizations of lattices"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1407086"}},"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":"Q1966133$FD369FA8-EE24-4AA8-98F2-F2AF13B9E46B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"244bef9849ae315de798539ed5f62637be6f46c0","datavalue":{"value":{"text":"Hyperidentities of some generalizations of lattices","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1966133$34036B97-C835-4157-89C3-29C3EA5AD2F2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ba1da5babbed94abab1a280a633d8efa707cd86b","datavalue":{"value":"0934.08006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1966133$4A3809CD-5489-4893-BEF7-883AB91B4FA1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"42f532bc6e59776f3bdb29efbd1272db19dd1317","datavalue":{"value":{"entity-type":"item","numeric-id":1771911,"id":"Q1771911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1966133$1DFFE563-56EB-4DFC-B79C-B223D92F0988","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":"Q1966133$E59BE301-56EE-4EBF-9115-E61381E37530","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1b67edb7c6ba470465e19f8a68d18347f5f95336","datavalue":{"value":{"time":"+2000-02-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1966133$527AB052-E7AA-44EE-9377-0EBCBE92DEF9","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"4f5119e79312725969874ac366b83c9efcb24776","datavalue":{"value":"Let \\(\\tau : F\\rightarrow \\mathbb N\\) be a type of algebras, where \\(F\\) is a set of fundamental operation symbols. A mapping \\(\\mu \\) from \\(F\\) to the set of all terms of type \\(\\tau \\) is called a hypersubstitution if the term assigned to an \\(n\\)-ary \\(f\\in F\\) is also \\(n\\)-ary and \\(\\mu (x)=x\\) for every variable \\(x\\). By induction on term complexity, \\(\\mu \\) can be naturally extended from \\(F\\) to the whole set of terms of type \\(\\tau \\). An identity \\(p=q\\) of type \\(\\tau \\) is called a hyperidentity of a variety \\(V\\) if \\(V\\models \\mu (p) = \\mu (q)\\) for every hypersubstitution \\(\\mu \\) of type \\(\\tau \\). The author presents bases and hyperbases of regular, normal, outermost or biregular hyperidentities of the variety of all lattices and the variety of distributive lattices.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1966133$F241EB2F-8BE6-43D4-8E47-75C7FAD8D5B6","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"967efbf7e9159f2448c17bb8438ae3fe0ce8fb52","datavalue":{"value":{"entity-type":"item","numeric-id":334969,"id":"Q334969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1966133$70BD949D-4099-46C4-A2E7-2C1C42DDCC24","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4897136ea1c19614fe909b8db60c4ec176d94a78","datavalue":{"value":"08B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1966133$5A237789-5BC3-435E-ADAC-DD46652A5F9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a09929fa18be057d20e940578849cc6f5a29a3e2","datavalue":{"value":"06B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1966133$432D68F9-1D01-4E5D-9471-1A95EBB15C89","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cd2411526b0bc195277a93661c31877a913a2e69","datavalue":{"value":"1407086","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1966133$AA6E2C9B-23F6-4783-86CD-C16F1CE0DE84","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"19ec15ba5367d75762ced6d1ca09476ef40bb008","datavalue":{"value":"hypersubstitution","type":"string"},"datatype":"string"},"type":"statement","id":"Q1966133$2515E02D-D538-4306-B76A-A6F65A849C26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"19eceb28b3d4505ba888d1ace179a9bd0d9c64b5","datavalue":{"value":"hyperidentity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1966133$CD1B50F5-1489-41E6-9739-DA2648B2A7B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"46619e0d617ea9e503c7894d6da0bdeec0fe0664","datavalue":{"value":"variety of lattices","type":"string"},"datatype":"string"},"type":"statement","id":"Q1966133$875273CE-7145-4182-A80E-C0423887420B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f508ebeb94eca6bfd9b685e1b6d7f556811fa98","datavalue":{"value":"hyperbase","type":"string"},"datatype":"string"},"type":"statement","id":"Q1966133$1D1D93F1-B7D0-4D68-86A5-24B2D75C8D6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a45fe424ba4a799062ba76502309002ae59148da","datavalue":{"value":"variety of distributive lattices","type":"string"},"datatype":"string"},"type":"statement","id":"Q1966133$2A67AF05-0C24-4D97-A6D7-357DAB2BFB9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d91e409fba532bbe60272dfb8b24004b63e581da","datavalue":{"value":"regular identity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1966133$8F6AB899-4EA3-4C6A-BAD9-FA0568D3EDA4","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":"Q1966133$421F6211-CDEE-46D0-BB16-B0BC5BAACF65","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d2d0e1ff1bdccc478525b2015a96dd2099fcfcdb","datavalue":{"value":"https://doi.org/10.1007/s000120050064","type":"string"},"datatype":"url"},"type":"statement","id":"Q1966133$EE53B981-E2D4-4CB3-835E-243440314027","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a33652add577a4ff02e4ed993910280ad78e0195","datavalue":{"value":"W2081430740","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1966133$994BF1B6-F8C3-4668-80E9-BFDDC603C02C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4a2c0a4ff22742b1d9de372a6fbe805696dff52c","datavalue":{"value":"10.1007/S000120050064","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1966133$717BFBE8-ACBC-49FF-974A-9EE5DA61C2E7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a8e4a397c2504e1655eabf99c45eb3b97d09851e","datavalue":{"value":{"entity-type":"item","numeric-id":4701022,"id":"Q4701022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be519dcd09b554e087f877be1a38d5acfc75f7d5","datavalue":{"value":{"amount":"+0.8821178674697876","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":"Q1966133$12078833-2DB4-4640-8563-476513557CAF","rank":"normal"},{"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":"be519dcd09b554e087f877be1a38d5acfc75f7d5","datavalue":{"value":{"amount":"+0.8821178674697876","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":"Q1966133$46B14879-DEDB-4E6F-8AAA-227F907BDB50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9f7cb11cedbbe264df5654378fe80026c97dbf1c","datavalue":{"value":{"entity-type":"item","numeric-id":1207283,"id":"Q1207283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6b4ff941c2830d0ddb96e4fccd7724ca2b657ade","datavalue":{"value":{"amount":"+0.8619288802146912","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":"Q1966133$1979CD33-ABED-43E6-973D-D3C4434FC9A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b9eeb6642e55c5ab2138aedad72fb6decd91f5ac","datavalue":{"value":{"entity-type":"item","numeric-id":3804763,"id":"Q3804763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa33cf7f7bd1479412c2b33362d564a865538f7d","datavalue":{"value":{"amount":"+0.8511102199554443","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":"Q1966133$B67EDD32-159A-4AC5-AE64-BB525304FEAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea78c9a368ffff518155c0a0d8bb9819422472d1","datavalue":{"value":{"entity-type":"item","numeric-id":1866836,"id":"Q1866836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"511d922d8a023c4de3622644ae28e64fbe0582a7","datavalue":{"value":{"amount":"+0.8488755226135254","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":"Q1966133$544D3C83-1E6D-44D9-8C1E-429780852A45","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1966133","badges":[]}}}}}