{"entities":{"Q2496162":{"pageid":2506905,"ns":120,"title":"Item:Q2496162","lastrevid":78874865,"modified":"2026-05-06T12:38:15Z","type":"item","id":"Q2496162","labels":{"en":{"language":"en","value":"Valuations of terms"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5040232"}},"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":"Q2496162$BAD05AB3-48B1-4FA1-8EBF-7FF5294FFA31","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3faaed8d6bfdf13badd196e49efc376847f32df2","datavalue":{"value":{"text":"Valuations of terms","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2496162$6A4A51B6-B7CC-4A73-8A06-342897055037","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"13e778b017c22006353a4c8ebcde521f062b7b54","datavalue":{"value":"1092.08003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2496162$A1F4A278-C33D-45DF-B8B4-329AECB4212B","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":"Q2496162$3748A10C-9317-41A0-9357-4525188CEC03","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":"Q2496162$5A0E71E8-B6A8-417A-A8D4-9CBE831BD392","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":"Q2496162$CE3128F0-BC67-4214-9B28-4C9FA603EDCB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"695354130dab3a786d23413cb8a043a7f99b90ed","datavalue":{"value":{"time":"+2006-07-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2496162$11B77595-26A6-40D6-B129-E9419A0E4F81","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"6d0756b33613d9673e135796dcbc5896834f7b06","datavalue":{"value":"Let \\(\\tau \\) be a given type of algebras (with no nullary operation symbols). There are several commonly used measurements of the complexity of terms of type \\(\\tau \\), such as the depth or height of a term and the number of variable symbols appearing in it. In this paper, the authors formalize these various measurements by defining a complexity or valuation mapping on terms. A valuation on terms is a mapping from the absolutely free term algebra of type \\(\\tau \\) into a certain algebra of the same type on which an order relation is defined. The interconnection between such term valuations and the equational theory of Universal Algebra is developed. The collection of all varieties of a given type form a complete lattice that is very complex and difficult to study; valuations of terms offer a new tool to study complete sublattices of this lattice.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2496162$7BBF48EA-0C59-4A34-BB87-B49FB7D85058","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"f88fa41ef91c2abf95c7a1edf27437cbf5cacbaf","datavalue":{"value":{"entity-type":"item","numeric-id":344072,"id":"Q344072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2496162$EE383D5A-6CCA-436C-8A78-A91B1FC7D756","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a65487c7726591096aeacf67e5838b6764f4f370","datavalue":{"value":"08B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2496162$1DF0A87C-4F6F-4196-AB50-338FD65452B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7c648e268c28ec150fb5ed45778a818ce497d91f","datavalue":{"value":"08A45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2496162$AD9C9DAC-9371-4CD6-9340-FDFEFC432C06","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5410786ea48aa71e251f5eb2bbc953b68cf64e50","datavalue":{"value":"5040232","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2496162$A4F555CE-B039-4842-9D19-63B8F02B624A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5e77851479cb0cd5c6f19535edbe68c68b87a001","datavalue":{"value":"valuation of terms","type":"string"},"datatype":"string"},"type":"statement","id":"Q2496162$97E06A12-E526-4BBC-B96A-F392C793E04A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"792f6aba47a2a8b885c06cfa6cd7bb9cf63f7176","datavalue":{"value":"lattice of varieties","type":"string"},"datatype":"string"},"type":"statement","id":"Q2496162$CAF61328-6541-4CC3-B3A2-E241BBED2005","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"18c8d02e80d74baec8f1a392eef9fc11093d5cc4","datavalue":{"value":"\\(k\\)-normalization of a variety","type":"string"},"datatype":"string"},"type":"statement","id":"Q2496162$D79D50F4-DD25-4A5F-B556-89159009413F","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":"Q2496162$FAF5554C-18CF-42E9-98C7-3AAE04B984AA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c87a758aaef0191ca6057fcd8571324e1d338c9e","datavalue":{"value":"https://doi.org/10.1007/s00012-003-1824-2","type":"string"},"datatype":"url"},"type":"statement","id":"Q2496162$52203E4F-0AC5-403E-BFCC-8F4664425EF9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2cb90d01ce4366733e57d6b31e92299cfb3bf8f5","datavalue":{"value":"W2129999028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2496162$BA4A909F-5D65-4498-89ED-14DA9BD67532","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f3a764feabeab6c861152974a158b577c934b839","datavalue":{"value":"10.1007/S00012-003-1824-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2496162$910AC3BA-BB5D-49C1-80BD-CA12ABC28CD8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a131c12b471d3a3f726de58ac6f01950d9d8a56a","datavalue":{"value":{"entity-type":"item","numeric-id":3365651,"id":"Q3365651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e15430f0e59a23a5c04e0754974c235de8573aa","datavalue":{"value":{"amount":"+0.8145521283149719","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":"Q2496162$762D473B-53B2-4B8D-A244-A66DECA35647","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b837143908945177d5a24ceb9ff023278f19a257","datavalue":{"value":{"entity-type":"item","numeric-id":1430464,"id":"Q1430464"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"26205039494679558b5468c799401fcd114d3bd3","datavalue":{"value":{"amount":"+0.7838590741157532","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":"Q2496162$DB299327-8ACC-431D-9D2B-7271E756EFFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e38c8c61d986779ccd07c1a3405a83644cab864","datavalue":{"value":{"entity-type":"item","numeric-id":4958416,"id":"Q4958416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"211d796f2dbc5ca9815e94f64776297df74457f3","datavalue":{"value":{"amount":"+0.7468057870864868","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":"Q2496162$1CB62A23-D456-43F5-8E19-9A2346887543","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":"388b347486e8ff4419269595ffcb1aa6bb97ba8d","datavalue":{"value":{"amount":"+0.7205958962440491","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":"Q2496162$668CC17F-0E99-422E-BAA0-D23A314E7B0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"72120840cadd21d25762420f937029ae089c1999","datavalue":{"value":{"entity-type":"item","numeric-id":1864336,"id":"Q1864336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5eba7da0b4db66e42371d59d55cc29c97c37161f","datavalue":{"value":{"amount":"+0.7203560471534729","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":"Q2496162$FCB1E61E-5AE3-4405-83F8-84A564E5BA63","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Valuations of terms","badges":[]}}}}}