{"entities":{"Q5937133":{"pageid":8113935,"ns":120,"title":"Item:Q5937133","lastrevid":47638246,"modified":"2026-01-02T07:02:49Z","type":"item","id":"Q5937133","labels":{"en":{"language":"en","value":"Functions essentially depending on at most one variable"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1618558"}},"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":"Q5937133$B48B5840-DAF1-4BD8-9A91-95F96D510698","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d49651ab96f374822f9d879e1fc1cbf7168242d0","datavalue":{"value":{"text":"Functions essentially depending on at most one variable","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5937133$32F6AC98-8A5B-427B-B050-203799F1DD81","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6ae8f9d346da403cb99d7de46eaa5f9197c04d07","datavalue":{"value":"0987.03042","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5937133$B4F06250-36D5-4D22-9952-B4F76DC8CFAF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"20bc145c2e23b3488731abdda971f57890830ddb","datavalue":{"value":{"entity-type":"item","numeric-id":178602,"id":"Q178602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5937133$CD793483-9314-4129-843A-9D0BE4D15002","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1c03f12d2ae232c6413ffedcffaa255461d32f1a","datavalue":{"value":{"entity-type":"item","numeric-id":171729,"id":"Q171729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5937133$2DAF7B3C-E9D0-4635-A11D-F5AAD2437941","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0df0cb4a09cb048bf114138d01e3d80be5c036c1","datavalue":{"value":{"time":"+2001-10-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5937133$6E2ABCAA-4E55-4678-9EAB-5AAF90E76E72","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"c80e484e125b4b2e6f1eb4b1b0abd66d7cb4aba7","datavalue":{"value":{"entity-type":"item","numeric-id":587966,"id":"Q587966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5937133$87A3D0AD-FCB6-4FEA-B80B-AC23C65738FB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"17763f39d928d56ef4081eb9cbb67fb71c0baf0e","datavalue":{"value":"03E20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5937133$64847A74-8518-455C-A837-E62F647BCFB3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"db2f619b00ef75d4872f4efbe914f4f287f6a17a","datavalue":{"value":"1618558","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5937133$B6CB5586-153C-4555-8BC9-0814BE74E50D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0cc24523ecade08ab2c76519afe6b957468c34e5","datavalue":{"value":"elementary function","type":"string"},"datatype":"string"},"type":"statement","id":"Q5937133$595847BC-CDB6-4814-9997-DB3E23F97057","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7b91e597e631c696ca7f1f64298fc049cc6348a7","datavalue":{"value":"dependence on variables","type":"string"},"datatype":"string"},"type":"statement","id":"Q5937133$288DDEFF-9396-4316-AB63-E6CC0AB060EA","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":"Q5937133$E742349F-0126-429B-887B-2BB11CC9AC35","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f214e71d8a9c35cf6f1cf7f2b9284492e0255678","datavalue":{"value":"https://doi.org/10.1006/jcta.2000.3129","type":"string"},"datatype":"url"},"type":"statement","id":"Q5937133$7263338C-3489-4C2A-B0DF-D556095A960A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"885c83a9b3c6e88335a63eac82bcdd07444a970e","datavalue":{"value":"W2057854874","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5937133$AAE9FFDE-5DE0-46D1-9EF7-C155EFB76CBA","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"79c8f215a9610333041d0a9d74505c731399df48","datavalue":{"value":{"entity-type":"item","numeric-id":1073030,"id":"Q1073030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5937133$68DF7A5F-74CD-450B-8EAC-FE99C0862155","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a7e2f18740d787c6e9573fd02680fdf61385f7a","datavalue":{"value":{"entity-type":"item","numeric-id":4516349,"id":"Q4516349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5937133$8E7B81B0-1DB4-4C1B-BFEB-2BCA119CF86A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"db2752158bdf35a70f5c7c51c9a0cd102483192b","datavalue":{"value":"10.1006/JCTA.2000.3129","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5937133$24839403-A231-45F7-BFD6-B7BBF92269C2","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"f3431569d08d70d7958624b379d50d1be1998e0f","datavalue":{"value":"Let \\(\\omega\\) be the set of nonnegative integers. The author analyzes the question: When does a function \\(f: \\omega^d\\to\\omega\\) essentially depend on at most one coordinate? He defines: A function \\(f: X^d\\to X\\) is elementary if its domain can be covered by finitely many rectangles (= sets of the form \\(A_0\\times\\cdots\\times A_{d-1}\\)) such that \\(f\\) depends on at most one coordinate on each one of them. If \\(I\\cap J= \\emptyset\\), then, for \\({\\mathbf x}\\in X^I\\), \\({\\mathbf y}\\in X^J\\), a function \\({\\mathbf x}\\wedge{\\mathbf y}\\) is defined by \\(({\\mathbf x}\\wedge{\\mathbf y})(\\xi)={\\mathbf x}(\\xi)\\) if \\(\\xi\\in I\\), resp. \\(={\\mathbf y}(\\xi)\\) if \\(\\xi\\in J\\). Let be \\(f: X^d\\to X\\) and \\(g\\) a mapping from a subset of \\(Y^k\\) into \\(Y\\). Then \\(g\\) is called reducible to \\(f\\) if there is a disjoint partition \\(d= s_0\\cup\\cdots\\cup s_{k-1}\\) of \\(d\\) into nonempty sets and maps \\(p_i: Y\\to X^{s_i}\\) for \\(i< k\\) such that the mapping \\(p: Y^k\\to X^d\\), defined by \\(p(y_0,\\dots, y_{k-1})= p_0(y_0)\\wedge\\cdots\\wedge p_{k-1}(y_{k-1})\\), satisfies: \\(g({\\mathbf y})\\neq g({\\mathbf z})\\to f(p({\\mathbf y}))\\neq f(p({\\mathbf z}))\\), whenever \\({\\mathbf y}\\) and \\({\\mathbf z}\\) are in the domain of \\(g\\).NEWLINENEWLINENEWLINEThe main result then states: Assume \\(f: X^d\\to X\\). Then exactly one of the following holds: (A) \\(f\\) is elementary. (B) The mapping \\(g^*\\) is reducible to \\(f\\). Here \\(g^*: \\omega^2\\to \\{0,1\\}\\) is given by \\(g^*(m, n)= 1\\), if \\(m< n\\), \\(=0\\) if \\(m= n\\), undefined, if \\(m> n\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q5937133$7F8835E2-6C08-4BB4-872F-7D083292D1DC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f0d7864163219acf88fc1c8d3679e6658122dbc1","datavalue":{"value":{"entity-type":"item","numeric-id":3475270,"id":"Q3475270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9fb748c42f202b6771614fad8f170bc15b7d995a","datavalue":{"value":{"amount":"+0.7641957402229309","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":"Q5937133$EE51DC86-2111-4E6B-8A30-FB5CA30B0D59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8e414ef9f6f2460d6302c8a7a86719a8d4623d61","datavalue":{"value":{"entity-type":"item","numeric-id":3497558,"id":"Q3497558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa3454d124faa92e090cfd413be0714cf30eec75","datavalue":{"value":{"amount":"+0.7337361574172974","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":"Q5937133$E7A80363-BB1B-4CAE-BF8D-E7FB705254A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d5e5a4da303709974d5bf3e805b32079f1505219","datavalue":{"value":{"entity-type":"item","numeric-id":3065611,"id":"Q3065611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"67d4b7548902979fa6361d16d3aa25431e444aea","datavalue":{"value":{"amount":"+0.7085182070732117","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":"Q5937133$D3F2B527-EAA9-44E3-8AC6-16DD5BCD3B96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b027069df1279588f5b8121bd5a49331c1ed251","datavalue":{"value":{"entity-type":"item","numeric-id":4793193,"id":"Q4793193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"058cefc61a44d7658cdc5dcc4912eb472a5eb1cb","datavalue":{"value":{"amount":"+0.6993279457092285","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":"Q5937133$D93C17B3-2CF2-4EA1-9224-E3A037438EAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1cbea4e5d32acd926f218a7994748f557d6bc13f","datavalue":{"value":{"entity-type":"item","numeric-id":4026902,"id":"Q4026902"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a3bcfa38a2581fffb9f7893faf6fe1a7e536b42","datavalue":{"value":{"amount":"+0.688446044921875","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":"Q5937133$917E85B1-F078-471F-AEA9-E7BC0735B6B9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5937133","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5937133"}}}}}