MESON Chess Problem Database
Problem Display
PID: 178051 (3R4/1BKPp3/1pQ3N1/1P3R2/n2k1N2/2r3q1/2PPb3/B7 w - - 0 1)
Sonnenfeld, Felix Alexander
29th Place, 02. WCCT, 1980-1983
#2
12 + 7
| 1077 | Boletim da UBP | 1989 |
SOLUTION
- SOUND
- Sets
- 1...Qe1
- 2.Se6#
- 1...Qf2
- 2.Se6#
- 1...Qxf4+
- 2.Rxf4#
- 1...Qh4
- 2.Sxe2#
- 2.Se6#
- 1...Qg1
- 2.Sxe2#
- 2.Se6#
- 1...Qg2
- 2.Se6#
- 1...Qd3
- 2.Se6#
- 1...Qf3
- 2.Se6#
- 1...Qh3
- 2.Sxe2#
- 2.Se6#
- 1...Qg4
- 2.Se6#
- 1...Qg5
- 2.Sxe2#
- 2.Se6#
- 1...Qxg6
- 2.Sxe2#
- 1...Bc4
- 2.Qe4#
- 1...Sc5
- 2.Qd5#
- 1...e5
- 2.Sxe2#
- 2.Se6#
- 1...Qe1
- Tries
- 1.Kb8?
- threat
- 2.Qe4#
- 2.Qd5#
- 1...Qxf4+
- 2.Rxf4#
- 1...Sc5
- 2.Qd5#
- 1...Qg2
- 2.Se6#
- 1...Qd3
- 2.Se6#
- 2.Qd5#
- 1...Qe3
- 2.Qd5#
- 1...Qf3
- 2.Se6#
- 1...Bd3
- 2.Qd5#
- 1...Bc4
- 2.Qe4#
- 1...e5
- 2.Sxe2#
- 2.Se6#
- 2.Qd5#
- 1...e6
- 2.Qe4#
- 1...Bf3!
- threat
- 1.Kc8?
- threat
- 2.Sxe2#
- 2.Se6#
- 1...Qxf4
- 2.Rxf4#
- 1...Qxg6
- 2.Sxe2#
- 1...Bxb5
- 2.Se6#
- 1...Sc5
- 2.Qd5#
- 1...Qe1
- 2.Se6#
- 1...Qf2
- 2.Se6#
- 1...Qh2
- 2.Se6#
- 1...Qg2
- 2.Se6#
- 1...Qd3
- 2.Se6#
- 1...Qf3
- 2.Se6#
- 1...Qg4
- 2.Se6#
- 1...Bd1
- 2.Se6#
- 1...Bf1
- 2.Se6#
- 1...Bd3
- 2.Se6#
- 1...Bf3
- 2.Se6#
- 1...Bc4
- 2.Qe4#
- 1...Bg4
- 2.Se6#
- 1...Bh5
- 2.Se6#
- 1...e6
- 2.Sxe2#
- 2.Sxe6#
- 1...Qe3!
- threat
- 1.Se5?
- threat
- 2.Sxe2#
- 2.Se6#
- 1...Bxb5
- 2.Se6#
- 1...Qe1
- 2.Se6#
- 1...Qf2
- 2.Se6#
- 1...Qh2
- 2.Se6#
- 1...Qg2
- 2.Se6#
- 1...Qd3
- 2.Se6#
- 1...Qe3
- 2.Se6#
- 1...Qf3
- 2.Se6#
- 1...Qg4
- 2.Se6#
- 1...Qg6
- 2.Sxe2#
- 1...Qg8
- 2.Sxe2#
- 1...Bd1
- 2.Se6#
- 2.Qc4#
- 1...Bf1
- 2.Se6#
- 1...Bd3
- 2.Se6#
- 1...Bf3
- 2.Se6#
- 2.Qc4#
- 1...Bc4
- 2.Qxc4#
- 1...Bg4
- 2.Se6#
- 2.Qc4#
- 1...Bh5
- 2.Se6#
- 2.Qc4#
- 1...Sc5
- 2.Sxe2#
- 2.Qd5#
- 1...e6
- 2.Sxe2#
- 2.Sxe6#
- 1...Qxf4!
- threat
- 1.Bxc3+?
- 1...Qxc3
- 2.Sxe2#
- 2.Se6#
- 1...Sxc3!
- 1...Qxc3
- 1.Rc5?
- threat
- 2.Qd5#
- 1...Qg2
- 2.Se6#
- 1...Qf3
- 2.Se6#
- 1...Qg5
- 2.Sxe2#
- 2.Se6#
- 1...Bf3
- 2.Rc4#
- 1...Bc4
- 2.Rxc4#
- 1...e6
- 2.Qd6#
- 1...Qxf4+!
- threat
- 1.Rb8?
- threat
- 2.d8Q#
- 2.d8R#
- 1...Qxf4+
- 2.Rxf4#
- 1...Qxg6
- 2.Sxe2#
- 1...Bxb5
- 2.d8Q#
- 2.d8R#
- 1...Sc5
- 2.Qd5#
- 1...Qe3
- 2.d8Q#
- 2.d8R#
- 1...Qe1
- 2.Se6#
- 2.d8Q#
- 2.d8R#
- 1...Qf2
- 2.Se6#
- 2.d8Q#
- 2.d8R#
- 1...Qh2
- 2.d8Q#
- 2.d8R#
- 1...Qh4
- 2.Sxe2#
- 2.Se6#
- 2.d8Q#
- 2.d8R#
- 1...Qg1
- 2.Sxe2#
- 2.Se6#
- 2.d8Q#
- 2.d8R#
- 1...Qg2
- 2.Se6#
- 1...Qd3
- 2.Se6#
- 2.d8Q#
- 2.d8R#
- 1...Qf3
- 2.Se6#
- 1...Qh3
- 2.Sxe2#
- 2.Se6#
- 2.d8Q#
- 2.d8R#
- 1...Qg4
- 2.Se6#
- 2.d8Q#
- 2.d8R#
- 1...Qg5
- 2.Sxe2#
- 2.Se6#
- 2.d8Q#
- 2.d8R#
- 1...Bd1
- 2.d8Q#
- 2.d8R#
- 1...Bf1
- 2.d8Q#
- 2.d8R#
- 1...Bd3
- 2.d8Q#
- 2.d8R#
- 1...Bc4
- 2.Qe4#
- 1...Bg4
- 2.d8Q#
- 2.d8R#
- 1...Bh5
- 2.d8Q#
- 2.d8R#
- 1...Sb2
- 2.d8Q#
- 2.d8R#
- 1...e5
- 2.Sxe2#
- 2.Se6#
- 2.d8Q#
- 2.d8R#
- 1...e6
- 2.d8Q#
- 2.d8R#
- 1...Bf3!
- threat
- 1.Rc8?
- threat
- 2.d8Q#
- 2.d8R#
- 1...Qxf4+
- 2.Rxf4#
- 1...Qxg6
- 2.Sxe2#
- 1...Bxb5
- 2.d8Q#
- 2.d8R#
- 1...Sc5
- 2.Qd5#
- 1...Qe3
- 2.d8Q#
- 2.d8R#
- 1...Qe1
- 2.Se6#
- 2.d8Q#
- 2.d8R#
- 1...Qf2
- 2.Se6#
- 2.d8Q#
- 2.d8R#
- 1...Qh2
- 2.d8Q#
- 2.d8R#
- 1...Qh4
- 2.Sxe2#
- 2.Se6#
- 2.d8Q#
- 2.d8R#
- 1...Qg1
- 2.Sxe2#
- 2.Se6#
- 2.d8Q#
- 2.d8R#
- 1...Qg2
- 2.Se6#
- 1...Qd3
- 2.Se6#
- 2.d8Q#
- 2.d8R#
- 1...Qf3
- 2.Se6#
- 1...Qh3
- 2.Sxe2#
- 2.Se6#
- 2.d8Q#
- 2.d8R#
- 1...Qg4
- 2.Se6#
- 2.d8Q#
- 2.d8R#
- 1...Qg5
- 2.Sxe2#
- 2.Se6#
- 2.d8Q#
- 2.d8R#
- 1...Bd1
- 2.d8Q#
- 2.d8R#
- 1...Bf1
- 2.d8Q#
- 2.d8R#
- 1...Bd3
- 2.d8Q#
- 2.d8R#
- 1...Bc4
- 2.Qe4#
- 1...Bg4
- 2.d8Q#
- 2.d8R#
- 1...Bh5
- 2.d8Q#
- 2.d8R#
- 1...Sb2
- 2.d8Q#
- 2.d8R#
- 1...e5
- 2.Sxe2#
- 2.Se6#
- 2.d8Q#
- 2.d8R#
- 1...e6
- 2.d8Q#
- 2.d8R#
- 1...Bf3!
- threat
- 1.Re8?
- threat
- 2.d8Q#
- 2.d8R#
- 1...Qxf4+
- 2.Rxf4#
- 1...Qxg6
- 2.Sxe2#
- 1...Bxb5
- 2.d8Q#
- 2.d8R#
- 1...Sc5
- 2.Qd5#
- 1...Qe3
- 2.d8Q#
- 2.d8R#
- 1...Qe1
- 2.Se6#
- 2.d8Q#
- 2.d8R#
- 1...Qf2
- 2.Se6#
- 2.d8Q#
- 2.d8R#
- 1...Qh2
- 2.d8Q#
- 2.d8R#
- 1...Qh4
- 2.Sxe2#
- 2.Se6#
- 2.d8Q#
- 2.d8R#
- 1...Qg1
- 2.Sxe2#
- 2.Se6#
- 2.d8Q#
- 2.d8R#
- 1...Qg2
- 2.Se6#
- 1...Qd3
- 2.Se6#
- 2.d8Q#
- 2.d8R#
- 1...Qf3
- 2.Se6#
- 1...Qh3
- 2.Sxe2#
- 2.Se6#
- 2.d8Q#
- 2.d8R#
- 1...Qg4
- 2.Se6#
- 2.d8Q#
- 2.d8R#
- 1...Qg5
- 2.Sxe2#
- 2.Se6#
- 2.d8Q#
- 2.d8R#
- 1...Bd1
- 2.d8Q#
- 2.d8R#
- 1...Bf1
- 2.d8Q#
- 2.d8R#
- 1...Bd3
- 2.d8Q#
- 2.d8R#
- 1...Bc4
- 2.Qe4#
- 1...Bg4
- 2.d8Q#
- 2.d8R#
- 1...Bh5
- 2.d8Q#
- 2.d8R#
- 1...Sb2
- 2.d8Q#
- 2.d8R#
- 1...e5
- 2.Sxe2#
- 2.Se6#
- 2.d8Q#
- 2.d8R#
- 1...e6
- 2.d8Q#
- 2.d8R#
- 1...Bf3!
- threat
- 1.Rdf8?
- threat
- 2.d8Q#
- 2.d8R#
- 1...Qxf4+
- 2.Rxf4#
- 1...Qxg6
- 2.Sxe2#
- 1...Bxb5
- 2.d8Q#
- 2.d8R#
- 1...Sc5
- 2.Qd5#
- 1...Qe3
- 2.d8Q#
- 2.d8R#
- 1...Qe1
- 2.Se6#
- 2.d8Q#
- 2.d8R#
- 1...Qf2
- 2.Se6#
- 2.d8Q#
- 2.d8R#
- 1...Qh2
- 2.d8Q#
- 2.d8R#
- 1...Qh4
- 2.Sxe2#
- 2.Se6#
- 2.d8Q#
- 2.d8R#
- 1...Qg1
- 2.Sxe2#
- 2.Se6#
- 2.d8Q#
- 2.d8R#
- 1...Qg2
- 2.Se6#
- 1...Qd3
- 2.Se6#
- 2.d8Q#
- 2.d8R#
- 1...Qf3
- 2.Se6#
- 1...Qh3
- 2.Sxe2#
- 2.Se6#
- 2.d8Q#
- 2.d8R#
- 1...Qg4
- 2.Se6#
- 2.d8Q#
- 2.d8R#
- 1...Qg5
- 2.Sxe2#
- 2.Se6#
- 2.d8Q#
- 2.d8R#
- 1...Bd1
- 2.d8Q#
- 2.d8R#
- 1...Bf1
- 2.d8Q#
- 2.d8R#
- 1...Bd3
- 2.d8Q#
- 2.d8R#
- 1...Bc4
- 2.Qe4#
- 1...Bg4
- 2.d8Q#
- 2.d8R#
- 1...Bh5
- 2.d8Q#
- 2.d8R#
- 1...Sb2
- 2.d8Q#
- 2.d8R#
- 1...e5
- 2.Sxe2#
- 2.Se6#
- 2.d8Q#
- 2.d8R#
- 1...e6
- 2.d8Q#
- 2.d8R#
- 1...Bf3!
- threat
- 1.Rg8?
- threat
- 2.d8Q#
- 2.d8R#
- 1...Qxf4+
- 2.Rxf4#
- 1...Qxg6
- 2.Sxe2#
- 1...Bxb5
- 2.d8Q#
- 2.d8R#
- 1...Sc5
- 2.Qd5#
- 1...Qe1
- 2.Se6#
- 2.d8Q#
- 2.d8R#
- 1...Qf2
- 2.Se6#
- 2.d8Q#
- 2.d8R#
- 1...Qh2
- 2.d8Q#
- 2.d8R#
- 1...Qh4
- 2.Sxe2#
- 2.Se6#
- 2.d8Q#
- 2.d8R#
- 1...Qg1
- 2.Sxe2#
- 2.Se6#
- 2.d8Q#
- 2.d8R#
- 1...Qg2
- 2.Se6#
- 1...Qd3
- 2.Se6#
- 2.d8Q#
- 2.d8R#
- 1...Qe3
- 2.d8Q#
- 2.d8R#
- 1...Qf3
- 2.Se6#
- 1...Qh3
- 2.Sxe2#
- 2.Se6#
- 2.d8Q#
- 2.d8R#
- 1...Qg4
- 2.Se6#
- 2.d8Q#
- 2.d8R#
- 1...Qg5
- 2.Sxe2#
- 2.Se6#
- 2.d8Q#
- 2.d8R#
- 1...Bd1
- 2.d8Q#
- 2.d8R#
- 1...Bf1
- 2.d8Q#
- 2.d8R#
- 1...Bd3
- 2.d8Q#
- 2.d8R#
- 1...Bc4
- 2.Qe4#
- 1...Bg4
- 2.d8Q#
- 2.d8R#
- 1...Bh5
- 2.d8Q#
- 2.d8R#
- 1...Sb2
- 2.d8Q#
- 2.d8R#
- 1...e5
- 2.Sxe2#
- 2.Se6#
- 2.d8Q#
- 2.d8R#
- 1...e6
- 2.d8Q#
- 2.d8R#
- 1...Bf3!
- threat
- 1.Rh8?
- threat
- 2.d8Q#
- 2.d8R#
- 1...Qxf4+
- 2.Rxf4#
- 1...Qxg6
- 2.Sxe2#
- 1...Bxb5
- 2.d8Q#
- 2.d8R#
- 1...Sc5
- 2.Qd5#
- 1...Qe1
- 2.Se6#
- 2.d8Q#
- 2.d8R#
- 1...Qf2
- 2.Se6#
- 2.d8Q#
- 2.d8R#
- 1...Qh2
- 2.d8Q#
- 2.d8R#
- 1...Qh4
- 2.Sxe2#
- 2.Se6#
- 2.d8Q#
- 2.d8R#
- 1...Qg1
- 2.Sxe2#
- 2.Se6#
- 2.d8Q#
- 2.d8R#
- 1...Qg2
- 2.Se6#
- 1...Qd3
- 2.Se6#
- 2.d8Q#
- 2.d8R#
- 1...Qe3
- 2.d8Q#
- 2.d8R#
- 1...Qf3
- 2.Se6#
- 1...Qh3
- 2.Sxe2#
- 2.Se6#
- 2.d8Q#
- 2.d8R#
- 1...Qg4
- 2.Se6#
- 2.d8Q#
- 2.d8R#
- 1...Qg5
- 2.Sxe2#
- 2.Se6#
- 2.d8Q#
- 2.d8R#
- 1...Bd1
- 2.d8Q#
- 2.d8R#
- 1...Bf1
- 2.d8Q#
- 2.d8R#
- 1...Bd3
- 2.d8Q#
- 2.d8R#
- 1...Bc4
- 2.Qe4#
- 1...Bg4
- 2.d8Q#
- 2.d8R#
- 1...Bh5
- 2.d8Q#
- 2.d8R#
- 1...Sb2
- 2.d8Q#
- 2.d8R#
- 1...e5
- 2.Sxe2#
- 2.Se6#
- 2.d8Q#
- 2.d8R#
- 1...e6
- 2.d8Q#
- 2.d8R#
- 1...Bf3!
- threat
- 1.Kb8?
- Keys
- 1.Ra8!
- threat
- 2.d8Q#
- 2.d8R#
- 1...Qxf4+
- 2.Rxf4#
- 1...Qxg6
- 2.Sxe2#
- 1...Bxb5
- 2.d8Q#
- 2.d8R#
- 1...Sc5
- 2.Qd5#
- 1...Qe3
- 2.d8Q#
- 2.d8R#
- 1...Qe1
- 2.Se6#
- 2.d8Q#
- 2.d8R#
- 1...Qf2
- 2.Se6#
- 2.d8Q#
- 2.d8R#
- 1...Qh2
- 2.d8Q#
- 2.d8R#
- 1...Qh4
- 2.Sxe2#
- 2.Se6#
- 2.d8Q#
- 2.d8R#
- 1...Qg1
- 2.Sxe2#
- 2.Se6#
- 2.d8Q#
- 2.d8R#
- 1...Qg2
- 2.Se6#
- 1...Qd3
- 2.Se6#
- 2.d8Q#
- 2.d8R#
- 1...Qf3
- 2.Se6#
- 1...Qh3
- 2.Sxe2#
- 2.Se6#
- 2.d8Q#
- 2.d8R#
- 1...Qg4
- 2.Se6#
- 2.d8Q#
- 2.d8R#
- 1...Qg5
- 2.Sxe2#
- 2.Se6#
- 2.d8Q#
- 2.d8R#
- 1...Bd1
- 2.Rxa4#
- 2.d8Q#
- 2.d8R#
- 1...Bf1
- 2.d8Q#
- 2.d8R#
- 1...Bd3
- 2.d8Q#
- 2.d8R#
- 1...Bf3
- 2.Rxa4#
- 1...Bc4
- 2.Qe4#
- 1...Bg4
- 2.Rxa4#
- 2.d8Q#
- 2.d8R#
- 1...Bh5
- 2.Rxa4#
- 2.d8Q#
- 2.d8R#
- 1...Sb2
- 2.d8Q#
- 2.d8R#
- 1...e5
- 2.Sxe2#
- 2.Se6#
- 2.d8Q#
- 2.d8R#
- 1...e6
- 2.d8Q#
- 2.d8R#
- threat
- 1.Ra8!
FEATURES
- Static
- TYPE = THREAT
- CHANGED MATES = 0
- ADDED MATES = 1
- REMOVED MATES = 4
- Sets
- Q(c);N_PINS(D)::S(D)
- Q(c);CHECK,OGATE,XS(D)::R(F),XQ(c)
- Q(c);N_PINS(D),XS(H)::S(D),XB(a)
- B(a);N_PINQ(G),SBLOCK::QAR1(G)
- S(d);N_PINQ(G)::QAR1(G)
- Tries
- Try
- K(J);N_SPINQ(G),S_FLIGHT
- Threat
- DUALS(2)
- Vars
- Q(c);CHECK,OGATE,XS(D)::R(F),XQ(c)
- S(d);::QAR1(G)
- Q(c);N_PINS(D)::S(D)
- Q(c);N_PINS(D)::QAR1(G)
- B(a);::QAR1(G)
- B(a);SBLOCK::QAR1(G)
- P(g);::QAR1(G)
- Refutation
- B(a);
- Try
- K(J);N_SPINS(D),P-FLIGHT
- Threat
- DUALS(2)
- Vars
- Q(c);OGATE,XS(D)::R(F),XQ(c)
- Q(c);XS(H)::S(D),XB(a)
- B(a);XP(E)::S(D)
- S(d);N_PINQ(G)::QAR1(G)
- Q(c);::S(D)
- B(a);::S(D)
- B(a);N_PINQ(G),SBLOCK::QAR1(G)
- Refutation
- Q(c);
- Try
- S(H);N_SPINS(D)
- Threat
- DUALS(2)
- Vars
- B(a);XP(E)::S(D)
- Q(c);::S(D)
- Q(c);::S(D),XB(a)
- B(a);::S(D)
- B(a);N_GUARD,N_PINQ(G)::QAR1(G),XB(a)
- Refutation
- Q(c);P_PINS(H),XS(D)
- Try
- B(A);CHECK,N_SPINQ(G),XR(b)
- Refutation
- S(d);XB(A)
- Try
- R(F);N_SPINQ(G)
- Threat
- QAR1(G)
- Vars
- Q(c);N_PINS(D)::S(D)
- B(a);N_GUARD::R1(F)
- B(a);N_GUARD::R1(F),XB(a)
- P(g);N_GUARD::QAR2(G)
- Refutation
- Q(c);CHECK,XS(D)
- Try
- R(L);
- Threat
- P=Q
- Vars
- Q(c);CHECK,OGATE,XS(D)::R(F),XQ(c)
- Q(c);N_PINS(D),XS(H)::S(D),XB(a)
- B(a);XP(E)::P=Q
- S(d);N_PINQ(G)::QAR1(G)
- Q(c);N_PINS(D)::P=Q
- Q(c);::P=Q
- Q(c);N_PINS(D)::S(D)
- B(a);::P=Q
- B(a);N_PINQ(G),SBLOCK::QAR1(G)
- S(d);N_SPINR(b)::P=Q
- P(g);::P=Q
- Refutation
- B(a);
- Try
- R(L);
- Threat
- P=Q
- Vars
- Q(c);CHECK,OGATE,XS(D)::R(F),XQ(c)
- Q(c);N_PINS(D),XS(H)::S(D),XB(a)
- B(a);XP(E)::P=Q
- S(d);N_PINQ(G)::QAR1(G)
- Q(c);N_PINS(D)::P=Q
- Q(c);::P=Q
- Q(c);N_PINS(D)::S(D)
- B(a);::P=Q
- B(a);N_PINQ(G),SBLOCK::QAR1(G)
- S(d);N_SPINR(b)::P=Q
- P(g);::P=Q
- Refutation
- B(a);
- Try
- R(L);
- Threat
- P=Q
- Vars
- Q(c);CHECK,OGATE,XS(D)::R(F),XQ(c)
- Q(c);N_PINS(D),XS(H)::S(D),XB(a)
- B(a);XP(E)::P=Q
- S(d);N_PINQ(G)::QAR1(G)
- Q(c);N_PINS(D)::P=Q
- Q(c);::P=Q
- Q(c);N_PINS(D)::S(D)
- B(a);::P=Q
- B(a);N_PINQ(G),SBLOCK::QAR1(G)
- S(d);N_SPINR(b)::P=Q
- P(g);::P=Q
- Refutation
- B(a);
- Try
- R(L);
- Threat
- P=Q
- Vars
- Q(c);CHECK,OGATE,XS(D)::R(F),XQ(c)
- Q(c);N_PINS(D),XS(H)::S(D),XB(a)
- B(a);XP(E)::P=Q
- S(d);N_PINQ(G)::QAR1(G)
- Q(c);N_PINS(D)::P=Q
- Q(c);::P=Q
- Q(c);N_PINS(D)::S(D)
- B(a);::P=Q
- B(a);N_PINQ(G),SBLOCK::QAR1(G)
- S(d);N_SPINR(b)::P=Q
- P(g);::P=Q
- Refutation
- B(a);
- Try
- R(L);
- Threat
- P=Q
- Vars
- Q(c);CHECK,OGATE,XS(D)::R(F),XQ(c)
- Q(c);N_PINS(D),XS(H)::S(D),XB(a)
- B(a);XP(E)::P=Q
- S(d);N_PINQ(G)::QAR1(G)
- Q(c);::P=Q
- Q(c);N_PINS(D)::S(D)
- Q(c);N_PINS(D)::P=Q
- B(a);::P=Q
- B(a);N_PINQ(G),SBLOCK::QAR1(G)
- S(d);N_SPINR(b)::P=Q
- P(g);::P=Q
- Refutation
- B(a);
- Try
- R(L);
- Threat
- P=Q
- Vars
- Q(c);CHECK,OGATE,XS(D)::R(F),XQ(c)
- Q(c);N_PINS(D),XS(H)::S(D),XB(a)
- B(a);XP(E)::P=Q
- S(d);N_PINQ(G)::QAR1(G)
- Q(c);::P=Q
- Q(c);N_PINS(D)::S(D)
- Q(c);N_PINS(D)::P=Q
- B(a);::P=Q
- B(a);N_PINQ(G),SBLOCK::QAR1(G)
- S(d);N_SPINR(b)::P=Q
- P(g);::P=Q
- Refutation
- B(a);
- Try
- Actual
- R(L);
- Threat
- P=Q
- Vars
- Q(c);CHECK,OGATE,XS(D)::R(F),XQ(c)
- Q(c);N_PINS(D),XS(H)::S(D),XB(a)
- B(a);XP(E)::P=Q
- S(d);N_PINQ(G)::QAR1(G)
- Q(c);N_PINS(D)::P=Q
- Q(c);::P=Q
- Q(c);N_PINS(D)::S(D)
- B(a);::P=Q
- B(a);N_GUARD::R(L),XS(d)
- B(a);N_PINQ(G),SBLOCK::QAR1(G)
- S(d);N_SPINR(b)::P=Q
- P(g);::P=Q
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).