MESON Chess Problem Database
Problem Display
PID: 194308 (k2r4/1q3PPK/1P1B4/1N6/1pRP4/4p3/P1n1P3/3Q3B w - - 0 1)
Andrade, Barry Jack da Costa
The Observer, 1940
(First published on Sun Mar 17 1940)
#2
12 + 6
| 2185 | Sunday Chronicle | 1945 |
| 15239 | Valois Notebooks | 2019 |
SOLUTION
- SOUND
- Sets
- 1...Qxh1+
- 2.Qxh1#
- 1...Qg2
- 2.Bxg2#
- 1...Qf3
- 2.Bxf3#
- 1...Qe4+
- 2.Bxe4#
- 1...Qd5
- 2.Bxd5#
- 1...Qc6
- 2.Bxc6#
- 1...Rxd6
- 2.Rc8#
- 1...Rd7
- 2.Rc8#
- 1...Rb8
- 2.Sc7#
- 1...Rc8
- 2.Rxc8#
- 1...Re8
- 2.fxe8Q#
- 2.fxe8R#
- 1...Rf8
- 2.gxf8Q#
- 2.gxf8R#
- 1...Rg8
- 2.fxg8Q#
- 2.fxg8R#
- 1...Rh8+
- 2.gxh8Q#
- 2.gxh8R#
- 1...Sa1
- 2.Qa4#
- 1...Se1
- 2.Qa4#
- 1...Sa3
- 2.Qa4#
- 1...Sxd4
- 2.Qa4#
- 1...b3
- 2.Ra4#
- 1...Qxh1+
- Tries
- 1.Kg6?
- 1...Qg2+
- 2.Bxg2#
- 1...Qe4+
- 2.Bxe4#
- 1...Qxh1
- 2.Qxh1#
- 1...Sxd4
- 2.Qa4#
- 1...Qf3
- 2.Bxf3#
- 1...Qd5
- 2.Bxd5#
- 1...Qc6
- 2.Bxc6#
- 1...Rd7
- 2.Rc8#
- 1...Rb8
- 2.Sc7#
- 1...Rc8
- 2.Rxc8#
- 1...Re8
- 2.fxe8Q#
- 2.fxe8R#
- 1...Rf8
- 2.gxf8Q#
- 2.gxf8R#
- 1...Rg8
- 2.fxg8Q#
- 2.fxg8R#
- 1...Rh8
- 2.gxh8Q#
- 2.gxh8R#
- 1...Sa1
- 2.Qa4#
- 1...Se1
- 2.Qa4#
- 1...Sa3
- 2.Qa4#
- 1...b3
- 2.Ra4#
- 1...Rxd6+!
- 1...Qg2+
- 1.Kh6?
- 1...Qxh1+
- 2.Qxh1#
- 1...Rh8+
- 2.gxh8Q#
- 2.gxh8R#
- 1...Sxd4
- 2.Qa4#
- 1...Qg2
- 2.Bxg2#
- 1...Qf3
- 2.Bxf3#
- 1...Qe4
- 2.Bxe4#
- 1...Qd5
- 2.Bxd5#
- 1...Qc6
- 2.Bxc6#
- 1...Rd7
- 2.Rc8#
- 1...Rb8
- 2.Sc7#
- 1...Rc8
- 2.Rxc8#
- 1...Re8
- 2.fxe8Q#
- 2.fxe8R#
- 1...Rf8
- 2.gxf8Q#
- 2.gxf8R#
- 1...Rg8
- 2.fxg8Q#
- 2.fxg8R#
- 1...Sa1
- 2.Qa4#
- 1...Se1
- 2.Qa4#
- 1...Sa3
- 2.Qa4#
- 1...b3
- 2.Ra4#
- 1...Rxd6+!
- 1...Qxh1+
- 1.Sa3?
- 1...Qxh1+
- 2.Qxh1#
- 1...Qe4+
- 2.Bxe4#
- 1...Rh8+
- 2.gxh8Q#
- 2.gxh8R#
- 1...Rxd6
- 2.Rc8#
- 1...Sxa3
- 2.Qa4#
- 1...Sxd4
- 2.Qa4#
- 1...bxa3
- 2.Ra4#
- 1...Qg2
- 2.Bxg2#
- 1...Qf3
- 2.Bxf3#
- 1...Qd5
- 2.Bxd5#
- 1...Qc6
- 2.Bxc6#
- 1...Rd7
- 2.Rc8#
- 1...Rc8
- 2.Rxc8#
- 1...Re8
- 2.fxe8Q#
- 2.fxe8R#
- 1...Rf8
- 2.gxf8Q#
- 2.gxf8R#
- 1...Rg8
- 2.fxg8Q#
- 2.fxg8R#
- 1...Sa1
- 2.Qa4#
- 1...Se1
- 2.Qa4#
- 1...b3
- 2.Ra4#
- 1...Rb8!
- 1...Qxh1+
- 1.Sc3?
- 1...Qxh1+
- 2.Qxh1#
- 1...Qe4+
- 2.Bxe4#
- 1...Rh8+
- 2.gxh8Q#
- 2.gxh8R#
- 1...Rxd6
- 2.Rc8#
- 1...Sxd4
- 2.Qa4#
- 1...bxc3
- 2.Ra4#
- 1...Qg2
- 2.Bxg2#
- 1...Qf3
- 2.Bxf3#
- 1...Qd5
- 2.Bxd5#
- 1...Qc6
- 2.Bxc6#
- 1...Rd7
- 2.Rc8#
- 1...Rc8
- 2.Rxc8#
- 1...Re8
- 2.fxe8Q#
- 2.fxe8R#
- 1...Rf8
- 2.gxf8Q#
- 2.gxf8R#
- 1...Rg8
- 2.fxg8Q#
- 2.fxg8R#
- 1...Sa1
- 2.Qa4#
- 1...Se1
- 2.Qa4#
- 1...Sa3
- 2.Qa4#
- 1...b3
- 2.Ra4#
- 1...Rb8!
- 1...Qxh1+
- 1.Bg2?
- 1...Qe4+
- 2.Bxe4#
- 1...Rh8+
- 2.gxh8Q#
- 2.gxh8R#
- 1...Rxd6
- 2.Rc8#
- 1...Sxd4
- 2.Qa4#
- 1...Qf3
- 2.Bxf3#
- 1...Qd5
- 2.Bxd5#
- 1...Qc6
- 2.Bxc6#
- 1...Rb8
- 2.Sc7#
- 1...Rd7
- 2.Rc8#
- 1...Rc8
- 2.Rxc8#
- 1...Re8
- 2.fxe8Q#
- 2.fxe8R#
- 1...Rf8
- 2.gxf8Q#
- 2.gxf8R#
- 1...Rg8
- 2.fxg8Q#
- 2.fxg8R#
- 1...Sa1
- 2.Qa4#
- 1...Se1
- 2.Qa4#
- 1...Sa3
- 2.Qa4#
- 1...b3
- 2.Ra4#
- 1...Qxg2!
- 1...Qe4+
- 1.Bf3?
- 1...Qe4+
- 2.Bxe4#
- 1...Rh8+
- 2.gxh8Q#
- 2.gxh8R#
- 1...Rxd6
- 2.Rc8#
- 1...Sxd4
- 2.Qa4#
- 1...Qd5
- 2.Bxd5#
- 1...Qc6
- 2.Bxc6#
- 1...Rb8
- 2.Sc7#
- 1...Rd7
- 2.Rc8#
- 1...Rc8
- 2.Rxc8#
- 1...Re8
- 2.fxe8Q#
- 2.fxe8R#
- 1...Rf8
- 2.gxf8Q#
- 2.gxf8R#
- 1...Rg8
- 2.fxg8Q#
- 2.fxg8R#
- 1...Sa1
- 2.Qa4#
- 1...Se1
- 2.Qa4#
- 1...Sa3
- 2.Qa4#
- 1...b3
- 2.Ra4#
- 1...Qxf3!
- 1...Qe4+
- 1.Be4?
- 1...Rh8+
- 2.gxh8Q#
- 2.gxh8R#
- 1...Rxd6
- 2.Rc8#
- 1...Sxd4
- 2.Qa4#
- 1...Qd5
- 2.Bxd5#
- 1...Qc6
- 2.Bxc6#
- 1...Rb8
- 2.Sc7#
- 1...Rd7
- 2.Rc8#
- 1...Rc8
- 2.Rxc8#
- 1...Re8
- 2.fxe8Q#
- 2.fxe8R#
- 1...Rf8
- 2.gxf8Q#
- 2.gxf8R#
- 1...Rg8
- 2.fxg8Q#
- 2.fxg8R#
- 1...Sa1
- 2.Qa4#
- 1...Se1
- 2.Qa4#
- 1...Sa3
- 2.Qa4#
- 1...b3
- 2.Ra4#
- 1...Qxe4+!
- 1...Rh8+
- 1.Bd5?
- 1...Rh8+
- 2.gxh8Q#
- 2.gxh8R#
- 1...Rxd6
- 2.Rc8#
- 1...Sxd4
- 2.Qa4#
- 1...Qc6
- 2.Bxc6#
- 1...Rb8
- 2.Sc7#
- 1...Rd7
- 2.Rc8#
- 1...Rc8
- 2.Rxc8#
- 1...Re8
- 2.fxe8Q#
- 2.fxe8R#
- 1...Rf8
- 2.gxf8Q#
- 2.gxf8R#
- 1...Rg8
- 2.fxg8Q#
- 2.fxg8R#
- 1...Sa1
- 2.Qa4#
- 1...Se1
- 2.Qa4#
- 1...Sa3
- 2.Qa4#
- 1...b3
- 2.Ra4#
- 1...Qxd5!
- 1...Rh8+
- 1.Rxc2?
- 1...Qxh1+
- 2.Qxh1#
- 1...Qe4+
- 2.Bxe4#
- 1...Rh8+
- 2.gxh8Q#
- 2.gxh8R#
- 1...Rxd6
- 2.Rc8#
- 1...Qg2
- 2.Bxg2#
- 1...Qf3
- 2.Bxf3#
- 1...Qd5
- 2.Bxd5#
- 1...Qc6
- 2.Bxc6#
- 1...Rb8
- 2.Sc7#
- 1...Rd7
- 2.Rc8#
- 1...Rc8
- 2.Rxc8#
- 1...Re8
- 2.fxe8Q#
- 2.fxe8R#
- 1...Rf8
- 2.gxf8Q#
- 2.gxf8R#
- 1...Rg8
- 2.fxg8Q#
- 2.fxg8R#
- 1...b3!
- 1...Qxh1+
- 1.Rc5?
- 1...Qxh1+
- 2.Qxh1#
- 1...Qe4+
- 2.Bxe4#
- 1...Rh8+
- 2.gxh8Q#
- 2.gxh8R#
- 1...Rxd6
- 2.Rc8#
- 1...Sxd4
- 2.Qa4#
- 1...Qg2
- 2.Bxg2#
- 1...Qf3
- 2.Bxf3#
- 1...Qd5
- 2.Bxd5#
- 1...Qc6
- 2.Bxc6#
- 1...Rb8
- 2.Sc7#
- 1...Rd7
- 2.Rc8#
- 1...Rc8
- 2.Rxc8#
- 1...Re8
- 2.fxe8Q#
- 2.fxe8R#
- 1...Rf8
- 2.gxf8Q#
- 2.gxf8R#
- 1...Rg8
- 2.fxg8Q#
- 2.fxg8R#
- 1...Sa1
- 2.Qa4#
- 1...Se1
- 2.Qa4#
- 1...Sa3
- 2.Qa4#
- 1...b3!
- 1...Qxh1+
- 1.Qxc2?
- threat
- 2.Qa4#
- 1...Qe4+
- 2.Bxe4#
- 2.Qxe4#
- 1...Rh8+
- 2.gxh8Q#
- 2.gxh8R#
- 1...Rxd6
- 2.Rc8#
- 1...Qg2
- 2.Bxg2#
- 1...Qf3
- 2.Bxf3#
- 1...Qd5
- 2.Bxd5#
- 1...Qc6
- 2.Bxc6#
- 1...b3
- 2.Ra4#
- 1...Qxh1+!
- threat
- 1.f8Q?
- threat
- 2.Qxd8#
- 1...Qxh1+
- 2.Qxh1#
- 1...Qe4+
- 2.Bxe4#
- 1...Qg2
- 2.Bxg2#
- 1...Qf3
- 2.Bxf3#
- 2.Qxf3#
- 1...Qd5
- 2.Bxd5#
- 1...Qc6
- 2.Bxc6#
- 1...Rb8
- 2.Sc7#
- 2.Qxb8#
- 1...Rc8
- 2.Rxc8#
- 2.Qxc8#
- 1...Re8
- 2.Qxe8#
- 1...Rxf8!
- threat
- 1.f8R?
- threat
- 2.Rxd8#
- 1...Qxh1+
- 2.Qxh1#
- 1...Qe4+
- 2.Bxe4#
- 1...Qg2
- 2.Bxg2#
- 1...Qf3
- 2.Bxf3#
- 1...Qd5
- 2.Bxd5#
- 1...Qc6
- 2.Bxc6#
- 1...Rb8
- 2.Sc7#
- 2.Rxb8#
- 1...Rc8
- 2.Rcxc8#
- 2.Rfxc8#
- 1...Re8
- 2.Rxe8#
- 1...Rxf8!
- threat
- 1.g8Q?
- threat
- 2.Qxd8#
- 1...Qxh1+
- 2.Qxh1#
- 1...Qe4+
- 2.Bxe4#
- 1...Qg2
- 2.Bxg2#
- 2.Qxg2#
- 1...Qf3
- 2.Bxf3#
- 1...Qd5
- 2.Bxd5#
- 1...Qc6
- 2.Bxc6#
- 1...Rb8
- 2.Sc7#
- 2.Qxb8#
- 1...Rc8
- 2.Rxc8#
- 2.Qxc8#
- 1...Re8
- 2.Qxe8#
- 1...Rf8
- 2.Qxf8#
- 1...Rxg8!
- threat
- 1.g8R?
- threat
- 2.Rxd8#
- 1...Qxh1+
- 2.Qxh1#
- 1...Qe4+
- 2.Bxe4#
- 1...Qg2
- 2.Bxg2#
- 1...Qf3
- 2.Bxf3#
- 1...Qd5
- 2.Bxd5#
- 1...Qc6
- 2.Bxc6#
- 1...Rb8
- 2.Sc7#
- 2.Rxb8#
- 1...Rc8
- 2.Rcxc8#
- 2.Rgxc8#
- 1...Re8
- 2.Rxe8#
- 1...Rf8
- 2.Rxf8#
- 1...Rxg8!
- threat
- 1.Kg6?
- Keys
- 1.a3!
- 1...Qxh1+
- 2.Qxh1#
- 1...Qe4+
- 2.Bxe4#
- 1...Rh8+
- 2.gxh8Q#
- 2.gxh8R#
- 1...Rxd6
- 2.Rc8#
- 1...Sxa3
- 2.Qa4#
- 1...Sxd4
- 2.Qa4#
- 1...bxa3
- 2.Ra4#
- 1...Qg2
- 2.Bxg2#
- 1...Qf3
- 2.Bxf3#
- 1...Qd5
- 2.Bxd5#
- 1...Qc6
- 2.Bxc6#
- 1...Sa1
- 2.Qa4#
- 1...Rd7
- 2.Rc8#
- 1...Rb8
- 2.Sc7#
- 1...Rc8
- 2.Rxc8#
- 1...Re8
- 2.fxe8Q#
- 2.fxe8R#
- 1...Rf8
- 2.gxf8Q#
- 2.gxf8R#
- 1...Rg8
- 2.fxg8Q#
- 2.fxg8R#
- 1...Se1
- 2.Qa4#
- 1...b3
- 2.Ra4#
- 1...Qxh1+
- 1.a3!
FEATURES
- Static
- TYPE = WAITER
- CHANGED MATES = 0
- ADDED MATES = 1
- REMOVED MATES = 0
- Sets
- Q(d);CHECK,N_SPINQ(d),OGATE,XB(B)::QAB(A),XQ(d)
- Q(d);OGATEB::B(B),XQ(d)
- Q(d);CHECK,OGATEB::B(B),XQ(d)
- R(f);N_GUARD,XB(I)::R(E)
- R(f);N_GUARD::R(E)
- R(f);SBLOCK::S(G)
- R(f);N_GUARD::R(E),XR(f)
- R(f);OGATE::PXR(f)=Q
- R(f);CHECK,OGATE::PXR(f)=Q
- S(a);OGATE::QAR(A)
- S(a);OGATE,XP(F)::QAR(A)
- P(c);OGATE::R(E)
- Tries
- Try
- K(L);S_FLIGHT
- Vars
- Q(d);CHECK,OGATEB::B(B),XQ(d)
- Q(d);N_SPINQ(d),OGATE,XB(B)::QAB(A),XQ(d)
- S(a);OGATE,XP(F)::QAR(A)
- Q(d);OGATEB::B(B),XQ(d)
- Q(d);OGATEB,P_PINB(I)::B(B),XQ(d)
- R(f);N_GUARD::R(E)
- R(f);SBLOCK::S(G)
- R(f);N_GUARD::R(E),XR(f)
- R(f);OGATE::PXR(f)=Q
- R(f);OGATE,P_PINP(K)::PXR(f)=Q
- S(a);OGATE::QAR(A)
- P(c);OGATE::R(E)
- Refutation
- R(f);CHECK,XB(I)
- Try
- K(L);P-FLIGHT
- Vars
- Q(d);CHECK,N_SPINQ(d),OGATE,XB(B)::QAB(A),XQ(d)
- R(f);CHECK,OGATE::PXR(f)=Q
- S(a);OGATE,XP(F)::QAR(A)
- Q(d);OGATEB::B(B),XQ(d)
- Q(d);OGATEB,P_PINB(I)::B(B),XQ(d)
- R(f);N_GUARD::R(E)
- R(f);SBLOCK::S(G)
- R(f);N_GUARD::R(E),XR(f)
- R(f);OGATE::PXR(f)=Q
- S(a);OGATE::QAR(A)
- P(c);OGATE::R(E)
- Refutation
- R(f);CHECK,XB(I)
- Try
- S(G);
- Vars
- Q(d);CHECK,N_SPINQ(d),OGATE,XB(B)::QAB(A),XQ(d)
- Q(d);CHECK,OGATEB::B(B),XQ(d)
- R(f);CHECK,OGATE::PXR(f)=Q
- R(f);N_GUARD,XB(I)::R(E)
- S(a);OGATE,XS(G)::QAR(A)
- S(a);OGATE,XP(F)::QAR(A)
- P(c);OGATE,XS(G)::R(E)
- Q(d);OGATEB::B(B),XQ(d)
- R(f);N_GUARD::R(E)
- R(f);N_GUARD::R(E),XR(f)
- R(f);OGATE::PXR(f)=Q
- S(a);OGATE::QAR(A)
- P(c);OGATE::R(E)
- Refutation
- R(f);
- Try
- S(G);
- Vars
- Q(d);CHECK,N_SPINQ(d),OGATE,XB(B)::QAB(A),XQ(d)
- Q(d);CHECK,OGATEB::B(B),XQ(d)
- R(f);CHECK,OGATE::PXR(f)=Q
- R(f);N_GUARD,XB(I)::R(E)
- S(a);OGATE,XP(F)::QAR(A)
- P(c);OGATE,XS(G)::R(E)
- Q(d);OGATEB::B(B),XQ(d)
- R(f);N_GUARD::R(E)
- R(f);N_GUARD::R(E),XR(f)
- R(f);OGATE::PXR(f)=Q
- S(a);OGATE::QAR(A)
- P(c);OGATE::R(E)
- Refutation
- R(f);
- Try
- B(B);
- Vars
- Q(d);CHECK,OGATEB::B(B),XQ(d)
- R(f);CHECK,OGATE::PXR(f)=Q
- R(f);N_GUARD,XB(I)::R(E)
- S(a);OGATE,XP(F)::QAR(A)
- Q(d);OGATEB::B(B),XQ(d)
- R(f);SBLOCK::S(G)
- R(f);N_GUARD::R(E)
- R(f);N_GUARD::R(E),XR(f)
- R(f);OGATE::PXR(f)=Q
- S(a);OGATE::QAR(A)
- P(c);OGATE::R(E)
- Refutation
- Q(d);N_SPINQ(d),XB(B)
- Try
- B(B);
- Vars
- Q(d);CHECK,OGATEB::B(B),XQ(d)
- R(f);CHECK,OGATE::PXR(f)=Q
- R(f);N_GUARD,XB(I)::R(E)
- S(a);OGATE,XP(F)::QAR(A)
- Q(d);OGATEB::B(B),XQ(d)
- R(f);SBLOCK::S(G)
- R(f);N_GUARD::R(E)
- R(f);N_GUARD::R(E),XR(f)
- R(f);OGATE::PXR(f)=Q
- S(a);OGATE::QAR(A)
- P(c);OGATE::R(E)
- Refutation
- Q(d);N_SPINQ(d),XB(B)
- Try
- B(B);
- Vars
- R(f);CHECK,OGATE::PXR(f)=Q
- R(f);N_GUARD,XB(I)::R(E)
- S(a);OGATE,XP(F)::QAR(A)
- Q(d);OGATEB::B(B),XQ(d)
- R(f);SBLOCK::S(G)
- R(f);N_GUARD::R(E)
- R(f);N_GUARD::R(E),XR(f)
- R(f);OGATE::PXR(f)=Q
- S(a);OGATE::QAR(A)
- P(c);OGATE::R(E)
- Refutation
- Q(d);CHECK,N_SPINQ(d),XB(B)
- Try
- B(B);
- Vars
- R(f);CHECK,OGATE::PXR(f)=Q
- R(f);N_GUARD,XB(I)::R(E)
- S(a);OGATE,XP(F)::QAR(A)
- Q(d);OGATEB::B(B),XQ(d)
- R(f);SBLOCK::S(G)
- R(f);N_GUARD::R(E)
- R(f);N_GUARD::R(E),XR(f)
- R(f);OGATE::PXR(f)=Q
- S(a);OGATE::QAR(A)
- P(c);OGATE::R(E)
- Refutation
- Q(d);N_SPINQ(d),XB(B)
- Try
- R(E);XS(a)
- Vars
- Q(d);CHECK,N_SPINQ(d),OGATE,XB(B)::QAB(A),XQ(d)
- Q(d);CHECK,OGATEB::B(B),XQ(d)
- R(f);CHECK,OGATE::PXR(f)=Q
- R(f);N_GUARD,XB(I)::R(E)
- Q(d);OGATEB::B(B),XQ(d)
- R(f);SBLOCK::S(G)
- R(f);N_GUARD::R(E)
- R(f);N_GUARD::R(E),XR(f)
- R(f);OGATE::PXR(f)=Q
- Refutation
- P(c);
- Try
- R(E);
- Vars
- Q(d);CHECK,N_SPINQ(d),OGATE,XB(B)::QAB(A),XQ(d)
- Q(d);CHECK,OGATEB::B(B),XQ(d)
- R(f);CHECK,OGATE::PXR(f)=Q
- R(f);N_GUARD,XB(I)::R(E)
- S(a);OGATE,XP(F)::QAR(A)
- Q(d);OGATEB::B(B),XQ(d)
- R(f);SBLOCK::S(G)
- R(f);N_GUARD::R(E)
- R(f);N_GUARD::R(E),XR(f)
- R(f);OGATE::PXR(f)=Q
- S(a);OGATE::QAR(A)
- Refutation
- P(c);
- Try
- Q(A);XS(a)
- Threat
- QAR(A)
- Vars
- R(f);CHECK,OGATE::PXR(f)=Q
- R(f);N_GUARD,XB(I)::R(E)
- Q(d);OGATEB::B(B),XQ(d)
- P(c);OGATE::R(E)
- Refutation
- Q(d);CHECK,N_SPINQ(d),XB(B)
- Try
- P(J);P_PINR(f),P_SPINP(K)
- Threat
- QAR(J),XR(f)
- Vars
- Q(d);CHECK,N_PINP(K),N_SPINQ(d),OGATE,XB(B)::QAB(A),XQ(d)
- Q(d);CHECK,N_PINP(K),OGATEB::B(B),XQ(d)
- Q(d);N_PINP(K),OGATEB::B(B),XQ(d)
- R(f);OGATEB::QAR(J),XR(f)
- Refutation
- R(f);N_SPINR(f),XQ(J)
- Try
- P(J);P_PINR(f),P_SPINP(K)
- Threat
- R(J),XR(f)
- Vars
- Q(d);CHECK,N_PINP(K),N_SPINQ(d),OGATE,XB(B)::QAB(A),XQ(d)
- Q(d);CHECK,N_PINP(K),OGATEB::B(B),XQ(d)
- Q(d);N_PINP(K),OGATEB::B(B),XQ(d)
- R(f);OGATEB::R(J),XR(f)
- Refutation
- R(f);N_SPINR(f),XR(J)
- Try
- P(K);P_PINR(f),P_SPINP(J)
- Threat
- QAR(K),XR(f)
- Vars
- Q(d);CHECK,N_PINP(J),N_SPINQ(d),OGATE,XB(B)::QAB(A),XQ(d)
- Q(d);CHECK,N_PINP(J),OGATEB::B(B),XQ(d)
- Q(d);N_PINP(J),OGATEB::B(B),XQ(d)
- R(f);OGATEB::QAR(K),XR(f)
- Refutation
- R(f);N_SPINR(f),XQ(K)
- Try
- P(K);P_PINR(f),P_SPINP(J)
- Threat
- R(K),XR(f)
- Vars
- Q(d);CHECK,N_PINP(J),N_SPINQ(d),OGATE,XB(B)::QAB(A),XQ(d)
- Q(d);CHECK,N_PINP(J),OGATEB::B(B),XQ(d)
- Q(d);N_PINP(J),OGATEB::B(B),XQ(d)
- R(f);OGATEB::R(K),XR(f)
- Refutation
- R(f);N_SPINR(f),XR(K)
- Try
- Actual
- P(C);
- Vars
- Q(d);CHECK,N_SPINQ(d),OGATE,XB(B)::QAB(A),XQ(d)
- Q(d);CHECK,OGATEB::B(B),XQ(d)
- R(f);CHECK,OGATE::PXR(f)=Q
- R(f);N_GUARD,XB(I)::R(E)
- S(a);OGATE,XP(C)::QAR(A)
- S(a);OGATE,XP(F)::QAR(A)
- P(c);OGATE,XP(C)::R(E)
- Q(d);OGATEB::B(B),XQ(d)
- S(a);OGATE::QAR(A)
- R(f);N_GUARD::R(E)
- R(f);SBLOCK::S(G)
- R(f);N_GUARD::R(E),XR(f)
- R(f);OGATE::PXR(f)=Q
- P(c);OGATE::R(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).