Matches in SemOpenAlex for { <https://semopenalex.org/work/W1990334561> ?p ?o ?g. }
Showing items 1 to 91 of
91
with 100 items per page.
- W1990334561 endingPage "629" @default.
- W1990334561 startingPage "591" @default.
- W1990334561 abstract "We are interested in the problem of solving a system 〈s l = t l : 1 ≤ i ≤ n, p j ≠ q j : 1 ≤ j ≤ m 〉 of equations and disequations, also known as disunification . Solutions to disunification problems are substitutions for the variables of the problem that make the two terms of each equation equal, but leave those of the disequations different. We investigate this in both algebraic and logical contexts where equality is defined by an equational theory and more generally by a definitive clause equality theory E. We show how E-disunification can be reduced to E-unification, that is, solving equations only, and give a disunification algorithm for theories given a unification algorithm. In fact, this result shows that for theories in which the solutions of all unification problems can also be represented finitely. We sketch how disunification can be applied to handle negation in logic programming with equality in a similar style to Colmerauer's logic programming with rational trees, and to represent many solutions to AC-unification problems by a few solutions to ACI-disunification problems." @default.
- W1990334561 created "2016-06-24" @default.
- W1990334561 creator A5005792924 @default.
- W1990334561 creator A5064473047 @default.
- W1990334561 date "1994-07-01" @default.
- W1990334561 modified "2023-09-26" @default.
- W1990334561 title "On solving equations and disequations" @default.
- W1990334561 cites W147641928 @default.
- W1990334561 cites W2016251012 @default.
- W1990334561 cites W2033074970 @default.
- W1990334561 cites W2033288425 @default.
- W1990334561 cites W2053573751 @default.
- W1990334561 cites W2053895806 @default.
- W1990334561 cites W2056016391 @default.
- W1990334561 cites W2056637458 @default.
- W1990334561 cites W2061769298 @default.
- W1990334561 cites W2077422877 @default.
- W1990334561 cites W2083402938 @default.
- W1990334561 cites W2100738443 @default.
- W1990334561 cites W2148193906 @default.
- W1990334561 cites W2149257851 @default.
- W1990334561 cites W2157266926 @default.
- W1990334561 cites W2319266333 @default.
- W1990334561 cites W2577911961 @default.
- W1990334561 cites W2914314632 @default.
- W1990334561 doi "https://doi.org/10.1145/179812.179813" @default.
- W1990334561 hasPublicationYear "1994" @default.
- W1990334561 type Work @default.
- W1990334561 sameAs 1990334561 @default.
- W1990334561 citedByCount "17" @default.
- W1990334561 countsByYear W19903345612012 @default.
- W1990334561 countsByYear W19903345612015 @default.
- W1990334561 countsByYear W19903345612017 @default.
- W1990334561 countsByYear W19903345612019 @default.
- W1990334561 countsByYear W19903345612020 @default.
- W1990334561 countsByYear W19903345612021 @default.
- W1990334561 crossrefType "journal-article" @default.
- W1990334561 hasAuthorship W1990334561A5005792924 @default.
- W1990334561 hasAuthorship W1990334561A5064473047 @default.
- W1990334561 hasBestOaLocation W19903345611 @default.
- W1990334561 hasConcept C11413529 @default.
- W1990334561 hasConcept C118615104 @default.
- W1990334561 hasConcept C134306372 @default.
- W1990334561 hasConcept C136119220 @default.
- W1990334561 hasConcept C154564781 @default.
- W1990334561 hasConcept C154690210 @default.
- W1990334561 hasConcept C199360897 @default.
- W1990334561 hasConcept C202444582 @default.
- W1990334561 hasConcept C2185349 @default.
- W1990334561 hasConcept C2779231336 @default.
- W1990334561 hasConcept C33923547 @default.
- W1990334561 hasConcept C41008148 @default.
- W1990334561 hasConcept C86523455 @default.
- W1990334561 hasConcept C9376300 @default.
- W1990334561 hasConcept C96146094 @default.
- W1990334561 hasConceptScore W1990334561C11413529 @default.
- W1990334561 hasConceptScore W1990334561C118615104 @default.
- W1990334561 hasConceptScore W1990334561C134306372 @default.
- W1990334561 hasConceptScore W1990334561C136119220 @default.
- W1990334561 hasConceptScore W1990334561C154564781 @default.
- W1990334561 hasConceptScore W1990334561C154690210 @default.
- W1990334561 hasConceptScore W1990334561C199360897 @default.
- W1990334561 hasConceptScore W1990334561C202444582 @default.
- W1990334561 hasConceptScore W1990334561C2185349 @default.
- W1990334561 hasConceptScore W1990334561C2779231336 @default.
- W1990334561 hasConceptScore W1990334561C33923547 @default.
- W1990334561 hasConceptScore W1990334561C41008148 @default.
- W1990334561 hasConceptScore W1990334561C86523455 @default.
- W1990334561 hasConceptScore W1990334561C9376300 @default.
- W1990334561 hasConceptScore W1990334561C96146094 @default.
- W1990334561 hasIssue "4" @default.
- W1990334561 hasLocation W19903345611 @default.
- W1990334561 hasOpenAccess W1990334561 @default.
- W1990334561 hasPrimaryLocation W19903345611 @default.
- W1990334561 hasRelatedWork W1484367270 @default.
- W1990334561 hasRelatedWork W1527374468 @default.
- W1990334561 hasRelatedWork W1532755266 @default.
- W1990334561 hasRelatedWork W1990334561 @default.
- W1990334561 hasRelatedWork W2059353311 @default.
- W1990334561 hasRelatedWork W2885964212 @default.
- W1990334561 hasRelatedWork W2964350183 @default.
- W1990334561 hasRelatedWork W2999457004 @default.
- W1990334561 hasRelatedWork W4224056974 @default.
- W1990334561 hasRelatedWork W44081821 @default.
- W1990334561 hasVolume "41" @default.
- W1990334561 isParatext "false" @default.
- W1990334561 isRetracted "false" @default.
- W1990334561 magId "1990334561" @default.
- W1990334561 workType "article" @default.