Matches in SemOpenAlex for { <https://semopenalex.org/work/W135585495> ?p ?o ?g. }
Showing items 1 to 68 of
68
with 100 items per page.
- W135585495 endingPage "856" @default.
- W135585495 startingPage "851" @default.
- W135585495 abstract "We describe a generalization of equivalence between constraint sets, called weak equivalence. This new equivalence relation takes into account that not all variables have the same function in a constraint set and therefore distinguishes between restriction variables and intermediate variables. We explore the properties of weak equivalence and its underlying notion of weak implication with an axiomatic approach. In addition a complete set of axioms for weak implication is presented. With examples derived from the declarative rule language RL we show the applicability of weak equivalence to constraint solving." @default.
- W135585495 created "2016-06-24" @default.
- W135585495 creator A5013560242 @default.
- W135585495 creator A5047616399 @default.
- W135585495 date "1991-08-24" @default.
- W135585495 modified "2023-09-23" @default.
- W135585495 title "Weak equivalence for constraint sets" @default.
- W135585495 cites W1503179130 @default.
- W135585495 cites W1612551514 @default.
- W135585495 cites W2165924353 @default.
- W135585495 cites W21848798 @default.
- W135585495 cites W3140058205 @default.
- W135585495 hasPublicationYear "1991" @default.
- W135585495 type Work @default.
- W135585495 sameAs 135585495 @default.
- W135585495 citedByCount "1" @default.
- W135585495 crossrefType "proceedings-article" @default.
- W135585495 hasAuthorship W135585495A5013560242 @default.
- W135585495 hasAuthorship W135585495A5047616399 @default.
- W135585495 hasConcept C118615104 @default.
- W135585495 hasConcept C134306372 @default.
- W135585495 hasConcept C156103551 @default.
- W135585495 hasConcept C167729594 @default.
- W135585495 hasConcept C177148314 @default.
- W135585495 hasConcept C2524010 @default.
- W135585495 hasConcept C2776036281 @default.
- W135585495 hasConcept C2780069185 @default.
- W135585495 hasConcept C33923547 @default.
- W135585495 hasConcept C70846408 @default.
- W135585495 hasConceptScore W135585495C118615104 @default.
- W135585495 hasConceptScore W135585495C134306372 @default.
- W135585495 hasConceptScore W135585495C156103551 @default.
- W135585495 hasConceptScore W135585495C167729594 @default.
- W135585495 hasConceptScore W135585495C177148314 @default.
- W135585495 hasConceptScore W135585495C2524010 @default.
- W135585495 hasConceptScore W135585495C2776036281 @default.
- W135585495 hasConceptScore W135585495C2780069185 @default.
- W135585495 hasConceptScore W135585495C33923547 @default.
- W135585495 hasConceptScore W135585495C70846408 @default.
- W135585495 hasLocation W1355854951 @default.
- W135585495 hasOpenAccess W135585495 @default.
- W135585495 hasPrimaryLocation W1355854951 @default.
- W135585495 hasRelatedWork W1684570194 @default.
- W135585495 hasRelatedWork W1967393620 @default.
- W135585495 hasRelatedWork W1983809139 @default.
- W135585495 hasRelatedWork W2006861379 @default.
- W135585495 hasRelatedWork W2028101979 @default.
- W135585495 hasRelatedWork W2034113020 @default.
- W135585495 hasRelatedWork W2039074600 @default.
- W135585495 hasRelatedWork W2102204427 @default.
- W135585495 hasRelatedWork W2115474581 @default.
- W135585495 hasRelatedWork W2120939240 @default.
- W135585495 hasRelatedWork W2127840681 @default.
- W135585495 hasRelatedWork W2186033963 @default.
- W135585495 hasRelatedWork W2191547431 @default.
- W135585495 hasRelatedWork W2275755639 @default.
- W135585495 hasRelatedWork W2368157254 @default.
- W135585495 hasRelatedWork W2386799519 @default.
- W135585495 hasRelatedWork W3023040874 @default.
- W135585495 hasRelatedWork W3122722170 @default.
- W135585495 hasRelatedWork W350530755 @default.
- W135585495 hasRelatedWork W83305038 @default.
- W135585495 isParatext "false" @default.
- W135585495 isRetracted "false" @default.
- W135585495 magId "135585495" @default.
- W135585495 workType "article" @default.