MESON Chess Problem Database
Problem Display
PID: 22112 (K1B4b/p6q/P3R2r/r2k4/6p1/B1p1Q1Pn/1R1NN3/8 w - - 0 1)
Brunner, Erich Anselm
1st Prize, Leipziger Tageblatt, 1924
#2
10 + 9
| 15257 | Kunstwerke auf 64 Feldern (1922-1966) (Ott, Kummer, Schudel) | 1968 |
| 6144 | Greek Solving Championship | 2007 |
SOLUTION
- SOUND
- Sets
- 1...Qb1
- 2.Bb7#
- 1...Qc2
- 2.Bb7#
- 1...Qd3
- 2.Bb7#
- 1...Qe4
- 2.Qxe4#
- 1...Qf5
- 2.Bb7#
- 1...Qg6
- 2.Bb7#
- 1...Qg8
- 2.Qe4#
- 1...Qb7+
- 2.Bxb7#
- 1...Qc7
- 2.Qe4#
- 1...Qd7
- 2.Qe4#
- 1...Qe7
- 2.Qe4#
- 1...Qf7
- 2.Qe4#
- 1...Qg7
- 2.Qe4#
- 1...Rxa3
- 2.Rb5#
- 1...Ra4
- 2.Rb5#
- 2.Qc5#
- 1...Rb5
- 2.Rxb5#
- 1...Rc5
- 2.Qxc5#
- 1...Rxa6
- 2.Rb5#
- 2.Qc5#
- 1...Rh4
- 2.Rd6#
- 1...Rh5
- 2.Rd6#
- 1...Rxe6
- 2.Qxe6#
- 1...Rf6
- 2.Sxc3#
- 2.Qd4#
- 2.Qe5#
- 1...Rg6
- 2.Qe4#
- 1...Bd4
- 2.Qxd4#
- 1...Be5
- 2.Qxe5#
- 1...Bf6
- 2.Rd6#
- 1...Bg7
- 2.Bb7#
- 1...Sg1
- 2.Sf4#
- 1...Sf2
- 2.Sf4#
- 1...Sf4
- 2.Sxf4#
- 1...Sg5
- 2.Sf4#
- 1...cxb2
- 2.Qb3#
- 1...cxd2
- 2.Qb3#
- 1...c2
- 2.Qb3#
- 1...Qb1
- Tries
- 1.Kb8?
- 1...Qb7+
- 2.Bxb7#
- 1...Rb5+
- 2.Rxb5#
- 1...Be5+
- 2.Qxe5#
- 1...Rxa3
- 2.Rb5#
- 1...Rxa6
- 2.Rb5#
- 2.Qc5#
- 1...Rxe6
- 2.Qxe6#
- 1...cxb2
- 2.Qb3#
- 1...cxd2
- 2.Qb3#
- 1...Qb1
- 2.Bb7#
- 1...Qc2
- 2.Bb7#
- 1...Qd3
- 2.Bb7#
- 1...Qe4
- 2.Qxe4#
- 1...Qf5
- 2.Bb7#
- 1...Qg6
- 2.Bb7#
- 1...Qg8
- 2.Qe4#
- 1...Qd7
- 2.Qe4#
- 1...Qe7
- 2.Qe4#
- 1...Qf7
- 2.Qe4#
- 1...Qg7
- 2.Qe4#
- 1...Ra4
- 2.Rb5#
- 2.Qc5#
- 1...Rc5
- 2.Qxc5#
- 1...Rh4
- 2.Rd6#
- 1...Rh5
- 2.Rd6#
- 1...Rf6
- 2.Sxc3#
- 2.Qd4#
- 2.Qe5#
- 1...Rg6
- 2.Qe4#
- 1...Bd4
- 2.Qxd4#
- 1...Bf6
- 2.Rd6#
- 1...Bg7
- 2.Bb7#
- 1...Sg1
- 2.Sf4#
- 1...Sf2
- 2.Sf4#
- 1...Sf4
- 2.Sxf4#
- 1...Sg5
- 2.Sf4#
- 1...c2
- 2.Qb3#
- 1...Qc7+!
- 1...Qb7+
- 1.Bb4?
- 1...Qb7+
- 2.Bxb7#
- 1...Rxa6
- 2.Qc5#
- 1...Rxe6
- 2.Qxe6#
- 1...cxb2
- 2.Qb3#
- 1...cxd2
- 2.Qb3#
- 1...Qb1
- 2.Bb7#
- 1...Qc2
- 2.Bb7#
- 1...Qd3
- 2.Bb7#
- 1...Qe4
- 2.Qxe4#
- 1...Qf5
- 2.Bb7#
- 1...Qg6
- 2.Bb7#
- 1...Qg8
- 2.Qe4#
- 1...Qc7
- 2.Qe4#
- 1...Qd7
- 2.Qe4#
- 1...Qe7
- 2.Qe4#
- 1...Qf7
- 2.Qe4#
- 1...Qg7
- 2.Qe4#
- 1...Ra1
- 2.Qc5#
- 1...Ra2
- 2.Qc5#
- 1...Ra3
- 2.Qc5#
- 1...Ra4
- 2.Qc5#
- 1...Rc5
- 2.Qxc5#
- 1...Rh4
- 2.Rd6#
- 1...Rh5
- 2.Rd6#
- 1...Rf6
- 2.Sxc3#
- 2.Qd4#
- 2.Qe5#
- 1...Rg6
- 2.Qe4#
- 1...Bd4
- 2.Qxd4#
- 1...Be5
- 2.Qxe5#
- 1...Bf6
- 2.Rd6#
- 1...Bg7
- 2.Bb7#
- 1...Sg1
- 2.Sf4#
- 1...Sf2
- 2.Sf4#
- 1...Sf4
- 2.Sxf4#
- 1...Sg5
- 2.Sf4#
- 1...c2
- 2.Qb3#
- 1...Rb5!
- 1...Qb7+
- 1.Be7?
- threat
- 2.Bb7#
- 1...Rxa6
- 2.Rb5#
- 2.Qc5#
- 1...Rxe6
- 2.Qxe6#
- 1...cxd2
- 2.Qb3#
- 1...Qe4
- 2.Qxe4#
- 1...Qg8
- 2.Qe4#
- 1...Rb5
- 2.Rxb5#
- 1...Rc5
- 2.Qxc5#
- 1...Be5
- 2.Qxe5#
- 1...Qxe7!
- threat
- 1.Bf8?
- 1...Qb7+
- 2.Bxb7#
- 1...Rxa6
- 2.Rb5#
- 2.Qc5#
- 1...Rxe6
- 2.Qxe6#
- 1...cxb2
- 2.Qb3#
- 1...cxd2
- 2.Qb3#
- 1...Qb1
- 2.Bb7#
- 1...Qc2
- 2.Bb7#
- 1...Qd3
- 2.Bb7#
- 1...Qe4
- 2.Qxe4#
- 1...Qf5
- 2.Bb7#
- 1...Qg6
- 2.Bb7#
- 1...Qg8
- 2.Bb7#
- 2.Qe4#
- 1...Qc7
- 2.Qe4#
- 1...Qd7
- 2.Qe4#
- 1...Qf7
- 2.Qe4#
- 1...Qg7
- 2.Qe4#
- 1...Ra1
- 2.Rb5#
- 2.Qc5#
- 1...Ra2
- 2.Rb5#
- 2.Qc5#
- 1...Ra3
- 2.Rb5#
- 2.Qc5#
- 1...Ra4
- 2.Rb5#
- 2.Qc5#
- 1...Rb5
- 2.Rxb5#
- 1...Rc5
- 2.Qxc5#
- 1...Rh4
- 2.Rd6#
- 1...Rh5
- 2.Rd6#
- 1...Rf6
- 2.Sxc3#
- 2.Qd4#
- 2.Qe5#
- 1...Rg6
- 2.Qe4#
- 1...Bd4
- 2.Qxd4#
- 1...Be5
- 2.Qxe5#
- 1...Bf6
- 2.Rd6#
- 1...Bg7
- 2.Bb7#
- 1...Sg1
- 2.Sf4#
- 1...Sf2
- 2.Sf4#
- 1...Sf4
- 2.Sxf4#
- 1...Sg5
- 2.Sf4#
- 1...c2
- 2.Qb3#
- 1...Qe7!
- 1...Qb7+
- 1.Bd7?
- threat
- 2.Bc6#
- 1...Qxd7
- 2.Qe4#
- 1...Rxa6
- 2.Rb5#
- 2.Qc5#
- 1...Rxe6
- 2.Qxe6#
- 1...cxd2
- 2.Qb3#
- 1...Qe4
- 2.Qxe4#
- 1...Rc5
- 2.Qxc5#
- 1...Be5
- 2.Rxe5#
- 2.Qxe5#
- 1...Qg8+!
- threat
- 1.Rb1?
- 1...Qb7+
- 2.Bxb7#
- 1...Rxa3
- 2.Rb5#
- 1...Rxa6
- 2.Rb5#
- 2.Qc5#
- 1...Rxe6
- 2.Qxe6#
- 1...cxd2
- 2.Qb3#
- 1...Qc2
- 2.Bb7#
- 1...Qd3
- 2.Bb7#
- 1...Qe4
- 2.Qxe4#
- 1...Qf5
- 2.Bb7#
- 1...Qg6
- 2.Bb7#
- 1...Qg8
- 2.Qe4#
- 1...Qc7
- 2.Qe4#
- 1...Qd7
- 2.Qe4#
- 1...Qe7
- 2.Qe4#
- 1...Qf7
- 2.Qe4#
- 1...Qg7
- 2.Qe4#
- 1...Ra4
- 2.Rb5#
- 2.Qc5#
- 1...Rb5
- 2.Rxb5#
- 1...Rc5
- 2.Qxc5#
- 1...Rh4
- 2.Rd6#
- 1...Rh5
- 2.Rd6#
- 1...Rf6
- 2.Sxc3#
- 2.Qd4#
- 2.Qe5#
- 1...Rg6
- 2.Qe4#
- 1...Bd4
- 2.Qxd4#
- 1...Be5
- 2.Qxe5#
- 1...Bf6
- 2.Rd6#
- 1...Bg7
- 2.Bb7#
- 1...Sg1
- 2.Sf4#
- 1...Sf2
- 2.Sf4#
- 1...Sf4
- 2.Sxf4#
- 1...Sg5
- 2.Sf4#
- 1...c2
- 2.Qb3#
- 1...Qxb1!
- 1...Qb7+
- 1.Rbb6?
- threat
- 2.Rbd6#
- 1...Qb7+
- 2.Bxb7#
- 1...Rxa6
- 2.Rb5#
- 2.Qc5#
- 1...Rxe6
- 2.Bxe6#
- 2.Qxe6#
- 1...cxd2
- 2.Qb3#
- 1...Qc7
- 2.Qe4#
- 1...Qd7
- 2.Qe4#
- 1...Qe7
- 2.Qe4#
- 1...Be5
- 2.Rxe5#
- 2.Qxe5#
- 1...axb6!
- threat
- 1.Rb8?
- 1...Qb7+
- 2.Bxb7#
- 1...Rxa3
- 2.Rb5#
- 1...Rxa6
- 2.Rb5#
- 2.Qc5#
- 1...Rxe6
- 2.Qxe6#
- 1...cxd2
- 2.Qb3#
- 1...Rb5
- 2.Rxb5#
- 1...Qc2
- 2.Bb7#
- 1...Qd3
- 2.Bb7#
- 1...Qe4
- 2.Qxe4#
- 1...Qf5
- 2.Bb7#
- 1...Qg6
- 2.Bb7#
- 1...Qg8
- 2.Bb7#
- 2.Qe4#
- 1...Qc7
- 2.Qe4#
- 1...Qd7
- 2.Qe4#
- 1...Qe7
- 2.Qe4#
- 1...Qf7
- 2.Qe4#
- 1...Qg7
- 2.Qe4#
- 1...Ra4
- 2.Rb5#
- 2.Qc5#
- 1...Rc5
- 2.Qxc5#
- 1...Rh4
- 2.Rd6#
- 1...Rh5
- 2.Rd6#
- 1...Rf6
- 2.Sxc3#
- 2.Qd4#
- 2.Qe5#
- 1...Rg6
- 2.Qe4#
- 1...Bd4
- 2.Qxd4#
- 1...Be5
- 2.Qxe5#
- 1...Bf6
- 2.Rd6#
- 1...Bg7
- 2.Bb7#
- 1...Sg1
- 2.Sf4#
- 1...Sf2
- 2.Sf4#
- 1...Sf4
- 2.Sxf4#
- 1...Sg5
- 2.Sf4#
- 1...c2
- 2.Qb3#
- 1...Qb1!
- 1...Qb7+
- 1.Rf6?
- threat
- 2.Sxc3#
- 2.Qd4#
- 2.Qe6#
- 1...Qb7+
- 2.Bxb7#
- 1...Rxa3
- 2.Rb5#
- 2.Qd4#
- 1...Rxa6
- 2.Sxc3#
- 2.Rb5#
- 2.Qd4#
- 2.Qc5#
- 1...Bxf6
- 2.Qe6#
- 1...cxb2
- 2.Sc3#
- 2.Qd4#
- 2.Qe6#
- 1...cxd2
- 2.Qd4#
- 2.Qe6#
- 1...Qe4
- 2.Qxe4#
- 1...Qc2
- 2.Bb7#
- 2.Qd4#
- 2.Qe6#
- 1...Qd3
- 2.Bb7#
- 2.Qe6#
- 1...Qf5
- 2.Sxc3#
- 2.Bb7#
- 2.Qd4#
- 1...Qg8
- 2.Sxc3#
- 2.Qd4#
- 2.Qe4#
- 1...Qc7
- 2.Qd4#
- 2.Qe4#
- 2.Qe6#
- 1...Qd7
- 2.Sxc3#
- 2.Qd4#
- 2.Qe4#
- 1...Qe7
- 2.Sxc3#
- 2.Qd4#
- 1...Qf7
- 2.Sxc3#
- 2.Qd4#
- 2.Qe4#
- 1...Ra4
- 2.Sxc3#
- 2.Rb5#
- 2.Qc5#
- 2.Qe6#
- 1...Rc5
- 2.Qd4#
- 2.Qxc5#
- 2.Qe6#
- 1...Sf4
- 2.Sxc3#
- 2.Sxf4#
- 2.Qd4#
- 1...Sg5
- 2.Sxc3#
- 2.Sf4#
- 2.Qd4#
- 1...c2
- 2.Sc3#
- 2.Qd4#
- 2.Qe6#
- 1...Rxf6!
- threat
- 1.Qg5+?
- 1...Qf5
- 2.Qd8#
- 1...Be5
- 2.Qxe5#
- 1...Sxg5!
- 1...Qf5
- 1.Qd3+?
- 1...Bd4
- 2.Sxc3#
- 2.Qc4#
- 2.Qxd4#
- 1...Qxd3!
- 1...Bd4
- 1.Qf3+?
- 1...Qe4
- 2.Qxe4#
- 1...gxf3!
- 1...Qe4
- 1.Kb8?
- Keys
- 1.Rb7!
- 1...Qxb7+
- 2.Bxb7#
- 1...Rxa3
- 2.Rb5#
- 1...Rxa6
- 2.Rb5#
- 2.Qc5#
- 1...Rxe6
- 2.Qxe6#
- 1...cxd2
- 2.Qb3#
- 1...Rb5
- 2.Rxb5#
- 1...Qb1
- 2.Rd7#
- 1...Qc2
- 2.Rd7#
- 1...Qd3
- 2.Rd7#
- 1...Qe4
- 2.Qxe4#
- 1...Qf5
- 2.Rd7#
- 1...Qg6
- 2.Rd7#
- 1...Qg8
- 2.Rd7#
- 2.Qe4#
- 1...Qc7
- 2.Qe4#
- 1...Qd7
- 2.Rxd7#
- 2.Qe4#
- 1...Qe7
- 2.Qe4#
- 1...Qf7
- 2.Qe4#
- 1...Qg7
- 2.Qe4#
- 1...Ra4
- 2.Rb5#
- 2.Qc5#
- 1...Rc5
- 2.Qxc5#
- 1...Rh4
- 2.Rd6#
- 1...Rh5
- 2.Rd6#
- 1...Rf6
- 2.Sxc3#
- 2.Qd4#
- 2.Qe5#
- 1...Rg6
- 2.Qe4#
- 1...Bd4
- 2.Qxd4#
- 1...Be5
- 2.Qxe5#
- 1...Bf6
- 2.Rd6#
- 1...Bg7
- 2.Rd7#
- 1...Sg1
- 2.Sf4#
- 1...Sf2
- 2.Sf4#
- 1...Sf4
- 2.Sxf4#
- 1...Sg5
- 2.Sf4#
- 1...c2
- 2.Qb3#
- 1...Qxb7+
- 1.Rb7!
FEATURES
- Static
- TYPE = MUTATE
- CHANGED MATES = 6
- ADDED MATES = 0
- REMOVED MATES = 3
- Sets
- Q(h);N_GUARD::B(J)
- Q(h);N_GUARD::QAB1(E),XQ(h)
- Q(h);N_GUARD,P_PINB(J)::QAB1(E)
- Q(h);CHECK,N_GUARD::B(J),XQ(h)
- Q(h);N_GUARD::QAB1(E)
- R(d);N_GUARD,XB(D)::R(A)
- R(d);N_GUARD::R(A),XR(d)
- R(d);N_GUARD::QAR1(E),XR(d)
- R(f);N_GUARD::R1(H)
- R(f);OGATE,XR(H)::QAB1(E),XR(f)
- R(f);S_CUTQ(h)::QAB1(E)
- B(i);N_GUARD::QAR1(E),XB(i)
- B(i);S_CUTR(f)::R1(H)
- B(i);S_CUTQ(h)::B(J)
- S(b);N_GUARD::S(C)
- S(b);N_GUARD::S(C),XS(b)
- P(a);OGATE,XR(A)::QAB(E)
- P(a);OGATE,XS(B)::QAB(E)
- P(a);OGATE::QAB(E)
- Tries
- Try
- K(I);P-FLIGHT
- Vars
- Q(h);CHECK,N_GUARD::B(J),XQ(h)
- R(d);CHECK,N_GUARD::R(A),XR(d)
- B(i);CHECK,N_GUARD::QAR1(E),XB(i)
- R(d);N_GUARD,XB(D)::R(A)
- R(f);OGATE,XR(H)::QAB1(E),XR(f)
- P(a);OGATE,XR(A)::QAB(E)
- P(a);OGATE,XS(B)::QAB(E)
- Q(h);N_GUARD,P_PINR(A)::B(J)
- Q(h);N_GUARD::B(J)
- Q(h);N_GUARD::QAB1(E),XQ(h)
- Q(h);N_GUARD,P_PINB(J)::QAB1(E)
- Q(h);N_GUARD::QAB1(E)
- R(d);N_GUARD::QAR1(E),XR(d)
- R(f);N_GUARD::R1(H)
- R(f);S_CUTQ(h)::QAB1(E)
- B(i);N_GUARD::QAR1(E),XB(i)
- B(i);S_CUTR(f)::R1(H)
- B(i);S_CUTQ(h)::B(J)
- S(b);N_GUARD::S(C)
- S(b);N_GUARD::S(C),XS(b)
- P(a);OGATE::QAB(E)
- Refutation
- Q(h);CHECK
- Try
- B(D);
- Vars
- Q(h);CHECK,N_GUARD::B(J),XQ(h)
- R(d);N_GUARD,XP(G)::QAR1(E)
- R(f);OGATE,XR(H)::QAB1(E),XR(f)
- P(a);OGATE,XR(A)::QAB(E)
- P(a);OGATE,XS(B)::QAB(E)
- Q(h);N_GUARD::B(J)
- Q(h);N_GUARD::QAB1(E),XQ(h)
- Q(h);N_GUARD,P_PINB(J)::QAB1(E)
- Q(h);N_GUARD::QAB1(E)
- R(d);N_GUARD::QAR1(E)
- R(d);N_GUARD::QAR1(E),XR(d)
- R(f);N_GUARD::R1(H)
- R(f);S_CUTQ(h)::QAB1(E)
- B(i);N_GUARD::QAR1(E),XB(i)
- B(i);S_CUTR(f)::R1(H)
- B(i);S_CUTQ(h)::B(J)
- S(b);N_GUARD::S(C)
- S(b);N_GUARD::S(C),XS(b)
- P(a);OGATE::QAB(E)
- Refutation
- R(d);
- Try
- B(D);
- Threat
- B(J)
- Vars
- R(f);OGATE,XR(H)::QAB1(E),XR(f)
- P(a);OGATE,XS(B)::QAB(E)
- Q(h);N_GUARD::QAB1(E),XQ(h)
- Q(h);N_GUARD,P_PINB(J)::QAB1(E)
- R(d);N_GUARD::R(A),XR(d)
- R(d);N_GUARD::QAR1(E),XR(d)
- B(i);N_GUARD::QAR1(E),XB(i)
- Refutation
- Q(h);XB(D)
- Try
- B(D);
- Vars
- Q(h);CHECK,N_GUARD::B(J),XQ(h)
- R(f);OGATE,XR(H)::QAB1(E),XR(f)
- P(a);OGATE,XR(A)::QAB(E)
- P(a);OGATE,XS(B)::QAB(E)
- Q(h);N_GUARD::B(J)
- Q(h);N_GUARD::QAB1(E),XQ(h)
- Q(h);N_GUARD::QAB1(E)
- R(d);N_GUARD::R(A),XR(d)
- R(d);N_GUARD::QAR1(E),XR(d)
- R(f);N_GUARD::R1(H)
- R(f);S_CUTQ(h)::QAB1(E)
- B(i);N_GUARD::QAR1(E),XB(i)
- B(i);S_CUTR(f)::R1(H)
- B(i);S_CUTQ(h)::B(J)
- S(b);N_GUARD::S(C)
- S(b);N_GUARD::S(C),XS(b)
- P(a);OGATE::QAB(E)
- Refutation
- Q(h);
- Try
- B(J);
- Threat
- B(J)
- Vars
- Q(h);N_GUARD,XB(J)::QAB1(E)
- R(f);OGATE,XR(H)::QAB1(E),XR(f)
- P(a);OGATE,XS(B)::QAB(E)
- Q(h);N_GUARD::QAB1(E),XQ(h)
- R(d);N_GUARD::QAR1(E),XR(d)
- Refutation
- Q(h);CHECK
- Try
- R(A);
- Vars
- Q(h);CHECK,N_GUARD::B(J),XQ(h)
- R(d);N_GUARD,XB(D)::R(A)
- R(f);OGATE,XR(H)::QAB1(E),XR(f)
- P(a);OGATE,XS(B)::QAB(E)
- Q(h);N_GUARD::B(J)
- Q(h);N_GUARD::QAB1(E),XQ(h)
- Q(h);N_GUARD,P_PINB(J)::QAB1(E)
- Q(h);N_GUARD::QAB1(E)
- R(d);N_GUARD::R(A),XR(d)
- R(d);N_GUARD::QAR1(E),XR(d)
- R(f);N_GUARD::R1(H)
- R(f);S_CUTQ(h)::QAB1(E)
- B(i);N_GUARD::QAR1(E),XB(i)
- B(i);S_CUTR(f)::R1(H)
- B(i);S_CUTQ(h)::B(J)
- S(b);N_GUARD::S(C)
- S(b);N_GUARD::S(C),XS(b)
- P(a);OGATE::QAB(E)
- Refutation
- Q(h);XR(A)
- Try
- R(A);
- Threat
- R1(A)
- Vars
- Q(h);CHECK,N_GUARD::B(J),XQ(h)
- P(a);OGATE,XS(B)::QAB(E)
- Q(h);N_GUARD::QAB1(E)
- Refutation
- P(g);P_PINP(G),XR(A)
- Try
- R(A);
- Vars
- Q(h);CHECK,N_GUARD::B(J),XQ(h)
- R(d);N_GUARD,XB(D)::R(A)
- R(f);OGATE,XR(H)::QAB1(E),XR(f)
- P(a);OGATE,XS(B)::QAB(E)
- R(d);N_GUARD::R(A),XR(d)
- Q(h);N_GUARD::B(J)
- Q(h);N_GUARD::QAB1(E),XQ(h)
- Q(h);N_GUARD::QAB1(E)
- R(d);N_GUARD::QAR1(E),XR(d)
- R(f);N_GUARD::R1(H)
- R(f);S_CUTQ(h)::QAB1(E)
- B(i);N_GUARD::QAR1(E),XB(i)
- B(i);S_CUTR(f)::R1(H)
- B(i);S_CUTQ(h)::B(J)
- S(b);N_GUARD::S(C)
- S(b);N_GUARD::S(C),XS(b)
- P(a);OGATE::QAB(E)
- Refutation
- Q(h);
- Try
- R(H);
- Threat
- DUALS(3)
- Vars
- Q(h);CHECK,N_GUARD::B(J),XQ(h)
- B(i);XR(H)::QAB1(E)
- Q(h);N_GUARD::QAB1(E),XQ(h)
- Refutation
- R(f);XR(H)
- Try
- Q(E);CHECK
- Vars
- Q(h);N_GUARD,P_SPINQ(h)::QAR(E)
- B(i);N_GUARD,P_SPINB(i)::QAR1(E),XB(i)
- Refutation
- S(b);XQ(E)
- Try
- Q(E);CHECK
- Refutation
- Q(h);XQ(E)
- Try
- Q(E);CHECK
- Vars
- Q(h);N_GUARD,P_SPINQ(h)::QAB1(E),XQ(h)
- Refutation
- P(c);XQ(E)
- Try
- Actual
- R(A);
- Vars
- Q(h);CHECK,OGATE,XR(A)::B(J),XQ(h)
- R(d);N_GUARD,XB(D)::R(A)
- R(f);OGATE,XR(H)::QAB1(E),XR(f)
- P(a);OGATE,XS(B)::QAB(E)
- R(d);N_GUARD::R(A),XR(d)
- Q(h);N_GUARD::R(A)
- Q(h);N_GUARD::QAB1(E),XQ(h)
- Q(h);N_GUARD::QAB1(E)
- R(d);N_GUARD::QAR1(E),XR(d)
- R(f);N_GUARD::R1(H)
- R(f);S_CUTQ(h)::QAB1(E)
- B(i);N_GUARD::QAR1(E),XB(i)
- B(i);S_CUTR(f)::R1(H)
- B(i);S_CUTQ(h)::R(A)
- S(b);N_GUARD::S(C)
- S(b);N_GUARD::S(C),XS(b)
- P(a);OGATE::QAB(E)
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).