Matches in SemOpenAlex for { <https://semopenalex.org/work/W2550176619> ?p ?o ?g. }
Showing items 1 to 78 of
78
with 100 items per page.
- W2550176619 abstract "The equivalence problem of different non-classical equational axiomatlzations of free groups due to Higman and Neumann, Neumann, and others, is discussed. It is shown that such problems can be done easily using a rewrite rule based theorem prover such as RRL by generating complete rewriting systems for these axiomatizations. Some of these complete rewriting systems are obtained after introducing new function symbols which do not appear in the original non-classical axiomatizations. It is, however, suspected that these equivalence problems can be a considerable challenge for theorem provers based on other paradigms, such as natural deduction, resolution (clausal as well as non-clausal), and connection graphs." @default.
- W2550176619 created "2016-11-30" @default.
- W2550176619 creator A5003856856 @default.
- W2550176619 creator A5039343417 @default.
- W2550176619 date "1988-01-01" @default.
- W2550176619 modified "2023-10-17" @default.
- W2550176619 title "Problem Corner: Proving Equivalence of Different Axiomatizations of Free Groups*" @default.
- W2550176619 cites W1491987797 @default.
- W2550176619 cites W1524857134 @default.
- W2550176619 cites W1968386045 @default.
- W2550176619 cites W2109420517 @default.
- W2550176619 cites W2147182002 @default.
- W2550176619 hasPublicationYear "1988" @default.
- W2550176619 type Work @default.
- W2550176619 sameAs 2550176619 @default.
- W2550176619 citedByCount "0" @default.
- W2550176619 crossrefType "journal-article" @default.
- W2550176619 hasAuthorship W2550176619A5003856856 @default.
- W2550176619 hasAuthorship W2550176619A5039343417 @default.
- W2550176619 hasConcept C11413529 @default.
- W2550176619 hasConcept C118615104 @default.
- W2550176619 hasConcept C136119220 @default.
- W2550176619 hasConcept C138268822 @default.
- W2550176619 hasConcept C154690210 @default.
- W2550176619 hasConcept C154945302 @default.
- W2550176619 hasConcept C199343813 @default.
- W2550176619 hasConcept C199360897 @default.
- W2550176619 hasConcept C202444582 @default.
- W2550176619 hasConcept C206880738 @default.
- W2550176619 hasConcept C2777686260 @default.
- W2550176619 hasConcept C2780069185 @default.
- W2550176619 hasConcept C33923547 @default.
- W2550176619 hasConcept C41008148 @default.
- W2550176619 hasConcept C71924100 @default.
- W2550176619 hasConcept C80469333 @default.
- W2550176619 hasConceptScore W2550176619C11413529 @default.
- W2550176619 hasConceptScore W2550176619C118615104 @default.
- W2550176619 hasConceptScore W2550176619C136119220 @default.
- W2550176619 hasConceptScore W2550176619C138268822 @default.
- W2550176619 hasConceptScore W2550176619C154690210 @default.
- W2550176619 hasConceptScore W2550176619C154945302 @default.
- W2550176619 hasConceptScore W2550176619C199343813 @default.
- W2550176619 hasConceptScore W2550176619C199360897 @default.
- W2550176619 hasConceptScore W2550176619C202444582 @default.
- W2550176619 hasConceptScore W2550176619C206880738 @default.
- W2550176619 hasConceptScore W2550176619C2777686260 @default.
- W2550176619 hasConceptScore W2550176619C2780069185 @default.
- W2550176619 hasConceptScore W2550176619C33923547 @default.
- W2550176619 hasConceptScore W2550176619C41008148 @default.
- W2550176619 hasConceptScore W2550176619C71924100 @default.
- W2550176619 hasConceptScore W2550176619C80469333 @default.
- W2550176619 hasLocation W25501766191 @default.
- W2550176619 hasOpenAccess W2550176619 @default.
- W2550176619 hasPrimaryLocation W25501766191 @default.
- W2550176619 hasRelatedWork W115095706 @default.
- W2550176619 hasRelatedWork W148444778 @default.
- W2550176619 hasRelatedWork W1548268448 @default.
- W2550176619 hasRelatedWork W1601255741 @default.
- W2550176619 hasRelatedWork W192537542 @default.
- W2550176619 hasRelatedWork W2011658799 @default.
- W2550176619 hasRelatedWork W2027752737 @default.
- W2550176619 hasRelatedWork W2032033497 @default.
- W2550176619 hasRelatedWork W2048319959 @default.
- W2550176619 hasRelatedWork W2061288661 @default.
- W2550176619 hasRelatedWork W2115895996 @default.
- W2550176619 hasRelatedWork W2135808442 @default.
- W2550176619 hasRelatedWork W2168555998 @default.
- W2550176619 hasRelatedWork W2325079237 @default.
- W2550176619 hasRelatedWork W2724706759 @default.
- W2550176619 hasRelatedWork W3103459153 @default.
- W2550176619 hasRelatedWork W3179244314 @default.
- W2550176619 hasRelatedWork W33052584 @default.
- W2550176619 hasRelatedWork W77643759 @default.
- W2550176619 hasRelatedWork W1972410746 @default.
- W2550176619 isParatext "false" @default.
- W2550176619 isRetracted "false" @default.
- W2550176619 magId "2550176619" @default.
- W2550176619 workType "article" @default.