Reachability as derivability, finite countermodels and verification (Q4931295)
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: Reachability as derivability, finite countermodels and verification
scientific article; zbMATH DE number 5795633
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Reachability as derivability, finite countermodels and verification |
scientific article; zbMATH DE number 5795633 |
Statements
Reachability as Derivability, Finite Countermodels and Verification (English)
0 references
4 October 2010
0 references
0.8758392333984375
0 references
0.7694440484046936
0 references
0.7647902965545654
0 references
0.7585132718086243
0 references
