Matches in SemOpenAlex for { <https://semopenalex.org/work/W2951719024> ?p ?o ?g. }
Showing items 1 to 63 of
63
with 100 items per page.
- W2951719024 abstract "In the literature two notions of the word problem for a variety occur. A variety has a decidable word problem if every finitely presented algebra in the variety has a decidable word problem. It has a uniformly decidable word problem if there is an algorithm which given a finite presentation produces an algorithm for solving the word problem of the algebra so presented. A variety is given with finitely many axioms having a decidable, but not uniformly decidable, word problem. Other related examples are given as well." @default.
- W2951719024 created "2019-06-27" @default.
- W2951719024 date "1993-01-15" @default.
- W2951719024 modified "2023-09-27" @default.
- W2951719024 title "A variety with solvable, but not uniformly solvable, word problem" @default.
- W2951719024 hasPublicationYear "1993" @default.
- W2951719024 type Work @default.
- W2951719024 sameAs 2951719024 @default.
- W2951719024 citedByCount "0" @default.
- W2951719024 crossrefType "posted-content" @default.
- W2951719024 hasConcept C105795698 @default.
- W2951719024 hasConcept C118615104 @default.
- W2951719024 hasConcept C136119220 @default.
- W2951719024 hasConcept C136197465 @default.
- W2951719024 hasConcept C153269930 @default.
- W2951719024 hasConcept C167729594 @default.
- W2951719024 hasConcept C202444582 @default.
- W2951719024 hasConcept C2524010 @default.
- W2951719024 hasConcept C33923547 @default.
- W2951719024 hasConcept C41008148 @default.
- W2951719024 hasConcept C90805587 @default.
- W2951719024 hasConcept C90988201 @default.
- W2951719024 hasConcept C94375191 @default.
- W2951719024 hasConceptScore W2951719024C105795698 @default.
- W2951719024 hasConceptScore W2951719024C118615104 @default.
- W2951719024 hasConceptScore W2951719024C136119220 @default.
- W2951719024 hasConceptScore W2951719024C136197465 @default.
- W2951719024 hasConceptScore W2951719024C153269930 @default.
- W2951719024 hasConceptScore W2951719024C167729594 @default.
- W2951719024 hasConceptScore W2951719024C202444582 @default.
- W2951719024 hasConceptScore W2951719024C2524010 @default.
- W2951719024 hasConceptScore W2951719024C33923547 @default.
- W2951719024 hasConceptScore W2951719024C41008148 @default.
- W2951719024 hasConceptScore W2951719024C90805587 @default.
- W2951719024 hasConceptScore W2951719024C90988201 @default.
- W2951719024 hasConceptScore W2951719024C94375191 @default.
- W2951719024 hasLocation W29517190241 @default.
- W2951719024 hasOpenAccess W2951719024 @default.
- W2951719024 hasPrimaryLocation W29517190241 @default.
- W2951719024 hasRelatedWork W1498105629 @default.
- W2951719024 hasRelatedWork W1564825853 @default.
- W2951719024 hasRelatedWork W1988348399 @default.
- W2951719024 hasRelatedWork W1990796180 @default.
- W2951719024 hasRelatedWork W2000639709 @default.
- W2951719024 hasRelatedWork W2006226816 @default.
- W2951719024 hasRelatedWork W2045561258 @default.
- W2951719024 hasRelatedWork W2050829703 @default.
- W2951719024 hasRelatedWork W2051275734 @default.
- W2951719024 hasRelatedWork W2075639491 @default.
- W2951719024 hasRelatedWork W2076095858 @default.
- W2951719024 hasRelatedWork W2078618393 @default.
- W2951719024 hasRelatedWork W2081346847 @default.
- W2951719024 hasRelatedWork W2087759875 @default.
- W2951719024 hasRelatedWork W2113283923 @default.
- W2951719024 hasRelatedWork W2294365567 @default.
- W2951719024 hasRelatedWork W2949354381 @default.
- W2951719024 hasRelatedWork W2950853366 @default.
- W2951719024 hasRelatedWork W72689024 @default.
- W2951719024 hasRelatedWork W80442560 @default.
- W2951719024 isParatext "false" @default.
- W2951719024 isRetracted "false" @default.
- W2951719024 magId "2951719024" @default.
- W2951719024 workType "article" @default.