FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2024574878> ?p ?o ?g. }

• W2024574878 endingPage "225" @default.
• W2024574878 startingPage "207" @default.
• W2024574878 abstract "This article introduces a generalisation of the crossed rule approach to the detection of Knuth-Bendix completion procedure divergence. It introduces closure chains, which are special rule closures constructed by means of particular substitution operations and operators, as a suitable formalism for progress in this direction. Supporting substitution algebra is developed first, followed by considerations concerning rule closures in general, concluding with an investigation of closure chain properties. Issues concerning the narrowing process are not discussed here." @default.
• W2024574878 created "2016-06-24" @default.
• W2024574878 creator A5074896214 @default.
• W2024574878 date "1990-03-01" @default.
• W2024574878 modified "2023-10-18" @default.
• W2024574878 title "Chain properties of rule closures" @default.
• W2024574878 cites W1513315908 @default.
• W2024574878 cites W1518867990 @default.
• W2024574878 cites W1553570096 @default.
• W2024574878 cites W1605312248 @default.
• W2024574878 cites W1991856459 @default.
• W2024574878 cites W1994958005 @default.
• W2024574878 cites W2024390796 @default.
• W2024574878 cites W2048748607 @default.
• W2024574878 cites W2056239109 @default.
• W2024574878 cites W2090626768 @default.
• W2024574878 cites W2118813891 @default.
• W2024574878 cites W2121757274 @default.
• W2024574878 doi "https://doi.org/10.1007/bf01888225" @default.
• W2024574878 hasPublicationYear "1990" @default.
• W2024574878 type Work @default.
• W2024574878 sameAs 2024574878 @default.
• W2024574878 citedByCount "10" @default.
• W2024574878 countsByYear W20245748782013 @default.
• W2024574878 countsByYear W20245748782016 @default.
• W2024574878 crossrefType "journal-article" @default.
• W2024574878 hasAuthorship W2024574878A5074896214 @default.
• W2024574878 hasBestOaLocation W20245748781 @default.
• W2024574878 hasConcept C107673813 @default.
• W2024574878 hasConcept C11413529 @default.
• W2024574878 hasConcept C136119220 @default.
• W2024574878 hasConcept C138885662 @default.
• W2024574878 hasConcept C142362112 @default.
• W2024574878 hasConcept C146834321 @default.
• W2024574878 hasConcept C153349607 @default.
• W2024574878 hasConcept C154945302 @default.
• W2024574878 hasConcept C162324750 @default.
• W2024574878 hasConcept C199343813 @default.
• W2024574878 hasConcept C199360897 @default.
• W2024574878 hasConcept C202444582 @default.
• W2024574878 hasConcept C207390915 @default.
• W2024574878 hasConcept C24858836 @default.
• W2024574878 hasConcept C2777686260 @default.
• W2024574878 hasConcept C2778220771 @default.
• W2024574878 hasConcept C33825631 @default.
• W2024574878 hasConcept C33923547 @default.
• W2024574878 hasConcept C34447519 @default.
• W2024574878 hasConcept C41008148 @default.
• W2024574878 hasConcept C41895202 @default.
• W2024574878 hasConcept C49698424 @default.
• W2024574878 hasConcept C558565934 @default.
• W2024574878 hasConcept C57830394 @default.
• W2024574878 hasConcept C71924100 @default.
• W2024574878 hasConcept C73301696 @default.
• W2024574878 hasConceptScore W2024574878C107673813 @default.
• W2024574878 hasConceptScore W2024574878C11413529 @default.
• W2024574878 hasConceptScore W2024574878C136119220 @default.
• W2024574878 hasConceptScore W2024574878C138885662 @default.
• W2024574878 hasConceptScore W2024574878C142362112 @default.
• W2024574878 hasConceptScore W2024574878C146834321 @default.
• W2024574878 hasConceptScore W2024574878C153349607 @default.
• W2024574878 hasConceptScore W2024574878C154945302 @default.
• W2024574878 hasConceptScore W2024574878C162324750 @default.
• W2024574878 hasConceptScore W2024574878C199343813 @default.
• W2024574878 hasConceptScore W2024574878C199360897 @default.
• W2024574878 hasConceptScore W2024574878C202444582 @default.
• W2024574878 hasConceptScore W2024574878C207390915 @default.
• W2024574878 hasConceptScore W2024574878C24858836 @default.
• W2024574878 hasConceptScore W2024574878C2777686260 @default.
• W2024574878 hasConceptScore W2024574878C2778220771 @default.
• W2024574878 hasConceptScore W2024574878C33825631 @default.
• W2024574878 hasConceptScore W2024574878C33923547 @default.
• W2024574878 hasConceptScore W2024574878C34447519 @default.
• W2024574878 hasConceptScore W2024574878C41008148 @default.
• W2024574878 hasConceptScore W2024574878C41895202 @default.
• W2024574878 hasConceptScore W2024574878C49698424 @default.
• W2024574878 hasConceptScore W2024574878C558565934 @default.
• W2024574878 hasConceptScore W2024574878C57830394 @default.
• W2024574878 hasConceptScore W2024574878C71924100 @default.
• W2024574878 hasConceptScore W2024574878C73301696 @default.
• W2024574878 hasIssue "1" @default.
• W2024574878 hasLocation W20245748781 @default.
• W2024574878 hasOpenAccess W2024574878 @default.
• W2024574878 hasPrimaryLocation W20245748781 @default.
• W2024574878 hasRelatedWork W187846026 @default.
• W2024574878 hasRelatedWork W1964484509 @default.
• W2024574878 hasRelatedWork W1975647703 @default.
• W2024574878 hasRelatedWork W2014816758 @default.
• W2024574878 hasRelatedWork W2024574878 @default.
• W2024574878 hasRelatedWork W2044273750 @default.
• W2024574878 hasRelatedWork W2044860640 @default.
• W2024574878 hasRelatedWork W2149963408 @default.
• W2024574878 hasRelatedWork W2513070253 @default.
• W2024574878 hasRelatedWork W2748143719 @default.
• W2024574878 hasVolume "2" @default.
• W2024574878 isParatext "false" @default.
• W2024574878 isRetracted "false" @default.
• W2024574878 magId "2024574878" @default.

• next