{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,5]],"date-time":"2022-04-05T04:18:00Z","timestamp":1649132280617},"reference-count":16,"publisher":"World Scientific Pub Co Pte Lt","issue":"05","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Int. J. Found. Comput. Sci."],"published-print":{"date-parts":[[2007,10]]},"abstract":"<jats:p> We show that every function of several variables on a finite set of k elements with n &gt; k essential variables has a variable identification minor with at least n \u2212 k essential variables. This is a generalization of a theorem of Salomaa on the essential variables of Boolean functions. We also strengthen Salomaa's theorem by characterizing all the Boolean functions f having a variable identification minor that has just one essential variable less than f. <\/jats:p>","DOI":"10.1142\/s012905410700508x","type":"journal-article","created":{"date-parts":[[2007,9,21]],"date-time":"2007-09-21T09:49:00Z","timestamp":1190368140000},"page":"975-986","source":"Crossref","is-referenced-by-count":10,"title":["ON THE EFFECT OF VARIABLE IDENTIFICATION ON THE ESSENTIAL ARITY OF FUNCTIONS ON FINITE SETS"],"prefix":"10.1142","volume":"18","author":[{"given":"MIGUEL","family":"COUCEIRO","sequence":"first","affiliation":[{"name":"Department of Mathematics, Statistics and Philosophy, University of Tampere, FI-33014 Tampereen yliopisto, Finland"}]},{"given":"ERKKO","family":"LEHTONEN","sequence":"additional","affiliation":[{"name":"Institute of Mathematics, Tampere University of Technology, P.O. Box 553, FI-33101 Tampere, Finland"}]}],"member":"219","published-online":{"date-parts":[[2011,11,20]]},"reference":[{"key":"rf1","first-page":"3","volume":"10","author":"Burle G. A.","journal-title":"Diskretnyi Analiz"},{"key":"rf2","volume-title":"Separable Sets of Arguments of Functions","author":"\u010cimev K. N.","year":"1986"},{"key":"rf5","first-page":"333","volume":"41","author":"Davies R. O.","journal-title":"J. London Math. Soc."},{"key":"rf6","doi-asserted-by":"publisher","DOI":"10.1007\/PL00000353"},{"key":"rf7","doi-asserted-by":"publisher","DOI":"10.1016\/0097-3165(82)90084-X"},{"key":"rf8","doi-asserted-by":"publisher","DOI":"10.1016\/S0012-365X(99)00132-6"},{"key":"rf9","doi-asserted-by":"publisher","DOI":"10.1016\/S0166-218X(96)00136-9"},{"key":"rf10","doi-asserted-by":"publisher","DOI":"10.1007\/s11083-006-9036-y"},{"key":"rf11","first-page":"6","volume":"3","author":"Muller D. E.","journal-title":"IRE Trans. Electron. Comput."},{"key":"rf12","doi-asserted-by":"publisher","DOI":"10.1016\/S0012-365X(01)00297-7"},{"key":"rf13","doi-asserted-by":"publisher","DOI":"10.1109\/TIT.1954.1057465"},{"key":"rf14","first-page":"3","volume":"339","author":"Salomaa A.","journal-title":"Ann. Acad. Sci. Fenn. Ser. A I. Math."},{"key":"rf15","doi-asserted-by":"publisher","DOI":"10.1016\/0012-365X(93)E0191-6"},{"key":"rf16","first-page":"5","volume":"51","author":"Yablonski S. V.","journal-title":"Tr. Mat. Inst. Steklova"},{"key":"rf17","first-page":"9","volume":"34","author":"Zhegalkin I. I.","journal-title":"Mat. Sb."},{"key":"rf18","doi-asserted-by":"publisher","DOI":"10.1016\/j.dam.2004.06.028"}],"container-title":["International Journal of Foundations of Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.worldscientific.com\/doi\/pdf\/10.1142\/S012905410700508X","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,7]],"date-time":"2019-08-07T00:41:38Z","timestamp":1565138498000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.worldscientific.com\/doi\/abs\/10.1142\/S012905410700508X"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,10]]},"references-count":16,"journal-issue":{"issue":"05","published-online":{"date-parts":[[2011,11,20]]},"published-print":{"date-parts":[[2007,10]]}},"alternative-id":["10.1142\/S012905410700508X"],"URL":"https:\/\/doi.org\/10.1142\/s012905410700508x","relation":{},"ISSN":["0129-0541","1793-6373"],"issn-type":[{"value":"0129-0541","type":"print"},{"value":"1793-6373","type":"electronic"}],"subject":[],"published":{"date-parts":[[2007,10]]}}}