Matches in SemOpenAlex for { <https://semopenalex.org/work/W2040694005> ?p ?o ?g. }
Showing items 1 to 52 of
52
with 100 items per page.
- W2040694005 endingPage "132" @default.
- W2040694005 startingPage "120" @default.
- W2040694005 abstract "We explore how different proof orderings induce different notions of saturation and completeness. We relate completion, paramodulation, saturation, redundancy elimination, and rewrite system reduction to proof orderings." @default.
- W2040694005 created "2016-06-24" @default.
- W2040694005 creator A5039993352 @default.
- W2040694005 date "2003-05-01" @default.
- W2040694005 modified "2023-09-25" @default.
- W2040694005 title "Canonicity1 1This research was supported in part by the Israel Science Foundation (grant no. 254/01)." @default.
- W2040694005 cites W1507112684 @default.
- W2040694005 cites W1513576223 @default.
- W2040694005 cites W1519073978 @default.
- W2040694005 cites W1539329516 @default.
- W2040694005 cites W2044301710 @default.
- W2040694005 cites W2077429176 @default.
- W2040694005 cites W2086747974 @default.
- W2040694005 cites W2126018011 @default.
- W2040694005 cites W2161257777 @default.
- W2040694005 cites W2169983057 @default.
- W2040694005 cites W71670070 @default.
- W2040694005 doi "https://doi.org/10.1016/s1571-0661(04)80657-1" @default.
- W2040694005 hasPublicationYear "2003" @default.
- W2040694005 type Work @default.
- W2040694005 sameAs 2040694005 @default.
- W2040694005 citedByCount "0" @default.
- W2040694005 crossrefType "journal-article" @default.
- W2040694005 hasAuthorship W2040694005A5039993352 @default.
- W2040694005 hasBestOaLocation W20406940051 @default.
- W2040694005 hasConcept C17744445 @default.
- W2040694005 hasConcept C199539241 @default.
- W2040694005 hasConcept C2780966255 @default.
- W2040694005 hasConceptScore W2040694005C17744445 @default.
- W2040694005 hasConceptScore W2040694005C199539241 @default.
- W2040694005 hasConceptScore W2040694005C2780966255 @default.
- W2040694005 hasIssue "1" @default.
- W2040694005 hasLocation W20406940051 @default.
- W2040694005 hasOpenAccess W2040694005 @default.
- W2040694005 hasPrimaryLocation W20406940051 @default.
- W2040694005 hasRelatedWork W2035483685 @default.
- W2040694005 hasRelatedWork W2220552745 @default.
- W2040694005 hasRelatedWork W2332779545 @default.
- W2040694005 hasRelatedWork W2358060160 @default.
- W2040694005 hasRelatedWork W2381393187 @default.
- W2040694005 hasRelatedWork W2501983714 @default.
- W2040694005 hasRelatedWork W2777605427 @default.
- W2040694005 hasRelatedWork W2790569960 @default.
- W2040694005 hasRelatedWork W2793937822 @default.
- W2040694005 hasRelatedWork W596947562 @default.
- W2040694005 hasVolume "86" @default.
- W2040694005 isParatext "false" @default.
- W2040694005 isRetracted "false" @default.
- W2040694005 magId "2040694005" @default.
- W2040694005 workType "article" @default.