{"entities":{"Q1358554":{"pageid":1369293,"ns":120,"title":"Item:Q1358554","lastrevid":46479240,"modified":"2025-12-24T21:21:53Z","type":"item","id":"Q1358554","labels":{"en":{"language":"en","value":"On the closure of a non-zero invariant Yablonsky's class by operation of variables identification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1028763"}},"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":"Q1358554$00510E9D-32BC-4D65-B007-84D49BDEE781","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8f890a3199c586cc6bd51c06ac611e030dbcce7f","datavalue":{"value":{"text":"On the closure of a non-zero invariant Yablonsky's class by operation of variables identification","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1358554$EBF75F4D-F913-448D-9EA6-E3A29449F6B6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"627e19b31a3b28dfcfe84c273dfb664bfb196ab0","datavalue":{"value":"0877.06005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1358554$65E469F9-E393-473C-8BD4-5C7FA9EAF3C9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3290f3599b3b54d331237e36d5e45805c5f7c043","datavalue":{"value":{"entity-type":"item","numeric-id":187675,"id":"Q187675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1358554$A8BDA4B4-252E-46C7-B992-0553B8BB5432","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6c13805eb53dbd00bf0343bc22d19b4be9e16872","datavalue":{"value":{"entity-type":"item","numeric-id":187667,"id":"Q187667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1358554$C087E466-5A55-4BBE-A23E-9D564D200441","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5a424bd86eeb56a5c83e7482445315957cb980f4","datavalue":{"value":{"time":"+1997-07-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1358554$C713C24A-5826-40EC-8F3E-2B14132F4D23","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"4798c98f8208b66788292ee7e118de93f32889b3","datavalue":{"value":"A class \\(Q\\) of Boolean functions is called invariant if it is closed under the operations of substitution of constants, of renaming of variables (without identification), and of addition or exclusion of unessential variables. Let \\(Q_n \\subset Q\\) contain functions of \\(n\\) variables. S. V. Yablonsky proved in 1959 that the sequence \\(2^{-n} \\log_2 |Q_n |\\) is non-increasing and has a limit \\(\\sigma= \\sigma (Q)\\in [0,1]\\) for any invariant class \\(Q\\). The main result of the present paper is the following: The closure of any invariant class \\(Q\\), \\(\\sigma (Q) \\neq 0\\), by the operation of identification of variables consists of all Boolean functions.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1358554$27C3E32D-3FCF-4B76-B2AA-D5189959BB47","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"09f3eb9b2932c3fdc120e877804d57f4cb2d94e9","datavalue":{"value":"06E30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1358554$3920AA14-6B5A-4268-B8E8-99495396A80D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2454d52dcf65e2dc51294864f3d24488f95ed554","datavalue":{"value":"1028763","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1358554$8BD29A2D-7021-4945-9DB3-2B952F3B9DD2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3ad811beeea1e4f859b572eacc70d7cac38f3b6","datavalue":{"value":"number of functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1358554$22FD4BE3-ED41-42CF-862C-F85C5DD1E853","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3588cc034ee34c0cece021b82b8a4d1dd89a8721","datavalue":{"value":"identification of variables","type":"string"},"datatype":"string"},"type":"statement","id":"Q1358554$0174A1B0-4741-4211-B0E9-3DBE08E7A60B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb5a830579b475e59eaac799be7398a9142f423b","datavalue":{"value":"Boolean functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1358554$AFF472C9-BE97-4DF1-BD4E-A87A178BB685","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8ba8673daed29bedfc1eef561989bd0dd5db8287","datavalue":{"value":"invariant class","type":"string"},"datatype":"string"},"type":"statement","id":"Q1358554$87DCBFB8-B663-418D-9721-14CBA3869BBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2955d3dde9a15e46dba801e05da2cd70a0c42a19","datavalue":{"value":"closure","type":"string"},"datatype":"string"},"type":"statement","id":"Q1358554$E66136B2-D752-43E9-A1F4-D14BA319EFA7","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":"Q1358554$B0C5940A-B945-4BAE-8191-B906409141A2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"32e8aae603616873a4c42cb26bb81d976437e3ab","datavalue":{"value":{"entity-type":"item","numeric-id":1358555,"id":"Q1358555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6df70e76246a5ddc86eb2f9aca45c522e329788a","datavalue":{"value":{"amount":"+0.8663411140441895","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":"Q1358554$CF7BA8DE-3EBE-4FF7-9F16-56D58C078187","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8f6dd16a5a5449d2daccc453a5cc7302acf4fcc6","datavalue":{"value":{"entity-type":"item","numeric-id":3758898,"id":"Q3758898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"05785c6c25560e9a29ff917a1e7cb8e4b46ddf56","datavalue":{"value":{"amount":"+0.8501197099685669","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":"Q1358554$9D3DBF88-BAFA-4BF3-9102-1DA5AEA83B55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"14b8aee06d1afb42a59f13025983d3dc67be8f92","datavalue":{"value":{"entity-type":"item","numeric-id":4308369,"id":"Q4308369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"20c50f83dc5acd2f9563f10d26fa2e428cad50c7","datavalue":{"value":{"amount":"+0.7746649384498596","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":"Q1358554$93045D85-EA74-4E32-B9A9-A982EF373476","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a3eb83a1ead8b09e7107f2242a81b31e8397aa6b","datavalue":{"value":{"entity-type":"item","numeric-id":4001697,"id":"Q4001697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f02f3dac1b80858b57aa90f2ed70adc2710c6bf","datavalue":{"value":{"amount":"+0.7744444012641907","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":"Q1358554$91F5955F-B0BE-4B50-9BFB-F52B9C3E0F65","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1358554","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1358554"}}}}}