{"entities":{"Q804712":{"pageid":806560,"ns":120,"title":"Item:Q804712","lastrevid":64508823,"modified":"2026-04-11T20:21:28Z","type":"item","id":"Q804712","labels":{"en":{"language":"en","value":"On the membership problem for pseudovarieties of commutative semigroups"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4202593"}},"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":"Q804712$1AFAC080-4BB6-40DE-8CC3-DCA0535AB576","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1684027dd7b037219b6c912b4e5fa1a7d782a8ff","datavalue":{"value":{"text":"On the membership problem for pseudovarieties of commutative semigroups","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q804712$6620028E-E5B1-4D0D-BC43-E79EAE446565","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5a4318cc302dec4b26e9ef27f71a9065d9e3aa19","datavalue":{"value":"0728.20050","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q804712$8204F3D5-A8A7-4D3C-8321-21EBC2FD4804","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a1d180b781955454679df8d32ac218b39b14135e","datavalue":{"value":"10.1007/BF02573404","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q804712$74BA9B49-4119-4BC8-A251-DEEFF89799FB","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":"Q804712$5483F9B2-5BB6-4D5E-93CF-CF2E4807341E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"391107ffc7a24346d69c573e292e4ff4587e3aaa","datavalue":{"value":{"time":"+1991-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":"Q804712$B42DDDB5-EA84-46F3-A92D-5B42E95C170F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"44a1a4609e2bef3e33969b78a838bed832f28d8b","datavalue":{"value":"https://eudml.org/doc/135062","type":"string"},"datatype":"url"},"type":"statement","id":"Q804712$372400C4-95DB-43E0-9F21-8724C92EABDD","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"df9e27c7d867e73c1a383e8d9f7f2718437e7e03","datavalue":{"value":"The author shows that every pseudovariety of finite commutative semigroups admits a finite basis of pseudoidentities. On the other hand, he exhibits an example of a permutative pseudovariety without finite basis of pseudoidentities. He proves also that a pseudovariety of commutative semigroups has the membership problem decidable in polynomial time if and only if it admits a finite basis of pseudoidentities verifiable in polynomial time.","type":"string"},"datatype":"string"},"type":"statement","id":"Q804712$99B6BDC8-FCB4-4E1D-9E3F-3E71E9D9A524","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e5fb4697c93e6483e0ffbb93428a373e0646b68d","datavalue":{"value":"20M07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q804712$61229A53-F62E-4D0B-8E9B-B0614ADD84F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"eadae2eb6bbadf82bbbb96425466d50c2adfbaee","datavalue":{"value":"20M14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q804712$2EDB8BB8-2237-4463-851C-795E9F022031","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ba40962b9b1c6cc590e99c35b83dff6377a190fb","datavalue":{"value":"08C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q804712$3786B068-10E4-4AA6-AE65-767C1B6DC69A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q804712$8C9A95B6-D2AE-4965-9F4A-B378E353FAB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"03468f1d5abafefed311cc9ccae9ddd73ff4dbd8","datavalue":{"value":"20M05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q804712$D8386165-6989-4D4D-9A35-5718EC518CE9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d2399bfdac70fa9f06685063d9784037348f134e","datavalue":{"value":"4202593","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q804712$F72969CD-4BE2-4989-AADE-DC1C5726A46E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"912a7694668038b1abef2452417c1409d3ea722f","datavalue":{"value":"pseudovariety of finite commutative semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q804712$9657E30F-5593-46F5-9FF4-83E52AD0CCD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b084ce876aa88cdabd8bdb9d0e7dbffb03a6c1ad","datavalue":{"value":"finite basis of pseudoidentities","type":"string"},"datatype":"string"},"type":"statement","id":"Q804712$F5E8A3AB-530B-43EB-88DD-49F41BB63EF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e8fb676f460e82d7ea391e5f60edc6b5fccad394","datavalue":{"value":"permutative pseudovariety","type":"string"},"datatype":"string"},"type":"statement","id":"Q804712$B00F8EA2-18F8-4F41-95B4-417FF7F6EF2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2a2a5aaf2813613e191091bab6a7937bd2f6db3d","datavalue":{"value":"membership problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q804712$DC2257DF-4B4A-456F-AF23-0991911E1CDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a862f016acc1e519aa7b6644887bfca464692961","datavalue":{"value":"polynomial time","type":"string"},"datatype":"string"},"type":"statement","id":"Q804712$1B800ADE-4179-4759-81FD-07D505A3DB47","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":"Q804712$03E535E0-C1A3-4079-9C82-7116863ED0CD","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":"Q804712$F1E694E7-4C10-4927-9A8B-C828F08FF7AC","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":"Q804712$EB9E4F74-0067-4736-AF7D-95A7CD57BEFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac11d5e2067fd3aed3fb32828d1397a8966f5d14","datavalue":{"value":{"entity-type":"item","numeric-id":1068947,"id":"Q1068947"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q804712$8F4246D7-3C49-45B6-BF0C-E114BFDBF88C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7875b52ab4fcf3e5d69b03fceaaebd35254d1b0","datavalue":{"value":{"entity-type":"item","numeric-id":2770662,"id":"Q2770662"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q804712$B6537883-0BCC-4495-9F79-CBF3E6C0FD8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a19ce3ac82a55486f600cd2d3a8f1c064d887777","datavalue":{"value":{"entity-type":"item","numeric-id":3760739,"id":"Q3760739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q804712$CE68745F-230B-476A-A57A-E2D2AAADC3B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"daa28b36f1d47ef725ba4acb380f1839600a6b45","datavalue":{"value":{"entity-type":"item","numeric-id":4132170,"id":"Q4132170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q804712$B3ED3C0B-71E3-4850-AFCA-83B3927645C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"838e93d923d4242f5a642afb4710a839870074c7","datavalue":{"value":{"entity-type":"item","numeric-id":2536632,"id":"Q2536632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q804712$16CB303E-81A1-4066-B6BD-A3F9A9836B86","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":"Q804712$0D72D612-6C47-4008-B63A-0EA7F0A199BD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"95f1a4ada06af37c4b15080075df6f55e59b68bf","datavalue":{"value":"W2035576809","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q804712$51DF0CE4-2971-478A-A6C7-822DA9732CBC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b7fac3bd06700f712670aa4e41f5696acff3922d","datavalue":{"value":{"entity-type":"item","numeric-id":2639970,"id":"Q2639970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"18eef2b51deb6dbe75ed08116d3fd3021b685255","datavalue":{"value":{"amount":"+0.91172314","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":"Q804712$D1C2424E-BEE2-4680-B907-06E8DB6464E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2112f90ba6a41ebc45c3dad855a8e75fedf07d12","datavalue":{"value":{"entity-type":"item","numeric-id":5311136,"id":"Q5311136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e90150ad887c864175b515464f3c7236964ea37","datavalue":{"value":{"amount":"+0.91097546","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":"Q804712$0EF5E99E-2548-487B-9FDE-55511AE92385","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a2344295417b5c35fbf01bdfe1ce2cd56b4f9331","datavalue":{"value":{"entity-type":"item","numeric-id":3137359,"id":"Q3137359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2082ce1e7ad1410f344a1e3db94f3115256fbdc4","datavalue":{"value":{"amount":"+0.9077316","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":"Q804712$A7B7F445-BB1D-4AF0-97D7-E80A8C7BCC6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6486184b29309c76ada6559fb1e708ffdfa4697e","datavalue":{"value":{"entity-type":"item","numeric-id":4258200,"id":"Q4258200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ba0b03c742d01dd83139da0f2e0f4d5f6cb19be4","datavalue":{"value":{"amount":"+0.9063492","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":"Q804712$D262AB29-0B23-467F-8943-4DBA78609FCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d47a00f0af569590d0e24fb7dce8e89019008535","datavalue":{"value":{"entity-type":"item","numeric-id":898188,"id":"Q898188"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7c6f493d0db22a648e77da6438f9e6acf787cd37","datavalue":{"value":{"amount":"+0.9038377","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":"Q804712$19F44675-5507-487C-ADB5-89047699C9AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b14662420a6ab173c0493503670ab23d5cf7dd53","datavalue":{"value":{"entity-type":"item","numeric-id":5384349,"id":"Q5384349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b8025ed413a204aa874fd59a9f28f590f8d382d3","datavalue":{"value":{"amount":"+0.9032067","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":"Q804712$EF68FA7C-8F52-4FF1-9A67-755F47CA1E80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c472e38820c87624895f7de7d4fb1f11d064c233","datavalue":{"value":{"entity-type":"item","numeric-id":2716975,"id":"Q2716975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e47f9c15a7a3864cc8bc3532bc90b00bd73ff199","datavalue":{"value":{"amount":"+0.90208983","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":"Q804712$CA41057B-DCDC-4C68-ABA5-8399F3D24423","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8ab3e61c61bb4e08cff935132bdff0ff747470c5","datavalue":{"value":{"entity-type":"item","numeric-id":1602666,"id":"Q1602666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3c4bd1bb33052dc8a1ac584bbf0e4abd9b944285","datavalue":{"value":{"amount":"+0.90180486","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":"Q804712$6CFA2301-9766-4196-A0FF-4385387DC623","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"30fac7839b6c13301e77083ac78f61521924a464","datavalue":{"value":{"entity-type":"item","numeric-id":4286389,"id":"Q4286389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"23fbf871445493184e70930badcc1f0cb9c93472","datavalue":{"value":{"amount":"+0.90137696","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":"Q804712$C9FC0AE5-EA99-493D-BA34-A59CFF5C08D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e0fd2519b0399fb0f568cd91b0012f565406069a","datavalue":{"value":{"entity-type":"item","numeric-id":2365284,"id":"Q2365284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"93fc2372473149fc42cd7f90c1e97d31d6f11549","datavalue":{"value":{"amount":"+0.89906055","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":"Q804712$E80C03B8-333A-44D5-98A7-E68013DBAAD0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the membership problem for pseudovarieties of commutative semigroups","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_the_membership_problem_for_pseudovarieties_of_commutative_semigroups"}}}}}