Matches in SemOpenAlex for { <https://semopenalex.org/work/W1562743487> ?p ?o ?g. }
Showing items 1 to 89 of
89
with 100 items per page.
- W1562743487 abstract "Combining a standard proof search method, such as resolution or tableaux, and rewriting is a powerful way to cut off search space in automated theorem proving, but proving the completeness of such combined methods may be challenging. It may require in particular to prove cut elimination for an extended notion of proof that combines deductions and computations. This suggests new interactions between automated theorem proving and proof theory." @default.
- W1562743487 created "2016-06-24" @default.
- W1562743487 creator A5073164575 @default.
- W1562743487 date "2000-01-01" @default.
- W1562743487 modified "2023-09-24" @default.
- W1562743487 title "Axioms vs. Rewrite Rules: From Completeness to Cut Elimination" @default.
- W1562743487 cites W1513315908 @default.
- W1562743487 cites W1819548404 @default.
- W1562743487 cites W2043314428 @default.
- W1562743487 cites W2051518991 @default.
- W1562743487 cites W283289524 @default.
- W1562743487 doi "https://doi.org/10.1007/10720084_5" @default.
- W1562743487 hasPublicationYear "2000" @default.
- W1562743487 type Work @default.
- W1562743487 sameAs 1562743487 @default.
- W1562743487 citedByCount "4" @default.
- W1562743487 crossrefType "book-chapter" @default.
- W1562743487 hasAuthorship W1562743487A5073164575 @default.
- W1562743487 hasConcept C105605280 @default.
- W1562743487 hasConcept C108710211 @default.
- W1562743487 hasConcept C11413529 @default.
- W1562743487 hasConcept C134306372 @default.
- W1562743487 hasConcept C13766981 @default.
- W1562743487 hasConcept C138268822 @default.
- W1562743487 hasConcept C154690210 @default.
- W1562743487 hasConcept C167729594 @default.
- W1562743487 hasConcept C17231256 @default.
- W1562743487 hasConcept C173613240 @default.
- W1562743487 hasConcept C195653647 @default.
- W1562743487 hasConcept C199360897 @default.
- W1562743487 hasConcept C203265346 @default.
- W1562743487 hasConcept C206880738 @default.
- W1562743487 hasConcept C2318724 @default.
- W1562743487 hasConcept C2524010 @default.
- W1562743487 hasConcept C33923547 @default.
- W1562743487 hasConcept C41008148 @default.
- W1562743487 hasConcept C45374587 @default.
- W1562743487 hasConcept C80444323 @default.
- W1562743487 hasConcept C81721847 @default.
- W1562743487 hasConcept C94461902 @default.
- W1562743487 hasConceptScore W1562743487C105605280 @default.
- W1562743487 hasConceptScore W1562743487C108710211 @default.
- W1562743487 hasConceptScore W1562743487C11413529 @default.
- W1562743487 hasConceptScore W1562743487C134306372 @default.
- W1562743487 hasConceptScore W1562743487C13766981 @default.
- W1562743487 hasConceptScore W1562743487C138268822 @default.
- W1562743487 hasConceptScore W1562743487C154690210 @default.
- W1562743487 hasConceptScore W1562743487C167729594 @default.
- W1562743487 hasConceptScore W1562743487C17231256 @default.
- W1562743487 hasConceptScore W1562743487C173613240 @default.
- W1562743487 hasConceptScore W1562743487C195653647 @default.
- W1562743487 hasConceptScore W1562743487C199360897 @default.
- W1562743487 hasConceptScore W1562743487C203265346 @default.
- W1562743487 hasConceptScore W1562743487C206880738 @default.
- W1562743487 hasConceptScore W1562743487C2318724 @default.
- W1562743487 hasConceptScore W1562743487C2524010 @default.
- W1562743487 hasConceptScore W1562743487C33923547 @default.
- W1562743487 hasConceptScore W1562743487C41008148 @default.
- W1562743487 hasConceptScore W1562743487C45374587 @default.
- W1562743487 hasConceptScore W1562743487C80444323 @default.
- W1562743487 hasConceptScore W1562743487C81721847 @default.
- W1562743487 hasConceptScore W1562743487C94461902 @default.
- W1562743487 hasLocation W15627434871 @default.
- W1562743487 hasOpenAccess W1562743487 @default.
- W1562743487 hasPrimaryLocation W15627434871 @default.
- W1562743487 hasRelatedWork W152933051 @default.
- W1562743487 hasRelatedWork W1543241473 @default.
- W1562743487 hasRelatedWork W1561422468 @default.
- W1562743487 hasRelatedWork W1966647497 @default.
- W1562743487 hasRelatedWork W1996158986 @default.
- W1562743487 hasRelatedWork W1996282604 @default.
- W1562743487 hasRelatedWork W2011690323 @default.
- W1562743487 hasRelatedWork W2040884237 @default.
- W1562743487 hasRelatedWork W2051382791 @default.
- W1562743487 hasRelatedWork W2072868156 @default.
- W1562743487 hasRelatedWork W2088350978 @default.
- W1562743487 hasRelatedWork W2093910552 @default.
- W1562743487 hasRelatedWork W2106496681 @default.
- W1562743487 hasRelatedWork W2130847546 @default.
- W1562743487 hasRelatedWork W2162926940 @default.
- W1562743487 hasRelatedWork W83406561 @default.
- W1562743487 hasRelatedWork W94570535 @default.
- W1562743487 hasRelatedWork W3083051521 @default.
- W1562743487 hasRelatedWork W3083190549 @default.
- W1562743487 hasRelatedWork W3083287968 @default.
- W1562743487 isParatext "false" @default.
- W1562743487 isRetracted "false" @default.
- W1562743487 magId "1562743487" @default.
- W1562743487 workType "book-chapter" @default.