Matches in SemOpenAlex for { <https://semopenalex.org/work/W1570226938> ?p ?o ?g. }
Showing items 1 to 70 of
70
with 100 items per page.
- W1570226938 endingPage "379" @default.
- W1570226938 startingPage "353" @default.
- W1570226938 abstract "The impact of Skolemization on the complexity of proofs in the sequent calculus is investigated. It is shown that prefix Skolemization may result in a nonelementary increase of Herbrand complexity (i. e. the minimal number of constituents in a Herbrand disjunction) versus structural Skolemization. Moreover it is shown that restricting the range of quantifiers never increases Herbrand complexity. The results provide a general mathematical justification for minimizing the range of quantifiers (by means of shifting) before Skolemization of formulas." @default.
- W1570226938 created "2016-06-24" @default.
- W1570226938 creator A5035315045 @default.
- W1570226938 creator A5068161463 @default.
- W1570226938 date "1994-01-01" @default.
- W1570226938 modified "2023-09-29" @default.
- W1570226938 title "ON SKOLEMIZATION AND PROOF COMPLEXITY" @default.
- W1570226938 cites W1495396426 @default.
- W1570226938 cites W2033019111 @default.
- W1570226938 cites W2039977878 @default.
- W1570226938 cites W2075387439 @default.
- W1570226938 cites W2095365729 @default.
- W1570226938 cites W2100738443 @default.
- W1570226938 cites W83406561 @default.
- W1570226938 doi "https://doi.org/10.3233/fi-1994-2044" @default.
- W1570226938 hasPublicationYear "1994" @default.
- W1570226938 type Work @default.
- W1570226938 sameAs 1570226938 @default.
- W1570226938 citedByCount "75" @default.
- W1570226938 countsByYear W15702269382012 @default.
- W1570226938 countsByYear W15702269382013 @default.
- W1570226938 countsByYear W15702269382014 @default.
- W1570226938 countsByYear W15702269382015 @default.
- W1570226938 countsByYear W15702269382016 @default.
- W1570226938 countsByYear W15702269382017 @default.
- W1570226938 countsByYear W15702269382018 @default.
- W1570226938 countsByYear W15702269382019 @default.
- W1570226938 countsByYear W15702269382020 @default.
- W1570226938 countsByYear W15702269382021 @default.
- W1570226938 countsByYear W15702269382023 @default.
- W1570226938 crossrefType "journal-article" @default.
- W1570226938 hasAuthorship W1570226938A5035315045 @default.
- W1570226938 hasAuthorship W1570226938A5068161463 @default.
- W1570226938 hasConcept C105605280 @default.
- W1570226938 hasConcept C108710211 @default.
- W1570226938 hasConcept C195653647 @default.
- W1570226938 hasConcept C2318724 @default.
- W1570226938 hasConcept C2524010 @default.
- W1570226938 hasConcept C33923547 @default.
- W1570226938 hasConcept C41008148 @default.
- W1570226938 hasConcept C80444323 @default.
- W1570226938 hasConceptScore W1570226938C105605280 @default.
- W1570226938 hasConceptScore W1570226938C108710211 @default.
- W1570226938 hasConceptScore W1570226938C195653647 @default.
- W1570226938 hasConceptScore W1570226938C2318724 @default.
- W1570226938 hasConceptScore W1570226938C2524010 @default.
- W1570226938 hasConceptScore W1570226938C33923547 @default.
- W1570226938 hasConceptScore W1570226938C41008148 @default.
- W1570226938 hasConceptScore W1570226938C80444323 @default.
- W1570226938 hasIssue "4" @default.
- W1570226938 hasLocation W15702269381 @default.
- W1570226938 hasOpenAccess W1570226938 @default.
- W1570226938 hasPrimaryLocation W15702269381 @default.
- W1570226938 hasRelatedWork W1528233644 @default.
- W1570226938 hasRelatedWork W171706349 @default.
- W1570226938 hasRelatedWork W1852594029 @default.
- W1570226938 hasRelatedWork W1983425037 @default.
- W1570226938 hasRelatedWork W2120139360 @default.
- W1570226938 hasRelatedWork W2151894250 @default.
- W1570226938 hasRelatedWork W2461509449 @default.
- W1570226938 hasRelatedWork W2463991046 @default.
- W1570226938 hasRelatedWork W2770391921 @default.
- W1570226938 hasRelatedWork W2119682046 @default.
- W1570226938 hasVolume "20" @default.
- W1570226938 isParatext "false" @default.
- W1570226938 isRetracted "false" @default.
- W1570226938 magId "1570226938" @default.
- W1570226938 workType "article" @default.