No label defined (Q5020970)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 7455712
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | No label defined |
scientific article; zbMATH DE number 7455712 |
Statements
11 January 2022
0 references
combinatorial generation of provable formulas of a given size
0 references
intuitionistic and linear logic theorem provers
0 references
theorems of the implicational fragment of propositional linear intuitionistic logic
0 references
Curry-Howard isomorphism
0 references
efficient generation of linear lambda terms in normal form
0 references
prolog programs for lambda term generation and theorem proving
0 references
0 references
0.90197027
0 references
0.89795643
0 references
0.88881075
0 references
0.88509214
0 references
0.8835777
0 references
