MESON Chess Problem Database

Problem Display
PID: 287462 (b5B1/1nN5/1Q3P2/1nqp2K1/2k1PN2/B2RR3/P7/8 w - - 0 1)

Musante, Horacio Luis

1/2 Prize, To Mat, 1961

b5B1/1nN5/1Q3P2/1nqp2K1/2k1PN2/B2RR3/P7/8

#2

11 + 6

15601 Albrecht-Leiss-Degener Collection 2026

SOLUTION

  • SOUND
  • Sets
    • 1...Qxa3
      • 2.Qxb5#
    • 1...Qxe3
      • 2.Bxd5#
      • 2.Qxb5#
    • 1...Qb4
      • 2.Bxd5#
    • 1...Qd4
      • 2.Qxb5#
    • 1...Qxb6
      • 2.Bxd5#
    • 1...Qd6
      • 2.Qxb5#
    • 1...Qe7
      • 2.Bxd5#
      • 2.Qxb5#
    • 1...Qf8
      • 2.Bxd5#
      • 2.Qxb5#
    • 1...Qxc7
      • 2.Bxd5#
    • 1...Sxa3
      • 2.Qb3#
    • 1...Sc3
      • 2.Qb3#
    • 1...Sd4
      • 2.Rc3#
    • 1...S5d6
      • 2.Qb3#
    • 1...Sa7
      • 2.Qb3#
    • 1...Sxc7
      • 2.Qb3#
    • 1...Sa5
      • 2.Qxc5#
    • 1...S7d6
      • 2.Qxc5#
    • 1...Sd8
      • 2.Qxc5#
  • Tries
    • 1.Kg4?
      • 1...Qxa3
        • 2.Qxb5#
      • 1...Qxe3
        • 2.Bxd5#
        • 2.Qxb5#
      • 1...Qxb6
        • 2.Bxd5#
      • 1...Qxc7
        • 2.Bxd5#
      • 1...Sxa3
        • 2.Qb3#
      • 1...Sxc7
        • 2.Qb3#
      • 1...Qb4
        • 2.Bxd5#
      • 1...Qd4
        • 2.Qxb5#
      • 1...Qd6
        • 2.Qxb5#
      • 1...Qe7
        • 2.Bxd5#
        • 2.Qxb5#
      • 1...Qf8
        • 2.Bxd5#
        • 2.Qxb5#
      • 1...Sc3
        • 2.Qb3#
      • 1...Sd4
        • 2.Rc3#
      • 1...S5d6
        • 2.Qb3#
      • 1...Sa7
        • 2.Qb3#
      • 1...Sa5
        • 2.Qxc5#
      • 1...S7d6
        • 2.Qxc5#
      • 1...Sd8
        • 2.Qxc5#
      • 1...Qc6!
    • 1.Kh4?
      • 1...Qxa3
        • 2.Qxb5#
      • 1...Qxe3
        • 2.Bxd5#
        • 2.Qxb5#
      • 1...Qxb6
        • 2.Bxd5#
      • 1...Qxc7
        • 2.Bxd5#
      • 1...Sxa3
        • 2.Qb3#
      • 1...Sxc7
        • 2.Qb3#
      • 1...Qb4
        • 2.Bxd5#
      • 1...Qd4
        • 2.Qxb5#
      • 1...Qd6
        • 2.Qxb5#
      • 1...Qe7
        • 2.Bxd5#
        • 2.Qxb5#
      • 1...Qf8
        • 2.Bxd5#
        • 2.Qxb5#
      • 1...Sc3
        • 2.Qb3#
      • 1...Sd4
        • 2.Rc3#
      • 1...S5d6
        • 2.Qb3#
      • 1...Sa7
        • 2.Qb3#
      • 1...Sa5
        • 2.Qxc5#
      • 1...S7d6
        • 2.Qxc5#
      • 1...Sd8
        • 2.Qxc5#
      • 1...Qc6!
    • 1.Kh5?
      • 1...Qxa3
        • 2.Qxb5#
      • 1...Qxe3
        • 2.Bxd5#
        • 2.Qxb5#
      • 1...Qxb6
        • 2.Bxd5#
      • 1...Qxc7
        • 2.Bxd5#
      • 1...Sxa3
        • 2.Qb3#
      • 1...Sxc7
        • 2.Qb3#
      • 1...Qb4
        • 2.Bxd5#
      • 1...Qd4
        • 2.Qxb5#
      • 1...Qd6
        • 2.Qxb5#
      • 1...Qe7
        • 2.Bxd5#
        • 2.Qxb5#
      • 1...Qf8
        • 2.Bxd5#
        • 2.Qxb5#
      • 1...Sc3
        • 2.Qb3#
      • 1...Sd4
        • 2.Rc3#
      • 1...S5d6
        • 2.Qb3#
      • 1...Sa7
        • 2.Qb3#
      • 1...Sa5
        • 2.Qxc5#
      • 1...S7d6
        • 2.Qxc5#
      • 1...Sd8
        • 2.Qxc5#
      • 1...Qc6!
    • 1.Kg6?
      • 1...Qxa3
        • 2.Qxb5#
      • 1...Qxe3
        • 2.Bxd5#
        • 2.Qxb5#
      • 1...Qxb6
        • 2.Bxd5#
      • 1...Qxc7
        • 2.Bxd5#
      • 1...Sxa3
        • 2.Qb3#
      • 1...Sxc7
        • 2.Qb3#
      • 1...Qb4
        • 2.Bxd5#
      • 1...Qd4
        • 2.Qxb5#
      • 1...Qd6
        • 2.Qxb5#
      • 1...Qe7
        • 2.Bxd5#
        • 2.Qxb5#
      • 1...Qf8
        • 2.Bxd5#
        • 2.Qxb5#
      • 1...Sc3
        • 2.Qb3#
      • 1...Sd4
        • 2.Rc3#
      • 1...S5d6
        • 2.Qb3#
      • 1...Sa7
        • 2.Qb3#
      • 1...Sa5
        • 2.Qxc5#
      • 1...S7d6
        • 2.Qxc5#
      • 1...Sd8
        • 2.Qxc5#
      • 1...Qc6!
    • 1.Sfxd5?
      • 1...Qxe3+
        • 2.Sf4#
      • 1...Qxd5+
        • 2.Bxd5#
      • 1...Qxa3
        • 2.Qxb5#
      • 1...Qxb6
        • 2.Sxb6#
      • 1...Qxc7
        • 2.Sxc7#
        • 2.Se7#
      • 1...Sxa3
        • 2.Qb3#
      • 1...Sxc7
        • 2.Qb3#
      • 1...Qb4
        • 2.Sc3#
        • 2.Sxb4#
        • 2.Sf4#
        • 2.Se7#
      • 1...Qd4
        • 2.Qxb5#
      • 1...Qd6
        • 2.Qxb5#
      • 1...Qe7
        • 2.Sxe7#
        • 2.Qxb5#
      • 1...Qf8
        • 2.Qxb5#
      • 1...Sc3
        • 2.Qb3#
      • 1...Sd4
        • 2.Rc3#
      • 1...S5d6
        • 2.Qb3#
      • 1...Sa7
        • 2.Qb3#
      • 1...Sa5
        • 2.Qxc5#
      • 1...S7d6
        • 2.Qxc5#
      • 1...Sd8
        • 2.Qxc5#
      • 1...Qc6!
    • 1.Sg6?
      • threat
        • 2.Se5#
      • 1...Qxa3
        • 2.Qxb5#
      • 1...Qxc7
        • 2.Bxd5#
      • 1...Qd4
        • 2.Qxb5#
      • 1...Qd6
        • 2.Qxb5#
      • 1...Qe7
        • 2.Bxd5#
        • 2.Qxb5#
      • 1...Qxe3+!
    • 1.Sxb5?
      • threat
        • 2.Rc3#
      • 1...Qxa3
        • 2.Sxa3#
        • 2.Rd4#
      • 1...Qxe3
        • 2.Bxd5#
      • 1...Qb4
        • 2.Bxd5#
        • 2.Rd4#
      • 1...Qd4
        • 2.Rxd4#
      • 1...Qxb6!
    • 1.Bxc5?
      • threat
        • 2.Bxd5#
        • 2.Qxb5#
      • 1...Sxc7
        • 2.Rc3#
        • 2.Rd4#
        • 2.Qb4#
      • 1...Sxc5
        • 2.Qxb5#
      • 1...Sa3
        • 2.Bxd5#
        • 2.Rc3#
        • 2.Rd4#
        • 2.Qb4#
      • 1...Sc3
        • 2.Rxc3#
        • 2.Rd4#
        • 2.Qb4#
      • 1...Sd4
        • 2.Bxd5#
        • 2.Rc3#
        • 2.Rxd4#
        • 2.Qb4#
      • 1...S5d6
        • 2.Bxd5#
        • 2.Rc3#
        • 2.Rd4#
        • 2.Qb4#
      • 1...Sa7
        • 2.Bxd5#
        • 2.Rc3#
        • 2.Rd4#
        • 2.Qb4#
      • 1...Sa5
        • 2.Qxb5#
      • 1...Sd8
        • 2.Qxb5#
      • 1...S7d6!
    • 1.Be6?
      • 1...Qxa3
        • 2.Qxb5#
      • 1...Qxe3
        • 2.Bxd5#
        • 2.Qxb5#
      • 1...Qxb6
        • 2.Bxd5#
      • 1...Qxc7
        • 2.Bxd5#
      • 1...Sxa3
        • 2.Qb3#
      • 1...Sxc7
        • 2.Qb3#
      • 1...Qb4
        • 2.Bxd5#
      • 1...Qd4
        • 2.Qxb5#
      • 1...Qd6
        • 2.Qxb5#
      • 1...Qe7
        • 2.Bxd5#
        • 2.Qxb5#
      • 1...Qf8
        • 2.Bxd5#
        • 2.Qxb5#
      • 1...Sc3
        • 2.Qb3#
      • 1...Sd4
        • 2.Rc3#
      • 1...S5d6
        • 2.Qb3#
      • 1...Sa7
        • 2.Qb3#
      • 1...Sa5
        • 2.Qxc5#
      • 1...S7d6
        • 2.Qxc5#
      • 1...Sd8
        • 2.Qxc5#
      • 1...Qc6!
    • 1.Bf7?
      • 1...Qxa3
        • 2.Qxb5#
      • 1...Qxe3
        • 2.Bxd5#
        • 2.Qxb5#
      • 1...Qxb6
        • 2.Bxd5#
      • 1...Qxc7
        • 2.Bxd5#
      • 1...Sxa3
        • 2.Qb3#
      • 1...Sxc7
        • 2.Qb3#
      • 1...Qb4
        • 2.Bxd5#
      • 1...Qd4
        • 2.Qxb5#
      • 1...Qd6
        • 2.Qxb5#
      • 1...Qe7
        • 2.Bxd5#
        • 2.Qxb5#
      • 1...Qf8
        • 2.Bxd5#
        • 2.Qxb5#
      • 1...Sc3
        • 2.Qb3#
      • 1...Sd4
        • 2.Rc3#
      • 1...S5d6
        • 2.Qb3#
      • 1...Sa7
        • 2.Qb3#
      • 1...Sa5
        • 2.Qxc5#
      • 1...S7d6
        • 2.Qxc5#
      • 1...Sd8
        • 2.Qxc5#
      • 1...Qc6!
    • 1.Rg3?
      • 1...Qxa3
        • 2.Qxb5#
      • 1...Qxb6
        • 2.Bxd5#
      • 1...Qxc7
        • 2.Bxd5#
      • 1...Sxa3
        • 2.Qb3#
      • 1...Sxc7
        • 2.Qb3#
      • 1...Qg1
        • 2.Bxd5#
        • 2.Qxb5#
      • 1...Qf2
        • 2.Bxd5#
        • 2.Qxb5#
      • 1...Qe3
        • 2.Bxd5#
        • 2.Qxb5#
      • 1...Qb4
        • 2.Bxd5#
      • 1...Qd4
        • 2.Qxb5#
      • 1...Qd6
        • 2.Qxb5#
      • 1...Qe7
        • 2.Bxd5#
        • 2.Qxb5#
      • 1...Qf8
        • 2.Bxd5#
        • 2.Qxb5#
      • 1...Sc3
        • 2.Qb3#
      • 1...Sd4
        • 2.Rc3#
      • 1...S5d6
        • 2.Qb3#
      • 1...Sa7
        • 2.Qb3#
      • 1...Sa5
        • 2.Qxc5#
      • 1...S7d6
        • 2.Qxc5#
      • 1...Sd8
        • 2.Qxc5#
      • 1...Qc6!
    • 1.exd5?
      • 1...Qxd5+
        • 2.Bxd5#
      • 1...Qxa3
        • 2.Qxb5#
      • 1...Qxe3
        • 2.Qxb5#
      • 1...Qxb6
        • 2.d6#
      • 1...Sxa3
        • 2.Qb3#
      • 1...Sxc7
        • 2.Qb3#
      • 1...Qc6
        • 2.dxc6#
      • 1...Qb4
        • 2.d6#
      • 1...Qd4
        • 2.Qxb5#
      • 1...Qd6
        • 2.Qxb5#
      • 1...Qe7
        • 2.Qxb5#
      • 1...Qf8
        • 2.Qxb5#
      • 1...Sc3
        • 2.Qb3#
      • 1...Sd4
        • 2.Rc3#
      • 1...S5d6
        • 2.Qb3#
      • 1...Sa7
        • 2.Qb3#
      • 1...Sa5
        • 2.Qxc5#
      • 1...S7d6
        • 2.Qxc5#
      • 1...Sd8
        • 2.Qxc5#
      • 1...Qxc7!
    • 1.e5?
      • 1...Qxa3
        • 2.Qxb5#
      • 1...Qxe3
        • 2.Bxd5#
        • 2.Qxb5#
      • 1...Qxb6
        • 2.Bxd5#
      • 1...Qxc7
        • 2.Bxd5#
      • 1...Sxa3
        • 2.Qb3#
      • 1...Sxc7
        • 2.Qb3#
      • 1...Qb4
        • 2.Bxd5#
      • 1...Qd4
        • 2.Qxb5#
      • 1...Qd6
        • 2.Qxb5#
      • 1...Qe7
        • 2.Bxd5#
        • 2.Qxb5#
      • 1...Qf8
        • 2.Bxd5#
        • 2.Qxb5#
      • 1...Sc3
        • 2.Qb3#
      • 1...Sd4
        • 2.Rc3#
      • 1...S5d6
        • 2.Qb3#
      • 1...Sa7
        • 2.Qb3#
      • 1...Sa5
        • 2.Qxc5#
      • 1...S7d6
        • 2.Qxc5#
      • 1...Sd8
        • 2.Qxc5#
      • 1...Qc6!
  • Keys
    • 1.Rxd5!
      • 1...Qxd5+
        • 2.Bxd5#
      • 1...Qxa3
        • 2.Rd4#
        • 2.Rxb5#
        • 2.Qxb5#
      • 1...Qxe3
        • 2.Rd3#
      • 1...Qxb6
        • 2.Rd6#
      • 1...Qxc7
        • 2.Rd4#
        • 2.Rd7#
        • 2.Qxb5#
      • 1...Sxa3
        • 2.Qb3#
      • 1...Sxc7
        • 2.Qb3#
      • 1...Qc6
        • 2.Rd4#
      • 1...Qb4
        • 2.Rd1#
        • 2.Rd2#
        • 2.Rdd3#
        • 2.Rd4#
        • 2.Rxb5#
        • 2.Re5#
        • 2.Rf5#
        • 2.Rd6#
        • 2.Rd7#
        • 2.Rd8#
      • 1...Qd4
        • 2.Rxd4#
        • 2.Rc5#
        • 2.Qxb5#
      • 1...Qd6
        • 2.Rd4#
        • 2.Rxd6#
        • 2.Qxb5#
      • 1...Qe7
        • 2.Rd4#
        • 2.Qxb5#
      • 1...Qf8
        • 2.Rd4#
        • 2.Qxb5#
      • 1...Sc3
        • 2.Qb3#
      • 1...Sd4
        • 2.Rxc5#
      • 1...S5d6
        • 2.Qb3#
      • 1...Sa7
        • 2.Qb3#
      • 1...Sa5
        • 2.Qxc5#
      • 1...S7d6
        • 2.Qxc5#
      • 1...Sd8
        • 2.Qxc5#

FEATURES

  • Static
    • TYPE = INCOMPLETE_BLOCK
    • CHANGED MATES = 2
    • ADDED MATES = 3
    • REMOVED MATES = 5
  • Sets
    • Q(c);N_GUARD,XB(B)::QAB1(H),XS(b)
    • Q(c);N_GUARD::B(K),XP(d)
    • Q(c);N_GUARD::QAB1(H),XS(b)
    • Q(c);N_GUARD,XQ(H)::B(K),XP(d)
    • Q(c);N_GUARD,XS(J)::B(K),XP(d)
    • S(b);OGATE,XB(B)::QAB1(H)
    • S(b);OGATE::QAB1(H)
    • S(b);N_GUARD,SBLOCK::R1(C)
    • S(b);OGATE,XS(J)::QAB1(H)
    • S(e);N_GUARD::QAR1(H),XQ(c)
  • Tries
    • Try
      • K(G);P-FLIGHT
      • Vars
        • Q(c);N_GUARD,XB(B)::QAB1(H),XS(b)
        • Q(c);N_GUARD,XQ(H)::B(K),XP(d)
        • Q(c);N_GUARD,XS(J)::B(K),XP(d)
        • S(b);OGATE,XB(B)::QAB1(H)
        • S(b);OGATE,XS(J)::QAB1(H)
        • Q(c);N_GUARD::B(K),XP(d)
        • Q(c);N_GUARD::QAB1(H),XS(b)
        • S(b);OGATE::QAB1(H)
        • S(b);N_GUARD,SBLOCK::R1(C)
        • S(e);N_GUARD::QAR1(H),XQ(c)
      • Refutation
        • Q(c);
    • Try
      • K(G);S_FLIGHT
      • Vars
        • Q(c);N_GUARD,XB(B)::QAB1(H),XS(b)
        • Q(c);N_GUARD,XQ(H)::B(K),XP(d)
        • Q(c);N_GUARD,XS(J)::B(K),XP(d)
        • S(b);OGATE,XB(B)::QAB1(H)
        • S(b);OGATE,XS(J)::QAB1(H)
        • Q(c);N_GUARD::B(K),XP(d)
        • Q(c);N_GUARD::QAB1(H),XS(b)
        • S(b);OGATE::QAB1(H)
        • S(b);N_GUARD,SBLOCK::R1(C)
        • S(e);N_GUARD::QAR1(H),XQ(c)
      • Refutation
        • Q(c);
    • Try
      • K(G);P-FLIGHT
      • Vars
        • Q(c);N_GUARD,XB(B)::QAB1(H),XS(b)
        • Q(c);N_GUARD,XQ(H)::B(K),XP(d)
        • Q(c);N_GUARD,XS(J)::B(K),XP(d)
        • S(b);OGATE,XB(B)::QAB1(H)
        • S(b);OGATE,XS(J)::QAB1(H)
        • Q(c);N_GUARD::B(K),XP(d)
        • Q(c);N_GUARD::QAB1(H),XS(b)
        • S(b);OGATE::QAB1(H)
        • S(b);N_GUARD,SBLOCK::R1(C)
        • S(e);N_GUARD::QAR1(H),XQ(c)
      • Refutation
        • Q(c);
    • Try
      • K(G);P-FLIGHT
      • Vars
        • Q(c);N_GUARD,XB(B)::QAB1(H),XS(b)
        • Q(c);N_GUARD,P_PINP(I),XQ(H)::B(K),XP(d)
        • Q(c);N_GUARD,XS(J)::B(K),XP(d)
        • S(b);OGATE,XB(B)::QAB1(H)
        • S(b);OGATE,XS(J)::QAB1(H)
        • Q(c);N_GUARD::B(K),XP(d)
        • Q(c);N_GUARD::QAB1(H),XS(b)
        • Q(c);N_GUARD,P_PINP(I)::QAB1(H),XS(b)
        • S(b);OGATE::QAB1(H)
        • S(b);N_GUARD,SBLOCK::R1(C)
        • S(e);N_GUARD::QAR1(H),XQ(c)
      • Refutation
        • Q(c);P_PINP(I)
    • Try
      • S(F);P_SPINS(F),XP(d)
      • Vars
        • Q(c);CHECK,N_PINS(F),XR(D)::B(K)+S(F)
        • Q(c);CHECK,OGATE,P_SPINQ(c),XS(F)::B(K),XQ(c)
        • Q(c);N_GUARD,N_PINS(F),XB(B)::QAB1(H),XS(b)
        • Q(c);N_PINS(F),XQ(H)::B(K)+S(F),DCHECK,XQ(c)
        • S(b);OGATE,XB(B)::QAB1(H)
        • S(b);OGATE,XS(J)::QAB1(H)
        • Q(c);N_GUARD,N_PINS(F)::QAB1(H),XS(b)
        • S(b);OGATE::QAB1(H)
        • S(b);N_GUARD,SBLOCK::R1(C)
        • S(e);N_GUARD::QAR1(H),XQ(c)
      • Refutation
        • Q(c);N_PINS(F)
    • Try
      • S(F);
      • Threat
        • S(F)
      • Vars
        • Q(c);N_GUARD,XB(B)::QAB1(H),XS(b)
        • Q(c);N_GUARD,XS(J)::B(K),XP(d)
        • Q(c);N_GUARD::QAB1(H),XS(b)
      • Refutation
        • Q(c);CHECK,XR(D)
    • Try
      • S(J);XS(b)
      • Threat
        • R1(C)
      • Vars
        • Q(c);N_GUARD,P_PINS(F),XR(D)::B(K),XP(d)
        • Q(c);N_GUARD::R1(C),XQ(c)
      • Refutation
        • Q(c);XQ(H)
    • Try
      • B(B);XQ(c)
      • Threat
        • DUALS(2)
      • Vars
        • S(e);XB(B)::QAB1(H),XS(b)
        • S(e);::QAB1(H),XS(b)
      • Refutation
        • S(e);
    • Try
      • B(K);
      • Vars
        • Q(c);N_GUARD,XB(B)::QAB1(H),XS(b)
        • Q(c);N_GUARD,XQ(H)::B(K),XP(d)
        • Q(c);N_GUARD,XS(J)::B(K),XP(d)
        • S(b);OGATE,XB(B)::QAB1(H)
        • S(b);OGATE,XS(J)::QAB1(H)
        • Q(c);N_GUARD::B(K),XP(d)
        • Q(c);N_GUARD::QAB1(H),XS(b)
        • S(b);OGATE::QAB1(H)
        • S(b);N_GUARD,SBLOCK::R1(C)
        • S(e);N_GUARD::QAR1(H),XQ(c)
      • Refutation
        • Q(c);
    • Try
      • B(K);
      • Vars
        • Q(c);N_GUARD,XB(B)::QAB1(H),XS(b)
        • Q(c);N_GUARD,XQ(H)::B(K),XP(d)
        • Q(c);N_GUARD,XS(J)::B(K),XP(d)
        • S(b);OGATE,XB(B)::QAB1(H)
        • S(b);OGATE,XS(J)::QAB1(H)
        • Q(c);N_GUARD::B(K),XP(d)
        • Q(c);N_GUARD::QAB1(H),XS(b)
        • S(b);OGATE::QAB1(H)
        • S(b);N_GUARD,SBLOCK::R1(C)
        • S(e);N_GUARD::QAR1(H),XQ(c)
      • Refutation
        • Q(c);
    • Try
      • R(D);
      • Vars
        • Q(c);N_GUARD,XB(B)::QAB1(H),XS(b)
        • Q(c);N_GUARD,XQ(H)::B(K),XP(d)
        • Q(c);N_GUARD,XS(J)::B(K),XP(d)
        • S(b);OGATE,XB(B)::QAB1(H)
        • S(b);OGATE,XS(J)::QAB1(H)
        • Q(c);N_GUARD::B(K),XP(d)
        • Q(c);N_GUARD::QAB1(H),XS(b)
        • S(b);OGATE::QAB1(H)
        • S(b);N_GUARD,SBLOCK::R1(C)
        • S(e);N_GUARD::QAR1(H),XQ(c)
      • Refutation
        • Q(c);
    • Try
      • P(E);P_SPINP(E),XP(d)
      • Vars
        • Q(c);CHECK,OGATE,P_SPINQ(c),XP(E)::B(K),XQ(c)
        • Q(c);N_GUARD,N_PINP(E),XB(B)::QAB1(H),XS(b)
        • Q(c);N_GUARD,N_PINP(E),P_PINS(F),XR(D)::QAB1(H),XS(b)
        • Q(c);N_PINP(E),XQ(H)::B(K)+P(E)
        • S(b);OGATE,XB(B)::QAB1(H)
        • S(b);OGATE,XS(J)::QAB1(H)
        • Q(c);N_PINP(E)::B(K)+P(E),XQ(c)
        • Q(c);N_PINP(E)::B(K)+P(E)
        • Q(c);N_GUARD,N_PINP(E)::QAB1(H),XS(b)
        • Q(c);N_GUARD,N_PINP(E),P_PINP(I)::QAB1(H),XS(b)
        • S(b);OGATE::QAB1(H)
        • S(b);N_GUARD,SBLOCK::R1(C)
        • S(e);N_GUARD::QAR1(H),XQ(c)
      • Refutation
        • Q(c);N_PINP(E),XS(J)
    • Try
      • P(E);
      • Vars
        • Q(c);N_GUARD,XB(B)::QAB1(H),XS(b)
        • Q(c);N_GUARD,XQ(H)::B(K),XP(d)
        • Q(c);N_GUARD,XS(J)::B(K),XP(d)
        • S(b);OGATE,XB(B)::QAB1(H)
        • S(b);OGATE,XS(J)::QAB1(H)
        • Q(c);N_GUARD::B(K),XP(d)
        • Q(c);N_GUARD::QAB1(H),XS(b)
        • S(b);OGATE::QAB1(H)
        • S(b);N_GUARD,SBLOCK::R1(C)
        • S(e);N_GUARD::QAR1(H),XQ(c)
      • Refutation
        • Q(c);
  • Actual
    • R(C);P_SPINR(C),XP(d)
    • Vars
      • Q(c);CHECK,OGATE,P_SPINQ(c),XR(C)::B(K),XQ(c)
      • Q(c);N_PINR(C),P_PINS(F),XR(D)::B(K)+R(C)
      • Q(c);N_PINR(C),XQ(H)::B(K)+R(C)
      • S(b);OGATE,XB(B)::QAB1(H)
      • S(b);OGATE,XS(J)::QAB1(H)
      • Q(c);N_PINR(C)::B(K)+R(C),DCHECK
      • S(b);OGATE::QAB1(H)
      • S(b);SBLOCK::B(K)+R(C),DCHECK,XQ(c)
      • S(e);N_GUARD::QAR1(H),XQ(c)
HTML5 logo

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).