No label defined (Q4188579)
From MaRDI portal
scientific article; zbMATH DE number 3626422
Language | Label | Description | Also known as |
---|---|---|---|
English | No label defined |
scientific article; zbMATH DE number 3626422 |
Statements
1978
0 references
Deducibility Problem
0 references
Formalized Theory
0 references
Decision Problem
0 references
Parametric Test
0 references
Simple Hypothesis
0 references
Logic
0 references
Automated Theorem-Proving
0 references