{"entities":{"Q1071109":{"pageid":1081861,"ns":120,"title":"Item:Q1071109","lastrevid":66223140,"modified":"2026-04-12T08:22:45Z","type":"item","id":"Q1071109","labels":{"en":{"language":"en","value":"Some quasi-ordered classes of finite commutative semigroups"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3937413"}},"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":"Q1071109$4E851B7F-6E5D-414E-A6C2-00679A52A58A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e09dd87bea498c7cdf4af4c61b313a8bad1b15cd","datavalue":{"value":{"text":"Some quasi-ordered classes of finite commutative semigroups","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1071109$D515B0C7-ECE2-4C3E-8917-52B35F4D37D9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c6ca1cfc3098f657b78e27d56d00728d9776b09c","datavalue":{"value":"0585.20032","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1071109$B5AE0AFD-CEB4-47E8-8134-D4B63A1F84D3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e82e12fc7fa38bafa789d8963ff3af9f915efee3","datavalue":{"value":"10.1007/BF02575536","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1071109$DE10E96A-F130-4745-971B-7F5068EFAE41","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4fc1d31d63a2df647dd98cf320ada5d35f0019b0","datavalue":{"value":{"entity-type":"item","numeric-id":375866,"id":"Q375866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1071109$86C734DF-727B-496D-9D40-FC3AC057779E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"28dbf90a09492d81530507fd711b9336815e58a3","datavalue":{"value":{"entity-type":"item","numeric-id":172569,"id":"Q172569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1071109$5F5D4574-AA22-4C61-96FF-F14496A1428A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c94df5c9af0ede578c52141befd29044de13172","datavalue":{"value":{"time":"+1985-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1071109$3082D858-EE81-48AC-A2F2-382CCB01E735","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"42c6eb33a1ea124cc67f1f4408396e3e99493fd2","datavalue":{"value":"https://eudml.org/doc/134779","type":"string"},"datatype":"url"},"type":"statement","id":"Q1071109$44EFF186-C5E6-4E58-9453-CB337EDB88E9","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"f0ad8ee00e78fcc9ba5f253f199c3d7eabb7d7aa","datavalue":{"value":"A quasi-ordering on a set S is called well quasi-ordering (wqo) if every strictly descending chain and every anti-chain are finite. For a set S with a quasi-order \\(\\leq\\), the power set P(S) inherits the quasi-order defined by: \\(A\\leq B\\) if for every \\(x\\in A\\) there is \\(y\\in B\\) so that \\(x\\leq y\\). Define \\(P^ 0(S)=S\\), \\(P^{a+1}(S)=P(P^ a(S))\\) and for a limit ordinal b, \\(P^ b(S)=\\cup \\{P^ a(S):\\) \\(a<b\\}\\). (S,\\(\\leq)\\) is a better quasi-ordering (pqo) if every \\(P^ a(S)\\) is wqo. A pseudo-variety is a class of finite commutative semigroups closed under subsemigroups, homomorphic images and finite Cartesian products. The following are quasi-orderings: \\(A\\leq_ EB\\) iff A is isomorphic to a subsemigroup of B, \\(A\\leq_ QB\\) iff A is a homomorphic image of B, and \\(A\\leq_ DB\\) iff A is a homomorphic image of a subsemigroup of B. Theorem: For a pseudo-variety of commutative semigroups V, the following conditions are equivalent: a) V is wqo under one of \\(\\leq_ E\\), \\(\\leq_ Q\\), \\(\\leq_ D\\), b) V is bqo under each of the quasi-orders in a), c) Either V is defined by \\(xy=0\\) or V is a pseudo-variety of finite groups containing not more than a finite number of cyclic groups of prime order.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1071109$754D58B3-65D6-44EB-92B1-7BB71ACCBD4A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e5fb4697c93e6483e0ffbb93428a373e0646b68d","datavalue":{"value":"20M07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1071109$C57188D5-01A9-4A32-976B-7605055C2A96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e037813de56311048f7e0a208650360505bf4d4e","datavalue":{"value":"06A06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1071109$DB79AD2F-C5F3-4A53-8528-3CD04F8CAE43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ba40962b9b1c6cc590e99c35b83dff6377a190fb","datavalue":{"value":"08C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1071109$07FD58B5-D216-4E13-B611-E68EB8A4B7D4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f9dca7227f33f94d44afdb44fd68041bf3b3b12f","datavalue":{"value":"3937413","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1071109$3BD9E48B-A347-42BD-99C3-9235FDAD7CFE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"61612d2c44c27cb5c35558dacb2542ca738b00c1","datavalue":{"value":"well quasi-ordering","type":"string"},"datatype":"string"},"type":"statement","id":"Q1071109$F9495F57-C5C8-4D63-BDD5-1FD2F241AB84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"faebaeb017acbfb1e568fca745de3c2a9d421270","datavalue":{"value":"anti-chain","type":"string"},"datatype":"string"},"type":"statement","id":"Q1071109$AB12734C-6188-4CA9-81E3-C95F8D9009CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3a22d73a1e634cf02c694acdb79439d0678cd42b","datavalue":{"value":"better quasi-ordering","type":"string"},"datatype":"string"},"type":"statement","id":"Q1071109$2418F672-9D12-4D45-A450-3F065962A5E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3de562495e9ecf9e0bb77b505adf1c0b8f6fac68","datavalue":{"value":"pseudo-variety","type":"string"},"datatype":"string"},"type":"statement","id":"Q1071109$A664239D-D353-4153-A296-F5128542B548","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d40ff332a84ac345697927ee17c2e7ebbec474bb","datavalue":{"value":"finite commutative semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1071109$833551E7-697F-4C81-B89A-A677B0CC378D","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"542b6ea84023c152b4343da3d1339c7580f7af0e","datavalue":{"value":{"entity-type":"item","numeric-id":1180654,"id":"Q1180654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1071109$84F05AD7-B1AA-4533-829C-35836BC381F8","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":"Q1071109$F4EBBC68-2E85-4BD0-88F0-762A7D51BE20","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f760f8cf9ab7002eb2f7c822eda9138ac1f1eee6","datavalue":{"value":{"entity-type":"item","numeric-id":3724564,"id":"Q3724564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1071109$EE4E6419-70DB-4566-AFC6-EC5781C309A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2157b6a3ed233a5dbac41e3ba6e4ae57258737e6","datavalue":{"value":{"entity-type":"item","numeric-id":5594621,"id":"Q5594621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1071109$4157AFDE-57AE-4BA1-8613-073A17E2CA14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11e5b43c5f0e711ef91c4f8e7255199d25558fbd","datavalue":{"value":{"entity-type":"item","numeric-id":5541375,"id":"Q5541375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1071109$1F2ADEAA-68C1-4059-AB34-FA565FFB6EF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c57448c3511c30ed92e5fbbbe68c6f2b95237a20","datavalue":{"value":{"entity-type":"item","numeric-id":2554710,"id":"Q2554710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1071109$95E8A673-531A-4F15-B1F6-438EF033497E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"afe18fdfb882c799d34a7482b763d96a45625e71","datavalue":{"value":{"entity-type":"item","numeric-id":3853827,"id":"Q3853827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1071109$42E2FAD8-9AF5-432E-8E6E-8168B0B7F02A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd75fa562171f1bc8488c55c38ad826341f610ad","datavalue":{"value":{"entity-type":"item","numeric-id":2543669,"id":"Q2543669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1071109$9132B347-CF22-420B-B190-DC870A6424EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b82814ab5f06cad36771ed34c10c45fd26928fd","datavalue":{"value":{"entity-type":"item","numeric-id":3890740,"id":"Q3890740"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1071109$EEF486F2-8E50-40B1-9F87-1606CFB7F4B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"41125a252fb0a70c6c55f7ee4dce642415efbf07","datavalue":{"value":{"entity-type":"item","numeric-id":5520569,"id":"Q5520569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1071109$D0DD5536-AA74-4D28-924B-F53304A59A82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0069bfd44f20ffca1f13711f6ed0aaa8cdbb2345","datavalue":{"value":{"entity-type":"item","numeric-id":5632610,"id":"Q5632610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1071109$27BCACF3-2FDC-4A8E-BDFD-89CDEAED82FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"36443093769a6cbdb09ed8569ecd63f4d20d7725","datavalue":{"value":{"entity-type":"item","numeric-id":1163585,"id":"Q1163585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1071109$64DA7E91-515F-4DE9-9DE6-0CFA9CF0B055","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"810b22e92de470987ddb73a7462cfd9b9559343a","datavalue":{"value":{"entity-type":"item","numeric-id":3724564,"id":"Q3724564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bc29f36420451706774a4cbbda3ea947365f7653","datavalue":{"value":{"amount":"+0.8756272792816162","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":"Q1071109$DA8B381B-B936-40D8-ADE8-F5F767F51509","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"78d4160208f9075a5ffb25c2b763492bf44b749e","datavalue":{"value":{"entity-type":"item","numeric-id":5386976,"id":"Q5386976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"789b2fc3c841b94aae34f5764ae148d81bcd8d6b","datavalue":{"value":{"amount":"+0.8324915170669556","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":"Q1071109$9B8FF614-829A-4236-9FB0-8199E5F3FADA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"636741d3909eb5234da18085890f5962ec41ac87","datavalue":{"value":{"entity-type":"item","numeric-id":5959740,"id":"Q5959740"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bc50fb6f6747386fda1f4de8f084f0685b02f298","datavalue":{"value":{"amount":"+0.7719374895095825","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":"Q1071109$A0155361-E61F-45E6-9395-52ECAC802319","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1d9e4c762c2d7e52d918c6e4b8139901fc7cc679","datavalue":{"value":{"entity-type":"item","numeric-id":1359987,"id":"Q1359987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bc50fb6f6747386fda1f4de8f084f0685b02f298","datavalue":{"value":{"amount":"+0.7719374895095825","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":"Q1071109$86F346CD-8BA8-4A67-BB61-9FD2A7248FB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"93ab39a622c9b9688b8edf75a5405489962af878","datavalue":{"value":{"entity-type":"item","numeric-id":1120606,"id":"Q1120606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"66f8c6a686a249737fde078eed0fe86dba560ed7","datavalue":{"value":{"amount":"+0.768190324306488","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":"Q1071109$7E681984-64F9-4E83-9174-CD4F722E930C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Some quasi-ordered classes of finite commutative semigroups","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Some_quasi-ordered_classes_of_finite_commutative_semigroups"}}}}}