MESON Chess Problem Database
Problem Display
PID: 60981 (6BB/2Np4/3rn3/r1p5/p2q2QR/P1kp2P1/R2NP3/7K w - - 0 1)
Bilgram, Oscar Hugo
Good Companions (February), 1916
#2
11 + 9
| 3132 | The Good Companion Two-Mover | 1922 |
SOLUTION
- SOUND
- Sets
- 1...Qe5
- 2.Qc4#
- 1...Qf6
- 2.Qc4#
- 1...Qg7
- 2.Qc4#
- 1...Qxh8
- 2.Qc4#
- 1...Rb5
- 2.Sxb5#
- 1...Raa6
- 2.Sb5#
- 1...Ra7
- 2.Sb5#
- 1...Ra8
- 2.Sb5#
- 1...Rd5
- 2.Sxd5#
- 1...Rda6
- 2.Sd5#
- 1...Rb6
- 2.Sd5#
- 1...Rc6
- 2.Sd5#
- 1...Sf4
- 2.Sb1#
- 2.Se4#
- 1...Sg5
- 2.Sb1#
- 1...Sxc7
- 2.Sb1#
- 2.Se4#
- 1...Sg7
- 2.Sb1#
- 1...Sd8
- 2.Sb1#
- 2.Se4#
- 1...Sf8
- 2.Sb1#
- 2.Se4#
- 1...dxe2
- 2.Qf3#
- 1...Qe5
- Tries
- 1.Kh2?
- 1...Qxh8
- 2.Qc4#
- 1...Sxc7
- 2.Sb1#
- 2.Se4#
- 1...dxe2
- 2.Qf3#
- 1...Qe5
- 2.Qc4#
- 1...Qf6
- 2.Qc4#
- 1...Qg7
- 2.Qc4#
- 1...Rb5
- 2.Sxb5#
- 1...Raa6
- 2.Sb5#
- 1...Ra7
- 2.Sb5#
- 1...Ra8
- 2.Sb5#
- 1...Rd5
- 2.Sxd5#
- 1...Rda6
- 2.Sd5#
- 1...Rb6
- 2.Sd5#
- 1...Rc6
- 2.Sd5#
- 1...Sf4
- 2.Sb1#
- 2.Se4#
- 1...Sg5
- 2.Sb1#
- 1...Sg7
- 2.Sb1#
- 1...Sd8
- 2.Sb1#
- 2.Se4#
- 1...Sf8
- 2.Sb1#
- 2.Se4#
- 1...c4!
- 1...Qxh8
- 1.Bf7?
- 1...Qxh8
- 2.Qc4#
- 1...Sxc7
- 2.Sb1#
- 2.Se4#
- 1...dxe2
- 2.Qf3#
- 1...Qe5
- 2.Qc4#
- 1...Qf6
- 2.Qc4#
- 1...Qg7
- 2.Qc4#
- 1...Rb5
- 2.Sxb5#
- 1...Raa6
- 2.Sb5#
- 1...Ra7
- 2.Sb5#
- 1...Ra8
- 2.Sb5#
- 1...Rd5
- 2.Sxd5#
- 1...Rda6
- 2.Sd5#
- 1...Rb6
- 2.Sd5#
- 1...Rc6
- 2.Sd5#
- 1...Sf4
- 2.Sb1#
- 2.Se4#
- 1...Sg5
- 2.Sb1#
- 1...Sg7
- 2.Sb1#
- 1...Sd8
- 2.Sb1#
- 2.Se4#
- 1...Sf8
- 2.Sb1#
- 2.Se4#
- 1...c4!
- 1...Qxh8
- 1.Be5?
- 1...Qxe5
- 2.Qc4#
- 1...Sxc7
- 2.Sb1#
- 2.Se4#
- 1...dxe2
- 2.Qf3#
- 1...Rb5
- 2.Sxb5#
- 1...Raa6
- 2.Sb5#
- 1...Ra7
- 2.Sb5#
- 1...Ra8
- 2.Sb5#
- 1...Rd5
- 2.Sxd5#
- 1...Rda6
- 2.Sd5#
- 1...Rb6
- 2.Sd5#
- 1...Rc6
- 2.Sd5#
- 1...Sf4
- 2.Sb1#
- 2.Se4#
- 1...Sg5
- 2.Sb1#
- 1...Sg7
- 2.Sb1#
- 2.Se4#
- 1...Sd8
- 2.Sb1#
- 2.Se4#
- 1...Sf8
- 2.Sb1#
- 2.Se4#
- 1...c4!
- 1...Qxe5
- 1.Bf6?
- 1...Qxf6
- 2.Qc4#
- 1...Sxc7
- 2.Sb1#
- 2.Se4#
- 1...dxe2
- 2.Qf3#
- 1...Qe5
- 2.Qc4#
- 1...Rb5
- 2.Sxb5#
- 1...Raa6
- 2.Sb5#
- 1...Ra7
- 2.Sb5#
- 1...Ra8
- 2.Sb5#
- 1...Rd5
- 2.Sxd5#
- 1...Rda6
- 2.Sd5#
- 1...Rb6
- 2.Sd5#
- 1...Rc6
- 2.Sd5#
- 1...Sf4
- 2.Sb1#
- 2.Se4#
- 1...Sg5
- 2.Sb1#
- 1...Sg7
- 2.Sb1#
- 2.Se4#
- 1...Sd8
- 2.Sb1#
- 2.Se4#
- 1...Sf8
- 2.Sb1#
- 2.Se4#
- 1...c4!
- 1...Qxf6
- 1.Bg7?
- 1...Qxg7
- 2.Qc4#
- 1...Sxc7
- 2.Sb1#
- 2.Se4#
- 1...Sxg7
- 2.Sb1#
- 1...dxe2
- 2.Qf3#
- 1...Qe5
- 2.Qc4#
- 1...Qf6
- 2.Qc4#
- 1...Rb5
- 2.Sxb5#
- 1...Raa6
- 2.Sb5#
- 1...Ra7
- 2.Sb5#
- 1...Ra8
- 2.Sb5#
- 1...Rd5
- 2.Sxd5#
- 1...Rda6
- 2.Sd5#
- 1...Rb6
- 2.Sd5#
- 1...Rc6
- 2.Sd5#
- 1...Sf4
- 2.Sb1#
- 2.Se4#
- 1...Sg5
- 2.Sb1#
- 1...Sd8
- 2.Sb1#
- 2.Se4#
- 1...Sf8
- 2.Sb1#
- 2.Se4#
- 1...c4!
- 1...Qxg7
- 1.Rh2?
- 1...Qxh8
- 2.Qc4#
- 1...Sxc7
- 2.Sb1#
- 2.Se4#
- 1...dxe2
- 2.Qf3#
- 1...Qe5
- 2.Qc4#
- 1...Qf6
- 2.Qc4#
- 1...Qg7
- 2.Qc4#
- 1...Rb5
- 2.Sxb5#
- 1...Raa6
- 2.Sb5#
- 1...Ra7
- 2.Sb5#
- 1...Ra8
- 2.Sb5#
- 1...Rd5
- 2.Sxd5#
- 1...Rda6
- 2.Sd5#
- 1...Rb6
- 2.Sd5#
- 1...Rc6
- 2.Sd5#
- 1...Sf4
- 2.Sb1#
- 2.Se4#
- 1...Sg5
- 2.Sb1#
- 1...Sg7
- 2.Sb1#
- 1...Sd8
- 2.Sb1#
- 2.Se4#
- 1...Sf8
- 2.Sb1#
- 2.Se4#
- 1...c4!
- 1...Qxh8
- 1.Rh3?
- 1...Qxh8
- 2.Qc4#
- 1...Sxc7
- 2.Sb1#
- 2.Se4#
- 1...dxe2
- 2.Qf3#
- 1...Qe5
- 2.Qc4#
- 1...Qf6
- 2.Qc4#
- 1...Qg7
- 2.Qc4#
- 1...Rb5
- 2.Sxb5#
- 1...Raa6
- 2.Sb5#
- 1...Ra7
- 2.Sb5#
- 1...Ra8
- 2.Sb5#
- 1...Rd5
- 2.Sxd5#
- 1...Rda6
- 2.Sd5#
- 1...Rb6
- 2.Sd5#
- 1...Rc6
- 2.Sd5#
- 1...Sf4
- 2.Sb1#
- 2.Se4#
- 1...Sg5
- 2.Sb1#
- 1...Sg7
- 2.Sb1#
- 1...Sd8
- 2.Sb1#
- 2.Se4#
- 1...Sf8
- 2.Sb1#
- 2.Se4#
- 1...c4!
- 1...Qxh8
- 1.Rh5?
- 1...Qxh8
- 2.Qc4#
- 1...Sxc7
- 2.Sb1#
- 2.Se4#
- 1...dxe2
- 2.Qf3#
- 1...Qe5
- 2.Qc4#
- 1...Qf6
- 2.Qc4#
- 1...Qg7
- 2.Qc4#
- 1...Rb5
- 2.Sxb5#
- 1...Raa6
- 2.Sb5#
- 1...Ra7
- 2.Sb5#
- 1...Ra8
- 2.Sb5#
- 1...Rd5
- 2.Sxd5#
- 1...Rda6
- 2.Sd5#
- 1...Rb6
- 2.Sd5#
- 1...Rc6
- 2.Sd5#
- 1...Sf4
- 2.Sb1#
- 2.Se4#
- 1...Sg5
- 2.Sb1#
- 1...Sg7
- 2.Sb1#
- 1...Sd8
- 2.Sb1#
- 2.Se4#
- 1...Sf8
- 2.Sb1#
- 2.Se4#
- 1...c4!
- 1...Qxh8
- 1.Rh6?
- 1...Qxh8
- 2.Qc4#
- 1...Sxc7
- 2.Sb1#
- 2.Se4#
- 1...dxe2
- 2.Qf3#
- 1...Qe5
- 2.Qc4#
- 1...Qf6
- 2.Qc4#
- 1...Qg7
- 2.Qc4#
- 1...Rb5
- 2.Sxb5#
- 1...Raa6
- 2.Sb5#
- 1...Ra7
- 2.Sb5#
- 1...Ra8
- 2.Sb5#
- 1...Rd5
- 2.Sxd5#
- 1...Rda6
- 2.Sd5#
- 1...Rb6
- 2.Sd5#
- 1...Rc6
- 2.Sd5#
- 1...Sf4
- 2.Sb1#
- 2.Se4#
- 1...Sg5
- 2.Sb1#
- 1...Sg7
- 2.Sb1#
- 1...Sd8
- 2.Sb1#
- 2.Se4#
- 1...Sf8
- 2.Sb1#
- 2.Se4#
- 1...c4!
- 1...Qxh8
- 1.Rh7?
- 1...Qxh8
- 2.Qc4#
- 1...Sxc7
- 2.Sb1#
- 2.Se4#
- 1...dxe2
- 2.Qf3#
- 1...Qe5
- 2.Qc4#
- 1...Qf6
- 2.Qc4#
- 1...Qg7
- 2.Qc4#
- 1...Rb5
- 2.Sxb5#
- 1...Raa6
- 2.Sb5#
- 1...Ra7
- 2.Sb5#
- 1...Ra8
- 2.Sb5#
- 1...Rd5
- 2.Sxd5#
- 1...Rda6
- 2.Sd5#
- 1...Rb6
- 2.Sd5#
- 1...Rc6
- 2.Sd5#
- 1...Sf4
- 2.Sb1#
- 2.Se4#
- 1...Sg5
- 2.Sb1#
- 1...Sg7
- 2.Sb1#
- 1...Sd8
- 2.Sb1#
- 2.Se4#
- 1...Sf8
- 2.Sb1#
- 2.Se4#
- 1...c4!
- 1...Qxh8
- 1.Qh3?
- 1...Qxh8
- 2.Rc4#
- 1...Sxc7
- 2.Sb1#
- 2.Se4#
- 1...dxe2
- 2.g4#
- 1...Qe5
- 2.Rc4#
- 1...Qf6
- 2.Rc4#
- 1...Qg7
- 2.Rc4#
- 1...Rb5
- 2.Sxb5#
- 1...Raa6
- 2.Sb5#
- 1...Ra7
- 2.Sb5#
- 1...Ra8
- 2.Sb5#
- 1...Rd5
- 2.Sxd5#
- 1...Rda6
- 2.Sd5#
- 1...Rb6
- 2.Sd5#
- 1...Rc6
- 2.Sd5#
- 1...Sf4
- 2.Sb1#
- 2.Se4#
- 1...Sg5
- 2.Sb1#
- 1...Sg7
- 2.Sb1#
- 1...Sd8
- 2.Sb1#
- 2.Se4#
- 1...Sf8
- 2.Sb1#
- 2.Se4#
- 1...c4!
- 1...Qxh8
- 1.Qf5?
- threat
- 2.Qxd3#
- 1...dxe2
- 2.Rc2#
- 2.Qc2#
- 2.Qf3#
- 1...c4
- 2.Qxa5#
- 1...Qe5
- 2.Rc4#
- 1...Qf6
- 2.Rc4#
- 1...Qg7
- 2.Rc4#
- 1...Sf4
- 2.Sb1#
- 2.Se4#
- 1...Sg7
- 2.Sb1#
- 1...Qxh8!
- threat
- 1.Qxe6?
- threat
- 2.Sb1#
- 2.Se4#
- 2.Qc4#
- 1...Qxh8
- 2.Sb1#
- 2.Qc4#
- 1...Rxe6
- 2.Sd5#
- 1...dxe2
- 2.Qc4#
- 2.Qe3#
- 1...c4
- 2.Qxc4#
- 1...Qe5
- 2.Sb1#
- 2.Rc4#
- 2.Qc4#
- 1...Qf6
- 2.Sb1#
- 2.Rc4#
- 2.Qc4#
- 1...Qg7
- 2.Sb1#
- 2.Rc4#
- 2.Qc4#
- 1...Rb5
- 2.Se4#
- 2.Sxb5#
- 2.Qc4#
- 1...Rd5
- 2.Sxd5#
- 1...Rb6
- 2.Se4#
- 2.Sd5#
- 2.Qc4#
- 1...dxe6!
- threat
- 1.Qxd4+?
- 1...Rxd4
- 2.Sd5#
- 1...Sxd4
- 2.Sb1#
- 2.Se4#
- 1...cxd4!
- 1...Rxd4
- 1.Qe4?
- threat
- 2.Qxd3#
- 1...Qxh8
- 2.Qc4#
- 1...dxe2
- 2.Rc2#
- 2.Qc2#
- 2.Qf3#
- 2.Qe3#
- 1...Qe5
- 2.Qc4#
- 1...Qf6
- 2.Qc4#
- 1...Qg7
- 2.Qc4#
- 1...Sf4
- 2.Sb1#
- 1...Sg7
- 2.Sb1#
- 1...c4!
- threat
- 1.Qf4?
- 1...Qxh8
- 2.Qc4#
- 1...Sxf4
- 2.Sb1#
- 2.Se4#
- 1...Sxc7
- 2.Sb1#
- 2.Se4#
- 1...dxe2
- 2.Qe3#
- 2.Qf3#
- 1...Qe5
- 2.Qc4#
- 1...Qf6
- 2.Qc4#
- 1...Qg7
- 2.Qc4#
- 1...Rb5
- 2.Sxb5#
- 1...Raa6
- 2.Sb5#
- 1...Ra7
- 2.Sb5#
- 1...Ra8
- 2.Sb5#
- 1...Rd5
- 2.Sxd5#
- 1...Rda6
- 2.Sd5#
- 1...Rb6
- 2.Sd5#
- 1...Rc6
- 2.Sd5#
- 1...Sg5
- 2.Sb1#
- 1...Sg7
- 2.Sb1#
- 1...Sd8
- 2.Sb1#
- 2.Se4#
- 1...Sf8
- 2.Sb1#
- 2.Se4#
- 1...c4!
- 1...Qxh8
- 1.Qg5?
- 1...Sxg5
- 2.Sb1#
- 1...Sxc7
- 2.Sb1#
- 2.Se4#
- 1...dxe2
- 2.Qe3#
- 1...c4
- 2.Qxa5#
- 1...Qe5
- 2.Rc4#
- 1...Qf6
- 2.Rc4#
- 1...Qg7
- 2.Rc4#
- 1...Rb5
- 2.Sxb5#
- 1...Raa6
- 2.Sb5#
- 1...Ra7
- 2.Sb5#
- 1...Ra8
- 2.Sb5#
- 1...Rd5
- 2.Sxd5#
- 1...Rda6
- 2.Sd5#
- 1...Rb6
- 2.Sd5#
- 1...Rc6
- 2.Sd5#
- 1...Sf4
- 2.Sb1#
- 2.Se4#
- 1...Sg7
- 2.Sb1#
- 1...Sd8
- 2.Sb1#
- 2.Se4#
- 1...Sf8
- 2.Sb1#
- 2.Se4#
- 1...Qxh8!
- 1...Sxg5
- 1.e3?
- 1...Qxh8
- 2.Qc4#
- 1...Sxc7
- 2.Sb1#
- 2.Se4#
- 1...Qe5
- 2.Qc4#
- 1...Qf6
- 2.Qc4#
- 1...Qg7
- 2.Qc4#
- 1...Rb5
- 2.Sxb5#
- 1...Raa6
- 2.Sb5#
- 1...Ra7
- 2.Sb5#
- 1...Ra8
- 2.Sb5#
- 1...Rd5
- 2.Sxd5#
- 1...Rda6
- 2.Sd5#
- 1...Rb6
- 2.Sd5#
- 1...Rc6
- 2.Sd5#
- 1...Sf4
- 2.Sb1#
- 2.Se4#
- 1...Sg5
- 2.Sb1#
- 1...Sg7
- 2.Sb1#
- 1...Sd8
- 2.Sb1#
- 2.Se4#
- 1...Sf8
- 2.Sb1#
- 2.Se4#
- 1...c4!
- 1...Qxh8
- 1.Kh2?
- Keys
- 1.Qh5!
- 1...Qxh8
- 2.Rc4#
- 1...Sxc7
- 2.Sb1#
- 2.Se4#
- 1...dxe2
- 2.Qf3#
- 1...c4
- 2.Qxa5#
- 1...Qe5
- 2.Rc4#
- 1...Qf6
- 2.Rc4#
- 1...Qg7
- 2.Rc4#
- 1...Rb5
- 2.Sxb5#
- 1...Raa6
- 2.Sb5#
- 1...Ra7
- 2.Sb5#
- 1...Ra8
- 2.Sb5#
- 1...Rd5
- 2.Sxd5#
- 1...Rda6
- 2.Sd5#
- 1...Rb6
- 2.Sd5#
- 1...Rc6
- 2.Sd5#
- 1...Sf4
- 2.Sb1#
- 2.Se4#
- 1...Sg5
- 2.Sb1#
- 1...Sg7
- 2.Sb1#
- 1...Sd8
- 2.Sb1#
- 2.Se4#
- 1...Sf8
- 2.Sb1#
- 2.Se4#
- 1...Qxh8
- 1.Qh5!
FEATURES
- Static
- TYPE = INCOMPLETE_BLOCK
- CHANGED MATES = 4
- ADDED MATES = 1
- REMOVED MATES = 0
- Sets
- Q(d);OGATE::QAR1(G)
- Q(d);N_SPINQ(d),OGATE,P_PINR(H),XB(K)::QAR1(G)
- R(e);N_GUARD::S(I),XR(e)
- R(e);N_GUARD::S(I)
- R(g);N_GUARD::S(I),XR(g)
- R(g);N_GUARD::S(I)
- S(h);::S(C)
- S(h);N_SPINQ(d)::S(C)
- P(b);OGATEB,XP(D)::QAR(G)
- Tries
- Try
- K(A);P-FLIGHT
- Vars
- Q(d);N_SPINQ(d),OGATE,P_PINR(H),XB(K)::QAR1(G)
- P(b);OGATEB,XP(D)::QAR(G)
- Q(d);OGATE,P_PINP(F)::QAR1(G)
- Q(d);OGATE::QAR1(G)
- R(e);N_GUARD::S(I),XR(e)
- R(e);N_GUARD::S(I)
- R(g);N_GUARD::S(I),XR(g)
- R(g);N_GUARD::S(I)
- S(h);::S(C)
- S(h);N_SPINQ(d)::S(C)
- Refutation
- P(f);
- Try
- B(J);
- Vars
- Q(d);N_SPINQ(d),OGATE,P_PINR(H),XB(K)::QAR1(G)
- P(b);OGATEB,XP(D)::QAR(G)
- Q(d);OGATE::QAR1(G)
- R(e);N_GUARD::S(I),XR(e)
- R(e);N_GUARD::S(I)
- R(g);N_GUARD::S(I),XR(g)
- R(g);N_GUARD::S(I)
- S(h);::S(C)
- S(h);N_SPINQ(d)::S(C)
- Refutation
- P(f);
- Try
- B(K);
- Vars
- Q(d);N_SPINQ(d),OGATE,XB(K)::QAR1(G)
- P(b);OGATEB,XP(D)::QAR(G)
- R(e);N_GUARD::S(I),XR(e)
- R(e);N_GUARD::S(I)
- R(g);N_GUARD::S(I),XR(g)
- R(g);N_GUARD::S(I)
- S(h);::S(C)
- Refutation
- P(f);
- Try
- B(K);
- Vars
- Q(d);N_SPINQ(d),OGATE,XB(K)::QAR1(G)
- P(b);OGATEB,XP(D)::QAR(G)
- Q(d);OGATE::QAR1(G)
- R(e);N_GUARD::S(I),XR(e)
- R(e);N_GUARD::S(I)
- R(g);N_GUARD::S(I),XR(g)
- R(g);N_GUARD::S(I)
- S(h);::S(C)
- Refutation
- P(f);
- Try
- B(K);
- Vars
- Q(d);N_SPINQ(d),OGATE,XB(K)::QAR1(G)
- S(h);N_SPINQ(d),XB(K)::S(C)
- P(b);OGATEB,XP(D)::QAR(G)
- Q(d);OGATE::QAR1(G)
- R(e);N_GUARD::S(I),XR(e)
- R(e);N_GUARD::S(I)
- R(g);N_GUARD::S(I),XR(g)
- R(g);N_GUARD::S(I)
- S(h);::S(C)
- Refutation
- P(f);
- Try
- R(H);
- Vars
- Q(d);N_SPINQ(d),OGATE,P_PINR(H),XB(K)::QAR1(G)
- P(b);OGATEB,XP(D)::QAR(G)
- Q(d);OGATE::QAR1(G)
- R(e);N_GUARD::S(I),XR(e)
- R(e);N_GUARD::S(I)
- R(g);N_GUARD::S(I),XR(g)
- R(g);N_GUARD::S(I)
- S(h);::S(C)
- S(h);N_SPINQ(d)::S(C)
- Refutation
- P(f);
- Try
- R(H);
- Vars
- Q(d);N_SPINQ(d),OGATE,P_PINR(H),XB(K)::QAR1(G)
- P(b);OGATEB,XP(D)::QAR(G)
- Q(d);OGATE::QAR1(G)
- R(e);N_GUARD::S(I),XR(e)
- R(e);N_GUARD::S(I)
- R(g);N_GUARD::S(I),XR(g)
- R(g);N_GUARD::S(I)
- S(h);::S(C)
- S(h);N_SPINQ(d)::S(C)
- Refutation
- P(f);
- Try
- R(H);
- Vars
- Q(d);N_SPINQ(d),OGATE,P_PINR(H),XB(K)::QAR1(G)
- P(b);OGATEB,XP(D)::QAR(G)
- Q(d);OGATE::QAR1(G)
- R(e);N_GUARD::S(I),XR(e)
- R(e);N_GUARD::S(I)
- R(g);N_GUARD::S(I),XR(g)
- R(g);N_GUARD::S(I)
- S(h);::S(C)
- S(h);N_SPINQ(d)::S(C)
- Refutation
- P(f);
- Try
- R(H);
- Vars
- Q(d);N_SPINQ(d),OGATE,P_PINR(H),XB(K)::QAR1(G)
- P(b);OGATEB,XP(D)::QAR(G)
- Q(d);OGATE::QAR1(G)
- R(e);N_GUARD::S(I),XR(e)
- R(e);N_GUARD::S(I)
- R(g);N_GUARD::S(I),XR(g)
- R(g);N_GUARD::S(I)
- S(h);::S(C)
- S(h);N_SPINQ(d)::S(C)
- Refutation
- P(f);
- Try
- R(H);
- Vars
- Q(d);N_SPINQ(d),OGATE,P_PINR(H),XB(K)::QAR1(G)
- P(b);OGATEB,XP(D)::QAR(G)
- Q(d);OGATE::QAR1(G)
- R(e);N_GUARD::S(I),XR(e)
- R(e);N_GUARD::S(I)
- R(g);N_GUARD::S(I),XR(g)
- R(g);N_GUARD::S(I)
- S(h);::S(C)
- S(h);N_SPINQ(d)::S(C)
- Refutation
- P(f);
- Try
- Q(G);
- Vars
- Q(d);N_SPINQ(d),OGATE,XB(K)::R1(H)
- P(b);XP(D)::QAR(G)+P(F)
- Q(d);OGATE::R1(H)
- R(e);N_GUARD::S(I),XR(e)
- R(e);N_GUARD::S(I)
- R(g);N_GUARD::S(I),XR(g)
- R(g);N_GUARD::S(I)
- S(h);::S(C)
- S(h);N_SPINQ(d)::S(C)
- Refutation
- P(f);
- Try
- Q(G);
- Threat
- QAR1(G),XP(b)
- Vars
- P(f);OGATE::QAB(G),XR(e)
- Q(d);OGATE::R1(H)
- S(h);N_SPINQ(d)::S(C)
- Refutation
- Q(d);N_SPINQ(d),P_PINR(H),XB(K)
- Try
- Q(G);XS(h)
- Threat
- DUALS(3)
- Vars
- R(g);N_GUARD,XQ(G)::S(I)
- P(f);::QAR1(G),XP(f)
- R(g);N_GUARD::S(I),XR(g)
- Refutation
- P(i);XQ(G)
- Try
- Q(G);CHECK,XQ(d)
- Vars
- R(g);P_SPINR(g),XQ(G)::S(I)
- Refutation
- P(f);P_SPINP(f),XQ(G)
- Try
- Q(G);
- Threat
- QAR1(G),XP(b)
- Vars
- Q(d);N_SPINQ(d),OGATE,P_PINR(H),XB(K)::QAR1(G)
- Q(d);OGATE::QAR1(G)
- S(h);::S(C)
- S(h);N_SPINQ(d)::S(C)
- Refutation
- P(f);
- Try
- Q(G);
- Vars
- Q(d);N_SPINQ(d),OGATE,P_PINR(H),XB(K)::QAR1(G)
- Q(d);OGATE::QAR1(G)
- R(e);N_GUARD::S(I),XR(e)
- R(e);N_GUARD::S(I)
- R(g);N_GUARD::S(I),XR(g)
- R(g);N_GUARD::S(I)
- S(h);::S(C)
- S(h);N_SPINQ(d)::S(C)
- Refutation
- P(f);
- Try
- Q(G);
- Vars
- S(h);XQ(G)::S(C)
- P(b);OGATEB,XP(D)::QAR2(G)
- P(f);OGATE::QAB(G),XR(e)
- Q(d);OGATE::R1(H)
- R(e);N_GUARD::S(I),XR(e)
- R(e);N_GUARD::S(I)
- R(g);N_GUARD::S(I),XR(g)
- R(g);N_GUARD::S(I)
- S(h);N_SPINQ(d)::S(C)
- Refutation
- Q(d);N_SPINQ(d),P_PINR(H),XB(K)
- Try
- P(D);
- Vars
- Q(d);N_SPINQ(d),OGATE,P_PINR(H),XB(K)::QAR1(G)
- Q(d);OGATE::QAR1(G)
- R(e);N_GUARD::S(I),XR(e)
- R(e);N_GUARD::S(I)
- R(g);N_GUARD::S(I),XR(g)
- R(g);N_GUARD::S(I)
- S(h);::S(C)
- S(h);N_SPINQ(d)::S(C)
- Refutation
- P(f);
- Try
- Actual
- Q(G);
- Vars
- Q(d);N_SPINQ(d),OGATE,XB(K)::R1(H)
- P(b);OGATEB,XP(D)::QAR(G)
- P(f);OGATE::QAB(G),XR(e)
- Q(d);OGATE::R1(H)
- R(e);N_GUARD::S(I),XR(e)
- R(e);N_GUARD::S(I)
- R(g);N_GUARD::S(I),XR(g)
- R(g);N_GUARD::S(I)
- S(h);::S(C)
- S(h);N_SPINQ(d)::S(C)
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).