FRINK Linked Data Fragments server

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

• W2161257777 endingPage "276" @default.
• W2161257777 startingPage "236" @default.
• W2161257777 abstract "We describe the application of proof orderings—a technique for reasoning about inference systems-to various rewrite-based theorem-proving methods, including refinements of the standard Knuth-Bendix completion procedure based on critical pair criteria; Huet's procedure for rewriting modulo a congruence; ordered completion (a refutationally complete extension of standard completion); and a proof by consistency procedure for proving inductive theorems." @default.
• W2161257777 created "2016-06-24" @default.
• W2161257777 creator A5039993352 @default.
• W2161257777 creator A5090703131 @default.
• W2161257777 date "1994-03-01" @default.
• W2161257777 modified "2023-10-14" @default.
• W2161257777 title "Equational inference, canonical proofs, and proof orderings" @default.
• W2161257777 cites W1589182689 @default.
• W2161257777 cites W1964421058 @default.
• W2161257777 cites W1985445827 @default.
• W2161257777 cites W1991856459 @default.
• W2161257777 cites W2001026998 @default.
• W2161257777 cites W2007781051 @default.
• W2161257777 cites W2013342254 @default.
• W2161257777 cites W2014030742 @default.
• W2161257777 cites W2021173362 @default.
• W2161257777 cites W2022060249 @default.
• W2161257777 cites W2022122724 @default.
• W2161257777 cites W2024973091 @default.
• W2161257777 cites W2056016391 @default.
• W2161257777 cites W2056774266 @default.
• W2161257777 cites W2074030070 @default.
• W2161257777 cites W2121757274 @default.
• W2161257777 doi "https://doi.org/10.1145/174652.174655" @default.
• W2161257777 hasPublicationYear "1994" @default.
• W2161257777 type Work @default.
• W2161257777 sameAs 2161257777 @default.
• W2161257777 citedByCount "75" @default.
• W2161257777 countsByYear W21612577772012 @default.
• W2161257777 countsByYear W21612577772013 @default.
• W2161257777 countsByYear W21612577772014 @default.
• W2161257777 countsByYear W21612577772015 @default.
• W2161257777 countsByYear W21612577772017 @default.
• W2161257777 countsByYear W21612577772018 @default.
• W2161257777 countsByYear W21612577772019 @default.
• W2161257777 countsByYear W21612577772022 @default.
• W2161257777 countsByYear W21612577772023 @default.
• W2161257777 crossrefType "journal-article" @default.
• W2161257777 hasAuthorship W2161257777A5039993352 @default.
• W2161257777 hasAuthorship W2161257777A5090703131 @default.
• W2161257777 hasBestOaLocation W21612577772 @default.
• W2161257777 hasConcept C108710211 @default.
• W2161257777 hasConcept C118615104 @default.
• W2161257777 hasConcept C132074034 @default.
• W2161257777 hasConcept C135754263 @default.
• W2161257777 hasConcept C136119220 @default.
• W2161257777 hasConcept C13766981 @default.
• W2161257777 hasConcept C154690210 @default.
• W2161257777 hasConcept C154945302 @default.
• W2161257777 hasConcept C195653647 @default.
• W2161257777 hasConcept C199343813 @default.
• W2161257777 hasConcept C199360897 @default.
• W2161257777 hasConcept C202444582 @default.
• W2161257777 hasConcept C2318724 @default.
• W2161257777 hasConcept C2524010 @default.
• W2161257777 hasConcept C2776214188 @default.
• W2161257777 hasConcept C2776436953 @default.
• W2161257777 hasConcept C2777686260 @default.
• W2161257777 hasConcept C2778029271 @default.
• W2161257777 hasConcept C33923547 @default.
• W2161257777 hasConcept C3746660 @default.
• W2161257777 hasConcept C41008148 @default.
• W2161257777 hasConcept C54732982 @default.
• W2161257777 hasConcept C71924100 @default.
• W2161257777 hasConceptScore W2161257777C108710211 @default.
• W2161257777 hasConceptScore W2161257777C118615104 @default.
• W2161257777 hasConceptScore W2161257777C132074034 @default.
• W2161257777 hasConceptScore W2161257777C135754263 @default.
• W2161257777 hasConceptScore W2161257777C136119220 @default.
• W2161257777 hasConceptScore W2161257777C13766981 @default.
• W2161257777 hasConceptScore W2161257777C154690210 @default.
• W2161257777 hasConceptScore W2161257777C154945302 @default.
• W2161257777 hasConceptScore W2161257777C195653647 @default.
• W2161257777 hasConceptScore W2161257777C199343813 @default.
• W2161257777 hasConceptScore W2161257777C199360897 @default.
• W2161257777 hasConceptScore W2161257777C202444582 @default.
• W2161257777 hasConceptScore W2161257777C2318724 @default.
• W2161257777 hasConceptScore W2161257777C2524010 @default.
• W2161257777 hasConceptScore W2161257777C2776214188 @default.
• W2161257777 hasConceptScore W2161257777C2776436953 @default.
• W2161257777 hasConceptScore W2161257777C2777686260 @default.
• W2161257777 hasConceptScore W2161257777C2778029271 @default.
• W2161257777 hasConceptScore W2161257777C33923547 @default.
• W2161257777 hasConceptScore W2161257777C3746660 @default.
• W2161257777 hasConceptScore W2161257777C41008148 @default.
• W2161257777 hasConceptScore W2161257777C54732982 @default.
• W2161257777 hasConceptScore W2161257777C71924100 @default.
• W2161257777 hasIssue "2" @default.
• W2161257777 hasLocation W21612577771 @default.
• W2161257777 hasLocation W21612577772 @default.
• W2161257777 hasOpenAccess W2161257777 @default.
• W2161257777 hasPrimaryLocation W21612577771 @default.
• W2161257777 hasRelatedWork W1516274846 @default.
• W2161257777 hasRelatedWork W1854326666 @default.
• W2161257777 hasRelatedWork W2050283601 @default.
• W2161257777 hasRelatedWork W2060173806 @default.
• W2161257777 hasRelatedWork W2094288613 @default.
• W2161257777 hasRelatedWork W2161257777 @default.

• next