{"entities":{"Q2762665":{"pageid":2773404,"ns":120,"title":"Item:Q2762665","lastrevid":83127467,"modified":"2026-05-07T06:13:11Z","type":"item","id":"Q2762665","labels":{"en":{"language":"en","value":"Strongly fluid and weakly unsolid varieties"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1688862"}},"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":"Q2762665$E4C80A56-C792-481C-95D0-E8FCA8F541E3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"79969b81435c7bd3725b27b43299c43b171f81b2","datavalue":{"value":"1014.08010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2762665$CCCDC3FC-940C-4F3D-A748-5C17F6AA49F7","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":"Q2762665$5DFB81C8-4B8C-47D6-A682-3216FED7CB83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"843b53ec876f62eb026839c34a99d2c57d53f1f4","datavalue":{"value":{"entity-type":"item","numeric-id":633192,"id":"Q633192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2762665$D97B63DB-EE56-4F17-BBB8-8222AAD48D2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fd901ee64787614522fa60d35c857fc869181353","datavalue":{"value":{"entity-type":"item","numeric-id":1597734,"id":"Q1597734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2762665$83DE6591-E103-474D-A196-2619CF066F45","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"42ea6aaea41bbc0d91fc3fb48c000b593cdbdcee","datavalue":{"value":{"time":"+2003-05-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2762665$0DE90399-5AE3-4CC6-8DAC-FA7C95F98EE3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a65487c7726591096aeacf67e5838b6764f4f370","datavalue":{"value":"08B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2762665$F4991EEC-C179-4C88-A544-B129463DD7FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bd203843bfa7d8abb3c9f96c8aa3200c06f018f5","datavalue":{"value":"08B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2762665$B75EA7EA-B7A0-4239-8940-45CC17E883D8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"74b36a0b52e8439e0fe4c50e8b6030758b0db553","datavalue":{"value":"1688862","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2762665$61D0206F-3A57-4524-BC1A-23134125E11A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"db98bd40296687924302e6041820464ea038613d","datavalue":{"value":"solid varieties","type":"string"},"datatype":"string"},"type":"statement","id":"Q2762665$7C3F1EBE-3079-49F6-AD7F-1B1117D4AF10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6cb1c18ef610840fb5eef895ebf8d197de012e3","datavalue":{"value":"fluid varieties","type":"string"},"datatype":"string"},"type":"statement","id":"Q2762665$728E7CC4-8E4C-4B8A-ABF0-65DE6B4BEFF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9c8285ea9cf11b838052f49019b497cffc11229a","datavalue":{"value":"unsolid varieties","type":"string"},"datatype":"string"},"type":"statement","id":"Q2762665$7CBC2BC9-F100-4BD6-9ED6-CEC4697EE3FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4d7e18317ef874ca657d64ad8ae02a60f87b7a5c","datavalue":{"value":"completely unsolid varieties","type":"string"},"datatype":"string"},"type":"statement","id":"Q2762665$536FCBE0-7191-41CD-A48E-659D893B83EF","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":"Q2762665$D427B5A5-8A6F-4629-AB9F-FAA204009787","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c018f49c281ccea3f870da19840b139eba22eca8","datavalue":{"value":{"text":"Strongly fluid and weakly unsolid varieties","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2762665$961B10BC-9A81-4A46-8C99-49A2322791E6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2e62c90d3a2296d719d91b2e9d262ae0e151cce0","datavalue":{"value":{"entity-type":"item","numeric-id":6653154,"id":"Q6653154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2762665$2DD5AA8B-0BDF-4931-884D-DCAF0E120406","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"9cdcd69f9cdb7168a14d237340b081c630f85d7e","datavalue":{"value":"Let \\(F=\\{f_i: i\\in I\\}\\) be a set of operations of type \\(\\tau, W_{\\tau}(X)\\) be the set of all terms over a set of varieties \\(X\\), built by \\(F\\). A mapping \\(\\sigma:F\\Rightarrow W_{\\tau}(X)\\) is called a hypersubstition; it can be in a natural way extended to \\(\\widehat{\\sigma}: W_{\\tau}(X)\\Rightarrow W_{\\tau}(X)\\). For an algebra \\(\\underline{A}=(A,F)\\) and a hypersubstition \\(\\sigma\\), let the derived algebra be defined as \\(\\sigma[\\underline{A}]:=(A,\\{\\sigma(f_i):i\\in I\\})\\). Let \\(V\\) be a variety of type \\(\\tau\\) and \\(\\sigma_1,\\sigma_2\\) be hypersubstitions; the authors define \\(\\sigma_1 \\sim^I_V \\sigma_2:\\Leftrightarrow (\\forall \\underline{A} \\in V)(\\sigma_1[\\underline{A}]\\cong \\sigma_2[\\underline{A}])\\). In the paper, the following theorem is proved: Let \\(V\\) be a variety of type \\(\\tau, M\\) be a monoid of hypersubstitions. Let \\(\\Phi\\) be a choice function which chooses one hypersubstition from each class of the equivalence relation \\(\\sim^I_V \\restriction M\\). If the set of hyperidentities chosen in this way is finite and if \\(V\\) has a finite equational basis \\(\\Sigma\\), the system of hyperidentities generated by the set \\(\\varGamma:=\\{\\widehat{\\sigma}(s)\\approx \\widehat{\\sigma}(t)): s\\approx t\\in \\Sigma, \\sigma \\in M\\}\\) is also finitely based.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2762665$F9F8DB53-A2FA-4E57-9A5A-B50703CB13D9","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"69b1bcb141ed2a99fdbd1cc9a0c46453e373e666","datavalue":{"value":{"entity-type":"item","numeric-id":271693,"id":"Q271693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2762665$381E89FD-8517-4348-8856-CE9C4CC0DE37","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"39c3210656e8a0c30fbe45d5e9061d1ede7bd0cf","datavalue":{"value":{"entity-type":"item","numeric-id":3569441,"id":"Q3569441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e1bebf2743b7e9e09ecd9bdeac48ad76ee4e70ba","datavalue":{"value":{"amount":"+0.8827856779098511","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":"Q2762665$E8B869AC-5D8F-4ADD-9899-41078836192F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a79c370042adfaefb620cb214e3d1380aa9f5eac","datavalue":{"value":{"entity-type":"item","numeric-id":2369280,"id":"Q2369280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"30b8b4c82d4ff3d00b9ef349295206983c1f4cf6","datavalue":{"value":{"amount":"+0.861379861831665","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":"Q2762665$614F4531-E211-4673-BDD6-6968080F9EAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f13bc765b5e7a3a6434b1aa891ca125d0da2ee0c","datavalue":{"value":{"entity-type":"item","numeric-id":4495673,"id":"Q4495673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"69b52b49ef60e64af6412eb8b12a711046f4d76c","datavalue":{"value":{"amount":"+0.8607783913612366","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":"Q2762665$6C7A7665-775E-498F-949A-668D5FC44B44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dde240d42d2e97697e9bbd9442853b0b630e81e5","datavalue":{"value":{"entity-type":"item","numeric-id":5943073,"id":"Q5943073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"38513c9291392c3aa55caf6a0178a800a3de1180","datavalue":{"value":{"amount":"+0.8607408404350281","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":"Q2762665$6044DB21-1A22-4D93-A27C-7BD9F1037389","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e0a8b836cfb483399713e52e2216066904191a3","datavalue":{"value":{"entity-type":"item","numeric-id":4263735,"id":"Q4263735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a51712b9bb0d460ea5586a42e2756b3bee7555be","datavalue":{"value":{"amount":"+0.860740602016449","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":"Q2762665$5854F966-DC5D-470C-AD42-608126D2D7B7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Strongly fluid and weakly unsolid varieties","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Strongly_fluid_and_weakly_unsolid_varieties"}}}}}