Matches in SemOpenAlex for { <https://semopenalex.org/work/W2110148089> ?p ?o ?g. }
Showing items 1 to 85 of
85
with 100 items per page.
- W2110148089 abstract "From the work of Siekmann & Livesey, and Stickel it is known how to unify two terms in an associative and commutative theory: transfer the terms into Abelian strings, look for mappings which solve the problem in the Abelian monoid, and decide whether a mapping can be regarded as a unifier. Very often most of the mappings are thus eliminated, and so it is crucial for efficiency either to not create these unnecessary solutions or to remove them as soon as possible. The following work formalises the transformations between the free algebra and this monoid. This leads to an algorithm which uses maximal information for its search for solutions in the monoid. It is both very efficient and easily verifiable. Some applications of this algorithm are shown in the appendix." @default.
- W2110148089 created "2016-06-24" @default.
- W2110148089 creator A5019187286 @default.
- W2110148089 date "1985-01-01" @default.
- W2110148089 modified "2023-09-24" @default.
- W2110148089 title "An algebraic approach to unification under associativity and commutativity" @default.
- W2110148089 cites W1523315298 @default.
- W2110148089 cites W1562146321 @default.
- W2110148089 cites W1598625331 @default.
- W2110148089 cites W1991466985 @default.
- W2110148089 cites W2007636022 @default.
- W2110148089 cites W2033288425 @default.
- W2110148089 cites W2100738443 @default.
- W2110148089 doi "https://doi.org/10.1007/3-540-15976-2_19" @default.
- W2110148089 hasPublicationYear "1985" @default.
- W2110148089 type Work @default.
- W2110148089 sameAs 2110148089 @default.
- W2110148089 citedByCount "19" @default.
- W2110148089 crossrefType "book-chapter" @default.
- W2110148089 hasAuthorship W2110148089A5019187286 @default.
- W2110148089 hasConcept C11413529 @default.
- W2110148089 hasConcept C118615104 @default.
- W2110148089 hasConcept C134306372 @default.
- W2110148089 hasConcept C136119220 @default.
- W2110148089 hasConcept C136170076 @default.
- W2110148089 hasConcept C159423971 @default.
- W2110148089 hasConcept C182419690 @default.
- W2110148089 hasConcept C183778304 @default.
- W2110148089 hasConcept C199360897 @default.
- W2110148089 hasConcept C202444582 @default.
- W2110148089 hasConcept C206880738 @default.
- W2110148089 hasConcept C206901836 @default.
- W2110148089 hasConcept C21696900 @default.
- W2110148089 hasConcept C2779782106 @default.
- W2110148089 hasConcept C33923547 @default.
- W2110148089 hasConcept C41008148 @default.
- W2110148089 hasConcept C80444323 @default.
- W2110148089 hasConcept C9376300 @default.
- W2110148089 hasConcept C96146094 @default.
- W2110148089 hasConceptScore W2110148089C11413529 @default.
- W2110148089 hasConceptScore W2110148089C118615104 @default.
- W2110148089 hasConceptScore W2110148089C134306372 @default.
- W2110148089 hasConceptScore W2110148089C136119220 @default.
- W2110148089 hasConceptScore W2110148089C136170076 @default.
- W2110148089 hasConceptScore W2110148089C159423971 @default.
- W2110148089 hasConceptScore W2110148089C182419690 @default.
- W2110148089 hasConceptScore W2110148089C183778304 @default.
- W2110148089 hasConceptScore W2110148089C199360897 @default.
- W2110148089 hasConceptScore W2110148089C202444582 @default.
- W2110148089 hasConceptScore W2110148089C206880738 @default.
- W2110148089 hasConceptScore W2110148089C206901836 @default.
- W2110148089 hasConceptScore W2110148089C21696900 @default.
- W2110148089 hasConceptScore W2110148089C2779782106 @default.
- W2110148089 hasConceptScore W2110148089C33923547 @default.
- W2110148089 hasConceptScore W2110148089C41008148 @default.
- W2110148089 hasConceptScore W2110148089C80444323 @default.
- W2110148089 hasConceptScore W2110148089C9376300 @default.
- W2110148089 hasConceptScore W2110148089C96146094 @default.
- W2110148089 hasLocation W21101480891 @default.
- W2110148089 hasOpenAccess W2110148089 @default.
- W2110148089 hasPrimaryLocation W21101480891 @default.
- W2110148089 hasRelatedWork W1484319462 @default.
- W2110148089 hasRelatedWork W1523315298 @default.
- W2110148089 hasRelatedWork W1585649433 @default.
- W2110148089 hasRelatedWork W1598625331 @default.
- W2110148089 hasRelatedWork W1968386045 @default.
- W2110148089 hasRelatedWork W1991466985 @default.
- W2110148089 hasRelatedWork W1996269215 @default.
- W2110148089 hasRelatedWork W2000095830 @default.
- W2110148089 hasRelatedWork W2016251012 @default.
- W2110148089 hasRelatedWork W2016416448 @default.
- W2110148089 hasRelatedWork W2033288425 @default.
- W2110148089 hasRelatedWork W2053895806 @default.
- W2110148089 hasRelatedWork W2056016391 @default.
- W2110148089 hasRelatedWork W2061769298 @default.
- W2110148089 hasRelatedWork W2100738443 @default.
- W2110148089 hasRelatedWork W2113722134 @default.
- W2110148089 hasRelatedWork W2148193906 @default.
- W2110148089 hasRelatedWork W2913570526 @default.
- W2110148089 hasRelatedWork W3127823229 @default.
- W2110148089 hasRelatedWork W69066391 @default.
- W2110148089 isParatext "false" @default.
- W2110148089 isRetracted "false" @default.
- W2110148089 magId "2110148089" @default.
- W2110148089 workType "book-chapter" @default.