{"entities":{"Q722584":{"pageid":724433,"ns":120,"title":"Item:Q722584","lastrevid":63876678,"modified":"2026-04-11T16:09:25Z","type":"item","id":"Q722584","labels":{"en":{"language":"en","value":"Majors of functions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6911224"}},"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":"Q722584$684CFEED-E44C-48AD-AE44-FDA4D7566B28","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1c3796384903b77dd7d06fd13f16063cbfdd5f79","datavalue":{"value":{"text":"Majors of functions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q722584$E0533C49-7C1F-4591-BED2-E5E72628F01D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"eb4f0cebfe4f5f04d4174b5abdfb0a61533be06f","datavalue":{"value":"1412.08002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q722584$E6785E14-F080-4541-9FA3-9E3CC7D0A4A4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"22ee8e74264b97280281ca9a75d0b37d2891d2eb","datavalue":{"value":{"entity-type":"item","numeric-id":251911,"id":"Q251911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q722584$C295285D-AD4E-4675-9A76-9492948C2604","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9b604f4a510b3761f9e74cc9c5f7b73c9018f149","datavalue":{"value":{"entity-type":"item","numeric-id":251901,"id":"Q251901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q722584$89CD9D8F-AD0A-46C4-A96D-467613D7D77C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e2599ed8061d57585b4363072a1afceea2452436","datavalue":{"value":{"entity-type":"item","numeric-id":172073,"id":"Q172073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q722584$3ABA3C5D-F404-43CB-AADE-1FE6C567F0E1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ea2f40f4172935af3687dc9f2e053f93909c1342","datavalue":{"value":{"time":"+2018-07-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q722584$9A135AC6-F9F7-44DA-B42D-A81CBEE7171B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"971f794ca4c15dc75539ac8921e11526f3ac674f","datavalue":{"value":"https://hal.inria.fr/hal-01519377/file/Majors-HAL.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q722584$5AAB65FA-9B6F-4C50-9C21-C21051420744","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"11216eaff800996db8c458c1d7e641ea81673e94","datavalue":{"value":"A function \\(f\\) from the \\(n\\)-th power of \\(A\\) to \\(B\\) is called a minor of another function \\(g\\) from the \\(m\\)-th power of \\(A\\) to \\(B\\), or \\(g\\) is a major of \\(f\\), if \\(f\\) can be obtained from \\(g\\) by identification of arguments, permutation of arguments, or introduction or deletion of inessential arguments. The minor relation constitutes a quasi-order on the set of functions of several arguments from \\(A\\) to \\(B\\). The authors investigate upper covers and common upper bounds of pairs of functions. They show that two functions of arities \\(m\\) and \\(n\\) have a common lower bound if and only if they have a common upper bound, and if a common upper bound exists, then there is one of arity \\(m+n-1\\). The possible essential arities of upper covers of functions are also determined.","type":"string"},"datatype":"string"},"type":"statement","id":"Q722584$1EC97429-7E60-49AB-B766-35416789F90F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"602d7e96b613d2f356db81712453cadad0417631","datavalue":{"value":"08A40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q722584$3633B03A-E789-476F-A762-4CF28E2BC390","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e037813de56311048f7e0a208650360505bf4d4e","datavalue":{"value":"06A06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q722584$AE2D0F86-FBFA-4F4C-A6A1-1F8D2DDB1EF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3f3d0b1de78ad0e32d646815f9dc7561538cada7","datavalue":{"value":"06A07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q722584$AA0BCD8B-028F-431D-AAD6-B2302D6546B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"09f3eb9b2932c3fdc120e877804d57f4cb2d94e9","datavalue":{"value":"06E30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q722584$5E3DC5A3-5BEC-4774-8728-E089EF4742F2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"809e8768b09608cdf12afc56888da089def3cb91","datavalue":{"value":"6911224","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q722584$48C1697A-2B22-4B14-A61C-4CB2A53E223A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"34a02c6f0ef1faad1045fed4041e1838451a442c","datavalue":{"value":"function of several arguments","type":"string"},"datatype":"string"},"type":"statement","id":"Q722584$58B0F51D-B3FA-49A9-80E4-93DDDAFB8B26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0062bff246f10874c360cb4d691bf5c2195f236c","datavalue":{"value":"Boolean function","type":"string"},"datatype":"string"},"type":"statement","id":"Q722584$10A6575A-A988-4B11-9203-BED1B71A31AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"824665edd9e4a4bfb3f86cc1f1bbd748b5e64c68","datavalue":{"value":"essential arity","type":"string"},"datatype":"string"},"type":"statement","id":"Q722584$1D53A4F3-978C-48B0-9300-E757C8D0A6CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8aae83c33a0bc504fe29e645cd8fe36390cb41bb","datavalue":{"value":"minor order","type":"string"},"datatype":"string"},"type":"statement","id":"Q722584$44E33465-F7E4-4EC7-AE04-813D609566EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"77c486c35aabe74d5d215cbd20fd0efa9d43ead2","datavalue":{"value":"upper cover","type":"string"},"datatype":"string"},"type":"statement","id":"Q722584$F2BF4F36-097E-4F5A-8B4F-0E06047CB4DD","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"dbe3a8b301a06d9236f5477ca91275a7524f66b9","datavalue":{"value":{"entity-type":"item","numeric-id":353360,"id":"Q353360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q722584$CD4D9978-88F3-40DB-8A5E-735B0187678C","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":"Q722584$F9E9F8DF-38B0-45A2-B225-2726DBE4DAAB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"76b82292a37de0278e43fe1808f4d2a1024316c7","datavalue":{"value":"W2616638360","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q722584$599B4742-0E5A-4BBA-9E34-5FF0CC3B11B7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9807626a21c213da3fecc55974b0ce2d03ec04a7","datavalue":{"value":{"entity-type":"item","numeric-id":4313325,"id":"Q4313325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q722584$7063561B-8617-4A4D-965F-6316F0818941","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7212ef82d008ae61add20a351bd2a4e97b91bea9","datavalue":{"value":{"entity-type":"item","numeric-id":603893,"id":"Q603893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q722584$48DFB63B-18B6-49A2-AF8F-3939CC42D2E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2819a673cf456fbd8f6c5a9397ef5112f35b7fc0","datavalue":{"value":{"entity-type":"item","numeric-id":1045078,"id":"Q1045078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q722584$77EB4123-B44C-40DA-A4E0-2179C4BFB1B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"119a05976f281c1f33c6c67bf427e8854e8e7f33","datavalue":{"value":{"entity-type":"item","numeric-id":2376914,"id":"Q2376914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q722584$16F3713F-8351-47F5-BC93-32932C744F68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3bc3ca6a04e52b0bc0883c778312bb310ba82666","datavalue":{"value":{"entity-type":"item","numeric-id":924135,"id":"Q924135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q722584$5097E7C4-03F8-4269-B84C-3DC94D18BF24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87b240193e402c432243d303c9d058c47bf83a78","datavalue":{"value":{"entity-type":"item","numeric-id":2837214,"id":"Q2837214"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q722584$1DBA7B4E-79D8-4E6D-A882-5AB9770FAEE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a55a98d6817fb795d6ca66d688e288c58734d83","datavalue":{"value":{"entity-type":"item","numeric-id":1910581,"id":"Q1910581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q722584$A30CAA38-20DB-4806-8119-2F7CB43546C5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f22706e99d59aaa1960b127a3e3973165c9e3799","datavalue":{"value":"10.1007/S11083-017-9428-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q722584$24B2E550-7A0C-4C8F-B3B7-30A1FFB2FAA6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e1017192cde8778ec77732ee40a56f656dfc701","datavalue":{"value":{"entity-type":"item","numeric-id":4234621,"id":"Q4234621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f154cf36c4a687dd5044adb858a944260ce86c4b","datavalue":{"value":{"amount":"+0.8593887","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":"Q722584$2C0F6036-B8E3-4FBE-8C38-A3BC5315D404","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f48b495efa621b3bed3beea1303974b370d930d4","datavalue":{"value":{"entity-type":"item","numeric-id":5503635,"id":"Q5503635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8859b75ef2349b763ae1d1f1e05b6282e66758d9","datavalue":{"value":{"amount":"+0.8316122","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":"Q722584$0C71439A-A7C3-49C2-B4CC-7455722E50EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"325d8ad647a2e9c6168371cca7f6f45009a9048d","datavalue":{"value":{"entity-type":"item","numeric-id":2731784,"id":"Q2731784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c29bfce371f2a09542f72bc82cfdd717d96deed","datavalue":{"value":{"amount":"+0.8315989","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":"Q722584$A694425B-B081-4FE1-A2EC-8D27750FE0C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"19d7bf8721b5b52e040511b56ed77a53e5dbd9f4","datavalue":{"value":{"entity-type":"item","numeric-id":691799,"id":"Q691799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8cb0d06942d291f4765731ad878dec2ef582c974","datavalue":{"value":{"amount":"+0.83159876","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":"Q722584$C921EA9B-04C5-4E0A-8770-F5E09ABA026C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c428f6113e3c7aa47b9fadef9f7e6c531fd0d5d","datavalue":{"value":{"entity-type":"item","numeric-id":3999052,"id":"Q3999052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e398dbe9a850e2c79af94f87e356c084d54de8cd","datavalue":{"value":{"amount":"+0.8290707","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":"Q722584$F501114E-DDEE-46FA-9BE5-A58D5512CA7E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Majors of functions","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Majors_of_functions"}}}}}