{"entities":{"Q862976":{"pageid":864824,"ns":120,"title":"Item:Q862976","lastrevid":64918074,"modified":"2026-04-11T23:06:11Z","type":"item","id":"Q862976","labels":{"en":{"language":"en","value":"Descending chains and antichains of the unary, linear, and monotone subfunction relations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5118501"}},"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":"Q862976$D7BC5A5E-9216-4910-8E8F-042497341533","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"73f7c192652425d73bf44abc7cebb742395bf81a","datavalue":{"value":{"text":"Descending chains and antichains of the unary, linear, and monotone subfunction relations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q862976$257E64FA-9D7B-4543-84E0-D99BD018EFC1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b6f0103d76bc1ef2a101f1f9d3073aea297cb1fb","datavalue":{"value":"1124.08002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q862976$DE16D4FC-EC1E-47F1-A62C-9DE5B3FB5068","rank":"normal"}],"P16":[{"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":"Q862976$52FB241C-1310-4AFD-9144-3FC1F8C15272","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":"Q862976$BCD6A1DB-25D7-4259-88DD-97AC7E1513C5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7bcc80abf4febcaab92f350c6ca87f3e89154ae7","datavalue":{"value":{"time":"+2007-01-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q862976$3DC1AE17-DB9F-4D90-AF8B-C58D895816FF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"68085f0b408dc566a157f355d16f44294652b014","datavalue":{"value":"http://orbilu.uni.lu/handle/10993/3267","type":"string"},"datatype":"url"},"type":"statement","id":"Q862976$230634F5-2B49-4BE7-8596-74461933FBDA","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"b22184b2c8c5c9c81fa97ebd768ee31aedc84066","datavalue":{"value":"Let \\(C\\) be a set of finitary functions on a fixed nonempty finite base set \\(A\\). Then an \\(n\\)-ary function \\(f\\) on \\(A\\) is called a \\(C\\)-subfunction of an \\(m\\)-ary function \\(g\\) on \\(A\\) if there exist \\(n\\)-ary functions \\(h_1, \\dots,h_m\\in C\\) such that \\(f=g(h_1,\\dots,h_m)\\). This \\(C\\)-subfunction relation is a preorder (i.e., reflexive and transitive) if and only if \\(C\\) is a clone on \\(A\\). If \\(f\\) and \\(g\\) are \\(C\\)-subfunctions of each other, then they are called \\(C\\)-equivalent. For a clone \\(C\\), we obtain an equivalence relation and a partial order on the corresponding quotient set. In the present paper, this partial order is studied for the following clones on \\(A\\): (i) the clone of all functions; (ii) clones of essentially unary functions; (iii) clones of linear functions (with respect to a field structure on \\(A)\\); (iv) clones of monotone functions (with respect to any partial order on \\(A)\\). In particular, the existence of infinite descending chains and infinite antichains is investigated. It is shown that in the cases (i), (ii) and (iii) there exist no infinite descending chains, whereas in all non-trivial cases (iv) infinite descending chains exist. Furthermore, it is shown that in case (i) there exists no infinite antichain, whereas in all other non-trivial cases (ii), (iii) and (iv), infinite antichains exist.","type":"string"},"datatype":"string"},"type":"statement","id":"Q862976$9F7E27BA-F918-43C6-94B1-BFA40425CA5C","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"91c81d2a07f17bb7a2ffecb85e0f87749274f55f","datavalue":{"value":{"entity-type":"item","numeric-id":590994,"id":"Q590994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q862976$BDAE049E-A180-4E4F-B616-1B0F403C7DF3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"602d7e96b613d2f356db81712453cadad0417631","datavalue":{"value":"08A40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q862976$5FA7169B-AA52-4128-B3C1-ACD6871AE4F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e037813de56311048f7e0a208650360505bf4d4e","datavalue":{"value":"06A06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q862976$EBC0575D-0971-44AA-9023-76321AFC23DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"92a555e3a541c9f0978c54443cf0a96e2a43c4df","datavalue":{"value":"08A02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q862976$2AF940BB-8ED0-46BA-9C45-10C70B4BD3B3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c6341e43ef704b927d1168216ce12b9d69e7de25","datavalue":{"value":"5118501","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q862976$7648AFDB-67A7-41FC-92AD-6A3B2A5B6463","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d32b0bcc7bb39c92b92984e1db79a0a14ddfb744","datavalue":{"value":"clones","type":"string"},"datatype":"string"},"type":"statement","id":"Q862976$7596E45E-7D0F-479D-AB9F-8FC09C0A48F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3bbd3ab7bf1fbafed768194a39eff6e0454fe108","datavalue":{"value":"partial orders","type":"string"},"datatype":"string"},"type":"statement","id":"Q862976$582A9CC1-A173-44F5-A38F-72DD48B21212","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"62c0f24ab505b0c9d1dbe873dc5f5fb3360ca703","datavalue":{"value":"linear functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q862976$9B7B8402-D02C-4F49-AD20-575BA749F244","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a6178e6e3ee3ad49e11d737a882d76361265c248","datavalue":{"value":"monotone functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q862976$91B870FE-6315-4A1D-A517-46478B8495C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"37c1333b67a8378e5ec40e1537d1ba71fa75217a","datavalue":{"value":"Menger systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q862976$D63ED012-922A-4458-A2F1-722AAB0B505F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"15ac95bace04be49f497cca43d0ba7f878233024","datavalue":{"value":"Green's relations","type":"string"},"datatype":"string"},"type":"statement","id":"Q862976$4040A864-B466-46A7-9173-7FEFAF87CA4D","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":"Q862976$8DBA3AA2-D2BA-44D8-903A-0486648D922E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"236cfd1cff4e345df54ec2cc81c9393f4473d65f","datavalue":{"value":"W1994234838","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q862976$BC0F3056-388F-4FC2-B4D1-C8CFB7D63091","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ba4f5628b9493b3dc4e9b69bc068cb07ae68c2f","datavalue":{"value":{"entity-type":"item","numeric-id":4530231,"id":"Q4530231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q862976$8EE64230-1A95-4908-95FA-577E9AEBC4C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"403c35fb4e37ffe8223dbe833023937c046a3ef3","datavalue":{"value":{"entity-type":"item","numeric-id":1151913,"id":"Q1151913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q862976$43363667-1D2C-4ED9-AFA4-AD03005EE084","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7be90c036b9866063421eeee88537ad540e758dd","datavalue":{"value":{"entity-type":"item","numeric-id":5502720,"id":"Q5502720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q862976$31A9B57B-5CDC-49C9-8477-DAD6A52758C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d376930c2f07bcbbb720ef55c807a9c9473d26bd","datavalue":{"value":{"entity-type":"item","numeric-id":2649409,"id":"Q2649409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q862976$8C18BA15-955E-44D3-A842-4B5145E0A831","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c941c588385ac2f1bce798946ec1cdf65210aa1e","datavalue":{"value":{"entity-type":"item","numeric-id":4085783,"id":"Q4085783"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q862976$838DC8F2-AB13-49D0-975B-D482C3EC07E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d6a093c1ab75194aafbb562c3328e0bfe3e750f","datavalue":{"value":{"entity-type":"item","numeric-id":4154617,"id":"Q4154617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q862976$F2084497-7CC4-4490-8790-5A91130CC736","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"abbd4368e50e5050e510c8c8aa52a518a6ec5310","datavalue":{"value":{"entity-type":"item","numeric-id":4846425,"id":"Q4846425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q862976$96799267-1A9C-477B-9442-6C889DE00132","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87707cc12548a2de963c7521cd51925a67ccec62","datavalue":{"value":{"entity-type":"item","numeric-id":1764425,"id":"Q1764425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q862976$719D7CD5-70F0-4421-878A-101042266722","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9f0a2ecf86633686e233f934168d1d9447939ea","datavalue":{"value":{"entity-type":"item","numeric-id":4501530,"id":"Q4501530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q862976$DC93C84C-21C6-4332-8112-F2F5C949BD1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4e0d43669616e0848acc6a586d3ddf88c2e7ab7","datavalue":{"value":{"entity-type":"item","numeric-id":3849996,"id":"Q3849996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q862976$5AAE858C-2DAE-4DFE-B60E-7D03705D4281","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f5038ff04f5a788929fff0bc1c34fd45daee1c6","datavalue":{"value":{"entity-type":"item","numeric-id":1613555,"id":"Q1613555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q862976$6A268425-92CB-413F-AE9E-C9BEE1CB81FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ae41416b3c63fb62fa987b6d8dfe2556eabf311","datavalue":{"value":{"entity-type":"item","numeric-id":5845380,"id":"Q5845380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q862976$F29BDA77-39D5-4BA4-88A3-E67CBCEDAB2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f93c686ec189b3fb845e1a030621bea964d1b37c","datavalue":{"value":{"entity-type":"item","numeric-id":797605,"id":"Q797605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q862976$FAAEC9BE-6B2A-42B3-9908-82998576A9F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70ee12f89d77970285b2076bc7f2a2f325676124","datavalue":{"value":{"entity-type":"item","numeric-id":1253677,"id":"Q1253677"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q862976$41F349BC-2337-4E8C-B8F5-76288B92C888","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b3eac7f018e313e2775e2a7103029c0cf3a4b4b","datavalue":{"value":{"entity-type":"item","numeric-id":1894774,"id":"Q1894774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q862976$4D659EC0-8F3E-41A9-B775-2FD783F23D56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54ccb96ca8158466d2f5e24edbab00aea527cd76","datavalue":{"value":{"entity-type":"item","numeric-id":2387440,"id":"Q2387440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q862976$DE9A09F6-125B-446F-B86D-52E9C7BA5E63","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a2efc38b385da8865aeab6f73a35ef101b930ffa","datavalue":{"value":"10.1007/S11083-006-9036-Y","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q862976$EEDDA43E-8272-4C5A-8AF0-C8E5913EB6C6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c9f91dcc9415eb636397455be2cb99796a499649","datavalue":{"value":{"entity-type":"item","numeric-id":5393808,"id":"Q5393808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4581e2164216f7b9ced982df20b375be4e38da2d","datavalue":{"value":{"amount":"+0.8092408180236816","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":"Q862976$22D05EA2-FA27-4583-B790-C6FBCB37DE52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b6282a708c068194602167ad96bd3b9da5a39093","datavalue":{"value":{"entity-type":"item","numeric-id":5389339,"id":"Q5389339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"70c4fd7085f846a02cdae0fce8664934ae9f48fb","datavalue":{"value":{"amount":"+0.7517767548561096","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":"Q862976$2B4938C1-4A50-4002-90A0-3E9882D05CF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"43e99066d063b5fc94a64f410046d3d753178299","datavalue":{"value":{"entity-type":"item","numeric-id":4657018,"id":"Q4657018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9b3883a88b039b7069cc5b1bd04ba09c157aeed5","datavalue":{"value":{"amount":"+0.7511444687843323","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":"Q862976$5C98AEDB-CD44-4923-90E5-83A9C835938E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f90a44daf785a262fab0f3b17a0e92682d92d820","datavalue":{"value":{"entity-type":"item","numeric-id":2837214,"id":"Q2837214"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e517e0140818163892ff79205992f9ea10a87cd","datavalue":{"value":{"amount":"+0.7500009536743164","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":"Q862976$C4D6D936-8F02-4D03-974C-2373C865D1AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d198bc76c7e630910436313115c307be3bdaa40","datavalue":{"value":{"entity-type":"item","numeric-id":4001097,"id":"Q4001097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a37a7aaa97d76b04ce2c7e2bf0b9bdbfab343ff8","datavalue":{"value":{"amount":"+0.7490270137786865","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":"Q862976$94039B1C-2E7E-47EF-AC14-7FC9F4414733","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Descending chains and antichains of the unary, linear, and monotone subfunction relations","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Descending_chains_and_antichains_of_the_unary,_linear,_and_monotone_subfunction_relations"}}}}}