MESON Chess Problem Database
Problem Display
PID: 260784 (8/3p3K/3r1p2/R5NP/Nq1k1Bp1/p4Rn1/B1Q5/2n3b1 w - - 0 1)
Johner, Hans
Neue Zurcher Zeitung, 1936
#2
9 + 10
| 6490 | yacpdb | 2022 |
SOLUTION
- SOUND
- Sets
- 1...Qe1
- 2.Qc4#
- 2.Qc5#
- 1...Qd2
- 2.Qc4#
- 2.Qc5#
- 1...Qc3
- 2.Qxc3#
- 1...Qxa5
- 2.Qc4#
- 1...Qc5
- 2.Qxc5#
- 1...Qb2
- 2.Qc4#
- 2.Qc5#
- 1...Qb3
- 2.Qc5#
- 1...Qxa4
- 2.Rxa4#
- 2.Qxa4#
- 2.Qc3#
- 2.Qc5#
- 1...Qc4
- 2.Qxc4#
- 1...Qb5
- 2.Qc3#
- 1...Qb6
- 2.Qc3#
- 2.Qc4#
- 1...Qb7
- 2.Qc3#
- 2.Qc4#
- 2.Qc5#
- 1...Qb8
- 2.Qc3#
- 2.Qc4#
- 2.Qc5#
- 1...Rd5
- 2.Rxd5#
- 1...Ra6
- 2.Rd5#
- 1...Rb6
- 2.Rd5#
- 1...Rc6
- 2.Rd5#
- 1...Re6
- 2.Rd5#
- 1...Bf2
- 2.Qxf2#
- 1...Bh2
- 2.Be3#
- 2.Qf2#
- 1...Be3
- 2.Bxe3#
- 1...Sxa2
- 2.Rd3#
- 2.Qd3#
- 1...Sce2
- 2.Rd3#
- 2.Qd3#
- 1...Sb3
- 2.Rd3#
- 2.Qd3#
- 1...Sd3
- 2.Rxd3#
- 2.Qxd3#
- 1...Sf1
- 2.Qe4#
- 1...Sh1
- 2.Qe4#
- 1...Sge2
- 2.Qe4#
- 1...Se4
- 2.Qxe4#
- 1...Sf5
- 2.Qe4#
- 1...Sxh5
- 2.Qe4#
- 1...gxf3
- 2.Sxf3#
- 1...fxg5
- 2.Be5#
- 1...f5
- 2.Be5#
- 1...Qe1
- Tries
- 1.Kh8?
- 1...Qxa5
- 2.Qc4#
- 1...Qxa4
- 2.Rxa4#
- 2.Qxa4#
- 2.Qc3#
- 2.Qc5#
- 1...Sxa2
- 2.Rd3#
- 2.Qd3#
- 1...Sxh5
- 2.Qe4#
- 1...gxf3
- 2.Sxf3#
- 1...fxg5
- 2.Be5#
- 1...Qe1
- 2.Qc4#
- 2.Qc5#
- 1...Qd2
- 2.Qc4#
- 2.Qc5#
- 1...Qc3
- 2.Qxc3#
- 1...Qc5
- 2.Qxc5#
- 1...Qb1
- 2.Qc3#
- 2.Qc4#
- 2.Qc5#
- 1...Qb2
- 2.Qc4#
- 2.Qc5#
- 1...Qb3
- 2.Qc5#
- 1...Qc4
- 2.Qxc4#
- 1...Qb5
- 2.Qc3#
- 1...Qb6
- 2.Qc3#
- 2.Qc4#
- 1...Qb7
- 2.Qc3#
- 2.Qc4#
- 2.Qc5#
- 1...Rd5
- 2.Rxd5#
- 1...Ra6
- 2.Rd5#
- 1...Rb6
- 2.Rd5#
- 1...Rc6
- 2.Rd5#
- 1...Re6
- 2.Rd5#
- 1...Bf2
- 2.Qxf2#
- 1...Bh2
- 2.Be3#
- 2.Qf2#
- 1...Be3
- 2.Bxe3#
- 1...Sce2
- 2.Rd3#
- 2.Qd3#
- 1...Sb3
- 2.Rd3#
- 2.Qd3#
- 1...Sd3
- 2.Rxd3#
- 2.Qxd3#
- 1...Sf1
- 2.Qe4#
- 1...Sh1
- 2.Qe4#
- 1...Sge2
- 2.Qe4#
- 1...Se4
- 2.Qxe4#
- 1...Sf5
- 2.Qe4#
- 1...f5
- 2.Be5#
- 1...Qb8+!
- 1...Qxa5
- 1.Sb2?
- 1...Qxa5
- 2.Qc4#
- 1...Qxb2
- 2.Qc4#
- 2.Qc5#
- 1...Sxa2
- 2.Rd3#
- 2.Qd3#
- 1...Sxh5
- 2.Qe4#
- 1...gxf3
- 2.Sxf3#
- 1...fxg5
- 2.Be5#
- 1...Qe1
- 2.Qc4#
- 2.Qc5#
- 1...Qd2
- 2.Qc4#
- 2.Qc5#
- 1...Qc3
- 2.Qxc3#
- 1...Qc5
- 2.Qxc5#
- 1...Qb3
- 2.Qc5#
- 1...Qa4
- 2.Rxa4#
- 2.Qxa4#
- 2.Qc3#
- 2.Qc5#
- 1...Qc4
- 2.Qxc4#
- 1...Qb5
- 2.Qc3#
- 1...Qb6
- 2.Qc3#
- 2.Qc4#
- 1...Qb7
- 2.Qc3#
- 2.Qc4#
- 2.Qc5#
- 1...Qb8
- 2.Qc3#
- 2.Qc4#
- 2.Qc5#
- 1...Rd5
- 2.Rxd5#
- 1...Ra6
- 2.Rd5#
- 1...Rb6
- 2.Rd5#
- 1...Rc6
- 2.Rd5#
- 1...Re6
- 2.Rd5#
- 1...Bf2
- 2.Qxf2#
- 1...Bh2
- 2.Be3#
- 2.Qf2#
- 1...Be3
- 2.Bxe3#
- 1...Sce2
- 2.Rd3#
- 2.Qd3#
- 1...Sb3
- 2.Rd3#
- 2.Qd3#
- 1...Sd3
- 2.Rxd3#
- 2.Qxd3#
- 1...Sf1
- 2.Qe4#
- 1...Sh1
- 2.Qe4#
- 1...Sge2
- 2.Qe4#
- 1...Se4
- 2.Qxe4#
- 1...Sf5
- 2.Qe4#
- 1...f5
- 2.Be5#
- 1...axb2!
- 1...Qxa5
- 1.Sb6?
- 1...Qxa5
- 2.Qc4#
- 1...Qxb6
- 2.Qc3#
- 2.Qc4#
- 1...Rxb6
- 2.Rd5#
- 1...Sxa2
- 2.Rd3#
- 2.Qd3#
- 1...Sxh5
- 2.Qe4#
- 1...gxf3
- 2.Sxf3#
- 1...fxg5
- 2.Be5#
- 1...Qe1
- 2.Qc4#
- 2.Qc5#
- 1...Qd2
- 2.Qc4#
- 2.Qc5#
- 1...Qc3
- 2.Qxc3#
- 1...Qc5
- 2.Qxc5#
- 1...Qb2
- 2.Qc4#
- 2.Qc5#
- 1...Qb3
- 2.Qc5#
- 1...Qa4
- 2.Rxa4#
- 2.Qxa4#
- 2.Qc3#
- 2.Qc5#
- 1...Qc4
- 2.Qxc4#
- 1...Qb5
- 2.Qc3#
- 1...Rd5
- 2.Rxd5#
- 1...Rc6
- 2.Rd5#
- 1...Re6
- 2.Rd5#
- 1...Bf2
- 2.Qxf2#
- 1...Bh2
- 2.Be3#
- 2.Qf2#
- 1...Be3
- 2.Bxe3#
- 1...Sce2
- 2.Rd3#
- 2.Qd3#
- 1...Sb3
- 2.Rd3#
- 2.Qd3#
- 1...Sd3
- 2.Rxd3#
- 2.Qxd3#
- 1...Sf1
- 2.Qe4#
- 1...Sh1
- 2.Qe4#
- 1...Sge2
- 2.Qe4#
- 1...Se4
- 2.Qxe4#
- 1...Sf5
- 2.Qe4#
- 1...f5
- 2.Be5#
- 1...Qb1!
- 1...Qxa5
- 1.Se6+?
- 1...Rxe6
- 2.Rd5#
- 1...dxe6!
- 1...Rxe6
- 1.Bb3?
- 1...Qxa5
- 2.Qc4#
- 1...Qxb3
- 2.Qc5#
- 1...Qxa4
- 2.Rxa4#
- 2.Qc3#
- 2.Qc5#
- 1...Sxb3
- 2.Rd3#
- 2.Qd3#
- 1...Sxh5
- 2.Qe4#
- 1...gxf3
- 2.Sxf3#
- 1...fxg5
- 2.Be5#
- 1...Qe1
- 2.Qc4#
- 2.Qc5#
- 1...Qd2
- 2.Qc4#
- 2.Qc5#
- 1...Qc3
- 2.Qxc3#
- 1...Qc5
- 2.Qxc5#
- 1...Qc4
- 2.Qxc4#
- 1...Qb5
- 2.Qc3#
- 1...Qb6
- 2.Qc3#
- 2.Qc4#
- 1...Qb7
- 2.Qc3#
- 2.Qc4#
- 2.Qc5#
- 1...Qb8
- 2.Qc3#
- 2.Qc4#
- 2.Qc5#
- 1...Rd5
- 2.Rxd5#
- 1...Ra6
- 2.Rd5#
- 1...Rb6
- 2.Rd5#
- 1...Rc6
- 2.Rd5#
- 1...Re6
- 2.Rd5#
- 1...Bf2
- 2.Qxf2#
- 1...Bh2
- 2.Be3#
- 2.Qf2#
- 1...Be3
- 2.Bxe3#
- 1...Sa2
- 2.Rd3#
- 2.Qd3#
- 1...Sce2
- 2.Rd3#
- 2.Qd3#
- 1...Sd3
- 2.Rxd3#
- 2.Qxd3#
- 1...Sf1
- 2.Qe4#
- 1...Sh1
- 2.Qe4#
- 1...Sge2
- 2.Qe4#
- 1...Se4
- 2.Qxe4#
- 1...Sf5
- 2.Qe4#
- 1...f5
- 2.Be5#
- 1...a2!
- 1...Qxa5
- 1.Bxc1?
- threat
- 2.Rd3#
- 2.Qd3#
- 1...gxf3
- 2.Sxf3#
- 1...fxg5
- 2.Qd3#
- 1...Qc5
- 2.Qxc5#
- 1...Qb5
- 2.Qc3#
- 1...Rd5
- 2.Rxd5#
- 1...Qb1
- 2.Rd3#
- 1...Qd2
- 2.Qxd2#
- 2.Qc4#
- 2.Qc5#
- 1...Qc3
- 2.Qxc3#
- 1...Qb3
- 2.Qc5#
- 1...Qc4
- 2.Qxc4#
- 1...Be3
- 2.Bxe3#
- 1...Qxa5!
- threat
- 1.Bxg3?
- threat
- 2.Qe4#
- 1...fxg5
- 2.Be5#
- 1...Qe1
- 2.Qc4#
- 2.Qc5#
- 1...Qb7
- 2.Qc3#
- 2.Qc4#
- 2.Qc5#
- 1...Re6
- 2.Rd5#
- 1...Sd3
- 2.Rxd3#
- 2.Qxd3#
- 1...f5
- 2.Be5#
- 1...Qb1!
- threat
- 1.Bxd6?
- threat
- 2.Rd5#
- 1...Qxa5
- 2.Qc4#
- 1...Qxd6
- 2.Qc3#
- 2.Qc4#
- 1...Sxa2
- 2.Rd3#
- 2.Qd3#
- 1...Qc5
- 2.Qxc5#
- 1...Qb3
- 2.Qc5#
- 1...Qc4
- 2.Qxc4#
- 1...Qb5
- 2.Qc3#
- 1...Qb7
- 2.Qc3#
- 2.Qc4#
- 2.Qc5#
- 1...Sb3
- 2.Rd3#
- 2.Qd3#
- 1...gxf3!
- threat
- 1.Rxg3?
- threat
- 2.Qe4#
- 1...fxg5
- 2.Be5#
- 1...Qe1
- 2.Qc4#
- 2.Qc5#
- 1...Qb7
- 2.Qc3#
- 2.Qc4#
- 2.Qc5#
- 1...Re6
- 2.Rd5#
- 1...Sd3
- 2.Rxd3#
- 2.Qxd3#
- 1...f5
- 2.Be5#
- 1...Qb1!
- threat
- 1.Rb5?
- threat
- 2.Rxb4#
- 1...Qxa4
- 2.Qxa4#
- 2.Qc3#
- 2.Qc5#
- 1...Qxb5
- 2.Qc3#
- 1...Sxa2
- 2.Rd3#
- 2.Qd3#
- 1...Qe1
- 2.Qc4#
- 2.Qc5#
- 1...Qd2
- 2.Qc4#
- 2.Qc5#
- 1...Qc3
- 2.Qxc3#
- 1...Qa5
- 2.Qc4#
- 2.Qc5#
- 1...Qc5
- 2.Qxc5#
- 1...Qb2
- 2.Qc4#
- 2.Qc5#
- 1...Qb3
- 2.Qc5#
- 1...Qc4
- 2.Qxc4#
- 1...Rb6
- 2.Rd5#
- 1...Rc6
- 2.Rd5#
- 1...Sb3
- 2.Rd3#
- 2.Qd3#
- 1...Sd3
- 2.Rxd3#
- 2.Qxd3#
- 1...Qb1!
- threat
- 1.Qd1+?
- 1...Sd3
- 2.Rxd3#
- 2.Qxd3#
- 1...Qd2!
- 1...Sd3
- 1.Qd2+?
- 1...Sd3
- 2.Rxd3#
- 2.Qxd3#
- 1...Qxd2!
- 1...Sd3
- 1.h6?
- 1...Qxa5
- 2.Qc4#
- 1...Qxa4
- 2.Rxa4#
- 2.Qxa4#
- 2.Qc3#
- 2.Qc5#
- 1...Sxa2
- 2.Rd3#
- 2.Qd3#
- 1...gxf3
- 2.Sxf3#
- 1...fxg5
- 2.Be5#
- 1...Qe1
- 2.Qc4#
- 2.Qc5#
- 1...Qd2
- 2.Qc4#
- 2.Qc5#
- 1...Qc3
- 2.Qxc3#
- 1...Qc5
- 2.Qxc5#
- 1...Qb2
- 2.Qc4#
- 2.Qc5#
- 1...Qb3
- 2.Qc5#
- 1...Qc4
- 2.Qxc4#
- 1...Qb5
- 2.Qc3#
- 1...Qb6
- 2.Qc3#
- 2.Qc4#
- 1...Qb7
- 2.Qc3#
- 2.Qc4#
- 2.Qc5#
- 1...Qb8
- 2.Qc3#
- 2.Qc4#
- 2.Qc5#
- 1...Rd5
- 2.Rxd5#
- 1...Ra6
- 2.Rd5#
- 1...Rb6
- 2.Rd5#
- 1...Rc6
- 2.Rd5#
- 1...Re6
- 2.Rd5#
- 1...Bf2
- 2.Qxf2#
- 1...Bh2
- 2.Be3#
- 2.Qf2#
- 1...Be3
- 2.Bxe3#
- 1...Sce2
- 2.Rd3#
- 2.Qd3#
- 1...Sb3
- 2.Rd3#
- 2.Qd3#
- 1...Sd3
- 2.Rxd3#
- 2.Qxd3#
- 1...Sf1
- 2.Qe4#
- 1...Sh1
- 2.Qe4#
- 1...Sge2
- 2.Qe4#
- 1...Se4
- 2.Qxe4#
- 1...Sf5
- 2.Qe4#
- 1...Sh5
- 2.Qe4#
- 1...f5
- 2.Be5#
- 1...Qb1!
- 1...Qxa5
- 1.Kh8?
- Keys
- 1.Rf5!
- 1...Qxa4
- 2.Qxa4#
- 2.Qc3#
- 2.Qc5#
- 1...Sxa2
- 2.Rd3#
- 2.Qd3#
- 1...Sxf5
- 2.Qe4#
- 1...Sxh5
- 2.Qe4#
- 1...gxf3
- 2.Sxf3#
- 1...fxg5
- 2.Be5#
- 1...Qb1
- 2.Qc3#
- 2.Qc4#
- 2.Qc5#
- 1...Qe1
- 2.Qc4#
- 2.Qc5#
- 1...Qd2
- 2.Qc4#
- 2.Qc5#
- 1...Qc3
- 2.Qxc3#
- 1...Qa5
- 2.Qc4#
- 1...Qc5
- 2.Qxc5#
- 1...Qb2
- 2.Qc4#
- 2.Qc5#
- 1...Qb3
- 2.Qc5#
- 1...Qc4
- 2.Qxc4#
- 1...Qb5
- 2.Qc3#
- 1...Qb6
- 2.Qc3#
- 2.Qc4#
- 1...Qb7
- 2.Qc3#
- 2.Qc4#
- 2.Qc5#
- 1...Qb8
- 2.Qc3#
- 2.Qc4#
- 2.Qc5#
- 1...Rd5
- 2.Rxd5#
- 1...Ra6
- 2.Rd5#
- 1...Rb6
- 2.Rd5#
- 1...Rc6
- 2.Rd5#
- 1...Re6
- 2.Rd5#
- 1...Bf2
- 2.Qxf2#
- 1...Bh2
- 2.Be3#
- 2.Qf2#
- 1...Be3
- 2.Bxe3#
- 1...Sce2
- 2.Rd3#
- 2.Qd3#
- 1...Sb3
- 2.Rd3#
- 2.Qd3#
- 1...Sd3
- 2.Rxd3#
- 2.Qxd3#
- 1...Sf1
- 2.Qe4#
- 1...Sh1
- 2.Qe4#
- 1...Sge2
- 2.Qe4#
- 1...Se4
- 2.Qxe4#
- 1...Qxa4
- 1.Rf5!
FEATURES
- Static
- TYPE = INCOMPLETE_BLOCK
- CHANGED MATES = 0
- ADDED MATES = 0
- REMOVED MATES = 1
- Sets
- Q(e);N_GUARD::QAB1(B),XQ(e)
- Q(e);N_GUARD,XR(F)::QAR1(B)
- Q(e);N_GUARD::QAB1(B)
- Q(e);N_GUARD::QAR1(B),XQ(e)
- R(h);N_GUARD::R1(F),XR(h)
- R(h);N_GUARD::R1(F)
- B(b);N_GUARD::QAB(B),XB(b)
- B(b);N_GUARD::B(E),XB(b)
- S(d);N_GUARD::QAR1(B)
- S(d);N_GUARD::QAR1(B),XS(d)
- S(d);N_GUARD,XP(H)::QAR1(B)
- P(g);XR(C)::S(G),XP(g)
- P(i);N_GUARD,XS(G)::B(E)
- P(i);N_GUARD::B(E)
- Tries
- Try
- K(I);P-FLIGHT
- Vars
- Q(e);N_GUARD,XR(F)::QAR1(B)
- S(d);N_GUARD,XP(H)::QAR1(B)
- P(g);XR(C)::S(G),XP(g)
- P(i);N_GUARD,XS(G)::B(E)
- Q(e);N_GUARD::QAB1(B),XQ(e)
- Q(e);N_GUARD::QAB1(B)
- Q(e);N_GUARD::QAR1(B),XQ(e)
- R(h);N_GUARD::R1(F),XR(h)
- R(h);N_GUARD::R1(F)
- B(b);N_GUARD::QAB(B),XB(b)
- B(b);N_GUARD::B(E),XB(b)
- S(d);N_GUARD::QAR1(B)
- S(d);N_GUARD::QAR1(B),XS(d)
- P(i);N_GUARD::B(E)
- Refutation
- Q(e);CHECK
- Try
- S(D);
- Vars
- Q(e);N_GUARD,XR(F)::QAR1(B)
- S(d);N_GUARD,XP(H)::QAR1(B)
- P(g);XR(C)::S(G),XP(g)
- P(i);N_GUARD,XS(G)::B(E)
- Q(e);N_GUARD::QAB1(B),XQ(e)
- Q(e);N_GUARD::QAB1(B)
- Q(e);N_GUARD::QAR1(B),XQ(e)
- R(h);N_GUARD::R1(F),XR(h)
- R(h);N_GUARD::R1(F)
- B(b);N_GUARD::QAB(B),XB(b)
- B(b);N_GUARD::B(E),XB(b)
- S(d);N_GUARD::QAR1(B)
- S(d);N_GUARD::QAR1(B),XS(d)
- P(i);N_GUARD::B(E)
- Refutation
- P(c);XS(D)
- Try
- S(D);
- Vars
- Q(e);N_GUARD,XR(F)::QAR1(B)
- R(h);N_GUARD,XS(D)::R1(F)
- S(d);N_GUARD,XP(H)::QAR1(B)
- P(g);XR(C)::S(G),XP(g)
- P(i);N_GUARD,XS(G)::B(E)
- Q(e);N_GUARD::QAB1(B),XQ(e)
- Q(e);N_GUARD::QAB1(B)
- Q(e);N_GUARD::QAR1(B),XQ(e)
- R(h);N_GUARD::R1(F),XR(h)
- R(h);N_GUARD::R1(F)
- B(b);N_GUARD::QAB(B),XB(b)
- B(b);N_GUARD::B(E),XB(b)
- S(d);N_GUARD::QAR1(B)
- S(d);N_GUARD::QAR1(B),XS(d)
- P(i);N_GUARD::B(E)
- Refutation
- Q(e);P_PINQ(B)
- Try
- S(G);CHECK
- Vars
- R(h);XS(G)::R1(F)
- Refutation
- P(j);XS(G)
- Try
- B(A);
- Vars
- Q(e);N_GUARD,XR(F)::QAR1(B)
- Q(e);N_GUARD,XB(A)::QAB1(B)
- S(d);N_GUARD,XP(H)::QAR1(B)
- P(g);XR(C)::S(G),XP(g)
- P(i);N_GUARD,XS(G)::B(E)
- Q(e);N_GUARD::QAB1(B),XQ(e)
- Q(e);N_GUARD::QAR1(B),XQ(e)
- Q(e);N_GUARD::QAB1(B)
- R(h);N_GUARD::R1(F),XR(h)
- R(h);N_GUARD::R1(F)
- B(b);N_GUARD::QAB(B),XB(b)
- B(b);N_GUARD::B(E),XB(b)
- S(d);N_GUARD::QAR1(B)
- S(d);N_GUARD::QAR1(B),XS(d)
- P(i);N_GUARD::B(E)
- Refutation
- P(c);
- Try
- B(E);XS(a)
- Threat
- DUALS(2)
- Vars
- P(g);XR(C)::S(G),XP(g)
- P(i);XS(G)::QAR1(B)
- Q(e);N_GUARD::QAB1(B),XQ(e)
- Q(e);N_GUARD::QAB1(B)
- R(h);N_GUARD::R1(F),XR(h)
- Q(e);P_PINQ(B)::R1(C)
- Q(e);N_GUARD::QAR1(B),XQ(e)
- B(b);N_GUARD::B(E),XB(b)
- Refutation
- Q(e);XR(F)
- Try
- B(E);XS(d)
- Threat
- QAR1(B)
- Vars
- P(i);N_GUARD,XS(G)::B(E)
- R(h);N_GUARD::R1(F)
- P(i);N_GUARD::B(E)
- Refutation
- Q(e);P_PINQ(B)
- Try
- B(E);XR(h)
- Threat
- R1(F)
- Vars
- Q(e);N_GUARD,XR(F)::QAR1(B)
- Q(e);N_GUARD::QAB1(B),XQ(e)
- Q(e);N_GUARD::QAB1(B)
- Q(e);N_GUARD::QAR1(B),XQ(e)
- Refutation
- P(g);XR(C)
- Try
- R(C);XS(d)
- Threat
- QAR1(B)
- Vars
- P(i);N_GUARD,XS(G)::B(E)
- R(h);N_GUARD::R1(F)
- P(i);N_GUARD::B(E)
- Refutation
- Q(e);P_PINQ(B)
- Try
- R(F);
- Threat
- R(F),XQ(e)
- Vars
- Q(e);N_GUARD,XR(F)::QAB1(B)
- Q(e);N_GUARD::QAB1(B),XQ(e)
- Q(e);N_GUARD::QAB1(B)
- Q(e);N_GUARD::QAR1(B),XQ(e)
- R(h);N_GUARD::R1(F)
- Refutation
- Q(e);P_PINQ(B)
- Try
- Q(B);CHECK
- Refutation
- Q(e);P_SPINQ(e)
- Try
- Q(B);CHECK
- Refutation
- Q(e);XQ(B)
- Try
- P(H);
- Vars
- Q(e);N_GUARD,XR(F)::QAR1(B)
- P(g);XR(C)::S(G),XP(g)
- P(i);N_GUARD,XS(G)::B(E)
- Q(e);N_GUARD::QAB1(B),XQ(e)
- Q(e);N_GUARD::QAB1(B)
- Q(e);N_GUARD::QAR1(B),XQ(e)
- R(h);N_GUARD::R1(F),XR(h)
- R(h);N_GUARD::R1(F)
- B(b);N_GUARD::QAB(B),XB(b)
- B(b);N_GUARD::B(E),XB(b)
- S(d);N_GUARD::QAR1(B)
- S(d);N_GUARD::QAR1(B),XS(d)
- P(i);N_GUARD::B(E)
- Refutation
- Q(e);P_PINQ(B)
- Try
- Actual
- R(F);
- Vars
- S(d);N_GUARD,XR(F)::QAR1(B)
- S(d);N_GUARD,XP(H)::QAR1(B)
- P(g);XR(C)::S(G),XP(g)
- P(i);N_GUARD,XS(G)::B(E)
- Q(e);N_GUARD::QAB1(B),XQ(e)
- Q(e);N_GUARD::QAR1(B)
- Q(e);N_GUARD::QAB1(B)
- Q(e);N_GUARD::QAR1(B),XQ(e)
- R(h);N_GUARD::R1(F),XR(h)
- R(h);N_GUARD::R1(F)
- B(b);N_GUARD::QAB(B),XB(b)
- B(b);N_GUARD::B(E),XB(b)
- S(d);N_GUARD::QAR1(B)
- S(d);N_GUARD::QAR1(B),XS(d)
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).