{"entities":{"Q2755743":{"pageid":2766482,"ns":120,"title":"Item:Q2755743","lastrevid":41974825,"modified":"2025-05-20T00:18:10Z","type":"item","id":"Q2755743","labels":{"en":{"language":"en","value":"On the equational theories of semigroup varieties"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1671901"}},"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":"Q2755743$1F0838CF-2DA2-42A1-BA20-CF6C3091E1EC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9e2f0d8b5f73089dcba11e81671b567c823642b5","datavalue":{"value":"0988.20047","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2755743$EE8C96A4-429C-42AE-9EBB-3E3EDCEDD2F7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1c96843a11866d938aa8987e4ff270b5e05d3954","datavalue":{"value":{"entity-type":"item","numeric-id":178453,"id":"Q178453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2755743$956241A2-7366-4C48-A6BD-2DAED2C65467","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3f52a0e4c180c8307b2c479d18bb8e36bf3df509","datavalue":{"value":{"time":"+2001-11-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2755743$87EA7765-041A-4EEC-A51B-75226C985A98","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e5fb4697c93e6483e0ffbb93428a373e0646b68d","datavalue":{"value":"20M07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2755743$80E2656F-08D5-4686-936B-5A6EC929CFC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"03468f1d5abafefed311cc9ccae9ddd73ff4dbd8","datavalue":{"value":"20M05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2755743$BA2D97B4-6883-4388-9993-1A6D7243A381","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a27f9f06d965be24ec50f61065e06d2029a566a7","datavalue":{"value":"03D35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2755743$AF5770C4-4679-4552-A36D-6C4A4D1532FF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8e254a40841c7e397c1c232ace193176e46daa62","datavalue":{"value":"1671901","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2755743$12AD7285-322E-418D-99EC-9C8D449539BB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"77aa39a453056bf57cb855f01b7554092a313eab","datavalue":{"value":"semigroup varieties","type":"string"},"datatype":"string"},"type":"statement","id":"Q2755743$7EF14EE0-AC9F-4EFD-BA1D-8982B5D82A07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c259e919dcf60113aaba27be5e244aed52c4ea98","datavalue":{"value":"finitely presented semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q2755743$10124829-59A1-4A35-B44C-95EC9EB74675","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"541e14ca1a9bb27a1cfe827610ca5ddb594a16de","datavalue":{"value":"word problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q2755743$7F0C0374-0CDD-4CEF-B478-B1D8B8A4FA23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8ac708066b077a4cbf2f59c943781969d75d6d03","datavalue":{"value":"equational theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q2755743$E303E334-C97B-46D7-8986-94D14A8DBF6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2755743$8334F9E6-B69A-4A4C-ADAF-9615C7600323","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1178b35afc52e08d361283ac7c78b9537b115d23","datavalue":{"value":"semigroup identities","type":"string"},"datatype":"string"},"type":"statement","id":"Q2755743$70272693-D1BC-403E-8E5B-82DC27F9A4C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0811fddd6492faef424fd7567085879af3aa64c6","datavalue":{"value":"finitely based varieties","type":"string"},"datatype":"string"},"type":"statement","id":"Q2755743$0F63E84D-D598-4715-BB14-C487FAEA9A15","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":"Q2755743$6CDE38F4-16AF-480F-A7F4-C1FA69C7DC46","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a88f4a5575b6076cbfa1751a88092563dbf36f30","datavalue":{"value":{"entity-type":"item","numeric-id":2714065,"id":"Q2714065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c1aeb7e99806617805352e19db073f4175dc5c6","datavalue":{"value":{"amount":"+0.95177305","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":"Q2755743$14E09267-7E2E-4E95-9C93-15450C950C8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"805d73601ad7b4ac954a0baaf365e3a377c25ffe","datavalue":{"value":{"entity-type":"item","numeric-id":3475490,"id":"Q3475490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c0e73cd8f4719dc7075af872764d8e4e5d50b6b","datavalue":{"value":{"amount":"+0.9310626","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":"Q2755743$1EB5F116-D8B3-49DC-84B8-9D1F5ABEA940","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"77888fecbe7cf5c3cd42a508058de1dafe8eb798","datavalue":{"value":{"entity-type":"item","numeric-id":4728547,"id":"Q4728547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e312915720d2d45325e894b0a02ce338b7acebf","datavalue":{"value":{"amount":"+0.92825997","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":"Q2755743$ED312449-0FDC-4CDB-AD14-83F38B6AA31D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f63c2fe60cfaba5b869cfba5324aa301faa52d55","datavalue":{"value":{"entity-type":"item","numeric-id":514561,"id":"Q514561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b74586d08b423bc55f36e08cbb17dc1738aadbf5","datavalue":{"value":{"amount":"+0.92669415","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":"Q2755743$24B9C72A-A787-4707-A228-E69FE1C830AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c357cd97ff023c5e90d2e21ae99b36a08caf790","datavalue":{"value":{"entity-type":"item","numeric-id":1946106,"id":"Q1946106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"23dfeb93cd861c009802c7c822b93481fcb5253f","datavalue":{"value":{"amount":"+0.9239825","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":"Q2755743$F70B60AA-6FF4-4FDE-8D5E-0FD1FD391CD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"475ea45afdc3c9478e31bed92121d1f84dd71530","datavalue":{"value":{"entity-type":"item","numeric-id":5039657,"id":"Q5039657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"935c675fcf5c586e6d056d7b01512b40f69d3791","datavalue":{"value":{"amount":"+0.9220854","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":"Q2755743$86AD4F29-E920-4A6F-8DAE-4E4862581B7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f41b6c5fa7b30f5af24e91e4b4df67280d33b7b7","datavalue":{"value":{"entity-type":"item","numeric-id":1806057,"id":"Q1806057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"02857d70cd5d14ef016af2cdb56bc1223b406ec2","datavalue":{"value":{"amount":"+0.9201807","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":"Q2755743$AFC54E39-4155-42ED-8AE6-2AF737C288BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b5ba1b06df591d9eb9a79a6b72074efc865a87fe","datavalue":{"value":{"entity-type":"item","numeric-id":4723961,"id":"Q4723961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"23a9ef2bc5ec072dcaa1a66bbe0d1ac89b4de0ea","datavalue":{"value":{"amount":"+0.91922444","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":"Q2755743$A1A681BB-AE6A-415A-880F-2D4000637732","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b880d76180128392f3831abe092b1c7d7414ad97","datavalue":{"value":{"entity-type":"item","numeric-id":4223650,"id":"Q4223650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2ab7c212ebb73bb52ff0dc760eb97464e0a020aa","datavalue":{"value":{"amount":"+0.91695714","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":"Q2755743$26A84B5E-A2AD-4BEA-A4C3-A646FB597C50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4aa28b2f9cfae60a1065fc94a681b5b043e08d4b","datavalue":{"value":{"entity-type":"item","numeric-id":3680889,"id":"Q3680889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ecd15035171ef40326c9ad609861ae6e5a9f0371","datavalue":{"value":{"amount":"+0.9164161","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":"Q2755743$D173345C-00F6-4B1C-9EF0-5857979A4214","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"320a73b0e936c1ec2914f7a833cc425e550b91e8","datavalue":{"value":{"text":"On the equational theories of semigroup varieties","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2755743$9D28A6DE-A2BF-41A7-9CDE-7879694D613D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"aaf907ed191a2cb2326f0317df1454183c2e49de","datavalue":{"value":{"entity-type":"item","numeric-id":6769245,"id":"Q6769245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2755743$10675370-ABAA-447A-B52F-F10D6A09E9FD","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"f18708a05bf3a3d1cf36f756b425bb542fdfac69","datavalue":{"value":"\\textit{V. L. Murski\u012d} [Mat. Zametki 3, 663--670 (1968; Zbl 0181.01401)] invented a powerful method to encode defining relations of a semigroup presentation in semigroup identities and, departing from a suitable finitely presented semigroup with undecidable word problem, constructed a finitely based semigroup variety with undecidable equational theory. In the paper under review, Murski\u012d's encoding is applied to a suitable recursive family of finitely presented semigroups in which the semigroups with undecidable word problem form a recursively enumerable non-recursive subfamily. This leads to a recursive family of finitely based semigroup varieties in which the varieties with undecidable equational theory form a recursively enumerable non-recursive subfamily. Thus, the property of a finite set of semigroup identities to define a variety with decidable equational theory is shown to be undecidable.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2755743$CDCE5251-4679-43E8-B3A0-4835D668168F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2755743","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2755743"}}}}}