DiMo -- discrete modelling using propositional logic (Q2118304)
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: DiMo -- discrete modelling using propositional logic |
scientific article; zbMATH DE number 7495577
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | DiMo -- discrete modelling using propositional logic |
scientific article; zbMATH DE number 7495577 |
Statements
DiMo -- discrete modelling using propositional logic (English)
0 references
22 March 2022
0 references
0 references
0.8640782
0 references
0.8616324
0 references
0.85709065
0 references
0.8536448
0 references
0.8527636
0 references
0.85028946
0 references
