Comparisons among \(\alpha\)-generalized resolution methods in \(\mathcal L_{n\times 2}\)F(X) (Q2963698)
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: Comparisons among -generalized resolution methods in L_n 2F(X) |
scientific article; zbMATH DE number 6687454
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Comparisons among \(\alpha\)-generalized resolution methods in \(\mathcal L_{n\times 2}\)F(X) |
scientific article; zbMATH DE number 6687454 |
Statements
Comparisons Among α-Generalized Resolution Methods in $$\fancyscript{L}_{n \times 2}$$F(X) (English)
0 references
21 February 2017
0 references
\(\alpha\)-generalized lock resolution
0 references
\(\alpha\)-generalized linear resolution
0 references
\(\alpha\)-generalized semantic resolution
0 references
lattice-valued logic
0 references
0 references
0.7955376505851746
0 references
0.7876233458518982
0 references
0.7596256136894226
0 references
0.7500576972961426
0 references
