Matches in SemOpenAlex for { <https://semopenalex.org/work/W1497015816> ?p ?o ?g. }
Showing items 1 to 63 of
63
with 100 items per page.
- W1497015816 abstract "Recently, ordered paramodulation and Knuth-Bendix completion were shown to remain complete when using non-monotonic orderings. However, these results only implied the compatibility with too weak redundancy notions and, in particular, demodulation could not be applied at all." @default.
- W1497015816 created "2016-06-24" @default.
- W1497015816 creator A5021913033 @default.
- W1497015816 creator A5038978960 @default.
- W1497015816 date "2004-01-01" @default.
- W1497015816 modified "2023-09-27" @default.
- W1497015816 title "Redundancy Notions for Paramodulation with Non-monotonic Orderings" @default.
- W1497015816 cites W1507112684 @default.
- W1497015816 cites W1569512140 @default.
- W1497015816 cites W1585847038 @default.
- W1497015816 cites W1591665028 @default.
- W1497015816 cites W2037085273 @default.
- W1497015816 cites W2043314428 @default.
- W1497015816 cites W2161257777 @default.
- W1497015816 cites W2164640126 @default.
- W1497015816 cites W2914834504 @default.
- W1497015816 doi "https://doi.org/10.1007/978-3-540-25984-8_6" @default.
- W1497015816 hasPublicationYear "2004" @default.
- W1497015816 type Work @default.
- W1497015816 sameAs 1497015816 @default.
- W1497015816 citedByCount "0" @default.
- W1497015816 crossrefType "book-chapter" @default.
- W1497015816 hasAuthorship W1497015816A5021913033 @default.
- W1497015816 hasAuthorship W1497015816A5038978960 @default.
- W1497015816 hasConcept C111919701 @default.
- W1497015816 hasConcept C11413529 @default.
- W1497015816 hasConcept C127313418 @default.
- W1497015816 hasConcept C134306372 @default.
- W1497015816 hasConcept C152124472 @default.
- W1497015816 hasConcept C17409809 @default.
- W1497015816 hasConcept C2778648169 @default.
- W1497015816 hasConcept C33923547 @default.
- W1497015816 hasConcept C41008148 @default.
- W1497015816 hasConcept C72169020 @default.
- W1497015816 hasConcept C80444323 @default.
- W1497015816 hasConceptScore W1497015816C111919701 @default.
- W1497015816 hasConceptScore W1497015816C11413529 @default.
- W1497015816 hasConceptScore W1497015816C127313418 @default.
- W1497015816 hasConceptScore W1497015816C134306372 @default.
- W1497015816 hasConceptScore W1497015816C152124472 @default.
- W1497015816 hasConceptScore W1497015816C17409809 @default.
- W1497015816 hasConceptScore W1497015816C2778648169 @default.
- W1497015816 hasConceptScore W1497015816C33923547 @default.
- W1497015816 hasConceptScore W1497015816C41008148 @default.
- W1497015816 hasConceptScore W1497015816C72169020 @default.
- W1497015816 hasConceptScore W1497015816C80444323 @default.
- W1497015816 hasLocation W14970158161 @default.
- W1497015816 hasOpenAccess W1497015816 @default.
- W1497015816 hasPrimaryLocation W14970158161 @default.
- W1497015816 hasRelatedWork W1532058475 @default.
- W1497015816 hasRelatedWork W1652311832 @default.
- W1497015816 hasRelatedWork W2135396778 @default.
- W1497015816 hasRelatedWork W2166247150 @default.
- W1497015816 hasRelatedWork W2243428364 @default.
- W1497015816 hasRelatedWork W2462453872 @default.
- W1497015816 hasRelatedWork W2748952813 @default.
- W1497015816 hasRelatedWork W3207171446 @default.
- W1497015816 hasRelatedWork W4243252198 @default.
- W1497015816 hasRelatedWork W4245713008 @default.
- W1497015816 isParatext "false" @default.
- W1497015816 isRetracted "false" @default.
- W1497015816 magId "1497015816" @default.
- W1497015816 workType "book-chapter" @default.