An application of clasp in the study of logics (Q3003267)
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: An application of clasp in the study of logics |
scientific article; zbMATH DE number 5900009
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | An application of clasp in the study of logics |
scientific article; zbMATH DE number 5900009 |
Statements
An Application of Clasp in the Study of Logics (English)
0 references
26 May 2011
0 references
clasp
0 references
multi-valued logics
0 references
substitution property
0 references
0.7251278758049011
0 references
0.7166453003883362
0 references
0.6980704069137573
0 references
0.6963868141174316
0 references