Statements (13)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
theoretical computer science
|
| gptkbp:concerns |
semigroups
|
| gptkbp:field |
gptkb:algebra
theoretical computer science |
| gptkbp:heldBy |
undecidable in general
|
| https://www.w3.org/2000/01/rdf-schema#label |
word problem for semigroups
|
| gptkbp:introduced |
gptkb:Axel_Thue
|
| gptkbp:relatedTo |
word problem for groups
word problem for monoids |
| gptkbp:studiedIn |
combinatorial algebra
|
| gptkbp:type |
whether two words represent the same element in a semigroup
|
| gptkbp:bfsParent |
gptkb:Thue_system
|
| gptkbp:bfsLayer |
8
|