{"entities":{"Q1346307":{"pageid":1357046,"ns":120,"title":"Item:Q1346307","lastrevid":67196700,"modified":"2026-04-12T15:58:50Z","type":"item","id":"Q1346307","labels":{"en":{"language":"en","value":"Solvable word problems in semigroups"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 736957"}},"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":"Q1346307$20A93276-55FE-4D83-A786-EC7C77E06059","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e271d31bc98f39e7d3286e5f7b8954cc814da3c0","datavalue":{"value":{"text":"Solvable word problems in semigroups","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1346307$5B9EB097-CB96-4600-99E2-6425F53BE22E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2557edda681865a6a595f482c00a936d006c7222","datavalue":{"value":"0821.20040","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1346307$ABF357D9-E8D9-4F80-95DD-41F8F4BF8595","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"348342c3d34b950fbb2d5f76f1f5da0e48ea6ad6","datavalue":{"value":"10.1007/BF02573520","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1346307$98AD99C6-8E1F-4544-AF49-1B81F79981F2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"24d2f620d2974ebdd1015229debd06431f4c7398","datavalue":{"value":{"entity-type":"item","numeric-id":1294575,"id":"Q1294575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346307$9773A863-5CE9-4E56-8DD5-AFBAC821D3AA","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":"Q1346307$CD029D9F-CC9E-437A-857C-E74E515D4228","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e1f89572e9489033d625cfe4c8aa1a353f0cb376","datavalue":{"value":{"time":"+1995-09-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1346307$653460C5-F279-4DBB-AB6D-219AFB49A24F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b24cc087ff8afa5eb1b6242e518b043f7dc1acaf","datavalue":{"value":"https://eudml.org/doc/135382","type":"string"},"datatype":"url"},"type":"statement","id":"Q1346307$33DA44FA-CCAA-4FB5-9FA1-9000B876AFE6","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"7026bade05bb853894d99d7265e7fd418c42e3e0","datavalue":{"value":"A semigroup \\(S\\) with presentation \\((X;R)\\) is a \\(C(n)\\) semigroup \\((n \\geq 1)\\) if no \\(R\\)-word is a product of fewer than \\(n\\) pieces (a piece being a word which is a common factor of \\(R\\)-words in at least two distinct ways). Every finitely presented \\(C(n)\\) semigroup has a solvable word problem for all \\(n \\geq 3\\) (for background and details see the reviewer's book `Techniques of Semigroup Theory' [Oxf. Univ. Press, 1982; Zbl 0744.20046]). In this paper the analogy with the small cancellation theory of groups is completed by showing that \\(S\\) has a solvable word problem if \\(S\\) is finitely presented and the presentation satisfies \\(C(2)\\) and \\(T(4)\\), where \\(T(4)\\) is a condition which forbids the occurrence of four particular subgraphs in the so-called star graph of the presentation.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1346307$27C6B0B5-9FA5-44FE-9F18-4D1E6C2C3096","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"03468f1d5abafefed311cc9ccae9ddd73ff4dbd8","datavalue":{"value":"20M05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1346307$0A3E568B-C1E6-4354-8B8F-3898FC894699","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"85721e41fd9cd62748521a1a3e2d4a9ff2acb1e3","datavalue":{"value":"20F06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1346307$D6A1493F-22F6-433D-8746-61BBE4933EB0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"458c199285c0e6a9e52b8c443e2b7e0913ee3c5e","datavalue":{"value":"736957","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1346307$2E2AB4DE-47ED-493D-A229-01C397B33EAD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4e230deab86b759c7a9e477b6f36eb01e4e4db2f","datavalue":{"value":"presentations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1346307$66AD4885-0AB2-464A-8A91-438136816812","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b7558cd36f7bed246037f7a6abe1a2f101e34361","datavalue":{"value":"\\(C(n)\\) semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1346307$6104D0BC-9F9E-47B4-A78D-5F03782D3104","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b840fe10dbae5b613a37e83efae2e494460293f7","datavalue":{"value":"solvable word problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1346307$8E1A0536-BF03-40C0-A3E9-9F37D29FC9BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c1547e1bb66496827cba21d453b3681a8c1268f4","datavalue":{"value":"small cancellation theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1346307$E9AA3DF2-0989-4A6F-8394-01F8F1A0218A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c259e919dcf60113aaba27be5e244aed52c4ea98","datavalue":{"value":"finitely presented semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1346307$11769C9D-5346-4A41-9761-97A3176A47C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"62084bb44622524dd61861214369b452e37dd30e","datavalue":{"value":"star graphs","type":"string"},"datatype":"string"},"type":"statement","id":"Q1346307$08A9FC09-D589-4184-8A7F-8250DE60DC70","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"054529b5e09e7b9cb181f02f83c3b0d20bf30124","datavalue":{"value":{"entity-type":"item","numeric-id":444661,"id":"Q444661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346307$E3EC59C3-9C2B-433B-8B76-422FF2EEC6DE","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":"Q1346307$EBD18C3E-BF2C-42A7-8FAD-23BA3DF90284","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c169618aed507c8b9df1220e1260bccfbafaba8","datavalue":{"value":{"entity-type":"item","numeric-id":4003180,"id":"Q4003180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346307$99DD4601-CE52-40D8-8F34-E84946F5AB37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cca427bb83ff41fc2032d0cbcd0a40d2814e2d89","datavalue":{"value":{"entity-type":"item","numeric-id":1070343,"id":"Q1070343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346307$444D5EC9-9B6D-4F3A-9EB1-8BEDD048E4C2","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":"Q1346307$1080BC3C-AD3B-4F0E-9D9A-22138626CB50","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8a13582ce14b934b7f1bb0994109b62812ad0635","datavalue":{"value":"W2080424867","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1346307$D21741B2-C559-42FE-86B5-486F02830486","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b2d5e33478bcba12b60f0c7e3bc5cb25e141832","datavalue":{"value":{"entity-type":"item","numeric-id":2447222,"id":"Q2447222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a6a1fe222749751be354c55691ba5249bac6341b","datavalue":{"value":{"amount":"+0.837268054485321","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":"Q1346307$1F91E08F-B17A-43D0-8E9B-0C7B83D07368","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"85b46f1c853f326afaae950cfb2ee2126f08964d","datavalue":{"value":{"entity-type":"item","numeric-id":1644731,"id":"Q1644731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9417fa1a1af6d23b1d12af3b00461762ad4b648e","datavalue":{"value":{"amount":"+0.8301947116851807","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":"Q1346307$8FA9A448-F44A-4B18-8D33-67D8BF1146ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc28d0ae97106bddc10ef471515cbb848353af42","datavalue":{"value":{"entity-type":"item","numeric-id":810153,"id":"Q810153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d149ab420671251cb6d675f14a39c14dc14c4ea2","datavalue":{"value":{"amount":"+0.8226141333580017","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":"Q1346307$3B6D550C-1A4A-4E06-AA5C-5EF416461482","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c171041f21c26af53a37e5e2680d1c6de9ba97b7","datavalue":{"value":{"entity-type":"item","numeric-id":2918435,"id":"Q2918435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de945d8f07f53c4d8213cf29fd099941385aa625","datavalue":{"value":{"amount":"+0.8203074336051941","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":"Q1346307$DF307FF1-9F53-400D-9C90-A9F914404D5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c94adc3f2d29ad7bcde662fd1f44582a557a45bd","datavalue":{"value":{"entity-type":"item","numeric-id":4029567,"id":"Q4029567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7fe57f230c5058101262efe6646b74bf9c4a86a8","datavalue":{"value":{"amount":"+0.8134604692459106","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":"Q1346307$DF0C4E6E-C7D7-4993-8BBC-F3D379C0D24B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Solvable word problems in semigroups","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Solvable_word_problems_in_semigroups"}}}}}