No label defined (Q3352999)
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 4204319
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | No label defined |
scientific article; zbMATH DE number 4204319 |
Statements
1991
0 references
intuitionistic logic
0 references
modal logic
0 references
admissible rule
0 references
substitution problem
0 references
algorithm
0 references
solvability of logical equations
0 references
Grz
0 references
0.8312963247299194
0 references
0.8153771162033081
0 references
0.8153771162033081
0 references
0.7848122715950012
0 references
