Matches in SemOpenAlex for { <https://semopenalex.org/work/W134546141> ?p ?o ?g. }
Showing items 1 to 98 of
98
with 100 items per page.
- W134546141 endingPage "129" @default.
- W134546141 startingPage "123" @default.
- W134546141 abstract "In this paper a framework is developed for measuring the complexities of deductions in an abstract and computationally perspicuous manner. As a notion of central importance appears the so-called polynomial transparency of a calculus. If a logic calculus possesses this property, then the complexity of any deduction can be correctly measured in terms of its inference steps. The resolution calculus lacks this property. It is proven that the number of inference steps of a resolution proof does not give a representative measure of the actual complexity of the proof, even if only shortest proofs are considered. We use a class of formulae which have proofs with a polynomial number of inference steps, but for which the size of any proof is exponential. The polynomial intransparency of resolution is due to the renaming of derived clauses, which is a fundamental deduction mechanism. This result motivates the development of new data structures for the representation of logical formulae." @default.
- W134546141 created "2016-06-24" @default.
- W134546141 creator A5025398192 @default.
- W134546141 date "1993-08-28" @default.
- W134546141 modified "2023-09-26" @default.
- W134546141 title "On the polynomial transparency of resolution" @default.
- W134546141 cites W1543891730 @default.
- W134546141 cites W2014195574 @default.
- W134546141 cites W2069767473 @default.
- W134546141 cites W2090172107 @default.
- W134546141 cites W2100738443 @default.
- W134546141 hasPublicationYear "1993" @default.
- W134546141 type Work @default.
- W134546141 sameAs 134546141 @default.
- W134546141 citedByCount "1" @default.
- W134546141 crossrefType "proceedings-article" @default.
- W134546141 hasAuthorship W134546141A5025398192 @default.
- W134546141 hasConcept C105605280 @default.
- W134546141 hasConcept C108710211 @default.
- W134546141 hasConcept C111472728 @default.
- W134546141 hasConcept C118615104 @default.
- W134546141 hasConcept C134306372 @default.
- W134546141 hasConcept C136119220 @default.
- W134546141 hasConcept C138268822 @default.
- W134546141 hasConcept C138885662 @default.
- W134546141 hasConcept C154945302 @default.
- W134546141 hasConcept C189950617 @default.
- W134546141 hasConcept C199343813 @default.
- W134546141 hasConcept C202444582 @default.
- W134546141 hasConcept C2524010 @default.
- W134546141 hasConcept C2776214188 @default.
- W134546141 hasConcept C2777686260 @default.
- W134546141 hasConcept C2780233690 @default.
- W134546141 hasConcept C311688 @default.
- W134546141 hasConcept C33923547 @default.
- W134546141 hasConcept C3746660 @default.
- W134546141 hasConcept C38652104 @default.
- W134546141 hasConcept C39637292 @default.
- W134546141 hasConcept C41008148 @default.
- W134546141 hasConcept C62073222 @default.
- W134546141 hasConcept C6489637 @default.
- W134546141 hasConcept C71924100 @default.
- W134546141 hasConcept C90119067 @default.
- W134546141 hasConceptScore W134546141C105605280 @default.
- W134546141 hasConceptScore W134546141C108710211 @default.
- W134546141 hasConceptScore W134546141C111472728 @default.
- W134546141 hasConceptScore W134546141C118615104 @default.
- W134546141 hasConceptScore W134546141C134306372 @default.
- W134546141 hasConceptScore W134546141C136119220 @default.
- W134546141 hasConceptScore W134546141C138268822 @default.
- W134546141 hasConceptScore W134546141C138885662 @default.
- W134546141 hasConceptScore W134546141C154945302 @default.
- W134546141 hasConceptScore W134546141C189950617 @default.
- W134546141 hasConceptScore W134546141C199343813 @default.
- W134546141 hasConceptScore W134546141C202444582 @default.
- W134546141 hasConceptScore W134546141C2524010 @default.
- W134546141 hasConceptScore W134546141C2776214188 @default.
- W134546141 hasConceptScore W134546141C2777686260 @default.
- W134546141 hasConceptScore W134546141C2780233690 @default.
- W134546141 hasConceptScore W134546141C311688 @default.
- W134546141 hasConceptScore W134546141C33923547 @default.
- W134546141 hasConceptScore W134546141C3746660 @default.
- W134546141 hasConceptScore W134546141C38652104 @default.
- W134546141 hasConceptScore W134546141C39637292 @default.
- W134546141 hasConceptScore W134546141C41008148 @default.
- W134546141 hasConceptScore W134546141C62073222 @default.
- W134546141 hasConceptScore W134546141C6489637 @default.
- W134546141 hasConceptScore W134546141C71924100 @default.
- W134546141 hasConceptScore W134546141C90119067 @default.
- W134546141 hasLocation W1345461411 @default.
- W134546141 hasOpenAccess W134546141 @default.
- W134546141 hasPrimaryLocation W1345461411 @default.
- W134546141 hasRelatedWork W10112702 @default.
- W134546141 hasRelatedWork W1546322673 @default.
- W134546141 hasRelatedWork W1605178040 @default.
- W134546141 hasRelatedWork W1808099261 @default.
- W134546141 hasRelatedWork W1817813502 @default.
- W134546141 hasRelatedWork W2012346013 @default.
- W134546141 hasRelatedWork W2048083479 @default.
- W134546141 hasRelatedWork W2091961944 @default.
- W134546141 hasRelatedWork W2093967439 @default.
- W134546141 hasRelatedWork W2130847546 @default.
- W134546141 hasRelatedWork W2131658711 @default.
- W134546141 hasRelatedWork W2150406686 @default.
- W134546141 hasRelatedWork W2461509449 @default.
- W134546141 hasRelatedWork W2735859735 @default.
- W134546141 hasRelatedWork W2741628291 @default.
- W134546141 hasRelatedWork W2913240377 @default.
- W134546141 hasRelatedWork W2963497566 @default.
- W134546141 hasRelatedWork W3087976720 @default.
- W134546141 hasRelatedWork W3175466891 @default.
- W134546141 hasRelatedWork W82186835 @default.
- W134546141 isParatext "false" @default.
- W134546141 isRetracted "false" @default.
- W134546141 magId "134546141" @default.
- W134546141 workType "article" @default.