Matches in SemOpenAlex for { <https://semopenalex.org/work/W1569512140> ?p ?o ?g. }
Showing items 1 to 84 of
84
with 100 items per page.
- W1569512140 abstract "For many years all known completeness results for Knuth-Bendix completion and ordered paramodulation required the term ordering ≻ to be well-founded, monotonic and total(izable) on ground terms. Then, it was shown that well-foundedness and the subterm property were enough for ensuring completeness of ordered paramodulation." @default.
- W1569512140 created "2016-06-24" @default.
- W1569512140 creator A5021913033 @default.
- W1569512140 creator A5038978960 @default.
- W1569512140 date "2002-01-01" @default.
- W1569512140 modified "2023-09-27" @default.
- W1569512140 title "Well-Foundedness Is Sufficient for Completeness of Ordered Paramodulation" @default.
- W1569512140 cites W1507112684 @default.
- W1569512140 cites W1569512140 @default.
- W1569512140 cites W2037085273 @default.
- W1569512140 cites W2043314428 @default.
- W1569512140 cites W2082976889 @default.
- W1569512140 cites W2161257777 @default.
- W1569512140 cites W2164640126 @default.
- W1569512140 cites W2914834504 @default.
- W1569512140 doi "https://doi.org/10.1007/3-540-45620-1_36" @default.
- W1569512140 hasPublicationYear "2002" @default.
- W1569512140 type Work @default.
- W1569512140 sameAs 1569512140 @default.
- W1569512140 citedByCount "3" @default.
- W1569512140 crossrefType "book-chapter" @default.
- W1569512140 hasAuthorship W1569512140A5021913033 @default.
- W1569512140 hasAuthorship W1569512140A5038978960 @default.
- W1569512140 hasConcept C111472728 @default.
- W1569512140 hasConcept C118615104 @default.
- W1569512140 hasConcept C121332964 @default.
- W1569512140 hasConcept C134306372 @default.
- W1569512140 hasConcept C138885662 @default.
- W1569512140 hasConcept C17231256 @default.
- W1569512140 hasConcept C189950617 @default.
- W1569512140 hasConcept C199343813 @default.
- W1569512140 hasConcept C199360897 @default.
- W1569512140 hasConcept C206880738 @default.
- W1569512140 hasConcept C2777686260 @default.
- W1569512140 hasConcept C33923547 @default.
- W1569512140 hasConcept C41008148 @default.
- W1569512140 hasConcept C61797465 @default.
- W1569512140 hasConcept C62520636 @default.
- W1569512140 hasConcept C71924100 @default.
- W1569512140 hasConcept C72169020 @default.
- W1569512140 hasConceptScore W1569512140C111472728 @default.
- W1569512140 hasConceptScore W1569512140C118615104 @default.
- W1569512140 hasConceptScore W1569512140C121332964 @default.
- W1569512140 hasConceptScore W1569512140C134306372 @default.
- W1569512140 hasConceptScore W1569512140C138885662 @default.
- W1569512140 hasConceptScore W1569512140C17231256 @default.
- W1569512140 hasConceptScore W1569512140C189950617 @default.
- W1569512140 hasConceptScore W1569512140C199343813 @default.
- W1569512140 hasConceptScore W1569512140C199360897 @default.
- W1569512140 hasConceptScore W1569512140C206880738 @default.
- W1569512140 hasConceptScore W1569512140C2777686260 @default.
- W1569512140 hasConceptScore W1569512140C33923547 @default.
- W1569512140 hasConceptScore W1569512140C41008148 @default.
- W1569512140 hasConceptScore W1569512140C61797465 @default.
- W1569512140 hasConceptScore W1569512140C62520636 @default.
- W1569512140 hasConceptScore W1569512140C71924100 @default.
- W1569512140 hasConceptScore W1569512140C72169020 @default.
- W1569512140 hasLocation W15695121401 @default.
- W1569512140 hasOpenAccess W1569512140 @default.
- W1569512140 hasPrimaryLocation W15695121401 @default.
- W1569512140 hasRelatedWork W1548945446 @default.
- W1569512140 hasRelatedWork W169175576 @default.
- W1569512140 hasRelatedWork W1849621571 @default.
- W1569512140 hasRelatedWork W1968532969 @default.
- W1569512140 hasRelatedWork W2037274661 @default.
- W1569512140 hasRelatedWork W2047671625 @default.
- W1569512140 hasRelatedWork W2067259733 @default.
- W1569512140 hasRelatedWork W2086439708 @default.
- W1569512140 hasRelatedWork W2087519684 @default.
- W1569512140 hasRelatedWork W2164297607 @default.
- W1569512140 hasRelatedWork W2274975500 @default.
- W1569512140 hasRelatedWork W2400358329 @default.
- W1569512140 hasRelatedWork W2525791188 @default.
- W1569512140 hasRelatedWork W273182405 @default.
- W1569512140 hasRelatedWork W2890827357 @default.
- W1569512140 hasRelatedWork W3144767218 @default.
- W1569512140 hasRelatedWork W362266675 @default.
- W1569512140 hasRelatedWork W40492301 @default.
- W1569512140 hasRelatedWork W86320019 @default.
- W1569512140 hasRelatedWork W2584695107 @default.
- W1569512140 isParatext "false" @default.
- W1569512140 isRetracted "false" @default.
- W1569512140 magId "1569512140" @default.
- W1569512140 workType "book-chapter" @default.