{"entities":{"Q1906529":{"pageid":1917271,"ns":120,"title":"Item:Q1906529","lastrevid":71126757,"modified":"2026-04-13T19:39:27Z","type":"item","id":"Q1906529","labels":{"en":{"language":"en","value":"On a finite basis problem for universal positive formulas"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 840236"}},"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":"Q1906529$2EF99545-CED5-4418-BCA3-33CA26900A4A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"29343b4aaa44e3ed9771421a537b17188675c2e5","datavalue":{"value":{"text":"On a finite basis problem for universal positive formulas","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1906529$6AA258E9-786A-4896-B02E-1646FA2C684E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"03b61ec7d56c0bafb0b22365a62544e4bb70647c","datavalue":{"value":"0841.20054","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1906529$0CB9C7DB-9385-4D6F-8927-DA90C9C87BEB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"aeee6e54374fe80b7f4491d13d0d1bfb9fa8c157","datavalue":{"value":"10.1007/BF01190973","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1906529$83633AA9-F67F-463C-9017-262445EE3063","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8fa179c8715004e2374d4db0c3ce41b39558e95d","datavalue":{"value":{"entity-type":"item","numeric-id":178112,"id":"Q178112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1906529$16E98FFB-E36F-42CA-8647-F9B15F70506E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1ca13147794ee6248df993be52ba350f706942fc","datavalue":{"value":{"time":"+1996-07-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1906529$4F16AD69-9709-4E07-813A-54AAFD41F94D","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"4c0ab4e6bbc0cfd704cb7e6bfdb17b727a77a462","datavalue":{"value":"A \\(\\forall\\)-formula with the matrix of the form \\(u_1=v_1\\vee\\cdots\\vee u_n=v_n\\) is called a disjunctive identity. A disjunctive identity of the form \\(\\bigvee_{u\\in U, v\\in V} u=v\\), where \\(U\\) and \\(V\\) are finite sets of terms, is called a collective identity. The author constructs a finite completely 0-simple semigroup whose collective identities are not finitely based (Theorem 1) and a (necessarily infinite) completely 0-simple semigroup whose disjunctive identities are not finitely based (Theorem 2). The latter semigroup has the interesting additional property that its (usual) identities are finitely based.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1906529$EB77636C-B042-48FC-8214-3FD88F73C8D0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e5fb4697c93e6483e0ffbb93428a373e0646b68d","datavalue":{"value":"20M07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1906529$CED9D310-0AB2-4C43-8F26-2B986F432E65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"03468f1d5abafefed311cc9ccae9ddd73ff4dbd8","datavalue":{"value":"20M05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1906529$AAF1F2D5-795E-4E71-A885-AB46B8B41EBB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8b90f07ced3e71af7efcf5f5c057f5585a42aae4","datavalue":{"value":"840236","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1906529$C6F4D9B2-3B7C-4C00-9ECD-E3526471CCD6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6fbf857eb8b7252d0ae2d4cd45fb41e60c91c39","datavalue":{"value":"finite basis problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1906529$B8204516-BD8F-4D15-85D1-F559AC4962DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ec9100ecb203236e11b380017fa08a0c29e13c5","datavalue":{"value":"sets of terms","type":"string"},"datatype":"string"},"type":"statement","id":"Q1906529$6E3225A1-82A1-4F1F-B323-0AAB4AE7BD81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"143e0557cafa5fdd9540b9354d6662e11d27ba0b","datavalue":{"value":"collective identities","type":"string"},"datatype":"string"},"type":"statement","id":"Q1906529$969B2FB4-946B-40E0-BC42-DB153AEBB414","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"79738e15c877f48e56276bee113ed90f909d8a42","datavalue":{"value":"completely 0-simple semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1906529$AEC12DCF-4F87-4125-A5C4-2D82789D9C3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aeb6c70fa222e8f5d494c1adadba7a26949400c4","datavalue":{"value":"disjunctive identities","type":"string"},"datatype":"string"},"type":"statement","id":"Q1906529$78BE5A0E-E703-4507-ADED-2475DBE6F2E6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"08340f6b5bca7e1a88fb13b3ef8e95306f00c9bc","datavalue":{"value":{"entity-type":"item","numeric-id":671501,"id":"Q671501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1906529$ADF8A1D3-B7C4-47A5-B7F7-21B88E0828E6","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":"Q1906529$BB160402-B6FD-4B52-9C54-B9FC101E232C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3116250d684eb69c38779038dc7ffaad316fe25b","datavalue":{"value":{"entity-type":"item","numeric-id":1836747,"id":"Q1836747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1906529$0D9D6285-04E7-4BAE-9339-20C75E3ECA5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"196b6181f75aa542e151dbfd89a604c1aae161e1","datavalue":{"value":{"entity-type":"item","numeric-id":3314062,"id":"Q3314062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1906529$3EFB9E31-A279-4939-B133-BBEC548FA760","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c69083e34ca696bca78588de0ad8f696cfc993d0","datavalue":{"value":{"entity-type":"item","numeric-id":4300626,"id":"Q4300626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1906529$7DD47D8F-3024-48EB-B87B-17174324FC4A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d1bd1cc6fbe985ecdbd39cdc7c224a889b41589d","datavalue":{"value":"https://doi.org/10.1007/bf01190973","type":"string"},"datatype":"url"},"type":"statement","id":"Q1906529$80214393-5F72-4918-AE6E-137C15ACC5E7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9a19c2bbae78b8e23a7bd3bc0f905cce2db7d9ef","datavalue":{"value":"W2023101605","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1906529$5743F3C6-5000-454D-B006-7F823FF2113E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b4e698eebe609c04a23e9bce52e7da1914fb18c7","datavalue":{"value":{"entity-type":"item","numeric-id":691030,"id":"Q691030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"913c9af47e8042392eb81bdeb312808cd40d960b","datavalue":{"value":{"amount":"+0.8039818406105042","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":"Q1906529$890DFEEB-32B3-4EB5-95A9-5F35ACC1C5BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6084247a54ea0b89fddedb901a4384681b0a4b35","datavalue":{"value":{"entity-type":"item","numeric-id":5316303,"id":"Q5316303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d8006c8fc1d38db7e75e0ed4378c695d5ee014e0","datavalue":{"value":{"amount":"+0.7970998287200928","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":"Q1906529$D3C692FF-8AC5-45A3-8DB9-44B72A60179A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b433f037be81a86b5eac30b25c70d1a1641286d6","datavalue":{"value":{"entity-type":"item","numeric-id":2799600,"id":"Q2799600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"56229a36b3b9dcf364587126a655943aa1e0e600","datavalue":{"value":{"amount":"+0.7916788458824158","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":"Q1906529$40C512E1-BD79-4146-8A81-616BE9A6677D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af4b1e0da83af026df8a21c519768f20750dd5fd","datavalue":{"value":{"entity-type":"item","numeric-id":1105043,"id":"Q1105043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d76a05ef943bf27ae5dcf6eabea09e93a443705","datavalue":{"value":{"amount":"+0.7840176224708557","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":"Q1906529$D1E21271-1ECD-4D59-A559-D160237F978F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de17530d8b0cace2528771cb09196fe104e76740","datavalue":{"value":{"entity-type":"item","numeric-id":2940602,"id":"Q2940602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"13db258111729f8fa80ca61f6ccd722d0530626e","datavalue":{"value":{"amount":"+0.7834777235984802","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":"Q1906529$6766E6E9-4221-49D9-AEB4-75227561FCF4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On a finite basis problem for universal positive formulas","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_a_finite_basis_problem_for_universal_positive_formulas"}}}}}