MESON Chess Problem Database
Problem Display
PID: 179650 (K1k2Bn1/3R1Ppq/P1p1PPp1/5N2/2b1n3/8/1b6/1RQ5 w - - 0 1)
Archakov, Vladimir Mikhailovich
3rd Comm., Birnov MT, 1968-1969
#2
10 + 9
| 6490 | yacpdb | 2018 |
| 4901 | Best Problems | 2019 |
SOLUTION
- SOUND
- Sets
- 1...Ba1
- 2.Rb8#
- 1...Bxc1
- 2.Rb8#
- 1...Ba3
- 2.Rb8#
- 1...Bc3
- 2.Rb8#
- 1...Bd4
- 2.Rb8#
- 1...Bxf6
- 2.Rb8#
- 1...Bf1
- 2.Qxc6#
- 1...Ba2
- 2.Qxc6#
- 1...Be2
- 2.Qxc6#
- 1...Bb3
- 2.Qxc6#
- 1...Bd3
- 2.Qxc6#
- 1...Bxa6
- 2.Qxc6#
- 1...Bxe6
- 2.Qxc6#
- 1...Sd2
- 2.Sd6#
- 1...Sf2
- 2.Sd6#
- 1...Sc3
- 2.Sd6#
- 1...Sg3
- 2.Sd6#
- 1...Sc5
- 2.Sd6#
- 1...Sg5
- 2.Sd6#
- 1...Sd6
- 2.Sxd6#
- 1...Sexf6
- 2.Sd6#
- 1...Sgxf6
- 2.Se7#
- 1...Sh6
- 2.Se7#
- 1...Se7
- 2.Sxe7#
- 1...Ba1
- Tries
- 1.Bb4?
- threat
- 2.f8Q#
- 2.f8R#
- 1...Bxc1
- 2.f8Q#
- 2.f8R#
- 1...Bxa6
- 2.Qxc6#
- 2.f8Q#
- 2.f8R#
- 1...Bxe6
- 2.Qxc6#
- 1...Sexf6
- 2.Sd6#
- 1...Sgxf6
- 2.Se7#
- 1...gxf5
- 2.f8Q#
- 2.f8R#
- 1...gxf6
- 2.f8Q#
- 2.f8R#
- 1...Qh1
- 2.fxg8Q#
- 2.fxg8R#
- 2.f8Q#
- 2.f8R#
- 1...Qh2
- 2.fxg8Q#
- 2.fxg8R#
- 2.f8Q#
- 2.f8R#
- 1...Qh3
- 2.fxg8Q#
- 2.fxg8R#
- 2.f8Q#
- 2.f8R#
- 1...Qh4
- 2.fxg8Q#
- 2.fxg8R#
- 2.f8Q#
- 2.f8R#
- 1...Qh5
- 2.fxg8Q#
- 2.fxg8R#
- 2.f8Q#
- 2.f8R#
- 1...Qh6
- 2.fxg8Q#
- 2.fxg8R#
- 2.f8Q#
- 2.f8R#
- 1...Qh8
- 2.f8Q#
- 2.f8R#
- 1...Ba1
- 2.f8Q#
- 2.f8R#
- 1...Ba3
- 2.f8Q#
- 2.f8R#
- 1...Bc3
- 2.f8Q#
- 2.f8R#
- 1...Bd4
- 2.f8Q#
- 2.f8R#
- 1...Be5
- 2.f8Q#
- 2.f8R#
- 1...Bf1
- 2.Qxc6#
- 2.f8Q#
- 2.f8R#
- 1...Ba2
- 2.Qxc6#
- 2.f8Q#
- 2.f8R#
- 1...Be2
- 2.Qxc6#
- 2.f8Q#
- 2.f8R#
- 1...Bb3
- 2.Qxc6#
- 2.f8Q#
- 2.f8R#
- 1...Bd3
- 2.Qxc6#
- 2.f8Q#
- 2.f8R#
- 1...Bb5
- 2.f8Q#
- 2.f8R#
- 1...Bd5
- 2.f8Q#
- 2.f8R#
- 1...Sd2
- 2.Sd6#
- 2.f8Q#
- 2.f8R#
- 1...Sf2
- 2.Sd6#
- 2.f8Q#
- 2.f8R#
- 1...Sc3
- 2.Sd6#
- 2.f8Q#
- 2.f8R#
- 1...Sg3
- 2.Sd6#
- 2.f8Q#
- 2.f8R#
- 1...Sc5
- 2.Sd6#
- 2.f8Q#
- 2.f8R#
- 1...Sg5
- 2.Sd6#
- 2.f8Q#
- 2.f8R#
- 1...Sd6
- 2.Sxd6#
- 1...Sh6
- 2.Se7#
- 2.f8Q#
- 2.f8R#
- 1...Se7
- 2.Sxe7#
- 2.f8Q#
- 2.f8R#
- 1...c5
- 2.f8Q#
- 2.f8R#
- 1...g5
- 2.f8Q#
- 2.f8R#
- 1...Bxf6!
- threat
- 1.Bc5?
- threat
- 2.f8Q#
- 2.f8R#
- 1...Bxc1
- 2.Rb8#
- 2.f8Q#
- 2.f8R#
- 1...Bxf6
- 2.Rb8#
- 1...Bxa6
- 2.f8Q#
- 2.f8R#
- 1...Sxc5
- 2.Sd6#
- 2.f8Q#
- 2.f8R#
- 1...Sexf6
- 2.Sd6#
- 1...Sgxf6
- 2.Se7#
- 1...gxf5
- 2.f8Q#
- 2.f8R#
- 1...gxf6
- 2.f8Q#
- 2.f8R#
- 1...Qh1
- 2.fxg8Q#
- 2.fxg8R#
- 2.f8Q#
- 2.f8R#
- 1...Qh2
- 2.fxg8Q#
- 2.fxg8R#
- 2.f8Q#
- 2.f8R#
- 1...Qh3
- 2.fxg8Q#
- 2.fxg8R#
- 2.f8Q#
- 2.f8R#
- 1...Qh4
- 2.fxg8Q#
- 2.fxg8R#
- 2.f8Q#
- 2.f8R#
- 1...Qh5
- 2.fxg8Q#
- 2.fxg8R#
- 2.f8Q#
- 2.f8R#
- 1...Qh6
- 2.fxg8Q#
- 2.fxg8R#
- 2.f8Q#
- 2.f8R#
- 1...Qh8
- 2.f8Q#
- 2.f8R#
- 1...Ba1
- 2.Rb8#
- 2.f8Q#
- 2.f8R#
- 1...Ba3
- 2.Rb8#
- 2.f8Q#
- 2.f8R#
- 1...Bc3
- 2.Rb8#
- 2.f8Q#
- 2.f8R#
- 1...Bd4
- 2.Rb8#
- 2.f8Q#
- 2.f8R#
- 1...Be5
- 2.f8Q#
- 2.f8R#
- 1...Bf1
- 2.f8Q#
- 2.f8R#
- 1...Ba2
- 2.f8Q#
- 2.f8R#
- 1...Be2
- 2.f8Q#
- 2.f8R#
- 1...Bb3
- 2.f8Q#
- 2.f8R#
- 1...Bd3
- 2.f8Q#
- 2.f8R#
- 1...Bb5
- 2.f8Q#
- 2.f8R#
- 1...Bd5
- 2.f8Q#
- 2.f8R#
- 1...Sd2
- 2.Sd6#
- 2.f8Q#
- 2.f8R#
- 1...Sf2
- 2.Sd6#
- 2.f8Q#
- 2.f8R#
- 1...Sc3
- 2.Sd6#
- 2.f8Q#
- 2.f8R#
- 1...Sg3
- 2.Sd6#
- 2.f8Q#
- 2.f8R#
- 1...Sg5
- 2.Sd6#
- 2.f8Q#
- 2.f8R#
- 1...Sd6
- 2.Sxd6#
- 1...Sh6
- 2.Se7#
- 2.f8Q#
- 2.f8R#
- 1...Se7
- 2.Sxe7#
- 2.f8Q#
- 2.f8R#
- 1...g5
- 2.f8Q#
- 2.f8R#
- 1...Bxe6!
- threat
- 1.Bd6?
- threat
- 2.f8Q#
- 2.f8R#
- 1...Bxc1
- 2.Rb8#
- 2.f8Q#
- 2.f8R#
- 1...Bxf6
- 2.Rb8#
- 1...Bxa6
- 2.Qxc6#
- 2.f8Q#
- 2.f8R#
- 1...Bxe6
- 2.Qxc6#
- 1...Sxd6
- 2.Sxd6#
- 1...Sgxf6
- 2.Se7#
- 1...gxf5
- 2.f8Q#
- 2.f8R#
- 1...gxf6
- 2.f8Q#
- 2.f8R#
- 1...Qh1
- 2.fxg8Q#
- 2.fxg8R#
- 2.f8Q#
- 2.f8R#
- 1...Qh2
- 2.fxg8Q#
- 2.fxg8R#
- 2.f8Q#
- 2.f8R#
- 1...Qh3
- 2.fxg8Q#
- 2.fxg8R#
- 2.f8Q#
- 2.f8R#
- 1...Qh4
- 2.fxg8Q#
- 2.fxg8R#
- 2.f8Q#
- 2.f8R#
- 1...Qh5
- 2.fxg8Q#
- 2.fxg8R#
- 2.f8Q#
- 2.f8R#
- 1...Qh6
- 2.fxg8Q#
- 2.fxg8R#
- 2.f8Q#
- 2.f8R#
- 1...Qh8
- 2.f8Q#
- 2.f8R#
- 1...Ba1
- 2.Rb8#
- 2.f8Q#
- 2.f8R#
- 1...Ba3
- 2.Rb8#
- 2.f8Q#
- 2.f8R#
- 1...Bc3
- 2.Rb8#
- 2.f8Q#
- 2.f8R#
- 1...Bd4
- 2.Rb8#
- 2.f8Q#
- 2.f8R#
- 1...Be5
- 2.Rb8#
- 2.f8Q#
- 2.f8R#
- 1...Bf1
- 2.Qxc6#
- 2.f8Q#
- 2.f8R#
- 1...Ba2
- 2.Qxc6#
- 2.f8Q#
- 2.f8R#
- 1...Be2
- 2.Qxc6#
- 2.f8Q#
- 2.f8R#
- 1...Bb3
- 2.Qxc6#
- 2.f8Q#
- 2.f8R#
- 1...Bd3
- 2.Qxc6#
- 2.f8Q#
- 2.f8R#
- 1...Bb5
- 2.f8Q#
- 2.f8R#
- 1...Bd5
- 2.f8Q#
- 2.f8R#
- 1...Sd2
- 2.f8Q#
- 2.f8R#
- 1...Sf2
- 2.f8Q#
- 2.f8R#
- 1...Sc3
- 2.f8Q#
- 2.f8R#
- 1...Sg3
- 2.f8Q#
- 2.f8R#
- 1...Sc5
- 2.f8Q#
- 2.f8R#
- 1...Sg5
- 2.f8Q#
- 2.f8R#
- 1...Sh6
- 2.Se7#
- 2.f8Q#
- 2.f8R#
- 1...Se7
- 2.Sxe7#
- 2.f8Q#
- 2.f8R#
- 1...c5
- 2.f8Q#
- 2.f8R#
- 1...g5
- 2.f8Q#
- 2.f8R#
- 1...Sexf6!
- threat
- 1.Be7?
- threat
- 2.f8Q#
- 2.f8R#
- 1...Bxc1
- 2.Rb8#
- 2.f8Q#
- 2.f8R#
- 1...Bxf6
- 2.Rb8#
- 2.f8Q#
- 2.f8R#
- 1...Bxa6
- 2.Qxc6#
- 2.f8Q#
- 2.f8R#
- 1...Bxe6
- 2.Qxc6#
- 1...Sexf6
- 2.Sd6#
- 1...Sxe7
- 2.Sxe7#
- 2.f8Q#
- 2.f8R#
- 1...gxf5
- 2.f8Q#
- 2.f8R#
- 1...gxf6
- 2.f8Q#
- 2.f8R#
- 1...Qh1
- 2.fxg8Q#
- 2.fxg8R#
- 2.f8Q#
- 2.f8R#
- 1...Qh2
- 2.fxg8Q#
- 2.fxg8R#
- 2.f8Q#
- 2.f8R#
- 1...Qh3
- 2.fxg8Q#
- 2.fxg8R#
- 2.f8Q#
- 2.f8R#
- 1...Qh4
- 2.fxg8Q#
- 2.fxg8R#
- 2.f8Q#
- 2.f8R#
- 1...Qh5
- 2.fxg8Q#
- 2.fxg8R#
- 2.f8Q#
- 2.f8R#
- 1...Qh6
- 2.fxg8Q#
- 2.fxg8R#
- 2.f8Q#
- 2.f8R#
- 1...Qh8
- 2.f8Q#
- 2.f8R#
- 1...Ba1
- 2.Rb8#
- 2.f8Q#
- 2.f8R#
- 1...Ba3
- 2.Rb8#
- 2.f8Q#
- 2.f8R#
- 1...Bc3
- 2.Rb8#
- 2.f8Q#
- 2.f8R#
- 1...Bd4
- 2.Rb8#
- 2.f8Q#
- 2.f8R#
- 1...Be5
- 2.f8Q#
- 2.f8R#
- 1...Bf1
- 2.Qxc6#
- 2.f8Q#
- 2.f8R#
- 1...Ba2
- 2.Qxc6#
- 2.f8Q#
- 2.f8R#
- 1...Be2
- 2.Qxc6#
- 2.f8Q#
- 2.f8R#
- 1...Bb3
- 2.Qxc6#
- 2.f8Q#
- 2.f8R#
- 1...Bd3
- 2.Qxc6#
- 2.f8Q#
- 2.f8R#
- 1...Bb5
- 2.f8Q#
- 2.f8R#
- 1...Bd5
- 2.f8Q#
- 2.f8R#
- 1...Sd2
- 2.Sd6#
- 2.f8Q#
- 2.f8R#
- 1...Sf2
- 2.Sd6#
- 2.f8Q#
- 2.f8R#
- 1...Sc3
- 2.Sd6#
- 2.f8Q#
- 2.f8R#
- 1...Sg3
- 2.Sd6#
- 2.f8Q#
- 2.f8R#
- 1...Sc5
- 2.Sd6#
- 2.f8Q#
- 2.f8R#
- 1...Sg5
- 2.Sd6#
- 2.f8Q#
- 2.f8R#
- 1...Sd6
- 2.Sxd6#
- 1...Sh6
- 2.f8Q#
- 2.f8R#
- 1...c5
- 2.f8Q#
- 2.f8R#
- 1...g5
- 2.f8Q#
- 2.f8R#
- 1...Sgxf6!
- threat
- 1.Bxg7?
- threat
- 2.f8Q#
- 2.f8R#
- 1...Bxc1
- 2.Rb8#
- 2.f8Q#
- 2.f8R#
- 1...Bxf6
- 2.Rb8#
- 1...Bxa6
- 2.Qxc6#
- 2.f8Q#
- 2.f8R#
- 1...Bxe6
- 2.Qxc6#
- 1...Sexf6
- 2.Sd6#
- 1...Sgxf6
- 2.Se7#
- 1...gxf5
- 2.f8Q#
- 2.f8R#
- 1...Qh1
- 2.fxg8Q#
- 2.fxg8R#
- 2.f8Q#
- 2.f8R#
- 1...Qh2
- 2.fxg8Q#
- 2.fxg8R#
- 2.f8Q#
- 2.f8R#
- 1...Qh3
- 2.fxg8Q#
- 2.fxg8R#
- 2.f8Q#
- 2.f8R#
- 1...Qh4
- 2.fxg8Q#
- 2.fxg8R#
- 2.f8Q#
- 2.f8R#
- 1...Qh5
- 2.fxg8Q#
- 2.fxg8R#
- 2.f8Q#
- 2.f8R#
- 1...Qh6
- 2.fxg8Q#
- 2.fxg8R#
- 2.f8Q#
- 2.f8R#
- 1...Qh8
- 2.f8Q#
- 2.f8R#
- 1...Ba1
- 2.Rb8#
- 2.f8Q#
- 2.f8R#
- 1...Ba3
- 2.Rb8#
- 1...Bc3
- 2.Rb8#
- 2.f8Q#
- 2.f8R#
- 1...Bd4
- 2.Rb8#
- 2.f8Q#
- 2.f8R#
- 1...Be5
- 2.f8Q#
- 2.f8R#
- 1...Bf1
- 2.Qxc6#
- 2.f8Q#
- 2.f8R#
- 1...Ba2
- 2.Qxc6#
- 2.f8Q#
- 2.f8R#
- 1...Be2
- 2.Qxc6#
- 2.f8Q#
- 2.f8R#
- 1...Bb3
- 2.Qxc6#
- 2.f8Q#
- 2.f8R#
- 1...Bd3
- 2.Qxc6#
- 2.f8Q#
- 2.f8R#
- 1...Bb5
- 2.f8Q#
- 2.f8R#
- 1...Bd5
- 2.f8Q#
- 2.f8R#
- 1...Sd2
- 2.Sd6#
- 2.f8Q#
- 2.f8R#
- 1...Sf2
- 2.Sd6#
- 2.f8Q#
- 2.f8R#
- 1...Sc3
- 2.Sd6#
- 2.f8Q#
- 2.f8R#
- 1...Sg3
- 2.Sd6#
- 2.f8Q#
- 2.f8R#
- 1...Sc5
- 2.Sd6#
- 2.f8Q#
- 2.f8R#
- 1...Sg5
- 2.Sd6#
- 2.f8Q#
- 2.f8R#
- 1...Sd6
- 2.Sxd6#
- 1...Sh6
- 2.Se7#
- 2.f8Q#
- 2.f8R#
- 1...Se7
- 2.Sxe7#
- 2.f8Q#
- 2.f8R#
- 1...c5
- 2.f8Q#
- 2.f8R#
- 1...g5
- 2.f8Q#
- 2.f8R#
- 1...Qxg7!
- threat
- 1.fxg8S?
- threat
- 2.Sfe7#
- 2.Sge7#
- 1...Qxg8
- 2.Se7#
- 1...Bxf6
- 2.Rb8#
- 1...Bxe6
- 2.Qxc6#
- 1...gxf5
- 2.Se7#
- 1...Ba3
- 2.Rb8#
- 1...gxf6!
- threat
- 1.Bb4?
- Keys
- 1.Ba3!
- threat
- 2.f8Q#
- 2.f8R#
- 1...Bxc1
- 2.Rb8#
- 2.f8Q#
- 2.f8R#
- 1...Bxa3
- 2.Rb8#
- 1...Bxf6
- 2.Rb8#
- 1...Bxa6
- 2.Qxc6#
- 2.f8Q#
- 2.f8R#
- 1...Bxe6
- 2.Qxc6#
- 1...Sexf6
- 2.Sd6#
- 1...Sgxf6
- 2.Se7#
- 1...gxf5
- 2.f8Q#
- 2.f8R#
- 1...gxf6
- 2.f8Q#
- 2.f8R#
- 1...Qh1
- 2.fxg8Q#
- 2.fxg8R#
- 2.f8Q#
- 2.f8R#
- 1...Qh2
- 2.fxg8Q#
- 2.fxg8R#
- 2.f8Q#
- 2.f8R#
- 1...Qh3
- 2.fxg8Q#
- 2.fxg8R#
- 2.f8Q#
- 2.f8R#
- 1...Qh4
- 2.fxg8Q#
- 2.fxg8R#
- 2.f8Q#
- 2.f8R#
- 1...Qh5
- 2.fxg8Q#
- 2.fxg8R#
- 2.f8Q#
- 2.f8R#
- 1...Qh6
- 2.fxg8Q#
- 2.fxg8R#
- 2.f8Q#
- 2.f8R#
- 1...Qh8
- 2.f8Q#
- 2.f8R#
- 1...Ba1
- 2.Rb8#
- 2.f8Q#
- 2.f8R#
- 1...Bc3
- 2.Rb8#
- 2.f8Q#
- 2.f8R#
- 1...Bd4
- 2.Rb8#
- 2.f8Q#
- 2.f8R#
- 1...Be5
- 2.f8Q#
- 2.f8R#
- 1...Bf1
- 2.Qxc6#
- 2.f8Q#
- 2.f8R#
- 1...Ba2
- 2.Qxc6#
- 2.f8Q#
- 2.f8R#
- 1...Be2
- 2.Qxc6#
- 2.f8Q#
- 2.f8R#
- 1...Bb3
- 2.Qxc6#
- 2.f8Q#
- 2.f8R#
- 1...Bd3
- 2.Qxc6#
- 2.f8Q#
- 2.f8R#
- 1...Bb5
- 2.f8Q#
- 2.f8R#
- 1...Bd5
- 2.f8Q#
- 2.f8R#
- 1...Sd2
- 2.Sd6#
- 2.f8Q#
- 2.f8R#
- 1...Sf2
- 2.Sd6#
- 2.f8Q#
- 2.f8R#
- 1...Sc3
- 2.Sd6#
- 2.f8Q#
- 2.f8R#
- 1...Sg3
- 2.Sd6#
- 2.f8Q#
- 2.f8R#
- 1...Sc5
- 2.Sd6#
- 2.f8Q#
- 2.f8R#
- 1...Sg5
- 2.Sd6#
- 2.f8Q#
- 2.f8R#
- 1...Sd6
- 2.Sxd6#
- 1...Sh6
- 2.Se7#
- 2.f8Q#
- 2.f8R#
- 1...Se7
- 2.Sxe7#
- 2.f8Q#
- 2.f8R#
- 1...c5
- 2.f8Q#
- 2.f8R#
- 1...g5
- 2.f8Q#
- 2.f8R#
- threat
- 1.Ba3!
FEATURES
- Static
- TYPE = THREAT
- CHANGED MATES = 0
- ADDED MATES = 0
- REMOVED MATES = 18
- Sets
- B(a);OGATE::R1(A)
- B(a);OGATE,XQ(B)::R1(A)
- B(a);OGATE,XP(F)::R1(A)
- B(b);OGATE,P_SPINP(d)::QAR2(B),XP(d)
- B(b);OGATE,P_SPINP(d),XP(D)::QAR2(B),XP(d)
- B(b);OGATE,P_SPINP(d),XP(E)::QAR2(B),XP(d)
- S(c);N_GUARD::S(C)
- S(c);N_GUARD::S(C),XS(c)
- S(c);N_GUARD,XP(F)::S(C)
- S(i);N_GUARD,XP(F)::S(C)
- S(i);N_GUARD::S(C)
- S(i);N_GUARD::S(C),XS(i)
- Tries
- Try
- B(J);
- Threat
- P=Q
- Vars
- B(a);XQ(B)::P=Q
- B(b);OGATE,P_SPINP(d),XP(E)::QAR2(B),XP(d)
- S(c);N_GUARD,XP(F)::S(C)
- S(i);N_GUARD,XP(F)::S(C)
- P(e);XS(C)::P=Q
- P(f);XP(F)::P=Q
- Q(g);::P=Q
- B(a);::P=Q
- B(b);P_SPINP(d)::P=Q
- S(c);N_GUARD::S(C),XS(c)
- P(d);::P=Q
- P(e);::P=Q
- Refutation
- B(a);XP(F)
- Try
- B(J);
- Threat
- P=Q
- Vars
- B(a);OGATE,XP(F)::R1(A)
- B(b);XP(D)::P=Q
- S(c);N_GUARD,XP(F)::S(C)
- S(i);N_GUARD,XP(F)::S(C)
- P(e);XS(C)::P=Q
- P(f);XP(F)::P=Q
- Q(g);::P=Q
- B(a);::P=Q
- B(b);::P=Q
- S(c);N_GUARD::S(C),XS(c)
- P(e);::P=Q
- Refutation
- B(b);XP(E)
- Try
- B(J);
- Threat
- P=Q
- Vars
- B(a);OGATE,XP(F)::R1(A)
- B(b);OGATE,P_SPINP(d),XP(E)::QAR2(B),XP(d)
- S(c);XB(J)::S(C),XS(c)
- S(i);N_GUARD,XP(F)::S(C)
- P(e);XS(C)::P=Q
- P(f);XP(F)::P=Q
- Q(g);::P=Q
- B(b);P_SPINP(d)::P=Q
- S(c);::P=Q
- P(d);::P=Q
- P(e);::P=Q
- Refutation
- S(c);XP(F)
- Try
- B(J);
- Threat
- P=Q
- Vars
- B(b);OGATE,P_SPINP(d),XP(E)::QAR2(B),XP(d)
- S(c);N_GUARD,XP(F)::S(C)
- P(e);XS(C)::P=Q
- P(f);XP(F)::P=Q
- Q(g);::P=Q
- B(a);::P=Q
- B(b);P_SPINP(d)::P=Q
- S(c);N_GUARD::S(C),XS(c)
- S(i);::P=Q
- P(d);::P=Q
- P(e);::P=Q
- Refutation
- S(i);XP(F)
- Try
- B(J);XP(f)
- Threat
- P=Q
- Vars
- B(a);OGATE,XP(F)::R1(A)
- B(b);OGATE,P_SPINP(d),XP(E)::QAR2(B),XP(d)
- S(c);N_GUARD,XP(F)::S(C)
- S(i);N_GUARD,XP(F)::S(C)
- P(e);XS(C)::P=Q
- Q(g);::P=Q
- B(a);OGATE::R1(A)
- B(a);::P=Q
- B(b);P_SPINP(d)::P=Q
- S(c);N_GUARD::S(C),XS(c)
- P(d);::P=Q
- P(e);::P=Q
- Refutation
- Q(g);XB(J)
- Try
- P(H);XS(i)
- Threat
- DUALS(2)
- Vars
- Q(g);XS(H)::S(C)
- B(a);OGATE,XP(F)::R1(A)
- B(b);OGATE,P_SPINP(d),XP(E)::QAR2(B),XP(d)
- P(e);XS(C)::S(H)
- B(a);OGATE::R1(A)
- Refutation
- P(f);XP(F)
- Try
- Actual
- B(J);
- Threat
- P=Q
- Vars
- B(a);OGATE,XB(J)::R1(A)
- B(a);OGATE,XP(F)::R1(A)
- B(b);OGATE,P_SPINP(d),XP(E)::QAR2(B),XP(d)
- S(c);N_GUARD,XP(F)::S(C)
- S(i);N_GUARD,XP(F)::S(C)
- P(e);XS(C)::P=Q
- P(f);XP(F)::P=Q
- Q(g);::P=Q
- B(a);::P=Q
- B(b);P_SPINP(d)::P=Q
- S(c);N_GUARD::S(C),XS(c)
- P(d);::P=Q
- P(e);::P=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).