Matches in SemOpenAlex for { <https://semopenalex.org/work/W1537313229> ?p ?o ?g. }
Showing items 1 to 90 of
90
with 100 items per page.
- W1537313229 abstract "The aim of Knuth-Bendix completion is to transform an input specification into another, equivalent specification such that a given set of inference rules becomes complete for the transformed specification. In the classical case, the specifications consist of unconditional equations, and the inference rule is term rewriting." @default.
- W1537313229 created "2016-06-24" @default.
- W1537313229 creator A5038018476 @default.
- W1537313229 date "1991-01-01" @default.
- W1537313229 modified "2023-09-27" @default.
- W1537313229 title "Knuth-bendix completion of horn clause programs for restricted linear resolution and paramodulation" @default.
- W1537313229 cites W1517701251 @default.
- W1537313229 cites W1537313229 @default.
- W1537313229 cites W1567856068 @default.
- W1537313229 cites W1790940744 @default.
- W1537313229 cites W1828814899 @default.
- W1537313229 cites W2014030742 @default.
- W1537313229 cites W2106105719 @default.
- W1537313229 cites W4206370914 @default.
- W1537313229 doi "https://doi.org/10.1007/3-540-54317-1_90" @default.
- W1537313229 hasPublicationYear "1991" @default.
- W1537313229 type Work @default.
- W1537313229 sameAs 1537313229 @default.
- W1537313229 citedByCount "4" @default.
- W1537313229 crossrefType "book-chapter" @default.
- W1537313229 hasAuthorship W1537313229A5038018476 @default.
- W1537313229 hasConcept C11413529 @default.
- W1537313229 hasConcept C121332964 @default.
- W1537313229 hasConcept C136119220 @default.
- W1537313229 hasConcept C138268822 @default.
- W1537313229 hasConcept C154690210 @default.
- W1537313229 hasConcept C154945302 @default.
- W1537313229 hasConcept C177264268 @default.
- W1537313229 hasConcept C189790780 @default.
- W1537313229 hasConcept C199343813 @default.
- W1537313229 hasConcept C199360897 @default.
- W1537313229 hasConcept C202444582 @default.
- W1537313229 hasConcept C206880738 @default.
- W1537313229 hasConcept C2776214188 @default.
- W1537313229 hasConcept C2777686260 @default.
- W1537313229 hasConcept C33923547 @default.
- W1537313229 hasConcept C3746660 @default.
- W1537313229 hasConcept C41008148 @default.
- W1537313229 hasConcept C61797465 @default.
- W1537313229 hasConcept C62520636 @default.
- W1537313229 hasConcept C71924100 @default.
- W1537313229 hasConcept C81721847 @default.
- W1537313229 hasConceptScore W1537313229C11413529 @default.
- W1537313229 hasConceptScore W1537313229C121332964 @default.
- W1537313229 hasConceptScore W1537313229C136119220 @default.
- W1537313229 hasConceptScore W1537313229C138268822 @default.
- W1537313229 hasConceptScore W1537313229C154690210 @default.
- W1537313229 hasConceptScore W1537313229C154945302 @default.
- W1537313229 hasConceptScore W1537313229C177264268 @default.
- W1537313229 hasConceptScore W1537313229C189790780 @default.
- W1537313229 hasConceptScore W1537313229C199343813 @default.
- W1537313229 hasConceptScore W1537313229C199360897 @default.
- W1537313229 hasConceptScore W1537313229C202444582 @default.
- W1537313229 hasConceptScore W1537313229C206880738 @default.
- W1537313229 hasConceptScore W1537313229C2776214188 @default.
- W1537313229 hasConceptScore W1537313229C2777686260 @default.
- W1537313229 hasConceptScore W1537313229C33923547 @default.
- W1537313229 hasConceptScore W1537313229C3746660 @default.
- W1537313229 hasConceptScore W1537313229C41008148 @default.
- W1537313229 hasConceptScore W1537313229C61797465 @default.
- W1537313229 hasConceptScore W1537313229C62520636 @default.
- W1537313229 hasConceptScore W1537313229C71924100 @default.
- W1537313229 hasConceptScore W1537313229C81721847 @default.
- W1537313229 hasLocation W15373132291 @default.
- W1537313229 hasOpenAccess W1537313229 @default.
- W1537313229 hasPrimaryLocation W15373132291 @default.
- W1537313229 hasRelatedWork W1493914162 @default.
- W1537313229 hasRelatedWork W1511599464 @default.
- W1537313229 hasRelatedWork W1511704268 @default.
- W1537313229 hasRelatedWork W1537417655 @default.
- W1537313229 hasRelatedWork W1553570096 @default.
- W1537313229 hasRelatedWork W1575914651 @default.
- W1537313229 hasRelatedWork W1604531826 @default.
- W1537313229 hasRelatedWork W1606155280 @default.
- W1537313229 hasRelatedWork W1813488719 @default.
- W1537313229 hasRelatedWork W1828814899 @default.
- W1537313229 hasRelatedWork W1851366151 @default.
- W1537313229 hasRelatedWork W2001146053 @default.
- W1537313229 hasRelatedWork W2090855107 @default.
- W1537313229 hasRelatedWork W2108120797 @default.
- W1537313229 hasRelatedWork W2109420517 @default.
- W1537313229 hasRelatedWork W2126097543 @default.
- W1537313229 hasRelatedWork W2129495011 @default.
- W1537313229 hasRelatedWork W3027318171 @default.
- W1537313229 hasRelatedWork W2761084431 @default.
- W1537313229 hasRelatedWork W3037413195 @default.
- W1537313229 isParatext "false" @default.
- W1537313229 isRetracted "false" @default.
- W1537313229 magId "1537313229" @default.
- W1537313229 workType "book-chapter" @default.