Matches in SemOpenAlex for { <https://semopenalex.org/work/W2950548165> ?p ?o ?g. }
Showing items 1 to 93 of
93
with 100 items per page.
- W2950548165 abstract "We describe a method for inverting Gentzen's cut-elimination in classical first-order logic. Our algorithm is based on first computign a compressed representation of the terms present in the cut-free proof and then cut-formulas that realize such a compression. Finally, a proof using these cut-formulas is constructed. This method allows an exponential compression of proof length. It can be applied to the output of automated theorem provers, which typically produce analytic proofs. An implementation is available on the web and described in this paper." @default.
- W2950548165 created "2019-06-27" @default.
- W2950548165 creator A5006764308 @default.
- W2950548165 creator A5009763776 @default.
- W2950548165 creator A5058192101 @default.
- W2950548165 creator A5068161463 @default.
- W2950548165 date "2014-01-17" @default.
- W2950548165 modified "2023-09-27" @default.
- W2950548165 title "Algorithmic Introduction of Quantified Cuts" @default.
- W2950548165 cites W1555144148 @default.
- W2950548165 cites W1570226938 @default.
- W2950548165 cites W1576936706 @default.
- W2950548165 cites W1966337849 @default.
- W2950548165 cites W2039977878 @default.
- W2950548165 cites W2070614314 @default.
- W2950548165 cites W2081019971 @default.
- W2950548165 cites W2114633883 @default.
- W2950548165 cites W2129156376 @default.
- W2950548165 cites W2204729546 @default.
- W2950548165 cites W2911295106 @default.
- W2950548165 hasPublicationYear "2014" @default.
- W2950548165 type Work @default.
- W2950548165 sameAs 2950548165 @default.
- W2950548165 citedByCount "1" @default.
- W2950548165 countsByYear W29505481652013 @default.
- W2950548165 crossrefType "posted-content" @default.
- W2950548165 hasAuthorship W2950548165A5006764308 @default.
- W2950548165 hasAuthorship W2950548165A5009763776 @default.
- W2950548165 hasAuthorship W2950548165A5058192101 @default.
- W2950548165 hasAuthorship W2950548165A5068161463 @default.
- W2950548165 hasConcept C108710211 @default.
- W2950548165 hasConcept C11413529 @default.
- W2950548165 hasConcept C134306372 @default.
- W2950548165 hasConcept C135754263 @default.
- W2950548165 hasConcept C151376022 @default.
- W2950548165 hasConcept C159985019 @default.
- W2950548165 hasConcept C17744445 @default.
- W2950548165 hasConcept C180016635 @default.
- W2950548165 hasConcept C192562407 @default.
- W2950548165 hasConcept C199343813 @default.
- W2950548165 hasConcept C199539241 @default.
- W2950548165 hasConcept C2524010 @default.
- W2950548165 hasConcept C2776359362 @default.
- W2950548165 hasConcept C2777686260 @default.
- W2950548165 hasConcept C33923547 @default.
- W2950548165 hasConcept C41008148 @default.
- W2950548165 hasConcept C71924100 @default.
- W2950548165 hasConcept C94625758 @default.
- W2950548165 hasConceptScore W2950548165C108710211 @default.
- W2950548165 hasConceptScore W2950548165C11413529 @default.
- W2950548165 hasConceptScore W2950548165C134306372 @default.
- W2950548165 hasConceptScore W2950548165C135754263 @default.
- W2950548165 hasConceptScore W2950548165C151376022 @default.
- W2950548165 hasConceptScore W2950548165C159985019 @default.
- W2950548165 hasConceptScore W2950548165C17744445 @default.
- W2950548165 hasConceptScore W2950548165C180016635 @default.
- W2950548165 hasConceptScore W2950548165C192562407 @default.
- W2950548165 hasConceptScore W2950548165C199343813 @default.
- W2950548165 hasConceptScore W2950548165C199539241 @default.
- W2950548165 hasConceptScore W2950548165C2524010 @default.
- W2950548165 hasConceptScore W2950548165C2776359362 @default.
- W2950548165 hasConceptScore W2950548165C2777686260 @default.
- W2950548165 hasConceptScore W2950548165C33923547 @default.
- W2950548165 hasConceptScore W2950548165C41008148 @default.
- W2950548165 hasConceptScore W2950548165C71924100 @default.
- W2950548165 hasConceptScore W2950548165C94625758 @default.
- W2950548165 hasLocation W29505481651 @default.
- W2950548165 hasOpenAccess W2950548165 @default.
- W2950548165 hasPrimaryLocation W29505481651 @default.
- W2950548165 hasRelatedWork W1522615192 @default.
- W2950548165 hasRelatedWork W1534704094 @default.
- W2950548165 hasRelatedWork W1564130310 @default.
- W2950548165 hasRelatedWork W1570773340 @default.
- W2950548165 hasRelatedWork W1658832970 @default.
- W2950548165 hasRelatedWork W1970980446 @default.
- W2950548165 hasRelatedWork W1998324805 @default.
- W2950548165 hasRelatedWork W1999259832 @default.
- W2950548165 hasRelatedWork W2071634454 @default.
- W2950548165 hasRelatedWork W2118139853 @default.
- W2950548165 hasRelatedWork W2154701013 @default.
- W2950548165 hasRelatedWork W2166280160 @default.
- W2950548165 hasRelatedWork W2295359232 @default.
- W2950548165 hasRelatedWork W2394648225 @default.
- W2950548165 hasRelatedWork W2493206149 @default.
- W2950548165 hasRelatedWork W2574822342 @default.
- W2950548165 hasRelatedWork W2742322653 @default.
- W2950548165 hasRelatedWork W2744775619 @default.
- W2950548165 hasRelatedWork W2806525680 @default.
- W2950548165 hasRelatedWork W3144591549 @default.
- W2950548165 isParatext "false" @default.
- W2950548165 isRetracted "false" @default.
- W2950548165 magId "2950548165" @default.
- W2950548165 workType "article" @default.