Semantic values for natural deduction derivations (Q2500822)
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: Semantic values for natural deduction derivations |
scientific article; zbMATH DE number 5047772
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Semantic values for natural deduction derivations |
scientific article; zbMATH DE number 5047772 |
Statements
Semantic values for natural deduction derivations (English)
0 references
18 August 2006
0 references
0.7431610226631165
0 references
0.7372590899467468
0 references
0.7147441506385803
0 references
0.708142101764679
0 references
0.7063205242156982
0 references
