A monotonicity calculus and its completeness (Q4599217)
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: A monotonicity calculus and its completeness |
scientific article; zbMATH DE number 6819813
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | A monotonicity calculus and its completeness |
scientific article; zbMATH DE number 6819813 |
Statements
18 December 2017
0 references
0.7346251606941223
0 references
0.7322613596916199
0 references
0.7244877219200134
0 references
0.7199999094009399
0 references
0.7187862992286682
0 references
