Matches in SemOpenAlex for { <https://semopenalex.org/work/W2166841305> ?p ?o ?g. }
Showing items 1 to 80 of
80
with 100 items per page.
- W2166841305 abstract "A method is proven for proving that equations are valid in the initial model of an equational variety. This proof by consistency procedure can be applied to equational theories that are represented as ground convergent rewrite systems. In contrast with so-called inductive completion procedures, the method requires no specific ordering on terms and can handle unorientable equations. The method is linear and refutationally complete, in that it refutes any equation which is not an inductive theorem. >" @default.
- W2166841305 created "2016-06-24" @default.
- W2166841305 creator A5090703131 @default.
- W2166841305 date "2003-01-06" @default.
- W2166841305 modified "2023-09-24" @default.
- W2166841305 title "Proof by consistency in equational theories" @default.
- W2166841305 cites W121595607 @default.
- W2166841305 cites W1516861936 @default.
- W2166841305 cites W1590828018 @default.
- W2166841305 cites W1598625331 @default.
- W2166841305 cites W1603851612 @default.
- W2166841305 cites W174440544 @default.
- W2166841305 cites W1992371661 @default.
- W2166841305 cites W2021173362 @default.
- W2166841305 cites W2022060249 @default.
- W2166841305 cites W2149944932 @default.
- W2166841305 doi "https://doi.org/10.1109/lics.1988.5122" @default.
- W2166841305 hasPublicationYear "2003" @default.
- W2166841305 type Work @default.
- W2166841305 sameAs 2166841305 @default.
- W2166841305 citedByCount "58" @default.
- W2166841305 countsByYear W21668413052013 @default.
- W2166841305 countsByYear W21668413052018 @default.
- W2166841305 crossrefType "proceedings-article" @default.
- W2166841305 hasAuthorship W2166841305A5090703131 @default.
- W2166841305 hasConcept C105795698 @default.
- W2166841305 hasConcept C11413529 @default.
- W2166841305 hasConcept C118615104 @default.
- W2166841305 hasConcept C136119220 @default.
- W2166841305 hasConcept C136197465 @default.
- W2166841305 hasConcept C154564781 @default.
- W2166841305 hasConcept C154690210 @default.
- W2166841305 hasConcept C154945302 @default.
- W2166841305 hasConcept C199343813 @default.
- W2166841305 hasConcept C199360897 @default.
- W2166841305 hasConcept C202444582 @default.
- W2166841305 hasConcept C206880738 @default.
- W2166841305 hasConcept C2776436953 @default.
- W2166841305 hasConcept C2776502983 @default.
- W2166841305 hasConcept C2777686260 @default.
- W2166841305 hasConcept C28826006 @default.
- W2166841305 hasConcept C33923547 @default.
- W2166841305 hasConcept C41008148 @default.
- W2166841305 hasConcept C71924100 @default.
- W2166841305 hasConceptScore W2166841305C105795698 @default.
- W2166841305 hasConceptScore W2166841305C11413529 @default.
- W2166841305 hasConceptScore W2166841305C118615104 @default.
- W2166841305 hasConceptScore W2166841305C136119220 @default.
- W2166841305 hasConceptScore W2166841305C136197465 @default.
- W2166841305 hasConceptScore W2166841305C154564781 @default.
- W2166841305 hasConceptScore W2166841305C154690210 @default.
- W2166841305 hasConceptScore W2166841305C154945302 @default.
- W2166841305 hasConceptScore W2166841305C199343813 @default.
- W2166841305 hasConceptScore W2166841305C199360897 @default.
- W2166841305 hasConceptScore W2166841305C202444582 @default.
- W2166841305 hasConceptScore W2166841305C206880738 @default.
- W2166841305 hasConceptScore W2166841305C2776436953 @default.
- W2166841305 hasConceptScore W2166841305C2776502983 @default.
- W2166841305 hasConceptScore W2166841305C2777686260 @default.
- W2166841305 hasConceptScore W2166841305C28826006 @default.
- W2166841305 hasConceptScore W2166841305C33923547 @default.
- W2166841305 hasConceptScore W2166841305C41008148 @default.
- W2166841305 hasConceptScore W2166841305C71924100 @default.
- W2166841305 hasLocation W21668413051 @default.
- W2166841305 hasOpenAccess W2166841305 @default.
- W2166841305 hasPrimaryLocation W21668413051 @default.
- W2166841305 hasRelatedWork W1527862632 @default.
- W2166841305 hasRelatedWork W1532058475 @default.
- W2166841305 hasRelatedWork W1652311832 @default.
- W2166841305 hasRelatedWork W2118300983 @default.
- W2166841305 hasRelatedWork W2135396778 @default.
- W2166841305 hasRelatedWork W2243428364 @default.
- W2166841305 hasRelatedWork W2462453872 @default.
- W2166841305 hasRelatedWork W3207171446 @default.
- W2166841305 hasRelatedWork W4243252198 @default.
- W2166841305 hasRelatedWork W4245713008 @default.
- W2166841305 isParatext "false" @default.
- W2166841305 isRetracted "false" @default.
- W2166841305 magId "2166841305" @default.
- W2166841305 workType "article" @default.