{"entities":{"Q800484":{"pageid":802332,"ns":120,"title":"Item:Q800484","lastrevid":64467126,"modified":"2026-04-11T20:04:21Z","type":"item","id":"Q800484","labels":{"en":{"language":"en","value":"Isomorphism problem for semigroups with one defining relation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3875540"}},"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":"Q800484$B9512614-9A54-4974-89DF-94D043199267","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9cce3469c9d2170f1d870923446d2266732da395","datavalue":{"value":{"text":"Isomorphism problem for semigroups with one defining relation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q800484$1AF3D0EC-92FD-4D2B-86D6-416B0D788202","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fdb7ec46ab0bcdf2341519e639d6b5ca53ae5237","datavalue":{"value":"0549.20035","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q800484$DF3607E2-C095-46A8-98FE-688A390181C3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"47ccb52c50d442a82d6f77efc8a2754e78e1682e","datavalue":{"value":"10.1007/BF01137692","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q800484$717205E3-B60F-4B7F-8E6D-F69E1C4D8B1C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"611ec91832bb211fb0f6ee428b0a38718cea8769","datavalue":{"value":{"entity-type":"item","numeric-id":580505,"id":"Q580505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q800484$11DF6C4B-8A35-40E4-B954-F19D77B99BEA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"00de3e6b6cfff0576fe0e1d6bc63c05579d2cb43","datavalue":{"value":{"entity-type":"item","numeric-id":173953,"id":"Q173953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q800484$71714926-D2FB-4996-A763-3FBC0516F52F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ee0f220147ae8bc749a64db56839865dbc4f127","datavalue":{"value":{"time":"+1984-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":"Q800484$786003C3-9D78-4DC9-A951-F8C1163AD6C8","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"4fe3e09f91d87e17991a3d650383dcf1020b85d6","datavalue":{"value":"It is proved that there exists an algorithm which solves the word problem for semigroups given by one defining relation of the kind \\(a=A\\), when a is a letter. The main result is the following theorem. Let \\(K\\) be the class of semigroups which are given by one defining relation with nonvoid defining words. There exists an algorithm by the help of which we can decide for two arbitrary semigroups in \\(K\\) whether or not these are isomorphic.","type":"string"},"datatype":"string"},"type":"statement","id":"Q800484$0E93BE3D-6DE5-461D-B865-34A7534986E6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"03468f1d5abafefed311cc9ccae9ddd73ff4dbd8","datavalue":{"value":"20M05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q800484$832AAEDC-3FE0-428F-B7C7-AAE008A90ADE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a7be5d78a740d2d811b8aa18048a2b7f52d8c1ee","datavalue":{"value":"3875540","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q800484$95306F94-AAD0-4AAB-893B-FBD3D1C1D95A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"541e14ca1a9bb27a1cfe827610ca5ddb594a16de","datavalue":{"value":"word problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q800484$31FF3D76-7382-468E-8F60-3D6D00BCC29B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fcf2ec45b56911a8bbac4fb9d1dc61ba4b57469c","datavalue":{"value":"semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q800484$07DC2F57-09C1-4245-82DA-7014B22A4EC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"81014c67d2acd93176992c1d71081db7267a0071","datavalue":{"value":"defining relation","type":"string"},"datatype":"string"},"type":"statement","id":"Q800484$F49CBF79-7956-467E-BE81-CB4A05181172","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"60b20526b3992c61e7e11f11e30c26ba2b5c9a35","datavalue":{"value":{"entity-type":"item","numeric-id":1864450,"id":"Q1864450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q800484$6A21286D-5060-43F3-9F8D-653C7D0152B7","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":"Q800484$50D09284-4C96-437B-83ED-50C542FA1F9D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a29145c26d0da07bcf38f30a9566dd2dc0d878fc","datavalue":{"value":{"entity-type":"item","numeric-id":4170913,"id":"Q4170913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q800484$FA8543FC-C409-40A3-830D-CD45B2165720","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7a5222704bd32a91af9bee270cc8ca6e7f81f20","datavalue":{"value":{"entity-type":"item","numeric-id":3953984,"id":"Q3953984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q800484$72AE6950-3B07-4544-9BC2-BA22831983E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"244399e743ab8b9114f68f5e0b2eb3cfbfa3c00f","datavalue":{"value":{"entity-type":"item","numeric-id":5628366,"id":"Q5628366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q800484$E15791EF-AA3A-44C4-95ED-8A2A2BFA8D53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b4ff7431dbecdb1c9aacfc2e512d7fb9fae9699f","datavalue":{"value":{"entity-type":"item","numeric-id":4165508,"id":"Q4165508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q800484$4A775424-CCFA-4555-BFCC-DAEC7415F899","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d9d20699b9b80462fd2ea0c8dd60eb0cb078cb72","datavalue":{"value":{"entity-type":"item","numeric-id":3744380,"id":"Q3744380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"53e886dc7080ed079d82454255f52a0612b307ac","datavalue":{"value":{"amount":"+0.8243736028671265","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":"Q800484$0F170CB7-34E2-43F9-9A4B-A24A0848B13F","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":"a588366a3a2a9ef931786466cb31c29010597319","datavalue":{"value":{"amount":"+0.8132022023200989","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":"Q800484$D2426BE9-94F5-4FBE-B65B-566E94E167B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2622c16bf30ff0a377fb65fd9788553d36311434","datavalue":{"value":{"entity-type":"item","numeric-id":800486,"id":"Q800486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a6874a9213654de54b722507ee83ef7cc04d7e4e","datavalue":{"value":{"amount":"+0.8098458051681519","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":"Q800484$01B20E8F-3406-47D1-8FFA-02D2AB41F574","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd68132d10c2ff528703ac019f63e7894609b2ca","datavalue":{"value":{"entity-type":"item","numeric-id":4726465,"id":"Q4726465"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6409b94cdc689882308b56b9cbe4e7fe69e9c8a6","datavalue":{"value":{"amount":"+0.8047746419906616","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":"Q800484$8AE43A71-7558-41CD-B9CC-983E50A21AA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc3a1e684b689740629f601dab379c1dbce71be3","datavalue":{"value":{"entity-type":"item","numeric-id":4397684,"id":"Q4397684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c882ad54b6f1a900ef78e759de138ed207e5d4ca","datavalue":{"value":{"amount":"+0.8020380139350891","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":"Q800484$8529C7D5-3F32-4A73-A7E5-813575099815","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Isomorphism problem for semigroups with one defining relation","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Isomorphism_problem_for_semigroups_with_one_defining_relation"}}}}}