{"entities":{"Q2714065":{"pageid":2724804,"ns":120,"title":"Item:Q2714065","lastrevid":41917384,"modified":"2025-05-15T15:10:00Z","type":"item","id":"Q2714065","labels":{"en":{"language":"en","value":"Equational theories for classes of finite semigroups"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1603326"}},"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":"Q2714065$0A1AF9C5-00E0-48BE-9355-7147E46A8E9B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"29378bfe72eb4d6485e4f4b8c77bf4713330214d","datavalue":{"value":"0966.08006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2714065$CBFE2573-D549-46A9-95E3-EEA0EC1BCAB3","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":"Q2714065$24D97D87-E4EC-40F6-B7B9-E887AA3A4A5A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d399175a75045d6e68cdfc363866ce63dcafb225","datavalue":{"value":{"time":"+2001-06-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2714065$275CEA2A-3C25-480F-9EB6-119EE49F7142","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fec6ee3edd48ca11c283590605c0cf765b81e9a0","datavalue":{"value":"https://eudml.org/doc/187963","type":"string"},"datatype":"url"},"type":"statement","id":"Q2714065$1A47AB92-219A-4CDF-B63A-39F1D92C7FA5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4897136ea1c19614fe909b8db60c4ec176d94a78","datavalue":{"value":"08B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2714065$239601D9-E174-4EEF-BD89-4F6C0DE0FE13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2714065$2368A196-76E5-47C9-813D-EA85490BFF9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e5fb4697c93e6483e0ffbb93428a373e0646b68d","datavalue":{"value":"20M07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2714065$40C80937-97A4-44C6-BEEE-FFD28B5A8E5D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a5c18030a6358d20f917b2d1dc5d553eb446db3d","datavalue":{"value":"1603326","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2714065$CEECB8E4-75B4-4281-A29B-7939DA92B5C5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d649755d7dec7fe8dd2722580b18ccd4bdd91b89","datavalue":{"value":"equational theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2714065$134146E5-4011-4F94-939E-0E531122411F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b96cff283cf7bdf3df41e0714fcb4800fd86cfe6","datavalue":{"value":"finite semigroup","type":"string"},"datatype":"string"},"type":"statement","id":"Q2714065$21E65DC1-B7E1-48DA-8C15-4876E0F05C10","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":"Q2714065$273B253A-1445-4CD0-97F2-95B25560DEE1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b884fbffde30e67d0a5008c24b60195c68517ac","datavalue":{"value":{"entity-type":"item","numeric-id":2755743,"id":"Q2755743"},"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":"Q2714065$AFC1DAE6-3021-4BE1-9A4D-1298FD813E6D","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":"616fe30d45365f0da982731c57b86c078d0e5758","datavalue":{"value":{"amount":"+0.93347704","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":"Q2714065$3721794F-B4E5-4195-9F10-BD94FCBA9096","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":"997247634dd9b1b3420f6d60e133727d38326efc","datavalue":{"value":{"amount":"+0.9299431","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":"Q2714065$344BAE82-2EB9-41BC-87F3-03A540F796C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3efe66d5fe6fffe67cd2e85831b3a8a5d9b0e2d8","datavalue":{"value":{"entity-type":"item","numeric-id":1307160,"id":"Q1307160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"07c9c840925f8ad61111f32795397796afa703eb","datavalue":{"value":{"amount":"+0.9267633","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":"Q2714065$068F7B54-99C4-4846-8859-F3ECC10D4346","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a8af7ae98c8754d2e5a5a694f1100d99692e026c","datavalue":{"value":{"entity-type":"item","numeric-id":3791204,"id":"Q3791204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3295110ec829e3ccf1361c34be14f407baf81717","datavalue":{"value":{"amount":"+0.9198041","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":"Q2714065$04147C8D-26DA-41B7-AF20-FCDB3DBE7247","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4b9d180129422e0f8ba98682252fe632076b440d","datavalue":{"value":{"entity-type":"item","numeric-id":4726314,"id":"Q4726314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8298c881b002869d3c375e6ba117c81cf08742e3","datavalue":{"value":{"amount":"+0.9194021","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":"Q2714065$F96E95C5-3E0B-4B61-9CAD-CD4C9C86D4A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d889e5afdc7df426a74e099b30d3f7dddb617f5","datavalue":{"value":{"entity-type":"item","numeric-id":258136,"id":"Q258136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b4afb32b7be378e1b51026edde5561a8c2dce6ab","datavalue":{"value":{"amount":"+0.9135704","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":"Q2714065$D8F7E1D2-F499-47D6-9724-2AAE8F9FEC79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"63ec96127a0a69de095d1c6579ea5f57e31b882a","datavalue":{"value":{"entity-type":"item","numeric-id":3552216,"id":"Q3552216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e0ed0d5e95b7257365f3e58c581e7b8e1ab1bf21","datavalue":{"value":{"amount":"+0.90873367","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":"Q2714065$A6FD2438-88FE-4262-A66F-C7F4D04AFADC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b824600f1f06a4349c1de8beb58ea8c8323532e","datavalue":{"value":{"entity-type":"item","numeric-id":4704558,"id":"Q4704558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"65ced89b54f86db77dbe0fcfa6ec154b6fa91acc","datavalue":{"value":{"amount":"+0.90862024","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":"Q2714065$B11695CB-A7A7-4A48-B277-A9FB5DAA00A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"960c496201f40bd78c3c2ec6b6ab044a5de44fc1","datavalue":{"value":{"entity-type":"item","numeric-id":5925810,"id":"Q5925810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"73894d418a70ce0f868ec27990ec218108f21ee8","datavalue":{"value":{"amount":"+0.9084322","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":"Q2714065$0A919A7A-68B4-45AC-B6DE-301ABD2EFA9A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c208ac1a8d8bd0df9065259dba1ba02bc0fcb98e","datavalue":{"value":{"text":"Equational theories for classes of finite semigroups","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2714065$2466D4A9-3127-4757-ACA7-EF413045A133","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f08eb16300f59329ffcfb1ce2c954ae75f9ae049","datavalue":{"value":{"entity-type":"item","numeric-id":6768234,"id":"Q6768234"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2714065$21118A27-8F57-4CDD-B1AD-05B754E1ED98","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"38edcbaf4fad3d14acf5274cfeddd8070008673e","datavalue":{"value":"Theorem 1. There exists an infinite sequence of finitely based varieties of semigroups \\(A_1\\subset B_1\\subset A_2\\subset B_2\\subset\\cdots\\) such that for all \\(i\\) the equational theories of \\(A_i\\) and of the classes \\(A_i\\cap F\\) of all finite semigroups in \\(A_i\\) are undecidable while the equational theories of \\(B_i\\) and of the class \\(B_i\\cap F\\) of all finite semigroups in \\(B_i\\) are decidable.NEWLINENEWLINENEWLINETheorem 2. There exists an infinite sequence of finitely based varieties of semigroups \\(A_1\\supset B_1\\supset A_2\\supset B_2\\supset\\cdots\\) such that for all \\(i\\) the equational theories of \\(A_i\\) and of the classes \\(A_i\\cap F\\) of all finite semigroups in \\(A_i\\) are undecidable while the equational theories of \\(B_i\\) and of the class \\(B_i\\cap F\\) of all finite semigroups in \\(B_i\\) are decidable.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2714065$D73EB086-B4B7-4C05-9E0F-92A61D368C97","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"3ce0c15be929efae5d1db4165b73b6b1dd00974c","datavalue":{"value":{"entity-type":"item","numeric-id":630291,"id":"Q630291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2714065$3A238623-A8EA-4B33-B667-D1290085BC0B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2714065","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2714065"}}}}}