MESON Chess Problem Database
Problem Display
PID: 61847 (4r1Nb/1R2NP1n/1P2kp2/R5nB/p5PK/r2q1p2/3Q3B/8 w - - 0 1)
Dyachuk, Vasyl Vasilovich
Sakkelet, 1999
#2
11 + 10
SOLUTION
- SOUND
- Sets
- 1...Qb1
- 2.Qd5#
- 2.Qd6#
- 2.Qd7#
- 1...Qf1
- 2.Qd5#
- 2.Qd6#
- 2.Qd7#
- 1...Qc2
- 2.Qd5#
- 2.Qd6#
- 2.Qd7#
- 1...Qe2
- 2.Qd5#
- 2.Qd6#
- 2.Qd7#
- 1...Qc4
- 2.Qd6#
- 2.Qd7#
- 1...Qe4
- 2.Qd6#
- 2.Qd7#
- 1...Qb5
- 2.Qd6#
- 1...Qf5
- 2.Qd6#
- 2.Qd7#
- 2.gxf5#
- 1...Qa6
- 2.Qd5#
- 2.Qd6#
- 2.Qd7#
- 1...Qg6
- 2.Qd5#
- 1...Qb3
- 2.Qd6#
- 2.Qd7#
- 1...Qc3
- 2.Qd5#
- 2.Qd6#
- 2.Qd7#
- 1...Qe3
- 2.Qd5#
- 2.Qd6#
- 2.Qd7#
- 1...Qd5
- 2.Qxd5#
- 1...Qd6
- 2.Qxd6#
- 1...Qd7
- 2.Qxd7#
- 1...Rxe7
- 2.Rxe7#
- 1...Qb1
- Tries
- 1.Sf5?
- threat
- 2.fxe8Q#
- 2.fxe8R#
- 1...Qxf5
- 2.Qd6#
- 2.Qd7#
- 2.gxf5#
- 2.fxe8Q#
- 2.fxe8R#
- 1...Qxd2
- 2.fxe8Q#
- 2.fxe8R#
- 1...Rxg8
- 2.Re7#
- 1...Sxf7
- 2.Bxf7#
- 1...Qb1
- 2.Sd4#
- 2.Qd5#
- 2.Qd6#
- 2.Qd7#
- 2.fxe8Q#
- 2.fxe8R#
- 1...Qf1
- 2.Sd4#
- 2.Qd5#
- 2.Qd6#
- 2.Qd7#
- 2.fxe8Q#
- 2.fxe8R#
- 1...Qc2
- 2.Sd4#
- 2.Qd5#
- 2.Qd6#
- 2.Qd7#
- 2.fxe8Q#
- 2.fxe8R#
- 1...Qe2
- 2.Sd4#
- 2.Qd5#
- 2.Qd6#
- 2.Qd7#
- 2.fxe8Q#
- 2.fxe8R#
- 1...Qc4
- 2.Qd6#
- 2.Qd7#
- 2.fxe8Q#
- 2.fxe8R#
- 1...Qe4
- 2.Qd6#
- 2.Qd7#
- 2.fxe8Q#
- 2.fxe8R#
- 1...Qb5
- 2.Qd6#
- 1...Qa6
- 2.Sd4#
- 2.Qd5#
- 2.Qd6#
- 2.Qd7#
- 2.fxe8Q#
- 2.fxe8R#
- 1...Qb3
- 2.Sd4#
- 2.Qd6#
- 2.Qd7#
- 2.fxe8Q#
- 2.fxe8R#
- 1...Qc3
- 2.Qd5#
- 2.Qd6#
- 2.Qd7#
- 2.fxe8Q#
- 2.fxe8R#
- 1...Qe3
- 2.Qd5#
- 2.Qd6#
- 2.Qd7#
- 2.fxe8Q#
- 2.fxe8R#
- 1...Qd4
- 2.Sxd4#
- 2.fxe8Q#
- 2.fxe8R#
- 1...Qd5
- 2.Qxd5#
- 2.fxe8Q#
- 2.fxe8R#
- 1...Qd6
- 2.Qxd6#
- 1...Qd7
- 2.Qxd7#
- 1...Ra1
- 2.fxe8Q#
- 2.fxe8R#
- 1...Ra2
- 2.fxe8Q#
- 2.fxe8R#
- 1...Rb3
- 2.fxe8Q#
- 2.fxe8R#
- 1...Rc3
- 2.fxe8Q#
- 2.fxe8R#
- 1...Re7
- 2.Rxe7#
- 1...Ra8
- 2.Re7#
- 1...Rb8
- 2.Re7#
- 1...Rc8
- 2.Re7#
- 1...Rd8
- 2.Re7#
- 1...Rf8
- 2.Re7#
- 1...Bg7
- 2.Sxg7#
- 2.fxe8Q#
- 2.fxe8R#
- 1...Sh3
- 2.fxe8Q#
- 2.fxe8R#
- 1...Se4
- 2.fxe8Q#
- 2.fxe8R#
- 1...Sf8
- 2.fxe8Q#
- 2.fxe8R#
- 1...f2
- 2.fxe8Q#
- 2.fxe8R#
- 1...Qd8!
- threat
- 1.Sc6?
- threat
- 2.fxe8Q#
- 2.fxe8R#
- 1...Qxd2
- 2.fxe8Q#
- 2.fxe8R#
- 1...Rxg8
- 2.Re7#
- 1...Sxf7
- 2.Bxf7#
- 1...Qb1
- 2.Sd4#
- 2.Qd5#
- 2.Qd6#
- 2.Qd7#
- 2.fxe8Q#
- 2.fxe8R#
- 1...Qf1
- 2.Sd4#
- 2.Qd5#
- 2.Qd6#
- 2.Qd7#
- 2.fxe8Q#
- 2.fxe8R#
- 1...Qc2
- 2.Sd4#
- 2.Qd5#
- 2.Qd6#
- 2.Qd7#
- 2.fxe8Q#
- 2.fxe8R#
- 1...Qe2
- 2.Sd4#
- 2.Qd5#
- 2.Qd6#
- 2.Qd7#
- 2.fxe8Q#
- 2.fxe8R#
- 1...Qc4
- 2.Qd6#
- 2.Qd7#
- 2.fxe8Q#
- 2.fxe8R#
- 1...Qe4
- 2.Qd6#
- 2.Qd7#
- 2.fxe8Q#
- 2.fxe8R#
- 1...Qb5
- 2.Qd6#
- 2.Qd7#
- 2.fxe8Q#
- 2.fxe8R#
- 1...Qf5
- 2.Sd4#
- 2.Qd6#
- 2.Qd7#
- 2.gxf5#
- 2.fxe8Q#
- 2.fxe8R#
- 1...Qa6
- 2.Sd4#
- 2.Qd5#
- 2.Qd6#
- 2.Qd7#
- 2.fxe8Q#
- 2.fxe8R#
- 1...Qg6
- 2.Sd4#
- 2.Qd5#
- 2.Qd6#
- 2.Qd7#
- 1...Qb3
- 2.Sd4#
- 2.Qd6#
- 2.Qd7#
- 2.fxe8Q#
- 2.fxe8R#
- 1...Qc3
- 2.Qd5#
- 2.Qd6#
- 2.Qd7#
- 2.fxe8Q#
- 2.fxe8R#
- 1...Qe3
- 2.Qd5#
- 2.Qd6#
- 2.Qd7#
- 2.fxe8Q#
- 2.fxe8R#
- 1...Qd4
- 2.Sxd4#
- 2.fxe8Q#
- 2.fxe8R#
- 1...Qd5
- 2.Qxd5#
- 2.fxe8Q#
- 2.fxe8R#
- 1...Qd6
- 2.Qxd6#
- 1...Qd7
- 2.Qxd7#
- 1...Ra1
- 2.fxe8Q#
- 2.fxe8R#
- 1...Ra2
- 2.fxe8Q#
- 2.fxe8R#
- 1...Rb3
- 2.fxe8Q#
- 2.fxe8R#
- 1...Rc3
- 2.fxe8Q#
- 2.fxe8R#
- 1...Re7
- 2.Rxe7#
- 1...Ra8
- 2.Re7#
- 1...Rb8
- 2.Re7#
- 1...Rc8
- 2.Re7#
- 1...Rd8
- 2.Re7#
- 1...Rf8
- 2.Re7#
- 1...Bg7
- 2.fxe8Q#
- 2.fxe8R#
- 1...Sh3
- 2.fxe8Q#
- 2.fxe8R#
- 1...Se4
- 2.fxe8Q#
- 2.fxe8R#
- 1...Sf8
- 2.fxe8Q#
- 2.fxe8R#
- 1...f2
- 2.fxe8Q#
- 2.fxe8R#
- 1...f5
- 2.fxe8Q#
- 2.fxe8R#
- 1...Qd8!
- threat
- 1.Sg6?
- threat
- 2.fxe8Q#
- 2.fxe8R#
- 1...Qxg6
- 2.Qd5#
- 2.Qd6#
- 2.Qd7#
- 1...Qxd2
- 2.fxe8Q#
- 2.fxe8R#
- 1...Rxg8
- 2.Re7#
- 1...Qd7
- 2.Sf4#
- 2.Qxd7#
- 1...Re7
- 2.Rxe7#
- 1...Qd8
- 2.Sf4#
- 1...Qb1
- 2.Sf4#
- 2.Qd5#
- 2.Qd6#
- 2.Qd7#
- 2.fxe8Q#
- 2.fxe8R#
- 1...Qf1
- 2.Sf4#
- 2.Qd5#
- 2.Qd6#
- 2.Qd7#
- 2.fxe8Q#
- 2.fxe8R#
- 1...Qc2
- 2.Sf4#
- 2.Qd5#
- 2.Qd6#
- 2.Qd7#
- 2.fxe8Q#
- 2.fxe8R#
- 1...Qe2
- 2.Sf4#
- 2.Qd5#
- 2.Qd6#
- 2.Qd7#
- 2.fxe8Q#
- 2.fxe8R#
- 1...Qc4
- 2.Qd6#
- 2.Qd7#
- 2.fxe8Q#
- 2.fxe8R#
- 1...Qe4
- 2.Qd6#
- 2.Qd7#
- 2.fxe8Q#
- 2.fxe8R#
- 1...Qb5
- 2.Qd6#
- 1...Qf5
- 2.Qd6#
- 2.Qd7#
- 2.gxf5#
- 2.fxe8Q#
- 2.fxe8R#
- 1...Qa6
- 2.Sf4#
- 2.Qd5#
- 2.Qd6#
- 2.Qd7#
- 2.fxe8Q#
- 2.fxe8R#
- 1...Qb3
- 2.Sf4#
- 2.Qd6#
- 2.Qd7#
- 2.fxe8Q#
- 2.fxe8R#
- 1...Qc3
- 2.Sf4#
- 2.Qd5#
- 2.Qd6#
- 2.Qd7#
- 2.fxe8Q#
- 2.fxe8R#
- 1...Qe3
- 2.Qd5#
- 2.Qd6#
- 2.Qd7#
- 2.fxe8Q#
- 2.fxe8R#
- 1...Qd4
- 2.fxe8Q#
- 2.fxe8R#
- 1...Qd5
- 2.Qxd5#
- 2.fxe8Q#
- 2.fxe8R#
- 1...Qd6
- 2.Qxd6#
- 1...Ra1
- 2.fxe8Q#
- 2.fxe8R#
- 1...Ra2
- 2.fxe8Q#
- 2.fxe8R#
- 1...Rb3
- 2.fxe8Q#
- 2.fxe8R#
- 1...Rc3
- 2.fxe8Q#
- 2.fxe8R#
- 1...Ra8
- 2.Re7#
- 1...Rb8
- 2.Re7#
- 1...Rc8
- 2.Re7#
- 1...Rd8
- 2.Re7#
- 1...Rf8
- 2.Re7#
- 1...Bg7
- 2.fxe8Q#
- 2.fxe8R#
- 1...Sh3
- 2.fxe8Q#
- 2.fxe8R#
- 1...Se4
- 2.fxe8Q#
- 2.fxe8R#
- 1...Sf8
- 2.fxe8Q#
- 2.fxe8R#
- 1...f2
- 2.fxe8Q#
- 2.fxe8R#
- 1...f5
- 2.fxe8Q#
- 2.fxe8R#
- 1...Sxf7!
- threat
- 1.Sc8?
- threat
- 2.fxe8Q#
- 2.fxe8R#
- 1...Qxd2
- 2.fxe8Q#
- 2.fxe8R#
- 1...Rxc8
- 2.Re7#
- 1...Rxg8
- 2.Re7#
- 1...Sxf7
- 2.Bxf7#
- 1...Qb1
- 2.Qd5#
- 2.Qd6#
- 2.Qd7#
- 2.fxe8Q#
- 2.fxe8R#
- 1...Qf1
- 2.Qd5#
- 2.Qd6#
- 2.Qd7#
- 2.fxe8Q#
- 2.fxe8R#
- 1...Qc2
- 2.Qd5#
- 2.Qd6#
- 2.Qd7#
- 2.fxe8Q#
- 2.fxe8R#
- 1...Qe2
- 2.Qd5#
- 2.Qd6#
- 2.Qd7#
- 2.fxe8Q#
- 2.fxe8R#
- 1...Qc4
- 2.Qd6#
- 2.Qd7#
- 2.fxe8Q#
- 2.fxe8R#
- 1...Qe4
- 2.Qd6#
- 2.Qd7#
- 2.fxe8Q#
- 2.fxe8R#
- 1...Qb5
- 2.Qd6#
- 1...Qf5
- 2.Qd6#
- 2.Qd7#
- 2.gxf5#
- 2.fxe8Q#
- 2.fxe8R#
- 1...Qa6
- 2.Qd5#
- 2.Qd6#
- 2.Qd7#
- 2.fxe8Q#
- 2.fxe8R#
- 1...Qg6
- 2.Qd5#
- 2.Qd6#
- 2.Qd7#
- 1...Qb3
- 2.Qd6#
- 2.Qd7#
- 2.fxe8Q#
- 2.fxe8R#
- 1...Qc3
- 2.Qd5#
- 2.Qd6#
- 2.Qd7#
- 2.fxe8Q#
- 2.fxe8R#
- 1...Qe3
- 2.Qd5#
- 2.Qd6#
- 2.Qd7#
- 2.fxe8Q#
- 2.fxe8R#
- 1...Qd4
- 2.fxe8Q#
- 2.fxe8R#
- 1...Qd5
- 2.Qxd5#
- 2.fxe8Q#
- 2.fxe8R#
- 1...Qd6
- 2.Qxd6#
- 1...Qd7
- 2.Qxd7#
- 1...Ra1
- 2.fxe8Q#
- 2.fxe8R#
- 1...Ra2
- 2.fxe8Q#
- 2.fxe8R#
- 1...Rb3
- 2.fxe8Q#
- 2.fxe8R#
- 1...Rc3
- 2.fxe8Q#
- 2.fxe8R#
- 1...Re7
- 2.Rxe7#
- 1...Rd8
- 2.Re7#
- 1...Rf8
- 2.Re7#
- 1...Bg7
- 2.fxe8Q#
- 2.fxe8R#
- 1...Sh3
- 2.fxe8Q#
- 2.fxe8R#
- 1...Se4
- 2.fxe8Q#
- 2.fxe8R#
- 1...Sf8
- 2.fxe8Q#
- 2.fxe8R#
- 1...f2
- 2.fxe8Q#
- 2.fxe8R#
- 1...f5
- 2.fxe8Q#
- 2.fxe8R#
- 1...Qd8!
- threat
- 1.Re5+?
- 1...Kd6
- 2.Qb4#
- 2.fxe8S#
- 1...fxe5!
- 1...Kd6
- 1.Qxd3?
- threat
- 2.Qc4#
- 2.Qf5#
- 2.Qd5#
- 2.Qd6#
- 2.Qd7#
- 1...Rxe7
- 2.Rxe7#
- 2.Qc4#
- 2.Qf5#
- 2.Qd5#
- 2.Qd6#
- 1...Sxf7
- 2.Qc4#
- 2.Qf5#
- 2.Qd5#
- 2.Qd7#
- 1...Rc3
- 2.Qf5#
- 2.Qd5#
- 2.Qd6#
- 2.Qd7#
- 1...Rc8
- 2.Qf5#
- 2.Qd5#
- 2.Qd6#
- 2.Qd7#
- 1...Rd8
- 2.Qf5#
- 1...Se4
- 2.Qc4#
- 2.Qxe4#
- 2.Qd5#
- 2.Qd7#
- 1...Sf8
- 2.Qc4#
- 2.Qf5#
- 2.Qd5#
- 2.Qd6#
- 1...f5
- 2.Qc4#
- 2.Qxf5#
- 2.Qd5#
- 2.Qd6#
- 2.Qd7#
- 2.gxf5#
- 1...Rxd3!
- threat
- 1.fxe8Q?
- threat
- 2.Sd5#
- 2.Sf5#
- 2.Sc6#
- 2.Sg6#
- 2.Sc8#
- 1...Qb5
- 2.Sc6#
- 2.Qd6#
- 1...Qf5
- 2.Sd5#
- 2.Sxf5#
- 2.Sc6#
- 2.Sg6#
- 2.Sc8#
- 2.Qc6#
- 2.Qed7#
- 2.Qd6#
- 2.Qdd7#
- 2.Qc8#
- 2.gxf5#
- 1...Qg6
- 2.Sxg6#
- 2.Qd5#
- 2.Qd6#
- 2.Qdd7#
- 1...Qd5
- 2.Sxd5#
- 2.Sf5#
- 2.Sc6#
- 2.Sg6#
- 2.Sc8#
- 2.Qxd5#
- 1...Qd6
- 2.Qxd6#
- 1...Qd7
- 2.Qexd7#
- 2.Qdxd7#
- 1...f5
- 2.Sd5#
- 2.Sxf5#
- 2.Sc6#
- 2.Sg6#
- 2.Sc8#
- 1...Qd8!
- threat
- 1.fxe8R?
- threat
- 2.Sd5#
- 2.Sf5#
- 2.Sc6#
- 2.Sg6#
- 2.Sc8#
- 1...Qg6
- 2.Sxg6#
- 2.Qd5#
- 1...Qb5
- 2.Sc6#
- 2.Qd6#
- 1...Qf5
- 2.Sd5#
- 2.Sxf5#
- 2.Sc6#
- 2.Sg6#
- 2.Sc8#
- 2.Qd6#
- 2.Qd7#
- 2.gxf5#
- 1...Qd5
- 2.Sxd5#
- 2.Sf5#
- 2.Sc6#
- 2.Sg6#
- 2.Sc8#
- 2.Qxd5#
- 1...Qd6
- 2.Qxd6#
- 1...Qd7
- 2.Qxd7#
- 1...f5
- 2.Sd5#
- 2.Sxf5#
- 2.Sc6#
- 2.Sg6#
- 2.Sc8#
- 1...Qd8!
- threat
- 1.Sf5?
- Keys
- 1.Sd5!
- threat
- 2.fxe8Q#
- 2.fxe8R#
- 1...Qxd2
- 2.fxe8Q#
- 2.fxe8R#
- 1...Qxd5
- 2.Qxd5#
- 2.fxe8Q#
- 2.fxe8R#
- 1...Rxg8
- 2.Re7#
- 1...Sxf7
- 2.Bxf7#
- 1...Qb1
- 2.Sf4#
- 2.Sc7#
- 2.fxe8Q#
- 2.fxe8R#
- 1...Qf1
- 2.Sf4#
- 2.Sc7#
- 2.fxe8Q#
- 2.fxe8R#
- 1...Qc2
- 2.Sf4#
- 2.fxe8Q#
- 2.fxe8R#
- 1...Qe2
- 2.Sf4#
- 2.Sc7#
- 2.fxe8Q#
- 2.fxe8R#
- 1...Qc4
- 2.fxe8Q#
- 2.fxe8R#
- 1...Qe4
- 2.Sc7#
- 2.fxe8Q#
- 2.fxe8R#
- 1...Qb5
- 2.Sc7#
- 1...Qf5
- 2.Sc7#
- 2.fxe8Q#
- 2.fxe8R#
- 1...Qa6
- 2.Sf4#
- 2.Sc7#
- 2.fxe8Q#
- 2.fxe8R#
- 1...Qg6
- 2.Sf4#
- 1...Qb3
- 2.Sf4#
- 2.Sc7#
- 2.fxe8Q#
- 2.fxe8R#
- 1...Qc3
- 2.Sf4#
- 2.fxe8Q#
- 2.fxe8R#
- 1...Qe3
- 2.Sc7#
- 2.fxe8Q#
- 2.fxe8R#
- 1...Qd4
- 2.fxe8Q#
- 2.fxe8R#
- 1...Ra1
- 2.fxe8Q#
- 2.fxe8R#
- 1...Ra2
- 2.fxe8Q#
- 2.fxe8R#
- 1...Rb3
- 2.fxe8Q#
- 2.fxe8R#
- 1...Rc3
- 2.fxe8Q#
- 2.fxe8R#
- 1...Re7
- 2.Rxe7#
- 1...Ra8
- 2.Re7#
- 1...Rb8
- 2.Re7#
- 1...Rc8
- 2.Re7#
- 1...Rd8
- 2.Re7#
- 1...Rf8
- 2.Re7#
- 1...Bg7
- 2.fxe8Q#
- 2.fxe8R#
- 1...Sh3
- 2.fxe8Q#
- 2.fxe8R#
- 1...Se4
- 2.fxe8Q#
- 2.fxe8R#
- 1...Sf8
- 2.fxe8Q#
- 2.fxe8R#
- 1...f2
- 2.fxe8Q#
- 2.fxe8R#
- 1...f5
- 2.fxe8Q#
- 2.fxe8R#
- threat
- 1.Sd5!
FEATURES
- Static
- TYPE = THREAT
- CHANGED MATES = 2
- ADDED MATES = 7
- REMOVED MATES = 3
- Sets
- Q(b);OGATE::QAR1(A)
- Q(b);OGATE::QAB1(A)
- Q(b);OGATE::QAB1(A),XQ(b)
- Q(b);OGATE::QAR1(A),XQ(b)
- R(i);OGATE,XS(I)::R1(H),XR(i)
- Tries
- Try
- S(I);
- Threat
- PXR(i)=Q
- Vars
- Q(b);XQ(A)::PXR(i)=Q
- R(i);N_GUARD,XS(K)::R1(H)
- S(e);OGATE,XP(J)::B(F),XS(e)
- Q(b);OGATE::QAR1(A)
- Q(b);OGATE::QAR1(A),XQ(b)
- Q(b);OGATE::QAB1(A),XQ(b)
- R(a);::PXR(i)=Q
- R(i);N_GUARD::R1(H),XR(i)
- R(i);N_GUARD::R1(H)
- S(e);::PXR(i)=Q
- S(h);::PXR(i)=Q
- P(c);::PXR(i)=Q
- Refutation
- Q(b);
- Try
- S(I);
- Threat
- PXR(i)=Q
- Vars
- Q(b);XQ(A)::PXR(i)=Q
- R(i);N_GUARD,XS(K)::R1(H)
- S(e);OGATE,XP(J)::B(F),XS(e)
- Q(b);OGATE::QAR1(A),XQ(b)
- Q(b);OGATE::QAB1(A),XQ(b)
- R(a);::PXR(i)=Q
- R(i);N_GUARD::R1(H),XR(i)
- R(i);N_GUARD::R1(H)
- B(j);::PXR(i)=Q
- S(e);::PXR(i)=Q
- S(h);::PXR(i)=Q
- P(c);::PXR(i)=Q
- P(g);::PXR(i)=Q
- Refutation
- Q(b);
- Try
- S(I);
- Threat
- PXR(i)=Q
- Vars
- Q(b);XQ(A)::PXR(i)=Q
- R(i);N_GUARD,XS(K)::R1(H)
- R(i);N_GUARD::R1(H),XR(i)
- Q(b);::S(I)
- Q(b);OGATE::QAR1(A)
- Q(b);P_PINP(C)::PXR(i)=Q
- Q(b);OGATE::QAR1(A),XQ(b)
- R(a);::PXR(i)=Q
- R(i);N_GUARD::R1(H)
- B(j);::PXR(i)=Q
- S(e);::PXR(i)=Q
- S(h);::PXR(i)=Q
- P(c);::PXR(i)=Q
- P(g);::PXR(i)=Q
- Refutation
- S(e);XP(J)
- Try
- S(I);
- Threat
- PXR(i)=Q
- Vars
- Q(b);XQ(A)::PXR(i)=Q
- R(i);N_GUARD,XS(I)::R1(H)
- R(i);N_GUARD,XS(K)::R1(H)
- S(e);OGATE,XP(J)::B(F),XS(e)
- Q(b);OGATE::QAR1(A)
- Q(b);P_PINP(C)::PXR(i)=Q
- Q(b);OGATE::QAR1(A),XQ(b)
- Q(b);OGATE::QAB1(A),XQ(b)
- R(a);::PXR(i)=Q
- R(i);N_GUARD::R1(H),XR(i)
- R(i);N_GUARD::R1(H)
- B(j);::PXR(i)=Q
- S(e);::PXR(i)=Q
- S(h);::PXR(i)=Q
- P(c);::PXR(i)=Q
- P(g);::PXR(i)=Q
- Refutation
- Q(b);
- Try
- R(E);CHECK
- Refutation
- P(g);XR(E)
- Try
- Q(A);XQ(b)
- Threat
- DUALS(5)
- Vars
- R(i);::QAB1(A)
- Refutation
- R(a);XQ(A)
- Try
- P(J);XR(i)
- Threat
- DUALS(5)
- Vars
- Q(b);OGATE::QAR1(A),XQ(b)
- Refutation
- Q(b);
- Try
- P(J);XR(i)
- Threat
- DUALS(5)
- Vars
- Q(b);OGATE::QAR1(A),XQ(b)
- Q(b);OGATE::QAB1(A),XQ(b)
- Refutation
- Q(b);
- Try
- Actual
- S(I);
- Threat
- PXR(i)=Q
- Vars
- Q(b);XQ(A)::PXR(i)=Q
- R(i);N_GUARD,XS(K)::R1(H)
- S(e);OGATE,XP(J)::B(F),XS(e)
- Q(b);P_PINP(C)::PXR(i)=Q
- Q(b);::S(I)
- R(a);::PXR(i)=Q
- R(i);N_GUARD::R1(H),XR(i)
- R(i);N_GUARD::R1(H)
- B(j);::PXR(i)=Q
- S(e);::PXR(i)=Q
- S(h);::PXR(i)=Q
- P(c);::PXR(i)=Q
- P(g);::PXR(i)=Q
Developed and maintained by Brian Stephenson.
Implemented with HTML5, MySQL, Perl (with, inter alia, CGI::Simple, HTML::Template & XML::LibXML) &
CSS/Javascript (jQuery, Bootstrap & DataTables).