MESON Chess Problem Database
Problem Display
PID: 287115 (4R3/4R2P/Npprp1p1/1P1k2pq/6NP/2PP1KQr/4P2p/3b2bB w - - 0 1)
Sumner, Christopher Richard Benson
Grantham Journal, 1924
(First published on Sat Sep 27 1924)
#2
13 + 12
| 15239 | Valois Notebooks | 2026 |
SOLUTION
- SOUND
- Sets
- 1...Qxg4+
- 2.Kxg4#
- 1...Qxh4
- 2.Sf6#
- 1...Qh6
- 2.Sf6#
- 1...Qxh7
- 2.Sf6#
- 1...Rxg3+
- 2.Kxg3#
- 1...Rxh4
- 2.Qe5#
- 1...Rd7
- 2.Rxd7#
- 1...Rd8
- 2.Rxd8#
- 1...Bc2
- 2.e4#
- 1...Bxe2+
- 2.Kxe2#
- 1...Bb3
- 2.e4#
- 1...Ba4
- 2.e4#
- 1...Bf2
- 2.Kxf2#
- 1...Be3
- 2.Kxe3#
- 1...Bd4
- 2.c4#
- 1...Bc5
- 2.Sc7#
- 1...gxh4
- 2.Kf4#
- 1...c5
- 2.Sc7#
- 1...e5
- 2.Rxe5#
- 1...Qxg4+
- Tries
- 1.Kg2?
- threat
- 2.Kf1#
- 2.Kxh3#
- 2.Sf6#
- 2.Qe5#
- 2.e4#
- 1...Rxg3+
- 2.Kxg3#
- 1...Qxh4
- 2.Kf1#
- 2.Sf6#
- 2.Qe5#
- 2.e4#
- 1...Rxh4
- 2.Kf1#
- 2.Sf6#
- 2.Qe5#
- 2.Qf3#
- 2.e4#
- 1...Bxe2
- 2.Sf6#
- 2.Qe5#
- 1...gxh4
- 2.Kf1#
- 2.Kxh3#
- 2.Sf6#
- 2.e4#
- 1...cxb5
- 2.Kf1#
- 2.Kxh3#
- 1...Be3
- 2.Kf1#
- 2.Kxh3#
- 2.Sxe3#
- 2.Sf6#
- 2.Qe5#
- 1...Bd4
- 2.Kf1#
- 2.Kxh3#
- 2.e4#
- 2.c4#
- 1...e5
- 2.Rxe5#
- 2.Qxe5#
- 2.e4#
- 1...Qxg4!
- threat
- 1.Ra7?
- 1...Qxg4+
- 2.Kxg4#
- 1...Rxg3+
- 2.Kxg3#
- 1...Bxe2+
- 2.Kxe2#
- 1...Qxh4
- 2.Sf6#
- 1...Qxh7
- 2.Sf6#
- 1...Rxh4
- 2.Qe5#
- 1...gxh4
- 2.Kf4#
- 1...Qh6
- 2.Sf6#
- 1...Rd7
- 2.Rxd7#
- 1...Rd8
- 2.Rxd8#
- 1...Bc2
- 2.e4#
- 1...Bb3
- 2.e4#
- 1...Ba4
- 2.e4#
- 1...Bf2
- 2.Kxf2#
- 1...Be3
- 2.Kxe3#
- 1...Bd4
- 2.c4#
- 1...Bc5
- 2.Sc7#
- 1...c5
- 2.Sc7#
- 1...e5
- 2.Rxe5#
- 1...cxb5!
- 1...Qxg4+
- 1.Rb7?
- 1...Qxg4+
- 2.Kxg4#
- 1...Rxg3+
- 2.Kxg3#
- 1...Bxe2+
- 2.Kxe2#
- 1...Qxh4
- 2.Sf6#
- 1...Qxh7
- 2.Sf6#
- 1...Rxh4
- 2.Qe5#
- 1...gxh4
- 2.Kf4#
- 1...Qh6
- 2.Sf6#
- 1...Rd7
- 2.Rxd7#
- 1...Rd8
- 2.Rxd8#
- 1...Bc2
- 2.e4#
- 1...Bb3
- 2.e4#
- 1...Ba4
- 2.e4#
- 1...Bf2
- 2.Kxf2#
- 1...Be3
- 2.Kxe3#
- 1...Bd4
- 2.c4#
- 1...Bc5
- 2.Sc7#
- 1...c5
- 2.Sc7#
- 1...e5
- 2.Rxe5#
- 1...cxb5!
- 1...Qxg4+
- 1.Rd7?
- threat
- 2.Rxd6#
- 1...Qxg4+
- 2.Kxg4#
- 1...Rxg3+
- 2.Kxg3#
- 1...Bxe2+
- 2.Kxe2#
- 1...Bc5
- 2.Sc7#
- 1...e5
- 2.Rxe5#
- 1...Rxd7!
- threat
- 1.Rf7?
- 1...Qxg4+
- 2.Kxg4#
- 1...Rxg3+
- 2.Kxg3#
- 1...Bxe2+
- 2.Kxe2#
- 1...Qxh4
- 2.Sf6#
- 1...Qxh7
- 2.Sf6#
- 1...Rxh4
- 2.Qe5#
- 1...gxh4
- 2.Kf4#
- 1...Qh6
- 2.Sf6#
- 1...Rd7
- 2.Rxd7#
- 1...Rd8
- 2.Rxd8#
- 1...Bc2
- 2.e4#
- 1...Bb3
- 2.e4#
- 1...Ba4
- 2.e4#
- 1...Bf2
- 2.Kxf2#
- 1...Be3
- 2.Kxe3#
- 1...Bd4
- 2.c4#
- 1...Bc5
- 2.Sc7#
- 1...c5
- 2.Sc7#
- 1...e5
- 2.Rxe5#
- 1...cxb5!
- 1...Qxg4+
- 1.Rg7?
- 1...Qxg4+
- 2.Kxg4#
- 1...Rxg3+
- 2.Kxg3#
- 1...Bxe2+
- 2.Kxe2#
- 1...Qxh4
- 2.Sf6#
- 1...Qxh7
- 2.Sf6#
- 1...Rxh4
- 2.Qe5#
- 1...gxh4
- 2.Kf4#
- 1...Qh6
- 2.Sf6#
- 1...Rd7
- 2.Rxd7#
- 1...Rd8
- 2.Rxd8#
- 1...Bc2
- 2.e4#
- 1...Bb3
- 2.e4#
- 1...Ba4
- 2.e4#
- 1...Bf2
- 2.Kxf2#
- 1...Be3
- 2.Kxe3#
- 1...Bd4
- 2.c4#
- 1...Bc5
- 2.Sc7#
- 1...c5
- 2.Sc7#
- 1...e5
- 2.Rxe5#
- 1...cxb5!
- 1...Qxg4+
- 1.Ra8?
- 1...Qxg4+
- 2.Kxg4#
- 1...Rxg3+
- 2.Kxg3#
- 1...Bxe2+
- 2.Kxe2#
- 1...Qxh4
- 2.Sf6#
- 1...Qxh7
- 2.Sf6#
- 1...Rxh4
- 2.Qe5#
- 1...gxh4
- 2.Kf4#
- 1...Qh6
- 2.Sf6#
- 1...Rd7
- 2.Rxd7#
- 1...Rd8
- 2.Rxd8#
- 1...Bc2
- 2.e4#
- 1...Bb3
- 2.e4#
- 1...Ba4
- 2.e4#
- 1...Bf2
- 2.Kxf2#
- 1...Be3
- 2.Kxe3#
- 1...Bd4
- 2.c4#
- 1...Bc5
- 2.Sc7#
- 1...c5
- 2.Sc7#
- 1...e5
- 2.Rxe5#
- 1...cxb5!
- 1...Qxg4+
- 1.Rb8?
- 1...Qxg4+
- 2.Kxg4#
- 1...Rxg3+
- 2.Kxg3#
- 1...Bxe2+
- 2.Kxe2#
- 1...Qxh4
- 2.Sf6#
- 1...Qxh7
- 2.Sf6#
- 1...Rxh4
- 2.Qe5#
- 1...gxh4
- 2.Kf4#
- 1...Qh6
- 2.Sf6#
- 1...Rd7
- 2.Rxd7#
- 1...Rd8
- 2.Rxd8#
- 1...Bc2
- 2.e4#
- 1...Bb3
- 2.e4#
- 1...Ba4
- 2.e4#
- 1...Bf2
- 2.Kxf2#
- 1...Be3
- 2.Kxe3#
- 1...Bd4
- 2.c4#
- 1...Bc5
- 2.Sc7#
- 1...c5
- 2.Sc7#
- 1...e5
- 2.Rxe5#
- 1...cxb5!
- 1...Qxg4+
- 1.Rd8?
- threat
- 2.Rxd6#
- 1...Qxg4+
- 2.Kxg4#
- 1...Rxg3+
- 2.Kxg3#
- 1...Bxe2+
- 2.Kxe2#
- 1...Rd7
- 2.Rexd7#
- 2.Rdxd7#
- 1...Bc5
- 2.Sc7#
- 1...e5
- 2.Rxe5#
- 1...Rxd8!
- threat
- 1.Rf8?
- 1...Qxg4+
- 2.Kxg4#
- 1...Rxg3+
- 2.Kxg3#
- 1...Bxe2+
- 2.Kxe2#
- 1...Qxh4
- 2.Sf6#
- 1...Qxh7
- 2.Sf6#
- 1...Rxh4
- 2.Qe5#
- 1...gxh4
- 2.Kf4#
- 1...Qh6
- 2.Sf6#
- 1...Rd7
- 2.Rxd7#
- 1...Rd8
- 2.Rxd8#
- 1...Bc2
- 2.e4#
- 1...Bb3
- 2.e4#
- 1...Ba4
- 2.e4#
- 1...Bf2
- 2.Kxf2#
- 1...Be3
- 2.Kxe3#
- 1...Bd4
- 2.c4#
- 1...Bc5
- 2.Sc7#
- 1...c5
- 2.Sc7#
- 1...e5
- 2.Rxe5#
- 1...cxb5!
- 1...Qxg4+
- 1.Rg8?
- 1...Qxg4+
- 2.Kxg4#
- 1...Rxg3+
- 2.Kxg3#
- 1...Bxe2+
- 2.Kxe2#
- 1...Qxh4
- 2.Sf6#
- 1...Qxh7
- 2.Sf6#
- 1...Rxh4
- 2.Qe5#
- 1...gxh4
- 2.Kf4#
- 1...Qh6
- 2.Sf6#
- 1...Rd7
- 2.Rxd7#
- 1...Rd8
- 2.Rxd8#
- 1...Bc2
- 2.e4#
- 1...Bb3
- 2.e4#
- 1...Ba4
- 2.e4#
- 1...Bf2
- 2.Kxf2#
- 1...Be3
- 2.Kxe3#
- 1...Bd4
- 2.c4#
- 1...Bc5
- 2.Sc7#
- 1...c5
- 2.Sc7#
- 1...e5
- 2.Rxe5#
- 1...cxb5!
- 1...Qxg4+
- 1.Rh8?
- 1...Qxg4+
- 2.Kxg4#
- 1...Rxg3+
- 2.Kxg3#
- 1...Bxe2+
- 2.Kxe2#
- 1...Qxh4
- 2.Sf6#
- 1...Qxh7
- 2.Sf6#
- 1...Rxh4
- 2.Qe5#
- 1...gxh4
- 2.Kf4#
- 1...Qh6
- 2.Sf6#
- 1...Rd7
- 2.Rxd7#
- 1...Rd8
- 2.Rxd8#
- 1...Bc2
- 2.e4#
- 1...Bb3
- 2.e4#
- 1...Ba4
- 2.e4#
- 1...Bf2
- 2.Kxf2#
- 1...Be3
- 2.Kxe3#
- 1...Bd4
- 2.c4#
- 1...Bc5
- 2.Sc7#
- 1...c5
- 2.Sc7#
- 1...e5
- 2.Rxe5#
- 1...cxb5!
- 1...Qxg4+
- 1.hxg5?
- threat
- 2.Kf4#
- 1...Qxg4+
- 2.Kxg4#
- 1...Rxg3+
- 2.Kxg3#
- 1...Bxe2+
- 2.Kxe2#
- 1...Rd7
- 2.Rxd7#
- 1...Rd8
- 2.Rxd8#
- 1...Be3
- 2.Kxe3#
- 1...e5
- 2.Rxe5#
- 1...Qxg5!
- threat
- 1.Kg2?
- Keys
- 1.Rc8!
- 1...Qxg4+
- 2.Kxg4#
- 1...Rxg3+
- 2.Kxg3#
- 1...Bxe2+
- 2.Kxe2#
- 1...Qxh4
- 2.Sf6#
- 1...Qxh7
- 2.Sf6#
- 1...Rxh4
- 2.Qe5#
- 1...gxh4
- 2.Kf4#
- 1...cxb5
- 2.Sb4#
- 1...Qh6
- 2.Sf6#
- 1...Rd7
- 2.Rxd7#
- 1...Rd8
- 2.Rxd8#
- 1...Bc2
- 2.e4#
- 1...Bb3
- 2.e4#
- 1...Ba4
- 2.e4#
- 1...Bf2
- 2.Kxf2#
- 1...Be3
- 2.Kxe3#
- 1...Bd4
- 2.c4#
- 1...Bc5
- 2.Sc7#
- 1...c5
- 2.Sc7#
- 1...e5
- 2.Rxe5#
- 1...Qxg4+
- 1.Rc8!
FEATURES
- Static
- TYPE = INCOMPLETE_BLOCK
- CHANGED MATES = 0
- ADDED MATES = 1
- REMOVED MATES = 0
- Sets
- Q(g);CHECK,XS(G)::B(A)+K(E),XQ(g)
- Q(g);N_PINS(G),XP(H)::S(G)
- Q(g);N_PINS(G)::S(G)
- Q(g);N_PINS(G),XP(L)::S(G)
- R(d);CHECK,XQ(F)::B(A)+K(E),XR(d)
- R(d);N_PINQ(F),XP(H)::QAR1(F)
- R(j);OGATEB::R(K),XR(j)
- R(j);OGATEB::R(M),XR(j)
- B(a);N_PINP(B)::P(B)
- B(a);CHECK,XP(B)::B(A)+K(E),XB(a)
- B(b);::B(A)+K(E),XB(b)
- B(b);SBLOCK::P(C)
- B(b);SBLOCK::S(J)
- P(f);XP(H)::B(A)+K(E)
- P(i);SBLOCK::S(J)
- P(k);OGATE::R1(K),XP(k)
- Tries
- Try
- K(E);N_SPINP(B),N_SPINQ(F),N_SPINS(G),S_FLIGHT
- Threat
- DUALS(5)
- Vars
- R(d);CHECK,XQ(F)::B(A)+K(E),XR(d)
- Refutation
- Q(g);P_PINQ(F),XS(G)
- Try
- R(K);
- Vars
- Q(g);CHECK,XS(G)::B(A)+K(E),XQ(g)
- R(d);CHECK,XQ(F)::B(A)+K(E),XR(d)
- B(a);CHECK,XP(B)::B(A)+K(E),XB(a)
- Q(g);N_PINS(G),XP(H)::S(G)
- Q(g);N_PINS(G),XP(L)::S(G)
- R(d);N_PINQ(F),XP(H)::QAR1(F)
- P(f);XP(H)::B(A)+K(E)
- Q(g);N_PINS(G)::S(G)
- R(j);OGATEB::R(K),XR(j)
- R(j);OGATEB::R(M),XR(j)
- B(a);N_PINP(B)::P(B)
- B(b);::B(A)+K(E),XB(b)
- B(b);SBLOCK::P(C)
- B(b);SBLOCK::S(J)
- P(i);SBLOCK::S(J)
- P(k);OGATE::R1(M),XP(k)
- Refutation
- P(i);XP(I)
- Try
- R(K);
- Vars
- Q(g);CHECK,XS(G)::B(A)+K(E),XQ(g)
- R(d);CHECK,XQ(F)::B(A)+K(E),XR(d)
- B(a);CHECK,XP(B)::B(A)+K(E),XB(a)
- Q(g);N_PINS(G),XP(H)::S(G)
- Q(g);N_PINS(G),XP(L)::S(G)
- R(d);N_PINQ(F),XP(H)::QAR1(F)
- P(f);XP(H)::B(A)+K(E)
- Q(g);N_PINS(G)::S(G)
- R(j);OGATEB::R(K),XR(j)
- R(j);OGATEB::R(M),XR(j)
- B(a);N_PINP(B)::P(B)
- B(b);::B(A)+K(E),XB(b)
- B(b);SBLOCK::P(C)
- B(b);SBLOCK::S(J)
- P(i);SBLOCK::S(J)
- P(k);OGATE::R1(M),XP(k)
- Refutation
- P(i);XP(I)
- Try
- R(K);P_PINR(j)
- Threat
- R1(K),XR(j)
- Vars
- Q(g);CHECK,XS(G)::B(A)+K(E),XQ(g)
- R(d);CHECK,XQ(F)::B(A)+K(E),XR(d)
- B(a);CHECK,XP(B)::B(A)+K(E),XB(a)
- B(b);SBLOCK::S(J)
- P(k);OGATE::R1(M),XP(k)
- Refutation
- R(j);N_SPINR(j),XR(K)
- Try
- R(K);
- Vars
- Q(g);CHECK,XS(G)::B(A)+K(E),XQ(g)
- R(d);CHECK,XQ(F)::B(A)+K(E),XR(d)
- B(a);CHECK,XP(B)::B(A)+K(E),XB(a)
- Q(g);N_PINS(G),XP(H)::S(G)
- Q(g);N_PINS(G),XP(L)::S(G)
- R(d);N_PINQ(F),XP(H)::QAR1(F)
- P(f);XP(H)::B(A)+K(E)
- Q(g);N_PINS(G)::S(G)
- R(j);OGATEB::R(K),XR(j)
- R(j);OGATEB::R(M),XR(j)
- B(a);N_PINP(B)::P(B)
- B(b);::B(A)+K(E),XB(b)
- B(b);SBLOCK::P(C)
- B(b);SBLOCK::S(J)
- P(i);SBLOCK::S(J)
- P(k);OGATE::R1(M),XP(k)
- Refutation
- P(i);XP(I)
- Try
- R(K);
- Vars
- Q(g);CHECK,XS(G)::B(A)+K(E),XQ(g)
- R(d);CHECK,XQ(F)::B(A)+K(E),XR(d)
- B(a);CHECK,XP(B)::B(A)+K(E),XB(a)
- Q(g);N_PINS(G),XP(H)::S(G)
- Q(g);N_PINS(G),XP(L)::S(G)
- R(d);N_PINQ(F),XP(H)::QAR1(F)
- P(f);XP(H)::B(A)+K(E)
- Q(g);N_PINS(G)::S(G)
- R(j);OGATEB::R(K),XR(j)
- R(j);OGATEB::R(M),XR(j)
- B(a);N_PINP(B)::P(B)
- B(b);::B(A)+K(E),XB(b)
- B(b);SBLOCK::P(C)
- B(b);SBLOCK::S(J)
- P(i);SBLOCK::S(J)
- P(k);OGATE::R1(M),XP(k)
- Refutation
- P(i);XP(I)
- Try
- R(M);
- Vars
- Q(g);CHECK,XS(G)::B(A)+K(E),XQ(g)
- R(d);CHECK,XQ(F)::B(A)+K(E),XR(d)
- B(a);CHECK,XP(B)::B(A)+K(E),XB(a)
- Q(g);N_PINS(G),XP(H)::S(G)
- Q(g);N_PINS(G),XP(L)::S(G)
- R(d);N_PINQ(F),XP(H)::QAR1(F)
- P(f);XP(H)::B(A)+K(E)
- Q(g);N_PINS(G)::S(G)
- R(j);OGATEB::R(K),XR(j)
- R(j);OGATEB::R(M),XR(j)
- B(a);N_PINP(B)::P(B)
- B(b);::B(A)+K(E),XB(b)
- B(b);SBLOCK::P(C)
- B(b);SBLOCK::S(J)
- P(i);SBLOCK::S(J)
- P(k);OGATE::R1(K),XP(k)
- Refutation
- P(i);XP(I)
- Try
- R(M);
- Vars
- Q(g);CHECK,XS(G)::B(A)+K(E),XQ(g)
- R(d);CHECK,XQ(F)::B(A)+K(E),XR(d)
- B(a);CHECK,XP(B)::B(A)+K(E),XB(a)
- Q(g);N_PINS(G),XP(H)::S(G)
- Q(g);N_PINS(G),XP(L)::S(G)
- R(d);N_PINQ(F),XP(H)::QAR1(F)
- P(f);XP(H)::B(A)+K(E)
- Q(g);N_PINS(G)::S(G)
- R(j);OGATEB::R(K),XR(j)
- R(j);OGATEB::R(M),XR(j)
- B(a);N_PINP(B)::P(B)
- B(b);::B(A)+K(E),XB(b)
- B(b);SBLOCK::P(C)
- B(b);SBLOCK::S(J)
- P(i);SBLOCK::S(J)
- P(k);OGATE::R1(K),XP(k)
- Refutation
- P(i);XP(I)
- Try
- R(M);P_PINR(j)
- Threat
- R1(M),XR(j)
- Vars
- Q(g);CHECK,XS(G)::B(A)+K(E),XQ(g)
- R(d);CHECK,XQ(F)::B(A)+K(E),XR(d)
- B(a);CHECK,XP(B)::B(A)+K(E),XB(a)
- B(b);SBLOCK::S(J)
- P(k);OGATE::R1(K),XP(k)
- Refutation
- R(j);N_SPINR(j),XR(M)
- Try
- R(M);
- Vars
- Q(g);CHECK,XS(G)::B(A)+K(E),XQ(g)
- R(d);CHECK,XQ(F)::B(A)+K(E),XR(d)
- B(a);CHECK,XP(B)::B(A)+K(E),XB(a)
- Q(g);N_PINS(G),XP(H)::S(G)
- Q(g);N_PINS(G),XP(L)::S(G)
- R(d);N_PINQ(F),XP(H)::QAR1(F)
- P(f);XP(H)::B(A)+K(E)
- Q(g);N_PINS(G)::S(G)
- R(j);OGATEB::R(K),XR(j)
- R(j);OGATEB::R(M),XR(j)
- B(a);N_PINP(B)::P(B)
- B(b);::B(A)+K(E),XB(b)
- B(b);SBLOCK::P(C)
- B(b);SBLOCK::S(J)
- P(i);SBLOCK::S(J)
- P(k);OGATE::R1(K),XP(k)
- Refutation
- P(i);XP(I)
- Try
- R(M);
- Vars
- Q(g);CHECK,XS(G)::B(A)+K(E),XQ(g)
- R(d);CHECK,XQ(F)::B(A)+K(E),XR(d)
- B(a);CHECK,XP(B)::B(A)+K(E),XB(a)
- Q(g);N_PINS(G),XP(H)::S(G)
- Q(g);N_PINS(G),XP(L)::S(G)
- R(d);N_PINQ(F),XP(H)::QAR1(F)
- P(f);XP(H)::B(A)+K(E)
- Q(g);N_PINS(G)::S(G)
- R(j);OGATEB::R(K),XR(j)
- R(j);OGATEB::R(M),XR(j)
- B(a);N_PINP(B)::P(B)
- B(b);::B(A)+K(E),XB(b)
- B(b);SBLOCK::P(C)
- B(b);SBLOCK::S(J)
- P(i);SBLOCK::S(J)
- P(k);OGATE::R1(K),XP(k)
- Refutation
- P(i);XP(I)
- Try
- R(M);
- Vars
- Q(g);CHECK,XS(G)::B(A)+K(E),XQ(g)
- R(d);CHECK,XQ(F)::B(A)+K(E),XR(d)
- B(a);CHECK,XP(B)::B(A)+K(E),XB(a)
- Q(g);N_PINS(G),XP(H)::S(G)
- Q(g);N_PINS(G),XP(L)::S(G)
- R(d);N_PINQ(F),XP(H)::QAR1(F)
- P(f);XP(H)::B(A)+K(E)
- Q(g);N_PINS(G)::S(G)
- R(j);OGATEB::R(K),XR(j)
- R(j);OGATEB::R(M),XR(j)
- B(a);N_PINP(B)::P(B)
- B(b);::B(A)+K(E),XB(b)
- B(b);SBLOCK::P(C)
- B(b);SBLOCK::S(J)
- P(i);SBLOCK::S(J)
- P(k);OGATE::R1(K),XP(k)
- Refutation
- P(i);XP(I)
- Try
- P(H);XP(f)
- Threat
- B(A)+K(E)
- Vars
- Q(g);CHECK,XS(G)::B(A)+K(E),XQ(g)
- R(d);CHECK,XQ(F)::B(A)+K(E),XR(d)
- B(a);CHECK,XP(B)::B(A)+K(E),XB(a)
- R(j);OGATEB::R(K),XR(j)
- R(j);OGATEB::R(M),XR(j)
- B(b);::B(A)+K(E),XB(b)
- P(k);OGATE::R1(K),XP(k)
- Refutation
- Q(g);N_PINS(G),XP(H)
- Try
- Actual
- R(M);
- Vars
- Q(g);CHECK,XS(G)::B(A)+K(E),XQ(g)
- R(d);CHECK,XQ(F)::B(A)+K(E),XR(d)
- B(a);CHECK,XP(B)::B(A)+K(E),XB(a)
- Q(g);N_PINS(G),XP(H)::S(G)
- Q(g);N_PINS(G),XP(L)::S(G)
- R(d);N_PINQ(F),XP(H)::QAR1(F)
- P(f);XP(H)::B(A)+K(E)
- P(i);XP(I)::S(J)
- Q(g);N_PINS(G)::S(G)
- R(j);OGATEB::R(K),XR(j)
- R(j);OGATEB::R(M),XR(j)
- B(a);N_PINP(B)::P(B)
- B(b);::B(A)+K(E),XB(b)
- B(b);SBLOCK::P(C)
- B(b);SBLOCK::S(J)
- P(i);SBLOCK::S(J)
- P(k);OGATE::R1(K),XP(k)
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).