Multi-valued Extension of Putnam-Davis Procedure (Q5077591)
From MaRDI portal
scientific article; zbMATH DE number 7529102
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Multi-valued Extension of Putnam-Davis Procedure |
scientific article; zbMATH DE number 7529102 |
Statements
Multi-valued Extension of Putnam-Davis Procedure (English)
0 references
18 May 2022
0 references
