Model checking lower bounds for simple graphs (Q5326601)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 6195465
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Model checking lower bounds for simple graphs |
scientific article; zbMATH DE number 6195465 |
Statements
Model Checking Lower Bounds for Simple Graphs (English)
0 references
6 August 2013
0 references
0.9978983998298644
0 references
0.8301465511322021
0 references
0.813852846622467
0 references
0.8059098124504089
0 references
0.8058335781097412
0 references
