Equal Rights for the Cut: Computable Non-analytic Cuts in Cut-based Proofs (Q5436992)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Equal Rights for the Cut: Computable Non-analytic Cuts in Cut-based Proofs |
scientific article; zbMATH DE number 5227983
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Equal Rights for the Cut: Computable Non-analytic Cuts in Cut-based Proofs |
scientific article; zbMATH DE number 5227983 |
Statements
Equal Rights for the Cut: Computable Non-analytic Cuts in Cut-based Proofs (English)
0 references
18 January 2008
0 references
proof theory
0 references
non-analytic cuts
0 references
sequent calculus
0 references
tableaux
0 references
cut elimination
0 references
SAT-solvers
0 references
decision-based learning
0 references
inference-based learning
0 references
0.8066579699516296
0 references
0.7798848152160645
0 references
0.7612074017524719
0 references
