{"entities":{"Q1824041":{"pageid":1834783,"ns":120,"title":"Item:Q1824041","lastrevid":69076950,"modified":"2026-04-13T04:30:46Z","type":"item","id":"Q1824041","labels":{"en":{"language":"en","value":"Cancellativity in finitely presented semigroups"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4116826"}},"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":"Q1824041$5BA76040-D9D7-4D7C-828C-013D3B4594EE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"aa1db0c15aee4e8847300bef5c59460ef4e2f93f","datavalue":{"value":{"text":"Cancellativity in finitely presented semigroups","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1824041$4B20951F-87AD-4B5D-B5A5-3CA2A40CC6A0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"63ac2aafd056730ef13b702cdea22e78756d6e78","datavalue":{"value":"0682.20046","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1824041$4A283208-0CC0-4E2B-BCBF-3825F17A14EA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8dd9957aee643ce828d86a3441ad0f5dd7ff80f6","datavalue":{"value":"10.1016/S0747-7171(89)80028-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1824041$E6A2C4F8-8850-4872-9F12-1CF296E9918D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6587fdd31c2d2b6b0dfb7e31f546481ef32f5a93","datavalue":{"value":{"entity-type":"item","numeric-id":171405,"id":"Q171405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1824041$808E56F9-7BEF-4639-95F7-20808DF6D67C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"aed274e58471806e973e3926af8e50abb8242477","datavalue":{"value":{"entity-type":"item","numeric-id":1162143,"id":"Q1162143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1824041$9947B010-531A-43B1-8845-CBD05D1A1D7B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ea72303f92787da89554ee5fa15621068821a762","datavalue":{"value":{"entity-type":"item","numeric-id":99061,"id":"Q99061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1824041$C5F1CB48-A413-4CFE-93C5-2C68AF249AD0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7211ad5ca16eb0d22cd0051fff3d0f3af254ceb6","datavalue":{"value":{"time":"+1989-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":"Q1824041$06B25BA1-9B57-4262-8C1B-15AC7397F0D8","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"80f7e0e8044a7be5055b5ad6589685507b57fea9","datavalue":{"value":"This paper considers whether or not cancellativity is decidable in finitely presented semigroups answering questions raised in a paper by \\textit{R. Book} [J. Symb. Comput. 3, 39-68 (1987; Zbl 0638.68091)].    Cancellativity is shown to be undecidable in semigroups presented by Thue systems even if the systems are monadic. In general, cancellativity is even undecidable in semigroups presented by Church-Rosser Thue systems, but decidable if the system is monadic. For semigroups which are presented by commutative Thue systems cancellativity is decidable; the negation is in NP if the system is canonical.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1824041$FB4495A2-A360-4F14-A93F-2CFD2E1C764A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"03468f1d5abafefed311cc9ccae9ddd73ff4dbd8","datavalue":{"value":"20M05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1824041$B404F23F-6C45-45F4-AC9C-9317A44BF312","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"21699a423435669f291d1bd1ba3da28fa1465b3f","datavalue":{"value":"03D03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1824041$6B27A376-146D-432B-8810-13A020FF2C5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"79c9a014785e41c94f76c463174af5cf2a59ec70","datavalue":{"value":"03D40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1824041$3C962AF5-0683-44D5-876F-28D999A4B885","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1f2d51749736d7a35abf742f9ac7394f1aeed58c","datavalue":{"value":"20M35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1824041$0F96E133-93B9-4846-A6A0-84D63ABC7656","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1824041$9C6D2D42-9AB6-470E-B4D3-5D6E759B1259","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"884bda3932dea21a3efa4b1a0ebc97faf8af9e7b","datavalue":{"value":"4116826","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1824041$326D0EB1-79AF-4888-A8EB-BF4E9D8994B7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"75292728c112334f615516b61eba7b10be598027","datavalue":{"value":"cancellativity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1824041$F6CC5CCA-CF65-4442-BEF1-4688BC8E8C80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c259e919dcf60113aaba27be5e244aed52c4ea98","datavalue":{"value":"finitely presented semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1824041$C65A2A06-5402-4B75-9B45-EB9166CCD735","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2e5f18038f3eed57750472148f9f3e689e1833d2","datavalue":{"value":"undecidable","type":"string"},"datatype":"string"},"type":"statement","id":"Q1824041$A0BDDCF6-4AE6-417E-8975-903F1F7C08A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d794c9c290f5c172faad4abd9db5e8add5dfbc14","datavalue":{"value":"semigroups presented by Thue systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1824041$E189E2E0-5382-470A-983F-354BFBACC5B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b2fdee3cc3cf6e458a935b84a62de106474c3bfa","datavalue":{"value":"Church-Rosser Thue systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1824041$F54A91FB-6929-46EB-A3CA-1C3ECC81D13B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e79afc19b65e18d6ce4aa77e7c8455b6d4a32fdb","datavalue":{"value":"commutative Thue systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1824041$233C29A5-E7C1-4D57-AB22-4D9383CD37B5","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"a5d36c57b7a972b09b3a0a61c081a4cfe59255b6","datavalue":{"value":{"entity-type":"item","numeric-id":1223494,"id":"Q1223494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1824041$3503B2D1-7447-4C94-A03E-FA7C5C1B35DD","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":"Q1824041$FE45FCE6-4774-4E6A-B5CA-B96288A5E1A5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"39f8caa4d24218ecf63bb6d39ed1b79a4c2266ea","datavalue":{"value":{"entity-type":"item","numeric-id":3936184,"id":"Q3936184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1824041$E8AC5325-B68F-4A4E-8A81-3B4023271C69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"09eeb53a57e3a236ec25f8fdd27770ac54074dcb","datavalue":{"value":{"entity-type":"item","numeric-id":593775,"id":"Q593775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1824041$DE9F7523-F36C-4043-8AC8-625DE78B9406","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e004ad7c53d1b6136d8c12b096d8cc2682099b5","datavalue":{"value":{"entity-type":"item","numeric-id":1099642,"id":"Q1099642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1824041$E5DE0866-925E-4E42-93BF-C3F2B8BF7362","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb713495b9ea7313f59f292ec295ea082246771a","datavalue":{"value":{"entity-type":"item","numeric-id":1162144,"id":"Q1162144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1824041$EF16DDD8-9A5F-45D9-B0F9-97D20919C193","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed85cd03af69b0b3414e61da74ab7e3d313c1c7e","datavalue":{"value":{"entity-type":"item","numeric-id":5564342,"id":"Q5564342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1824041$02E79FE7-CED7-4956-BC1C-BFF9611A17E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cca8ae3740fcfb5a7e9f346758fcdd72ac5497a7","datavalue":{"value":{"entity-type":"item","numeric-id":4082296,"id":"Q4082296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1824041$DB46DF03-99C1-40B2-AF46-CEB5FA4EFA78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dccf1d346c09e3ff74cb962a3ae96a718bd8b7fd","datavalue":{"value":{"entity-type":"item","numeric-id":3703293,"id":"Q3703293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1824041$AAE6DF71-D6F6-4124-8D9A-5447BAE78FAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f05572b50a1424510b2c012d8400646ac6d18d5","datavalue":{"value":{"entity-type":"item","numeric-id":3696494,"id":"Q3696494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1824041$AA7FD2AB-8D4E-4E6A-AC48-D1B49A09AED5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e57dada08276bdfd975413149fdc809775588d67","datavalue":{"value":{"entity-type":"item","numeric-id":1147232,"id":"Q1147232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1824041$36551022-9BEA-4A1F-817D-B55C6D83BC9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"82d3cbffed8a301b84b1253490d8c6b17bf2e322","datavalue":{"value":{"entity-type":"item","numeric-id":4145882,"id":"Q4145882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1824041$5A14F567-2326-4958-BCA0-B5DD9486A8EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"78d697847196f96f79649a01bc950cb9c00d23b5","datavalue":{"value":{"entity-type":"item","numeric-id":5804999,"id":"Q5804999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1824041$2C9A5794-2F83-4C0D-85F3-6D49A7BE506A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0db95c7ffd199d5ad831cab3827672f48c3fb0d7","datavalue":{"value":{"entity-type":"item","numeric-id":1085618,"id":"Q1085618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1824041$FDCAE201-3537-40DF-944A-90269F1AD6DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d48410a7583156d1131964150b5eab11998283a","datavalue":{"value":{"entity-type":"item","numeric-id":4105657,"id":"Q4105657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1824041$C93F8B86-6CD5-47BC-86D2-580F6FBD2479","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc3903ed6b3b73f38caeb2f53f2e93e11217ca6a","datavalue":{"value":{"entity-type":"item","numeric-id":1839249,"id":"Q1839249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1824041$92818BD5-42B6-43D9-9342-35AF7FFFED93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce8c95e0524cd1ced434eb4c33386e7784d224ce","datavalue":{"value":{"entity-type":"item","numeric-id":3718694,"id":"Q3718694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1824041$FB623646-A52B-403A-8BA5-9E2585A7C9B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ad86ed10f9dbc91aef6fdb78e5f6edf0ab2f5e6","datavalue":{"value":{"entity-type":"item","numeric-id":4739657,"id":"Q4739657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1824041$011185B0-A77E-43A9-81D7-5A01ABC4EB66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d52c8023b0c03007ec2d5078545df56914d98f9","datavalue":{"value":{"entity-type":"item","numeric-id":5847174,"id":"Q5847174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1824041$33CC3AD0-DEA5-4A82-86FC-51D28903CACC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"53e24a213a63263818dfb27d0f6ed51224f2345f","datavalue":{"value":"https://doi.org/10.1016/s0747-7171(89)80028-8","type":"string"},"datatype":"url"},"type":"statement","id":"Q1824041$D32A219B-E90A-4115-B132-4D9D9D188F68","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"676e762f2c7d4a22a4cf2eb5175d324ac8ada5b0","datavalue":{"value":"W4210679658","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1824041$A014253E-DEB5-4F31-9CEA-52A7EBE5360D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1c626c937acc6aea17ef23965bc51c02c964c5ce","datavalue":{"value":{"entity-type":"item","numeric-id":1070349,"id":"Q1070349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3aaa8147fba08312673858dcb08434cd899ecf52","datavalue":{"value":{"amount":"+0.8898199796676636","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":"Q1824041$C6AA3B04-057B-46A6-885D-6FF6DE3D300B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e05a8be6082e649bf06f8647bcd9702303379e2","datavalue":{"value":{"entity-type":"item","numeric-id":3429796,"id":"Q3429796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9476911d55383543a2e864e0729d2f277388b31c","datavalue":{"value":{"amount":"+0.8424233794212341","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":"Q1824041$48BC600B-633E-4DDD-AE75-412BF69F9A99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"78bec4018938b95745d558cf4b569b25f3b77aa4","datavalue":{"value":{"entity-type":"item","numeric-id":3718694,"id":"Q3718694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3577b95a017c096769149998ae8d14eeaeb1994c","datavalue":{"value":{"amount":"+0.8353626132011414","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":"Q1824041$5982191A-91B0-4E4A-97DB-DAAA9C2DD29D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b408dc31dc0c0c7287b32f22b4f5fc3d9ff1f88f","datavalue":{"value":{"entity-type":"item","numeric-id":5602108,"id":"Q5602108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"56f74d5140dd3c50a1040cdf34e3c0d848a3ef65","datavalue":{"value":{"amount":"+0.7934727072715759","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":"Q1824041$D03C35BF-965A-4BDB-BE94-A143AABE0D6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2517caf0f008e6eb77f6e09e90ab8e7db5e5af4b","datavalue":{"value":{"entity-type":"item","numeric-id":3775715,"id":"Q3775715"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b2d81d0d153cf50054a26003804e9807ab6bbf5","datavalue":{"value":{"amount":"+0.7895689606666565","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":"Q1824041$416949D4-E91A-4734-A5B4-0D47F82F0C97","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Cancellativity in finitely presented semigroups","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Cancellativity_in_finitely_presented_semigroups"}}}}}