MESON Chess Problem Database

Problem Display
PID: 287561 (R7/5KBQ/6p1/8/8/8/rq6/kr5R w - - 0 1)

Baird, Edith Elina Helen (Mrs WJ)

Daily Telegraph, 1923

(First published on Sat Aug 18 1923)

R7/5KBQ/6p1/8/8/8/rq6/kr5R

#2

5 + 5

15239 Valois Notebooks 2026

SOLUTION

  • SOUND
  • Sets
    • 1...Qc3
      • 2.Bxc3#
    • 1...Qd4
      • 2.Bxd4#
    • 1...Qe5
      • 2.Bxe5#
    • 1...Qf6+
      • 2.Bxf6#
    • 1...Qxg7+
      • 2.Qxg7#
    • 1...Rc1
      • 2.Rxc1#
    • 1...Rd1
      • 2.Rxd1#
    • 1...Re1
      • 2.Rxe1#
    • 1...Rf1+
      • 2.Rxf1#
    • 1...Rg1
      • 2.Rxg1#
    • 1...Rxh1
      • 2.Qxh1#
    • 1...Ra3
      • 2.Rxa3#
    • 1...Ra4
      • 2.Rxa4#
    • 1...Ra5
      • 2.Rxa5#
    • 1...Ra6
      • 2.Rxa6#
    • 1...Ra7+
      • 2.Rxa7#
    • 1...g5
      • 2.Rxb1#
      • 2.Qxb1#
  • Tries
    • 1.Ke6?
      • 1...Qe5+
        • 2.Bxe5#
      • 1...Qf6+
        • 2.Bxf6#
      • 1...Re1+
        • 2.Rxe1#
      • 1...Ra6+
        • 2.Rxa6#
      • 1...Qxg7
        • 2.Qxg7#
      • 1...Rxh1
        • 2.Qxh1#
      • 1...Qc3
        • 2.Bxc3#
      • 1...Qd4
        • 2.Bxd4#
      • 1...Rc1
        • 2.Rxc1#
      • 1...Rd1
        • 2.Rxd1#
      • 1...Rf1
        • 2.Rxf1#
      • 1...Rg1
        • 2.Rxg1#
      • 1...Ra3
        • 2.Rxa3#
      • 1...Ra4
        • 2.Rxa4#
      • 1...Ra5
        • 2.Rxa5#
      • 1...Ra7
        • 2.Rxa7#
      • 1...g5
        • 2.Rxb1#
        • 2.Qxb1#
      • 1...Rxa8!
    • 1.Kxg6?
      • 1...Qf6+
        • 2.Bxf6#
      • 1...Qxg7+
        • 2.Qxg7#
      • 1...Rg1+
        • 2.Rxg1#
      • 1...Ra6+
        • 2.Rxa6#
      • 1...Rxh1
        • 2.Qxh1#
      • 1...Qc3
        • 2.Bxc3#
      • 1...Qd4
        • 2.Bxd4#
      • 1...Qe5
        • 2.Bxe5#
      • 1...Rc1
        • 2.Rxc1#
      • 1...Rd1
        • 2.Rxd1#
      • 1...Re1
        • 2.Rxe1#
      • 1...Rf1
        • 2.Rxf1#
      • 1...Ra3
        • 2.Rxa3#
      • 1...Ra4
        • 2.Rxa4#
      • 1...Ra5
        • 2.Rxa5#
      • 1...Ra7
        • 2.Rxa7#
      • 1...Rxa8!
    • 1.Ke7?
      • 1...Qe5+
        • 2.Bxe5#
      • 1...Qf6+
        • 2.Bxf6#
      • 1...Qxg7+
        • 2.Qxg7#
      • 1...Re1+
        • 2.Rxe1#
      • 1...Ra7+
        • 2.Rxa7#
      • 1...Rxh1
        • 2.Qxh1#
      • 1...Qc3
        • 2.Bxc3#
      • 1...Qd4
        • 2.Bxd4#
      • 1...Rc1
        • 2.Rxc1#
      • 1...Rd1
        • 2.Rxd1#
      • 1...Rf1
        • 2.Rxf1#
      • 1...Rg1
        • 2.Rxg1#
      • 1...Ra3
        • 2.Rxa3#
      • 1...Ra4
        • 2.Rxa4#
      • 1...Ra5
        • 2.Rxa5#
      • 1...Ra6
        • 2.Rxa6#
      • 1...g5
        • 2.Rxb1#
        • 2.Qxb1#
      • 1...Rxa8!
    • 1.Ke8?
      • 1...Qe5+
        • 2.Bxe5#
      • 1...Re1+
        • 2.Rxe1#
      • 1...Qxg7
        • 2.Qxg7#
      • 1...Rxh1
        • 2.Qxh1#
      • 1...Qc3
        • 2.Bxc3#
      • 1...Qd4
        • 2.Bxd4#
      • 1...Qf6
        • 2.Bxf6#
      • 1...Rc1
        • 2.Rxc1#
      • 1...Rd1
        • 2.Rxd1#
      • 1...Rf1
        • 2.Rxf1#
      • 1...Rg1
        • 2.Rxg1#
      • 1...Ra3
        • 2.Rxa3#
      • 1...Ra4
        • 2.Rxa4#
      • 1...Ra5
        • 2.Rxa5#
      • 1...Ra6
        • 2.Rxa6#
      • 1...Ra7
        • 2.Rxa7#
      • 1...g5
        • 2.Rxb1#
        • 2.Qxb1#
      • 1...Rxa8+!
    • 1.Kf8?
      • 1...Qf6+
        • 2.Bxf6#
      • 1...Qxg7+
        • 2.Qxg7#
      • 1...Rf1+
        • 2.Rxf1#
      • 1...Rxh1
        • 2.Qxh1#
      • 1...Qc3
        • 2.Bxc3#
      • 1...Qd4
        • 2.Bxd4#
      • 1...Qe5
        • 2.Bxe5#
      • 1...Rc1
        • 2.Rxc1#
      • 1...Rd1
        • 2.Rxd1#
      • 1...Re1
        • 2.Rxe1#
      • 1...Rg1
        • 2.Rxg1#
      • 1...Ra3
        • 2.Rxa3#
      • 1...Ra4
        • 2.Rxa4#
      • 1...Ra5
        • 2.Rxa5#
      • 1...Ra6
        • 2.Rxa6#
      • 1...Ra7
        • 2.Rxa7#
      • 1...g5
        • 2.Rxb1#
        • 2.Qxb1#
      • 1...Rxa8+!
    • 1.Kg8?
      • 1...Qxg7+
        • 2.Qxg7#
      • 1...Rxh1
        • 2.Qxh1#
      • 1...Qc3
        • 2.Bxc3#
      • 1...Qd4
        • 2.Bxd4#
      • 1...Qe5
        • 2.Bxe5#
      • 1...Qf6
        • 2.Bxf6#
      • 1...Rc1
        • 2.Rxc1#
      • 1...Rd1
        • 2.Rxd1#
      • 1...Re1
        • 2.Rxe1#
      • 1...Rf1
        • 2.Rxf1#
      • 1...Rg1
        • 2.Rxg1#
      • 1...Ra3
        • 2.Rxa3#
      • 1...Ra4
        • 2.Rxa4#
      • 1...Ra5
        • 2.Rxa5#
      • 1...Ra6
        • 2.Rxa6#
      • 1...Ra7
        • 2.Rxa7#
      • 1...g5
        • 2.Rxb1#
        • 2.Qxb1#
      • 1...Rxa8+!
    • 1.Bh8?
      • 1...Qf6+
        • 2.Bxf6#
      • 1...Qg7+
        • 2.Bxg7#
        • 2.Qxg7#
      • 1...Rf1+
        • 2.Rxf1#
      • 1...Ra7+
        • 2.Rxa7#
      • 1...Qxh8
        • 2.Qxh8#
      • 1...Rxh1
        • 2.Qxh1#
      • 1...Qc3
        • 2.Bxc3#
      • 1...Qd4
        • 2.Bxd4#
      • 1...Qe5
        • 2.Bxe5#
      • 1...Rc1
        • 2.Rxc1#
      • 1...Rd1
        • 2.Rxd1#
      • 1...Re1
        • 2.Rxe1#
      • 1...Rg1
        • 2.Rxg1#
      • 1...Ra3
        • 2.Rxa3#
      • 1...Ra4
        • 2.Rxa4#
      • 1...Ra5
        • 2.Rxa5#
      • 1...Ra6
        • 2.Rxa6#
      • 1...g5
        • 2.Rxb1#
        • 2.Qxb1#
      • 1...Rxa8!
    • 1.Ra3?
      • 1...Qf6+
        • 2.Bxf6#
      • 1...Qxg7+
        • 2.Qxg7#
      • 1...Rf1+
        • 2.Rxf1#
      • 1...Rxh1
        • 2.Qxh1#
      • 1...Qc3
        • 2.Bxc3#
      • 1...Qd4
        • 2.Bxd4#
      • 1...Qe5
        • 2.Bxe5#
      • 1...Rc1
        • 2.Rxc1#
      • 1...Rd1
        • 2.Rxd1#
      • 1...Re1
        • 2.Rxe1#
      • 1...Rg1
        • 2.Rxg1#
      • 1...g5
        • 2.Rxb1#
        • 2.Qxb1#
      • 1...Rxa3!
    • 1.Ra4?
      • 1...Qf6+
        • 2.Bxf6#
      • 1...Qxg7+
        • 2.Qxg7#
      • 1...Rf1+
        • 2.Rxf1#
      • 1...Rxh1
        • 2.Qxh1#
      • 1...Qc3
        • 2.Bxc3#
      • 1...Qd4
        • 2.Bxd4#
      • 1...Qe5
        • 2.Bxe5#
      • 1...Rc1
        • 2.Rxc1#
      • 1...Rd1
        • 2.Rxd1#
      • 1...Re1
        • 2.Rxe1#
      • 1...Rg1
        • 2.Rxg1#
      • 1...Ra3
        • 2.Rxa3#
      • 1...g5
        • 2.Rxb1#
        • 2.Qxb1#
      • 1...Rxa4!
    • 1.Ra5?
      • 1...Qf6+
        • 2.Bxf6#
      • 1...Qxg7+
        • 2.Qxg7#
      • 1...Rf1+
        • 2.Rxf1#
      • 1...Rxh1
        • 2.Qxh1#
      • 1...Qc3
        • 2.Bxc3#
      • 1...Qd4
        • 2.Bxd4#
      • 1...Qe5
        • 2.Bxe5#
      • 1...Rc1
        • 2.Rxc1#
      • 1...Rd1
        • 2.Rxd1#
      • 1...Re1
        • 2.Rxe1#
      • 1...Rg1
        • 2.Rxg1#
      • 1...Ra3
        • 2.Rxa3#
      • 1...Ra4
        • 2.Rxa4#
      • 1...g5
        • 2.Rxb1#
        • 2.Qxb1#
      • 1...Rxa5!
    • 1.Ra6?
      • 1...Qf6+
        • 2.Bxf6#
      • 1...Qxg7+
        • 2.Qxg7#
      • 1...Rf1+
        • 2.Rxf1#
      • 1...Rxh1
        • 2.Qxh1#
      • 1...Qc3
        • 2.Bxc3#
      • 1...Qd4
        • 2.Bxd4#
      • 1...Qe5
        • 2.Bxe5#
      • 1...Rc1
        • 2.Rxc1#
      • 1...Rd1
        • 2.Rxd1#
      • 1...Re1
        • 2.Rxe1#
      • 1...Rg1
        • 2.Rxg1#
      • 1...Ra3
        • 2.Rxa3#
      • 1...Ra4
        • 2.Rxa4#
      • 1...Ra5
        • 2.Rxa5#
      • 1...g5
        • 2.Rxb1#
        • 2.Qxb1#
      • 1...Rxa6!
    • 1.Ra7?
      • 1...Qf6+
        • 2.Bxf6#
      • 1...Qxg7+
        • 2.Qxg7#
      • 1...Rf1+
        • 2.Rxf1#
      • 1...Rxh1
        • 2.Qxh1#
      • 1...Qc3
        • 2.Bxc3#
      • 1...Qd4
        • 2.Bxd4#
      • 1...Qe5
        • 2.Bxe5#
      • 1...Rc1
        • 2.Rxc1#
      • 1...Rd1
        • 2.Rxd1#
      • 1...Re1
        • 2.Rxe1#
      • 1...Rg1
        • 2.Rxg1#
      • 1...Ra3
        • 2.Rxa3#
      • 1...Ra4
        • 2.Rxa4#
      • 1...Ra5
        • 2.Rxa5#
      • 1...Ra6
        • 2.Rxa6#
      • 1...g5
        • 2.Rxb1#
        • 2.Qxb1#
      • 1...Rxa7+!
    • 1.Qxg6?
      • threat
        • 2.Rxb1#
        • 2.Qxb1#
      • 1...Qf6+
        • 2.Bxf6#
        • 2.Qxf6#
      • 1...Qxg7+
        • 2.Qxg7#
      • 1...Rf1+
        • 2.Rxf1#
      • 1...Ra7+
        • 2.Rxa7#
      • 1...Rxa8
        • 2.Qxb1#
      • 1...Ra3
        • 2.Rxa3#
        • 2.Qxb1#
      • 1...Ra4
        • 2.Rxa4#
        • 2.Qxb1#
      • 1...Ra5
        • 2.Rxa5#
        • 2.Qxb1#
      • 1...Ra6
        • 2.Rxa6#
        • 2.Qxb1#
        • 2.Qxa6#
      • 1...Rc1
        • 2.Rxc1#
      • 1...Rd1
        • 2.Rxd1#
      • 1...Re1
        • 2.Rxe1#
      • 1...Rg1
        • 2.Rxg1#
        • 2.Qxg1#
      • 1...Rxh1!
    • 1.Qh2?
      • threat
        • 2.Bxb2#
        • 2.Qxb2#
      • 1...Qf6+
        • 2.Bxf6#
      • 1...Rf1+
        • 2.Rxf1#
      • 1...Ra7+
        • 2.Rxa7#
      • 1...Rxh1
        • 2.Qxh1#
        • 2.Qxb2#
      • 1...Rxa8
        • 2.Qxb2#
      • 1...Rc1
        • 2.Rxc1#
        • 2.Qxb2#
      • 1...Rd1
        • 2.Rxd1#
        • 2.Qxb2#
      • 1...Re1
        • 2.Rxe1#
        • 2.Qxb2#
      • 1...Rg1
        • 2.Rxg1#
        • 2.Qxg1#
        • 2.Qxb2#
      • 1...Ra3
        • 2.Rxa3#
        • 2.Qxb2#
      • 1...Ra4
        • 2.Rxa4#
        • 2.Qxb2#
      • 1...Ra5
        • 2.Rxa5#
        • 2.Qxb2#
      • 1...Ra6
        • 2.Rxa6#
        • 2.Qxb2#
      • 1...Qc3
        • 2.Bxc3#
        • 2.Rxa2#
        • 2.Qxa2#
      • 1...Qd4
        • 2.Bxd4#
        • 2.Rxa2#
        • 2.Qxa2#
      • 1...Qe5
        • 2.Bxe5#
        • 2.Rxa2#
        • 2.Qxe5#
        • 2.Qxa2#
      • 1...Qxg7+!
  • Keys
    • 1.Qh8!
      • threat
        • 2.Bxb2#
      • 1...Qf6+
        • 2.Bxf6#
      • 1...Qxg7+
        • 2.Qxg7#
      • 1...Rf1+
        • 2.Rxf1#
      • 1...Ra7+
        • 2.Rxa7#
      • 1...Rxh1
        • 2.Qxh1#
      • 1...Rxa8
        • 2.Qxa8#
      • 1...Qc3
        • 2.Bxc3#
      • 1...Qd4
        • 2.Bxd4#
      • 1...Qe5
        • 2.Bxe5#
      • 1...Rc1
        • 2.Rxc1#
      • 1...Rd1
        • 2.Rxd1#
      • 1...Re1
        • 2.Rxe1#
      • 1...Rg1
        • 2.Rxg1#
      • 1...Ra3
        • 2.Rxa3#
      • 1...Ra4
        • 2.Rxa4#
      • 1...Ra5
        • 2.Rxa5#
      • 1...Ra6
        • 2.Rxa6#

FEATURES

  • Static
    • TYPE = THREAT
    • CHANGED MATES = 0
    • ADDED MATES = 1
    • REMOVED MATES = 0
  • Sets
    • Q(d);OGATEB::B(C),XQ(d)
    • Q(d);CHECK,OGATEB::B(C),XQ(d)
    • Q(d);CHECK,N_SPINQ(d),OGATE,XB(C)::QAB(D),XQ(d)
    • R(b);OGATEB::R(A),XR(b)
    • R(b);CHECK,OGATEB::R(A),XR(b)
    • R(b);N_SPINR(b),OGATE,P_SPINR(c),XR(A)::QAB1(D),XR(b)
    • R(c);OGATEB::R(E),XR(c)
    • R(c);CHECK,OGATEB::R(E),XR(c)
  • Tries
    • Try
      • K(B);S_FLIGHT
      • Vars
        • Q(d);CHECK,OGATEB::B(C),XQ(d)
        • R(b);CHECK,OGATEB::R(A),XR(b)
        • R(c);CHECK,OGATEB::R(E),XR(c)
        • Q(d);N_SPINQ(d),OGATE,XB(C)::QAB(D),XQ(d)
        • R(b);N_SPINR(b),OGATE,P_SPINR(c),XR(A)::QAB1(D),XR(b)
        • Q(d);OGATEB::B(C),XQ(d)
        • R(b);OGATEB::R(A),XR(b)
        • R(c);OGATEB::R(E),XR(c)
      • Refutation
        • R(c);XR(E)
    • Try
      • K(B);S_FLIGHT,XP(e)
      • Vars
        • Q(d);CHECK,OGATEB::B(C),XQ(d)
        • Q(d);CHECK,N_SPINQ(d),OGATE,XB(C)::QAB(D),XQ(d)
        • R(b);CHECK,OGATEB::R(A),XR(b)
        • R(c);CHECK,OGATEB::R(E),XR(c)
        • R(b);N_SPINR(b),OGATE,P_SPINR(c),XR(A)::QAB1(D),XR(b)
        • Q(d);OGATEB::B(C),XQ(d)
        • R(b);OGATEB::R(A),XR(b)
        • R(c);OGATEB::R(E),XR(c)
      • Refutation
        • R(c);XR(E)
    • Try
      • K(B);P-FLIGHT
      • Vars
        • Q(d);CHECK,OGATEB::B(C),XQ(d)
        • Q(d);CHECK,N_SPINQ(d),OGATE,XB(C)::QAB(D),XQ(d)
        • R(b);CHECK,OGATEB::R(A),XR(b)
        • R(c);CHECK,OGATEB::R(E),XR(c)
        • R(b);N_SPINR(b),OGATE,P_SPINR(c),XR(A)::QAB1(D),XR(b)
        • Q(d);OGATEB::B(C),XQ(d)
        • R(b);OGATEB::R(A),XR(b)
        • R(c);OGATEB::R(E),XR(c)
      • Refutation
        • R(c);XR(E)
    • Try
      • K(B);S_FLIGHT
      • Vars
        • Q(d);CHECK,OGATEB::B(C),XQ(d)
        • R(b);CHECK,OGATEB::R(A),XR(b)
        • Q(d);N_SPINQ(d),OGATE,XB(C)::QAB(D),XQ(d)
        • R(b);N_SPINR(b),OGATE,P_SPINR(c),XR(A)::QAB1(D),XR(b)
        • Q(d);OGATEB::B(C),XQ(d)
        • R(b);OGATEB::R(A),XR(b)
        • R(c);OGATEB::R(E),XR(c)
      • Refutation
        • R(c);CHECK,XR(E)
    • Try
      • K(B);P-FLIGHT
      • Vars
        • Q(d);CHECK,OGATEB::B(C),XQ(d)
        • Q(d);CHECK,N_SPINQ(d),OGATE,XB(C)::QAB(D),XQ(d)
        • R(b);CHECK,OGATEB::R(A),XR(b)
        • R(b);N_SPINR(b),OGATE,P_SPINR(c),XR(A)::QAB1(D),XR(b)
        • Q(d);OGATEB::B(C),XQ(d)
        • R(b);OGATEB::R(A),XR(b)
        • R(c);OGATEB::R(E),XR(c)
      • Refutation
        • R(c);CHECK,XR(E)
    • Try
      • K(B);S_FLIGHT
      • Vars
        • Q(d);CHECK,N_SPINQ(d),OGATE,XB(C)::QAB(D),XQ(d)
        • R(b);N_SPINR(b),OGATE,P_SPINR(c),XR(A)::QAB1(D),XR(b)
        • Q(d);OGATEB::B(C),XQ(d)
        • R(b);OGATEB::R(A),XR(b)
        • R(c);OGATEB::R(E),XR(c)
      • Refutation
        • R(c);CHECK,XR(E)
    • Try
      • B(C);
      • Vars
        • Q(d);CHECK,OGATEB::B(C),XQ(d)
        • R(b);CHECK,OGATEB::R(A),XR(b)
        • R(c);CHECK,OGATEB::R(E),XR(c)
        • Q(d);N_SPINQ(d),OGATE,XB(C)::QAB(D),XQ(d)
        • R(b);N_SPINR(b),OGATE,P_SPINR(c),XR(A)::QAB1(D),XR(b)
        • Q(d);OGATEB::B(C),XQ(d)
        • R(b);OGATEB::R(A),XR(b)
        • R(c);OGATEB::R(E),XR(c)
      • Refutation
        • R(c);XR(E)
    • Try
      • R(E);
      • Vars
        • Q(d);CHECK,OGATEB::B(C),XQ(d)
        • Q(d);CHECK,N_SPINQ(d),OGATE,XB(C)::QAB(D),XQ(d)
        • R(b);CHECK,OGATEB::R(A),XR(b)
        • R(b);N_SPINR(b),OGATE,P_SPINR(c),XR(A)::QAB1(D),XR(b)
        • Q(d);OGATEB::B(C),XQ(d)
        • R(b);OGATEB::R(A),XR(b)
      • Refutation
        • R(c);XR(E)
    • Try
      • R(E);
      • Vars
        • Q(d);CHECK,OGATEB::B(C),XQ(d)
        • Q(d);CHECK,N_SPINQ(d),OGATE,XB(C)::QAB(D),XQ(d)
        • R(b);CHECK,OGATEB::R(A),XR(b)
        • R(b);N_SPINR(b),OGATE,P_SPINR(c),XR(A)::QAB1(D),XR(b)
        • Q(d);OGATEB::B(C),XQ(d)
        • R(b);OGATEB::R(A),XR(b)
        • R(c);OGATEB::R(E),XR(c)
      • Refutation
        • R(c);XR(E)
    • Try
      • R(E);
      • Vars
        • Q(d);CHECK,OGATEB::B(C),XQ(d)
        • Q(d);CHECK,N_SPINQ(d),OGATE,XB(C)::QAB(D),XQ(d)
        • R(b);CHECK,OGATEB::R(A),XR(b)
        • R(b);N_SPINR(b),OGATE,P_SPINR(c),XR(A)::QAB1(D),XR(b)
        • Q(d);OGATEB::B(C),XQ(d)
        • R(b);OGATEB::R(A),XR(b)
        • R(c);OGATEB::R(E),XR(c)
      • Refutation
        • R(c);XR(E)
    • Try
      • R(E);
      • Vars
        • Q(d);CHECK,OGATEB::B(C),XQ(d)
        • Q(d);CHECK,N_SPINQ(d),OGATE,XB(C)::QAB(D),XQ(d)
        • R(b);CHECK,OGATEB::R(A),XR(b)
        • R(b);N_SPINR(b),OGATE,P_SPINR(c),XR(A)::QAB1(D),XR(b)
        • Q(d);OGATEB::B(C),XQ(d)
        • R(b);OGATEB::R(A),XR(b)
        • R(c);OGATEB::R(E),XR(c)
      • Refutation
        • R(c);XR(E)
    • Try
      • R(E);
      • Vars
        • Q(d);CHECK,OGATEB::B(C),XQ(d)
        • Q(d);CHECK,N_SPINQ(d),OGATE,XB(C)::QAB(D),XQ(d)
        • R(b);CHECK,OGATEB::R(A),XR(b)
        • R(b);N_SPINR(b),OGATE,P_SPINR(c),XR(A)::QAB1(D),XR(b)
        • Q(d);OGATEB::B(C),XQ(d)
        • R(b);OGATEB::R(A),XR(b)
        • R(c);OGATEB::R(E),XR(c)
      • Refutation
        • R(c);CHECK,XR(E)
    • Try
      • Q(D);XP(e)
      • Threat
        • DUALS(2)
      • Vars
        • Q(d);CHECK,N_SPINQ(d),OGATE,XB(C)::QAB(D),XQ(d)
        • R(b);CHECK,OGATEB::R(A),XR(b)
        • R(c);CHECK,OGATEB::R(E),XR(c)
        • R(c);XR(E)::QAR1(D),XR(b)
        • R(b);OGATEB::R(A),XR(b)
      • Refutation
        • R(b);N_SPINR(b),P_SPINR(c),XR(A)
    • Try
      • Q(D);
      • Threat
        • DUALS(2)
      • Vars
        • Q(d);CHECK,OGATEB::B(C),XQ(d)
        • R(b);CHECK,OGATEB::R(A),XR(b)
        • R(c);CHECK,OGATEB::R(E),XR(c)
        • R(c);XR(E)::QAB1(D),XQ(d)
      • Refutation
        • Q(d);CHECK,N_SPINQ(d),XB(C)
  • Actual
    • Q(D);
    • Threat
      • B(C),XQ(d)
    • Vars
      • Q(d);CHECK,OGATEB::B(C),XQ(d)
      • Q(d);CHECK,OGATE,XB(C)::QAB(D),XQ(d)
      • R(b);CHECK,OGATEB::R(A),XR(b)
      • R(c);CHECK,OGATEB::R(E),XR(c)
      • R(b);N_SPINR(b),OGATE,P_SPINR(c),XR(A)::QAB1(D),XR(b)
      • R(c);OGATE,XR(E)::QAB(D),XR(c)
      • Q(d);OGATEB::B(C),XQ(d)
      • R(b);OGATEB::R(A),XR(b)
      • R(c);OGATEB::R(E),XR(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).