MESON Chess Problem Database
Problem Display
PID: 49882 (b3R1KB/3P1p2/2p3p1/2pNP3/Np1kP2R/8/1nP1Qp1b/2q5 w - - 0 1)
Lider, Valentin Viktorovich
Schweizerische Schachzeitung, 1991
#2
11 + 11
SOLUTION
- SOUND
- Sets
- 1...Bxe5
- 2.Bxe5#
- 1...Sd1
- 2.Qd3#
- 1...Sd3
- 2.Qxd3#
- 1...Sxa4
- 2.Qd3#
- 1...Sc4
- 2.Qd3#
- 1...Bxe5
- Tries
- 1.Sdc3?
- threat
- 2.d8Q#
- 2.d8R#
- 1...Qxc2
- 2.d8Q#
- 2.d8R#
- 1...Bxe5
- 2.Bxe5#
- 2.d8Q#
- 2.d8R#
- 1...Sxa4
- 2.Qd3#
- 1...bxc3
- 2.d8Q#
- 2.d8R#
- 1...Sd3
- 2.Qxd3#
- 1...f1Q
- 2.d8Q#
- 2.d8R#
- 1...f1S
- 2.d8Q#
- 2.d8R#
- 1...f1B
- 2.d8Q#
- 2.d8R#
- 1...f1R
- 2.d8Q#
- 2.d8R#
- 1...Qd2
- 2.d8Q#
- 2.d8R#
- 1...Qe3
- 2.d8Q#
- 2.d8R#
- 1...Qf4
- 2.d8Q#
- 2.d8R#
- 1...Qh6
- 2.d8Q#
- 2.d8R#
- 1...Qa1
- 2.d8Q#
- 2.d8R#
- 1...Qb1
- 2.d8Q#
- 2.d8R#
- 1...Qd1
- 2.d8Q#
- 2.d8R#
- 1...Qe1
- 2.d8Q#
- 2.d8R#
- 1...Qf1
- 2.d8Q#
- 2.d8R#
- 1...Qg1
- 2.d8Q#
- 2.d8R#
- 1...Qh1
- 2.d8Q#
- 2.d8R#
- 1...Bg1
- 2.d8Q#
- 2.d8R#
- 1...Bg3
- 2.d8Q#
- 2.d8R#
- 1...Bf4
- 2.d8Q#
- 2.d8R#
- 1...Bb7
- 2.d8Q#
- 2.d8R#
- 1...Sd1
- 2.Qd3#
- 2.d8Q#
- 2.d8R#
- 1...Sc4
- 2.Qd3#
- 1...b3
- 2.d8Q#
- 2.d8R#
- 1...c4
- 2.d8Q#
- 2.d8R#
- 1...g5
- 2.d8Q#
- 2.d8R#
- 1...f5
- 2.d8Q#
- 2.d8R#
- 1...f6
- 2.d8Q#
- 2.d8R#
- 1...Qg5!
- threat
- 1.Se3?
- threat
- 2.d8Q#
- 2.d8R#
- 1...Qxe3
- 2.d8Q#
- 2.d8R#
- 1...Qxc2
- 2.Sxc2#
- 2.d8Q#
- 2.d8R#
- 1...Bxe5
- 2.Bxe5#
- 2.d8Q#
- 2.d8R#
- 1...Sxa4
- 2.Qd3#
- 1...f1Q
- 2.d8Q#
- 2.d8R#
- 1...f1S
- 2.d8Q#
- 2.d8R#
- 1...f1B
- 2.d8Q#
- 2.d8R#
- 1...f1R
- 2.d8Q#
- 2.d8R#
- 1...Qd2
- 2.d8Q#
- 2.d8R#
- 1...Qa1
- 2.d8Q#
- 2.d8R#
- 1...Qb1
- 2.d8Q#
- 2.d8R#
- 1...Qd1
- 2.d8Q#
- 2.d8R#
- 1...Qe1
- 2.d8Q#
- 2.d8R#
- 1...Qf1
- 2.d8Q#
- 2.d8R#
- 1...Qg1
- 2.d8Q#
- 2.d8R#
- 1...Qh1
- 2.d8Q#
- 2.d8R#
- 1...Bg1
- 2.d8Q#
- 2.d8R#
- 1...Bg3
- 2.d8Q#
- 2.d8R#
- 1...Bb7
- 2.d8Q#
- 2.d8R#
- 1...Sd1
- 2.Qd3#
- 2.d8Q#
- 2.d8R#
- 1...Sd3
- 2.Qxd3#
- 2.d8Q#
- 2.d8R#
- 1...Sc4
- 2.Qd3#
- 1...b3
- 2.d8Q#
- 2.d8R#
- 1...c4
- 2.d8Q#
- 2.d8R#
- 1...g5
- 2.Sf5#
- 2.d8Q#
- 2.d8R#
- 1...f5
- 2.d8Q#
- 2.d8R#
- 1...f6
- 2.d8Q#
- 2.d8R#
- 1...Bf4!
- threat
- 1.Sf4?
- threat
- 2.d8Q#
- 2.d8R#
- 1...Qxf4
- 2.d8Q#
- 2.d8R#
- 1...Qxc2
- 2.d8Q#
- 2.d8R#
- 1...Bxf4
- 2.d8Q#
- 2.d8R#
- 1...Sxa4
- 2.Qd3#
- 1...Sd3
- 2.Qxd3#
- 1...f1Q
- 2.d8Q#
- 2.d8R#
- 1...f1S
- 2.d8Q#
- 2.d8R#
- 1...f1B
- 2.d8Q#
- 2.d8R#
- 1...f1R
- 2.d8Q#
- 2.d8R#
- 1...Qd2
- 2.d8Q#
- 2.d8R#
- 1...Qa1
- 2.d8Q#
- 2.d8R#
- 1...Qb1
- 2.d8Q#
- 2.d8R#
- 1...Qd1
- 2.d8Q#
- 2.d8R#
- 1...Qe1
- 2.d8Q#
- 2.d8R#
- 1...Qf1
- 2.d8Q#
- 2.d8R#
- 1...Qg1
- 2.d8Q#
- 2.d8R#
- 1...Qh1
- 2.d8Q#
- 2.d8R#
- 1...Bg1
- 2.d8Q#
- 2.d8R#
- 1...Bg3
- 2.d8Q#
- 2.d8R#
- 1...Bb7
- 2.d8Q#
- 2.d8R#
- 1...Sd1
- 2.Qd3#
- 2.d8Q#
- 2.d8R#
- 1...Sc4
- 2.Qd3#
- 1...b3
- 2.d8Q#
- 2.d8R#
- 1...c4
- 2.d8Q#
- 2.d8R#
- 1...g5
- 2.d8Q#
- 2.d8R#
- 1...f5
- 2.Se6#
- 2.e6#
- 2.d8Q#
- 2.d8R#
- 1...f6
- 2.d8Q#
- 2.d8R#
- 1...Qe3!
- threat
- 1.Sdb6?
- threat
- 2.d8Q#
- 2.d8R#
- 1...Qxc2
- 2.d8Q#
- 2.d8R#
- 1...Bxe5
- 2.Bxe5#
- 2.d8Q#
- 2.d8R#
- 1...Sxa4
- 2.Qd3#
- 1...f1Q
- 2.d8Q#
- 2.d8R#
- 1...f1S
- 2.d8Q#
- 2.d8R#
- 1...f1B
- 2.d8Q#
- 2.d8R#
- 1...f1R
- 2.d8Q#
- 2.d8R#
- 1...Qd2
- 2.d8Q#
- 2.d8R#
- 1...Qe3
- 2.d8Q#
- 2.d8R#
- 1...Qf4
- 2.d8Q#
- 2.d8R#
- 1...Qh6
- 2.d8Q#
- 2.d8R#
- 1...Qa1
- 2.Qxf2#
- 2.d8Q#
- 2.d8R#
- 1...Qb1
- 2.Qxf2#
- 2.d8Q#
- 2.d8R#
- 1...Qd1
- 2.Qxf2#
- 2.d8Q#
- 2.d8R#
- 1...Qe1
- 2.d8Q#
- 2.d8R#
- 1...Qf1
- 2.d8Q#
- 2.d8R#
- 1...Qg1
- 2.d8Q#
- 2.d8R#
- 1...Qh1
- 2.Qxf2#
- 2.d8Q#
- 2.d8R#
- 1...Bg1
- 2.d8Q#
- 2.d8R#
- 1...Bg3
- 2.d8Q#
- 2.d8R#
- 1...Bf4
- 2.d8Q#
- 2.d8R#
- 1...Bb7
- 2.d8Q#
- 2.d8R#
- 1...Sd1
- 2.Qd3#
- 2.d8Q#
- 2.d8R#
- 1...Sd3
- 2.Qxd3#
- 2.d8Q#
- 2.d8R#
- 1...Sc4
- 2.Qd3#
- 1...b3
- 2.d8Q#
- 2.d8R#
- 1...c4
- 2.d8Q#
- 2.d8R#
- 1...g5
- 2.d8Q#
- 2.d8R#
- 1...f5
- 2.d8Q#
- 2.d8R#
- 1...f6
- 2.d8Q#
- 2.d8R#
- 1...Qg5!
- threat
- 1.Sf6?
- threat
- 2.d8Q#
- 2.d8R#
- 1...Qxc2
- 2.d8Q#
- 2.d8R#
- 1...Sxa4
- 2.Qd3#
- 1...Sd3
- 2.Qxd3#
- 1...f1Q
- 2.d8Q#
- 2.d8R#
- 1...f1S
- 2.d8Q#
- 2.d8R#
- 1...f1B
- 2.d8Q#
- 2.d8R#
- 1...f1R
- 2.d8Q#
- 2.d8R#
- 1...Qg5
- 2.d8Q#
- 2.d8R#
- 1...Qd2
- 2.d8Q#
- 2.d8R#
- 1...Qe3
- 2.d8Q#
- 2.d8R#
- 1...Qf4
- 2.d8Q#
- 2.d8R#
- 1...Qh6
- 2.d8Q#
- 2.d8R#
- 1...Qa1
- 2.d8Q#
- 2.d8R#
- 1...Qb1
- 2.d8Q#
- 2.d8R#
- 1...Qd1
- 2.d8Q#
- 2.d8R#
- 1...Qe1
- 2.d8Q#
- 2.d8R#
- 1...Qf1
- 2.d8Q#
- 2.d8R#
- 1...Qg1
- 2.d8Q#
- 2.d8R#
- 1...Qh1
- 2.d8Q#
- 2.d8R#
- 1...Bg1
- 2.d8Q#
- 2.d8R#
- 1...Bg3
- 2.d8Q#
- 2.d8R#
- 1...Bf4
- 2.d8Q#
- 2.d8R#
- 1...Bb7
- 2.d8Q#
- 2.d8R#
- 1...Sd1
- 2.Qd3#
- 2.d8Q#
- 2.d8R#
- 1...Sc4
- 2.Qd3#
- 1...b3
- 2.d8Q#
- 2.d8R#
- 1...c4
- 2.d8Q#
- 2.d8R#
- 1...g5
- 2.d8Q#
- 2.d8R#
- 1...Bxe5!
- threat
- 1.Sc7?
- threat
- 2.d8Q#
- 2.d8R#
- 1...Qxc2
- 2.d8Q#
- 2.d8R#
- 1...Bxe5
- 2.Bxe5#
- 2.d8Q#
- 2.d8R#
- 1...Sxa4
- 2.Qd3#
- 1...Sd3
- 2.Qxd3#
- 1...f1Q
- 2.d8Q#
- 2.d8R#
- 1...f1S
- 2.d8Q#
- 2.d8R#
- 1...f1B
- 2.d8Q#
- 2.d8R#
- 1...f1R
- 2.d8Q#
- 2.d8R#
- 1...Qd2
- 2.d8Q#
- 2.d8R#
- 1...Qe3
- 2.d8Q#
- 2.d8R#
- 1...Qf4
- 2.d8Q#
- 2.d8R#
- 1...Qh6
- 2.d8Q#
- 2.d8R#
- 1...Qa1
- 2.d8Q#
- 2.d8R#
- 1...Qb1
- 2.d8Q#
- 2.d8R#
- 1...Qd1
- 2.d8Q#
- 2.d8R#
- 1...Qe1
- 2.d8Q#
- 2.d8R#
- 1...Qf1
- 2.d8Q#
- 2.d8R#
- 1...Qg1
- 2.d8Q#
- 2.d8R#
- 1...Qh1
- 2.d8Q#
- 2.d8R#
- 1...Bg1
- 2.d8Q#
- 2.d8R#
- 1...Bg3
- 2.d8Q#
- 2.d8R#
- 1...Bf4
- 2.d8Q#
- 2.d8R#
- 1...Bb7
- 2.d8Q#
- 2.d8R#
- 1...Sd1
- 2.Qd3#
- 2.d8Q#
- 2.d8R#
- 1...Sc4
- 2.Qd3#
- 1...b3
- 2.d8Q#
- 2.d8R#
- 1...c4
- 2.d8Q#
- 2.d8R#
- 1...g5
- 2.d8Q#
- 2.d8R#
- 1...f5
- 2.Se6#
- 2.d8Q#
- 2.d8R#
- 1...f6
- 2.d8Q#
- 2.d8R#
- 1...Qg5!
- threat
- 1.Se7?
- threat
- 2.d8Q#
- 2.d8R#
- 1...Qxc2
- 2.d8Q#
- 2.d8R#
- 1...Bxe5
- 2.d8Q#
- 2.d8R#
- 1...Sxa4
- 2.Qd3#
- 1...Sd3
- 2.Qxd3#
- 1...f1Q
- 2.d8Q#
- 2.d8R#
- 1...f1S
- 2.d8Q#
- 2.d8R#
- 1...f1B
- 2.d8Q#
- 2.d8R#
- 1...f1R
- 2.d8Q#
- 2.d8R#
- 1...Qg5
- 2.d8Q#
- 2.d8R#
- 1...Qd2
- 2.d8Q#
- 2.d8R#
- 1...Qe3
- 2.d8Q#
- 2.d8R#
- 1...Qf4
- 2.d8Q#
- 2.d8R#
- 1...Qh6
- 2.d8Q#
- 2.d8R#
- 1...Qa1
- 2.d8Q#
- 2.d8R#
- 1...Qb1
- 2.d8Q#
- 2.d8R#
- 1...Qd1
- 2.d8Q#
- 2.d8R#
- 1...Qe1
- 2.d8Q#
- 2.d8R#
- 1...Qf1
- 2.d8Q#
- 2.d8R#
- 1...Qg1
- 2.d8Q#
- 2.d8R#
- 1...Qh1
- 2.d8Q#
- 2.d8R#
- 1...Bg1
- 2.d8Q#
- 2.d8R#
- 1...Bg3
- 2.d8Q#
- 2.d8R#
- 1...Bf4
- 2.d8Q#
- 2.d8R#
- 1...Bb7
- 2.d8Q#
- 2.d8R#
- 1...Sd1
- 2.Qd3#
- 2.d8Q#
- 2.d8R#
- 1...Sc4
- 2.Qd3#
- 1...b3
- 2.d8Q#
- 2.d8R#
- 1...c4
- 2.d8Q#
- 2.d8R#
- 1...g5
- 2.Sf5#
- 2.d8Q#
- 2.d8R#
- 1...f5
- 2.d8Q#
- 2.d8R#
- 1...f6!
- threat
- 1.Qxf2+?
- 1...Kc4
- 2.Qxc5#
- 1...Qe3!
- 1...Kc4
- 1.Qe3+?
- 1...Kc4
- 2.Qxc5#
- 1...Qxe3!
- 1...Kc4
- 1.d8Q?
- threat
- 2.Sdc3#
- 2.Se3#
- 2.Sxb4#
- 2.Sf4#
- 2.Sdb6#
- 2.Sf6#
- 2.Sc7#
- 2.Se7#
- 1...Bxe5
- 2.Sdc3#
- 2.Se3#
- 2.Sxb4#
- 2.Sf4#
- 2.Sdb6#
- 2.Sc7#
- 2.Se7#
- 2.Bxe5#
- 1...Sxa4
- 2.Qd3#
- 1...Sd3
- 2.Se3#
- 2.Sdb6#
- 2.Qxd3#
- 1...Qg5
- 2.Sf6#
- 2.Se7#
- 1...Qe3
- 2.Sdc3#
- 2.Sxe3#
- 2.Sxb4#
- 2.Sdb6#
- 2.Sf6#
- 2.Sc7#
- 2.Se7#
- 1...Qf4
- 2.Sdc3#
- 2.Sxb4#
- 2.Sxf4#
- 2.Sdb6#
- 2.Sf6#
- 2.Sc7#
- 2.Se7#
- 1...Bf4
- 2.Sdc3#
- 2.Sxb4#
- 2.Sxf4#
- 2.Sdb6#
- 2.Sf6#
- 2.Sc7#
- 2.Se7#
- 1...Sc4
- 2.Qd3#
- 1...b3
- 2.Sdc3#
- 2.Se3#
- 2.Sb4#
- 2.Sf4#
- 2.Sdb6#
- 2.Sf6#
- 2.Sc7#
- 2.Se7#
- 1...f6
- 2.Sdc3#
- 2.Se3#
- 2.Sxb4#
- 2.Sf4#
- 2.Sdb6#
- 2.Sxf6#
- 2.Sc7#
- 1...cxd5!
- threat
- 1.d8R?
- threat
- 2.Sdc3#
- 2.Se3#
- 2.Sxb4#
- 2.Sf4#
- 2.Sdb6#
- 2.Sf6#
- 2.Sc7#
- 2.Se7#
- 1...Bxe5
- 2.Sdc3#
- 2.Se3#
- 2.Sxb4#
- 2.Sf4#
- 2.Sdb6#
- 2.Sc7#
- 2.Se7#
- 2.Bxe5#
- 1...Sxa4
- 2.Qd3#
- 1...Sd3
- 2.Se3#
- 2.Sdb6#
- 2.Qxd3#
- 1...Qg5
- 2.Sf6#
- 2.Se7#
- 1...Qe3
- 2.Sdc3#
- 2.Sxe3#
- 2.Sxb4#
- 2.Sdb6#
- 2.Sf6#
- 2.Sc7#
- 2.Se7#
- 1...Qf4
- 2.Sdc3#
- 2.Sxb4#
- 2.Sxf4#
- 2.Sdb6#
- 2.Sf6#
- 2.Sc7#
- 2.Se7#
- 1...Bf4
- 2.Sdc3#
- 2.Sxb4#
- 2.Sxf4#
- 2.Sdb6#
- 2.Sf6#
- 2.Sc7#
- 2.Se7#
- 1...Sc4
- 2.Qd3#
- 1...b3
- 2.Sdc3#
- 2.Se3#
- 2.Sb4#
- 2.Sf4#
- 2.Sdb6#
- 2.Sf6#
- 2.Sc7#
- 2.Se7#
- 1...f6
- 2.Sdc3#
- 2.Se3#
- 2.Sxb4#
- 2.Sf4#
- 2.Sdb6#
- 2.Sxf6#
- 2.Sc7#
- 1...cxd5!
- threat
- 1.Sdc3?
- Keys
- 1.Sxb4!
- threat
- 2.d8Q#
- 2.d8R#
- 1...Qxc2
- 2.Sxc2#
- 2.d8Q#
- 2.d8R#
- 1...Bxe5
- 2.Bxe5#
- 2.d8Q#
- 2.d8R#
- 1...Sxa4
- 2.Qd3#
- 1...cxb4
- 2.d8Q#
- 2.d8R#
- 1...Sd3
- 2.Qxd3#
- 1...f1Q
- 2.d8Q#
- 2.d8R#
- 1...f1S
- 2.d8Q#
- 2.d8R#
- 1...f1B
- 2.d8Q#
- 2.d8R#
- 1...f1R
- 2.d8Q#
- 2.d8R#
- 1...Qd2
- 2.d8Q#
- 2.d8R#
- 1...Qe3
- 2.d8Q#
- 2.d8R#
- 1...Qf4
- 2.c3#
- 2.d8Q#
- 2.d8R#
- 1...Qg5
- 2.c3#
- 1...Qh6
- 2.c3#
- 2.d8Q#
- 2.d8R#
- 1...Qa1
- 2.c3#
- 2.d8Q#
- 2.d8R#
- 1...Qb1
- 2.c3#
- 2.d8Q#
- 2.d8R#
- 1...Qd1
- 2.c3#
- 2.d8Q#
- 2.d8R#
- 1...Qe1
- 2.d8Q#
- 2.d8R#
- 1...Qf1
- 2.c3#
- 2.d8Q#
- 2.d8R#
- 1...Qg1
- 2.c3#
- 2.d8Q#
- 2.d8R#
- 1...Qh1
- 2.c3#
- 2.d8Q#
- 2.d8R#
- 1...Bg1
- 2.d8Q#
- 2.d8R#
- 1...Bg3
- 2.d8Q#
- 2.d8R#
- 1...Bf4
- 2.d8Q#
- 2.d8R#
- 1...Bb7
- 2.d8Q#
- 2.d8R#
- 1...Sd1
- 2.Qd3#
- 2.d8Q#
- 2.d8R#
- 1...Sc4
- 2.Qd3#
- 1...c4
- 2.d8Q#
- 2.d8R#
- 1...g5
- 2.d8Q#
- 2.d8R#
- 1...f5
- 2.d8Q#
- 2.d8R#
- 1...f6
- 2.d8Q#
- 2.d8R#
- threat
- 1.Sxb4!
FEATURES
- Static
- TYPE = THREAT
- CHANGED MATES = 0
- ADDED MATES = 1
- REMOVED MATES = 2
- Sets
- B(d);OGATE,P_SPINB(d),XP(G)::B(K),XB(d)
- S(b);N_GUARD::QAR1(B)
- S(b);N_GUARD::QAR1(B),XS(b)
- S(b);N_GUARD,XS(C)::QAR1(B)
- Tries
- Try
- S(F);
- Threat
- P=Q
- Vars
- Q(a);XP(A)::P=Q
- S(b);N_GUARD,XS(C)::QAR1(B)
- P(e);XS(F)::P=Q
- S(b);N_GUARD::QAR1(B),XS(b)
- P(c);::P=Q
- Q(a);::P=Q
- B(d);::P=Q
- B(k);::P=Q
- S(b);N_GUARD::QAR1(B)
- P(e);::P=Q
- P(g);::P=Q
- P(i);::P=Q
- P(j);::P=Q
- Refutation
- Q(a);
- Try
- S(F);
- Threat
- P=Q
- Vars
- Q(a);XS(F)::P=Q
- S(b);N_GUARD,XS(C)::QAR1(B)
- P(c);::P=Q
- Q(a);::P=Q
- B(d);::P=Q
- B(k);::P=Q
- S(b);N_GUARD::QAR1(B)
- P(e);::P=Q
- P(g);::P=Q
- P(j);::P=Q
- Refutation
- B(d);
- Try
- S(F);
- Threat
- P=Q
- Vars
- Q(a);XS(F)::P=Q
- Q(a);XP(A)::P=Q
- B(d);XS(F)::P=Q
- S(b);N_GUARD,XS(C)::QAR1(B)
- S(b);N_GUARD::QAR1(B),XS(b)
- P(c);::P=Q
- Q(a);::P=Q
- B(d);::P=Q
- B(k);::P=Q
- S(b);N_GUARD::QAR1(B)
- P(e);::P=Q
- P(g);::P=Q
- P(i);::P=Q
- P(j);::P=Q
- Refutation
- Q(a);
- Try
- S(F);
- Threat
- P=Q
- Vars
- Q(a);XP(A)::P=Q
- S(b);N_GUARD,XS(C)::QAR1(B)
- P(c);::P=Q
- Q(a);::P=Q
- B(d);::P=Q
- B(k);::P=Q
- S(b);N_GUARD::QAR1(B)
- P(e);::P=Q
- P(g);::P=Q
- P(i);::P=Q
- P(j);::P=Q
- Refutation
- Q(a);
- Try
- S(F);
- Threat
- P=Q
- Vars
- Q(a);XP(A)::P=Q
- S(b);N_GUARD,XS(C)::QAR1(B)
- S(b);N_GUARD::QAR1(B),XS(b)
- P(c);::P=Q
- Q(a);::P=Q
- B(d);::P=Q
- B(k);::P=Q
- S(b);N_GUARD::QAR1(B)
- P(e);::P=Q
- P(g);::P=Q
- P(i);::P=Q
- Refutation
- B(d);XP(G)
- Try
- S(F);
- Threat
- P=Q
- Vars
- Q(a);XP(A)::P=Q
- S(b);N_GUARD,XS(C)::QAR1(B)
- S(b);N_GUARD::QAR1(B),XS(b)
- P(c);::P=Q
- Q(a);::P=Q
- B(d);::P=Q
- B(k);::P=Q
- S(b);N_GUARD::QAR1(B)
- P(e);::P=Q
- P(g);::P=Q
- P(i);::P=Q
- P(j);::P=Q
- Refutation
- Q(a);
- Try
- S(F);
- Threat
- P=Q
- Vars
- Q(a);XP(A)::P=Q
- B(d);P_SPINB(d),XP(G)::P=Q
- S(b);N_GUARD,XS(C)::QAR1(B)
- S(b);N_GUARD::QAR1(B),XS(b)
- P(c);::P=Q
- Q(a);::P=Q
- B(d);::P=Q
- B(k);::P=Q
- S(b);N_GUARD::QAR1(B)
- P(e);::P=Q
- P(g);::P=Q
- P(j);::P=Q
- Refutation
- P(j);
- Try
- Q(B);CHECK,XP(c)
- Vars
- K(f);OGATE,P-FLIGHT::QAR1(B),XP(g)
- Refutation
- Q(a);P_SPINQ(a)
- Try
- Q(B);CHECK
- Vars
- K(f);OGATE,P-FLIGHT::QAR1(B),XP(g)
- Refutation
- Q(a);XQ(B)
- Try
- P(H);
- Threat
- DUALS(8)
- Vars
- S(b);N_GUARD,XS(C)::QAR1(B)
- S(b);N_GUARD::QAR1(B)
- Refutation
- P(h);P_SPINP(h),XS(F)
- Try
- P(H);
- Threat
- DUALS(8)
- Vars
- S(b);N_GUARD,XS(C)::QAR1(B)
- S(b);N_GUARD::QAR1(B)
- Refutation
- P(h);P_SPINP(h),XS(F)
- Try
- Actual
- S(F);XP(e)
- Threat
- P=Q
- Vars
- S(b);N_GUARD,XS(C)::QAR1(B)
- P(g);XS(F)::P=Q
- S(b);N_GUARD::QAR1(B),XS(b)
- P(c);::P=Q
- Q(a);::P=Q
- Q(a);N_GUARD::P(A)
- B(d);::P=Q
- B(k);::P=Q
- S(b);N_GUARD::QAR1(B)
- P(g);::P=Q
- P(i);::P=Q
- P(j);::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).