{"entities":{"Q1771861":{"pageid":1782603,"ns":120,"title":"Item:Q1771861","lastrevid":69290517,"modified":"2026-04-13T06:01:20Z","type":"item","id":"Q1771861","labels":{"en":{"language":"en","value":"Decidability of finite quasivarieties generated by certain transformation semigroups."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2158734"}},"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":"Q1771861$02462BEB-2AD9-4455-9404-D5893846063C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c2ec53a6a6639ab5a68d58ca63ac5909ca5b5b74","datavalue":{"value":{"text":"Decidability of finite quasivarieties generated by certain transformation semigroups.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1771861$B4D4283C-FAB1-4A11-B68B-A3617107AA90","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a2f389c9b644787e66023241d56f00f69fc92823","datavalue":{"value":"1058.08012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1771861$E044328D-4F17-4E37-87CE-2FB261BBD07C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0a36a76d2e32cd55c4bc548927b76bffa93fc0b3","datavalue":{"value":"10.1007/PL00000349","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1771861$15A2FE4D-75EE-4E56-9E5B-0E3D698DB681","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f9836a36a6248613f2664814a87ea01a9c752cb6","datavalue":{"value":{"entity-type":"item","numeric-id":1729794,"id":"Q1729794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1771861$364CD0FE-AC77-4656-B403-E1AA2ADA9414","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":"Q1771861$DE507D3B-E40F-4B53-B12A-E749CD8F9B84","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cb70300f99f400e55c13fd1158ba931b60602038","datavalue":{"value":{"time":"+2005-04-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1771861$DA9B1758-8728-4FB7-8A26-1F9BD6B8F583","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"0abcaf8288d0b8f678883b519e91c1861ec908a8","datavalue":{"value":"Given a class \\(\\mathcal C\\) of finite semigroups, the least pseudovariety containing \\(\\mathcal C\\) is known to be \\({\\mathbb H \\mathbb S \\mathbb P}_{\\text{fin}} ({\\mathcal C})\\). Many famous open problems about formal languages and formal automata lead to the pseudovariety membership problem (PMP): given an effectively described class \\(\\mathcal C\\) of finite semigroups, can the pseudovariety \\({\\mathbb H \\mathbb S \\mathbb P}_{\\text{fin}} ({\\mathcal C})\\) be effectively described?  A similar problem for the least finite quasivariety \\({\\mathbb S \\mathbb P}_{\\text{fin}} ({\\mathcal C})\\) containing the class \\(\\mathcal C\\), the so-called quasivariety membership problem (QMP), can be formulated analogously. It is known that the answer to some instances of the PMP or QMP is negative. The aim of the paper is to establish a fairly general property of a class \\(\\mathcal C\\) of finite transformation semigroups which ensures that the answer to the QMP is affirmative. This property holds for example for the class of semigroups of total (or partial, or partial injective) order preserving (or decreasing, or decreasing and order-preserving) transformations of a finite chain.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1771861$F6DC8B33-2F08-44C8-96FB-66FAE2747497","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"f88fa41ef91c2abf95c7a1edf27437cbf5cacbaf","datavalue":{"value":{"entity-type":"item","numeric-id":344072,"id":"Q344072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1771861$77A5CAB9-67F2-4C2C-B452-82E5246A55A4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ba40962b9b1c6cc590e99c35b83dff6377a190fb","datavalue":{"value":"08C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1771861$1C05677D-70FD-4822-8D93-BCD09627DEB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"28c26f343d909e4a66e25387c3adc02e650c67e8","datavalue":{"value":"20M20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1771861$49A7D90C-A6F3-4755-816B-7B4F0EF78D91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1f2d51749736d7a35abf742f9ac7394f1aeed58c","datavalue":{"value":"20M35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1771861$D93E3936-A197-4CC9-86D0-B38835A2B572","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1771861$2EC1AD11-027D-495E-9C48-E1A009992917","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"deb5f9f43f355c6575c467b17adc4a680e013b41","datavalue":{"value":"68Q70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1771861$7AA39382-5BBB-4ED7-9FF3-AFD595B9E405","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5096213e8debe123c93fe6aa792e5c319807bdb5","datavalue":{"value":"2158734","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1771861$2978D09C-D71B-4A00-B874-C2D7FDBAD177","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6ae52c8f67f146f93874234c0534949dab63cc34","datavalue":{"value":"pseudovariety","type":"string"},"datatype":"string"},"type":"statement","id":"Q1771861$9D36AD49-D9FA-467A-8517-3E0052C2DDF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"26b43d879f6ad89d85edb85af43e0f14cd501c1f","datavalue":{"value":"quasivariety","type":"string"},"datatype":"string"},"type":"statement","id":"Q1771861$81BFF016-C8A6-4808-937E-104CF7C7D47B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e72875abb503cf78ea37b307f56b9a19ef339253","datavalue":{"value":"transformation semigroup","type":"string"},"datatype":"string"},"type":"statement","id":"Q1771861$E7862ED8-BCBF-4DFB-8BAC-7094DEC03BF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2157b73def31f37a018efe23ba33e9eaf88ddaca","datavalue":{"value":"algorithmic decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1771861$FF53D3B1-901A-47D2-AD4C-ED915E8E1B6A","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":"Q1771861$92DF39B3-9446-4D29-BFF7-73A134094BB2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef1714af30d0594086669aadf560eb9552ae0b17","datavalue":{"value":{"entity-type":"item","numeric-id":3759042,"id":"Q3759042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e3da4d5a989e2dbacc84b37e78abab19790e8e4","datavalue":{"value":{"amount":"+0.8039082884788513","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":"Q1771861$A4667445-5083-4FCB-8450-710259AD6D3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b8335fa01c6e957b361996c029d6ebe8a6c0723f","datavalue":{"value":{"entity-type":"item","numeric-id":4513305,"id":"Q4513305"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"12c1bf1e2e400f2375ae376736610a117c36ca69","datavalue":{"value":{"amount":"+0.7867000699043274","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":"Q1771861$FF348B65-6269-454D-B38A-A7ADE38B87D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c5ae1ed6a242c0ac5d5be61a0c0a134fc5af0c6e","datavalue":{"value":{"entity-type":"item","numeric-id":1597719,"id":"Q1597719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"12c1bf1e2e400f2375ae376736610a117c36ca69","datavalue":{"value":{"amount":"+0.7867000699043274","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":"Q1771861$F9612843-BA64-4D4B-BEBC-7D347B280F5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d21cb3fd9e422f87a356e173394ff852f435e33c","datavalue":{"value":{"entity-type":"item","numeric-id":4421568,"id":"Q4421568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e2ff6396452d2ba96223768c30fafef31f49a4b","datavalue":{"value":{"amount":"+0.7865272760391235","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":"Q1771861$35C58B46-D4F9-45C6-8615-C979AC4560A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2273a925dcb504948a067abd3d1b802ee2022c69","datavalue":{"value":{"entity-type":"item","numeric-id":804712,"id":"Q804712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"95346fbf1e4881178c06b7eefef74c07e3baf3a6","datavalue":{"value":{"amount":"+0.7820823788642883","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":"Q1771861$49B5541E-BA9E-478A-9E70-216227D67060","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Decidability of finite quasivarieties generated by certain transformation semigroups.","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Decidability_of_finite_quasivarieties_generated_by_certain_transformation_semigroups."}}}}}