Proving correctness of a KRK chess endgame strategy by using Isabelle/HOL and Z3 (Q3454099)
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: Proving correctness of a KRK chess endgame strategy by using Isabelle/HOL and Z3 |
scientific article; zbMATH DE number 6515511
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Proving correctness of a KRK chess endgame strategy by using Isabelle/HOL and Z3 |
scientific article; zbMATH DE number 6515511 |
Statements
Proving Correctness of a KRK Chess Endgame Strategy by Using Isabelle/HOL and Z3 (English)
0 references
2 December 2015
0 references
0.6574497222900391
0 references
0.6493988037109375
0 references
0.6480638384819031
0 references
0.6471350193023682
0 references
