Matches in SemOpenAlex for { <https://semopenalex.org/work/W1991481174> ?p ?o ?g. }
Showing items 1 to 89 of
89
with 100 items per page.
- W1991481174 endingPage "575" @default.
- W1991481174 startingPage "553" @default.
- W1991481174 abstract "This work studies the structure of proofs containing non-analytic cuts in the cut-based system, a sequent inference system in which the cut rule is not eliminable and the only branching rule is the cut. Such sequent system is invertible, leading to the KE-tableau decision method. We study the structure of such proofs, proving the existence of a normal form for them in the form of a comb-tree proof.We then concentrate on the problem of efficiently computing non-analytic cuts. For that, we study the generalisation of techniques present in many modern theorem provers, namely the techniques of conflict-driven formula learning." @default.
- W1991481174 created "2016-06-24" @default.
- W1991481174 creator A5024395125 @default.
- W1991481174 creator A5060284292 @default.
- W1991481174 date "2007-09-26" @default.
- W1991481174 modified "2023-09-23" @default.
- W1991481174 title "Equal Rights for the Cut: Computable Non-analytic Cuts in Cut-based Proofs" @default.
- W1991481174 cites W1482532876 @default.
- W1991481174 cites W1513576223 @default.
- W1991481174 cites W1535839566 @default.
- W1991481174 cites W1536217426 @default.
- W1991481174 cites W1547759477 @default.
- W1991481174 cites W1570374618 @default.
- W1991481174 cites W1601452436 @default.
- W1991481174 cites W1991138028 @default.
- W1991481174 cites W2037434830 @default.
- W1991481174 cites W2044560939 @default.
- W1991481174 cites W2057361103 @default.
- W1991481174 cites W2070614314 @default.
- W1991481174 cites W2075959177 @default.
- W1991481174 cites W2096307462 @default.
- W1991481174 cites W2106718208 @default.
- W1991481174 cites W2142785340 @default.
- W1991481174 cites W2151720296 @default.
- W1991481174 cites W2977904728 @default.
- W1991481174 cites W37537225 @default.
- W1991481174 cites W560439353 @default.
- W1991481174 cites W82633235 @default.
- W1991481174 doi "https://doi.org/10.1093/jigpal/jzm040" @default.
- W1991481174 hasPublicationYear "2007" @default.
- W1991481174 type Work @default.
- W1991481174 sameAs 1991481174 @default.
- W1991481174 citedByCount "14" @default.
- W1991481174 countsByYear W19914811742012 @default.
- W1991481174 countsByYear W19914811742014 @default.
- W1991481174 countsByYear W19914811742018 @default.
- W1991481174 countsByYear W19914811742019 @default.
- W1991481174 crossrefType "journal-article" @default.
- W1991481174 hasAuthorship W1991481174A5024395125 @default.
- W1991481174 hasAuthorship W1991481174A5060284292 @default.
- W1991481174 hasConcept C108710211 @default.
- W1991481174 hasConcept C118615104 @default.
- W1991481174 hasConcept C121332964 @default.
- W1991481174 hasConcept C132525143 @default.
- W1991481174 hasConcept C163258240 @default.
- W1991481174 hasConcept C165526019 @default.
- W1991481174 hasConcept C199343813 @default.
- W1991481174 hasConcept C2524010 @default.
- W1991481174 hasConcept C2777686260 @default.
- W1991481174 hasConcept C2778462145 @default.
- W1991481174 hasConcept C33923547 @default.
- W1991481174 hasConcept C41008148 @default.
- W1991481174 hasConcept C62520636 @default.
- W1991481174 hasConcept C71924100 @default.
- W1991481174 hasConceptScore W1991481174C108710211 @default.
- W1991481174 hasConceptScore W1991481174C118615104 @default.
- W1991481174 hasConceptScore W1991481174C121332964 @default.
- W1991481174 hasConceptScore W1991481174C132525143 @default.
- W1991481174 hasConceptScore W1991481174C163258240 @default.
- W1991481174 hasConceptScore W1991481174C165526019 @default.
- W1991481174 hasConceptScore W1991481174C199343813 @default.
- W1991481174 hasConceptScore W1991481174C2524010 @default.
- W1991481174 hasConceptScore W1991481174C2777686260 @default.
- W1991481174 hasConceptScore W1991481174C2778462145 @default.
- W1991481174 hasConceptScore W1991481174C33923547 @default.
- W1991481174 hasConceptScore W1991481174C41008148 @default.
- W1991481174 hasConceptScore W1991481174C62520636 @default.
- W1991481174 hasConceptScore W1991481174C71924100 @default.
- W1991481174 hasIssue "5-6" @default.
- W1991481174 hasLocation W19914811741 @default.
- W1991481174 hasOpenAccess W1991481174 @default.
- W1991481174 hasPrimaryLocation W19914811741 @default.
- W1991481174 hasRelatedWork W1987272770 @default.
- W1991481174 hasRelatedWork W1991481174 @default.
- W1991481174 hasRelatedWork W2019334017 @default.
- W1991481174 hasRelatedWork W2025910816 @default.
- W1991481174 hasRelatedWork W2046153005 @default.
- W1991481174 hasRelatedWork W2099755855 @default.
- W1991481174 hasRelatedWork W2320684423 @default.
- W1991481174 hasRelatedWork W2321824256 @default.
- W1991481174 hasRelatedWork W2333819912 @default.
- W1991481174 hasRelatedWork W2947186315 @default.
- W1991481174 hasVolume "15" @default.
- W1991481174 isParatext "false" @default.
- W1991481174 isRetracted "false" @default.
- W1991481174 magId "1991481174" @default.
- W1991481174 workType "article" @default.