{"entities":{"Q1864336":{"pageid":1875078,"ns":120,"title":"Item:Q1864336","lastrevid":43378408,"modified":"2025-07-25T06:40:49Z","type":"item","id":"Q1864336","labels":{"en":{"language":"en","value":"Complexity of terms, composition, and hypersubstitution"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1883721"}},"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":"Q1864336$F41177CD-DB28-4D8F-888D-FF4665889D6C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"096db09c59dcf3f1ca90595dfaa684cc1156d7ad","datavalue":{"value":{"text":"Complexity of terms, composition, and hypersubstitution","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1864336$C79622FB-9931-490A-818F-01FAC3519E13","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f30d24cbe6a3501fdc5441ce4d56f68e2c7e7d9b","datavalue":{"value":"1015.08005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1864336$5ACB5A66-2C40-4E4F-AD5D-B638CF1FF069","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0f789cb693794860763514366637f8f6fb24e0a8","datavalue":{"value":"10.1155/S0161171203202118","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1864336$5CFA1100-DFF4-484A-9B96-2F854714CACB","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":"Q1864336$DF1EA78F-A8BE-464F-B8CC-762AC470A709","rank":"normal"},{"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":"Q1864336$739D146D-DC25-4ACE-9703-BC0DD5D4CC44","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c4d14f6de16fedb57ef2f0703ad32e93709741b1","datavalue":{"value":{"entity-type":"item","numeric-id":162459,"id":"Q162459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1864336$46A7E1E5-69A4-4692-A28E-5ED447CB22AC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f16346e24a9735346850efed452ba0cf0c31d7d0","datavalue":{"value":{"time":"+2003-03-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1864336$88983054-3A75-4BE0-A29E-D3CE52254377","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6c1c555cac522fb2e306c13d70f95f5770448e58","datavalue":{"value":"https://eudml.org/doc/50113","type":"string"},"datatype":"url"},"type":"statement","id":"Q1864336$A766DEC9-1D33-4FCC-8F21-AC328A8B9E7B","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"8c0a1206c1ea823ced8d804b0e7f0ce7757db48f","datavalue":{"value":"The authors present formulae for computing the complexity of the composition \\(s(t_1,\\dots,t_n)\\) of an \\(n\\)-ary term \\(s\\) and \\(n\\) terms \\(t_1,\\dots,t_n\\) of some arity \\(m\\) \\((m,n\\geq 1)\\) for four measures of the complexity of a term: the maximal depth, the minimal depth, the total number of variable occurrences, and the total number of function symbol occurrences. Formulae for the complexities of terms resulting from hypersubstitutions are obtained as special cases; a hypersubstitution maps terms to terms by replacing each function symbol by a term of the same arity.   A variety \\(V\\) of algebras is said to be \\(M\\)-solid, for a given set \\(M\\) of hypersubstitutions, if \\(V\\) satisfies every identity obtained by applying a hypersubstitution from \\(M\\) to both sides of an identity satisfied by \\(V\\). The above mentioned results yield some conditions for the preservation of such solidity properties when new varieties are derived in a certain way from an \\(M\\)-solid variety.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1864336$4319AB5F-7BE8-4186-8E54-E39CF8C6B01E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"24ba600ce6aedf4b3386959bed81fce1c9d30c4c","datavalue":{"value":"08A62","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1864336$1028D07E-F8B3-4857-8316-49086C02AF72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"602d7e96b613d2f356db81712453cadad0417631","datavalue":{"value":"08A40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1864336$B619BCB9-040D-4CDA-997B-9D8A4BC2C4AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cb2fc5c8257a7b98fa92dc176d9ed2acc92fad3b","datavalue":{"value":"08B99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1864336$8F503831-D1F4-4C52-9F3D-B418A123E8A6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c75f92b5dcc19387571fa611c7445ab49e41f88d","datavalue":{"value":"1883721","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1864336$CAEDDADD-CA0D-4E20-8DF7-802CE7FC2EC8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d757d1db78e5b797e000d47bb38e7b42b191ec73","datavalue":{"value":"complexity of terms","type":"string"},"datatype":"string"},"type":"statement","id":"Q1864336$2E80B52C-510A-4D22-BCB1-0C333C4F66DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"db98bd40296687924302e6041820464ea038613d","datavalue":{"value":"solid varieties","type":"string"},"datatype":"string"},"type":"statement","id":"Q1864336$B08F9825-B2D0-48E7-9E7A-B668F3604DFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"823c19a94366130a3fa49268f9ec12ef0e4a1bbf","datavalue":{"value":"hypersubstitutions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1864336$03B05464-1561-4C2D-9DFE-E82026E099C7","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"6e07306c48ccd2e9c29ec0a26f6f3afb07223426","datavalue":{"value":{"entity-type":"item","numeric-id":591314,"id":"Q591314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1864336$AFEDCB01-501A-4571-B95E-51F952EC117B","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":"Q1864336$071A237E-1AA9-4CFB-B556-93273717F842","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d079c69eeb43bb65c997af155a6cd27d9db6d3da","datavalue":{"value":"W2140984997","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1864336$3DD5DD87-02C2-496D-B562-66C5D2393BE9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dae4ad7303dd937ec33d3be7b0a6e164cf72ca51","datavalue":{"value":{"entity-type":"item","numeric-id":980303,"id":"Q980303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9967a537b80b96c0f2b83943a013b48526375655","datavalue":{"value":{"amount":"+0.95230514","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":"Q1864336$8944EC18-60FE-4A45-8F44-EF47F70ADA05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1fff0d48fdd631c1883f9600d429de0c88f24cce","datavalue":{"value":{"entity-type":"item","numeric-id":5024502,"id":"Q5024502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c23e16fa603fffdefc369ae1c365d28228f986d","datavalue":{"value":{"amount":"+0.8960365","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":"Q1864336$CC0FAB4D-39D3-4B7D-9A3E-01135109D09A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8f2a7b23b6c7256cf6012c31270dd4f0b0f54394","datavalue":{"value":{"entity-type":"item","numeric-id":6104514,"id":"Q6104514"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"03b3d385a1d9f8175005e98aadf014785776a65a","datavalue":{"value":{"amount":"+0.8829092","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":"Q1864336$C9734377-F273-4DD2-8539-7A842DAFEBA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f1b8f8d97a5df47eeb4863f7766cfc5a90cae02","datavalue":{"value":{"entity-type":"item","numeric-id":4824447,"id":"Q4824447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"532eb9c0572aeba33c1e21a1d78c512a194601e4","datavalue":{"value":{"amount":"+0.87767965","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":"Q1864336$7C8ADD67-99BF-4402-ADAD-B1A73E2117CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0de354211dd71bfa1529c23dfcfdfc564b9cd767","datavalue":{"value":{"entity-type":"item","numeric-id":3839875,"id":"Q3839875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c5c330c1aeda1a227ca10c655b1a08e264550d46","datavalue":{"value":{"amount":"+0.875837","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":"Q1864336$1290FF49-CFDE-4545-B3BA-17541344ADE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5f50a20b969dd70b41ecbb224e52a3fff97fc338","datavalue":{"value":{"entity-type":"item","numeric-id":4687485,"id":"Q4687485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1ad7c4a1a91718825f6e7bc3d7526e2db39168a9","datavalue":{"value":{"amount":"+0.8750687","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":"Q1864336$D52E0736-325E-4154-9FE9-7357EB4EE5FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d5a59f36101fe502fac5e78ad7f92ae0f3214f6","datavalue":{"value":{"entity-type":"item","numeric-id":4263808,"id":"Q4263808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"73fa58bad030d7a1e5fd9ab4638084714a098019","datavalue":{"value":{"amount":"+0.8671871","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":"Q1864336$9B2E70A7-5ED0-4E6F-9181-EDB7491BF230","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3769c978e4c8fe970e0b6cd1cdea596d32fb9feb","datavalue":{"value":{"entity-type":"item","numeric-id":1606984,"id":"Q1606984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1bf0cec40dbe3d7ae75dfee71bc87ecd9aab1b19","datavalue":{"value":{"amount":"+0.86335456","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":"Q1864336$33D49022-23A8-4B6E-85AA-8AAB6810DBEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aadc0bb2cb439a769b92bed21fdb682403da5b43","datavalue":{"value":{"entity-type":"item","numeric-id":5480615,"id":"Q5480615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"813c3913e3f24551e0224b0780c087a7b72748a0","datavalue":{"value":{"amount":"+0.8603388","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":"Q1864336$DCF460A8-CC49-42B1-A5BC-72D0E5BD97F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"82338747abc242b13bb95b8395773a663cbe64a5","datavalue":{"value":{"entity-type":"item","numeric-id":693069,"id":"Q693069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a94c917f7106001e32a1ea0558718aa2d6514925","datavalue":{"value":{"amount":"+0.85666466","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":"Q1864336$916993DF-532D-4456-8A5A-66BE37FB5BB9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1864336","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1864336"}}}}}