MESON Chess Problem Database
Problem Display
PID: 96747 (Q6B/1P6/1p1pR3/r1PKb3/1NN1B3/3p4/8/kr5R w - - 0 1)
Tomasevic, Milos
Problem (Zagreb), 1951
#2
10 + 7
| 6490 | yacpdb | 2009 |
SOLUTION
- SOUND
- Sets
- 1...Rc1
- 2.Rxc1#
- 1...Rd1
- 2.Rxd1#
- 1...Re1
- 2.Rxe1#
- 1...Rf1
- 2.Rxf1#
- 1...Rg1
- 2.Rxg1#
- 1...Ra2
- 2.Qxa2#
- 1...Ra3
- 2.Qxa3#
- 1...Ra4
- 2.Qxa4#
- 1...Ra6
- 2.Qxa6#
- 1...Ra7
- 2.Qxa7#
- 1...Rxa8
- 2.bxa8Q#
- 2.bxa8R#
- 1...Bb2
- 2.Bxb2#
- 1...Bc3
- 2.Bxc3#
- 1...Bd4
- 2.Bxd4#
- 1...Bf6
- 2.Bxf6#
- 1...Bg7
- 2.Bxg7#
- 1...Bxh8
- 2.Qxh8#
- 1...d2
- 2.Rxb1#
- 1...bxc5
- 2.Qxa5#
- 1...b5
- 2.Qxa5#
- 1...dxc5
- 2.Bxe5#
- 1...Rc1
- Tries
- 1.Bxd3?
- threat
- 2.Rxb1#
- 1...Rc1
- 2.Rxc1#
- 1...Rd1
- 2.Rxd1#
- 1...Re1
- 2.Rxe1#
- 1...Rf1
- 2.Rxf1#
- 1...Rg1
- 2.Rxg1#
- 1...Rxh1!
- threat
- 1.Bf5?
- 1...Rxa8
- 2.bxa8Q#
- 2.bxa8R#
- 1...Bxh8
- 2.Qxh8#
- 1...bxc5
- 2.Qxa5#
- 1...dxc5
- 2.Bxe5#
- 1...Rc1
- 2.Rxc1#
- 1...Rd1
- 2.Rxd1#
- 1...Re1
- 2.Rxe1#
- 1...Rf1
- 2.Rxf1#
- 1...Rg1
- 2.Rxg1#
- 1...d2
- 2.Rxb1#
- 1...Ra2
- 2.Qxa2#
- 1...Ra3
- 2.Qxa3#
- 1...Ra4
- 2.Qxa4#
- 1...Ra6
- 2.Qxa6#
- 1...Ra7
- 2.Qxa7#
- 1...Bb2
- 2.Bxb2#
- 1...Bc3
- 2.Bxc3#
- 1...Bd4
- 2.Bxd4#
- 1...Bf6
- 2.Bxf6#
- 1...Bg7
- 2.Bxg7#
- 1...b5
- 2.Qxa5#
- 1...Rxh1!
- 1...Rxa8
- 1.Bg6?
- 1...Rxa8
- 2.bxa8Q#
- 2.bxa8R#
- 1...Bxh8
- 2.Qxh8#
- 1...bxc5
- 2.Qxa5#
- 1...dxc5
- 2.Bxe5#
- 1...Rc1
- 2.Rxc1#
- 1...Rd1
- 2.Rxd1#
- 1...Re1
- 2.Rxe1#
- 1...Rf1
- 2.Rxf1#
- 1...Rg1
- 2.Rxg1#
- 1...d2
- 2.Rxb1#
- 1...Ra2
- 2.Qxa2#
- 1...Ra3
- 2.Qxa3#
- 1...Ra4
- 2.Qxa4#
- 1...Ra6
- 2.Qxa6#
- 1...Ra7
- 2.Qxa7#
- 1...Bb2
- 2.Bxb2#
- 1...Bc3
- 2.Bxc3#
- 1...Bd4
- 2.Bxd4#
- 1...Bf6
- 2.Bxf6#
- 1...Bg7
- 2.Bxg7#
- 1...b5
- 2.Qxa5#
- 1...Rxh1!
- 1...Rxa8
- 1.Bh7?
- 1...Rxa8
- 2.bxa8Q#
- 2.bxa8R#
- 1...Bxh8
- 2.Qxh8#
- 1...bxc5
- 2.Qxa5#
- 1...dxc5
- 2.Bxe5#
- 1...Rc1
- 2.Rxc1#
- 1...Rd1
- 2.Rxd1#
- 1...Re1
- 2.Rxe1#
- 1...Rf1
- 2.Rxf1#
- 1...Rg1
- 2.Rxg1#
- 1...d2
- 2.Rxb1#
- 1...Ra2
- 2.Qxa2#
- 1...Ra3
- 2.Qxa3#
- 1...Ra4
- 2.Qxa4#
- 1...Ra6
- 2.Qxa6#
- 1...Ra7
- 2.Qxa7#
- 1...Bb2
- 2.Bxb2#
- 1...Bc3
- 2.Bxc3#
- 1...Bd4
- 2.Bxd4#
- 1...Bf6
- 2.Bxf6#
- 1...Bg7
- 2.Bxg7#
- 1...b5
- 2.Qxa5#
- 1...Rxh1!
- 1...Rxa8
- 1.Rc1?
- 1...Rxa8
- 2.bxa8Q#
- 2.bxa8R#
- 1...Bxh8
- 2.Qxh8#
- 1...bxc5
- 2.Qxa5#
- 1...dxc5
- 2.Bxe5#
- 1...d2
- 2.Rxb1#
- 1...Ra2
- 2.Qxa2#
- 1...Ra3
- 2.Qxa3#
- 1...Ra4
- 2.Qxa4#
- 1...Ra6
- 2.Qxa6#
- 1...Ra7
- 2.Qxa7#
- 1...Bb2
- 2.Bxb2#
- 1...Bc3
- 2.Bxc3#
- 1...Bd4
- 2.Bxd4#
- 1...Bf6
- 2.Bxf6#
- 1...Bg7
- 2.Bxg7#
- 1...b5
- 2.Qxa5#
- 1...Rxc1!
- 1...Rxa8
- 1.Rd1?
- 1...Rxa8
- 2.bxa8Q#
- 2.bxa8R#
- 1...Bxh8
- 2.Qxh8#
- 1...bxc5
- 2.Qxa5#
- 1...dxc5
- 2.Bxe5#
- 1...Rc1
- 2.Rxc1#
- 1...d2
- 2.Rxb1#
- 1...Ra2
- 2.Qxa2#
- 1...Ra3
- 2.Qxa3#
- 1...Ra4
- 2.Qxa4#
- 1...Ra6
- 2.Qxa6#
- 1...Ra7
- 2.Qxa7#
- 1...Bb2
- 2.Bxb2#
- 1...Bc3
- 2.Bxc3#
- 1...Bd4
- 2.Bxd4#
- 1...Bf6
- 2.Bxf6#
- 1...Bg7
- 2.Bxg7#
- 1...b5
- 2.Qxa5#
- 1...Rxd1!
- 1...Rxa8
- 1.Re1?
- 1...Rxa8
- 2.bxa8Q#
- 2.bxa8R#
- 1...Bxh8
- 2.Qxh8#
- 1...bxc5
- 2.Qxa5#
- 1...dxc5
- 2.Bxe5#
- 1...Rc1
- 2.Rxc1#
- 1...Rd1
- 2.Rxd1#
- 1...d2
- 2.Rxb1#
- 1...Ra2
- 2.Qxa2#
- 1...Ra3
- 2.Qxa3#
- 1...Ra4
- 2.Qxa4#
- 1...Ra6
- 2.Qxa6#
- 1...Ra7
- 2.Qxa7#
- 1...Bb2
- 2.Bxb2#
- 1...Bc3
- 2.Bxc3#
- 1...Bd4
- 2.Bxd4#
- 1...Bf6
- 2.Bxf6#
- 1...Bg7
- 2.Bxg7#
- 1...b5
- 2.Qxa5#
- 1...Rxe1!
- 1...Rxa8
- 1.Rf1?
- 1...Rxa8
- 2.bxa8Q#
- 2.bxa8R#
- 1...Bxh8
- 2.Qxh8#
- 1...bxc5
- 2.Qxa5#
- 1...dxc5
- 2.Bxe5#
- 1...Rc1
- 2.Rxc1#
- 1...Rd1
- 2.Rxd1#
- 1...Re1
- 2.Rxe1#
- 1...d2
- 2.Rxb1#
- 1...Ra2
- 2.Qxa2#
- 1...Ra3
- 2.Qxa3#
- 1...Ra4
- 2.Qxa4#
- 1...Ra6
- 2.Qxa6#
- 1...Ra7
- 2.Qxa7#
- 1...Bb2
- 2.Bxb2#
- 1...Bc3
- 2.Bxc3#
- 1...Bd4
- 2.Bxd4#
- 1...Bf6
- 2.Bxf6#
- 1...Bg7
- 2.Bxg7#
- 1...b5
- 2.Qxa5#
- 1...Rxf1!
- 1...Rxa8
- 1.Rg1?
- 1...Rxa8
- 2.bxa8Q#
- 2.bxa8R#
- 1...Bxh8
- 2.Qxh8#
- 1...bxc5
- 2.Qxa5#
- 1...dxc5
- 2.Bxe5#
- 1...Rc1
- 2.Rxc1#
- 1...Rd1
- 2.Rxd1#
- 1...Re1
- 2.Rxe1#
- 1...Rf1
- 2.Rxf1#
- 1...d2
- 2.Rxb1#
- 1...Ra2
- 2.Qxa2#
- 1...Ra3
- 2.Qxa3#
- 1...Ra4
- 2.Qxa4#
- 1...Ra6
- 2.Qxa6#
- 1...Ra7
- 2.Qxa7#
- 1...Bb2
- 2.Bxb2#
- 1...Bc3
- 2.Bxc3#
- 1...Bd4
- 2.Bxd4#
- 1...Bf6
- 2.Bxf6#
- 1...Bg7
- 2.Bxg7#
- 1...b5
- 2.Qxa5#
- 1...Rxg1!
- 1...Rxa8
- 1.Rxe5?
- threat
- 2.Rf5#
- 2.Rg5#
- 2.Reh5#
- 2.Re6#
- 2.Re7#
- 2.Re8#
- 1...Rxa8
- 2.Re8#
- 2.bxa8Q#
- 2.bxa8R#
- 1...dxe5
- 2.Bxe5#
- 1...Rc1
- 2.Rxc1#
- 1...Rd1
- 2.Rxd1#
- 1...Re1
- 2.Rxe1#
- 1...Rf1
- 2.Rxf1#
- 1...Rg1
- 2.Rxg1#
- 1...Rxh1!
- threat
- 1.Rxd6?
- threat
- 2.Bxe5#
- 1...Bxh8
- 2.Qxh8#
- 1...Rc1
- 2.Rxc1#
- 1...Rd1
- 2.Rxd1#
- 1...Re1
- 2.Rxe1#
- 1...Rf1
- 2.Rxf1#
- 1...Rg1
- 2.Rxg1#
- 1...Bb2
- 2.Bxb2#
- 1...Bc3
- 2.Bxc3#
- 1...Bd4
- 2.Bxd4#
- 1...Bf6
- 2.Bxf6#
- 1...Bg7
- 2.Bxg7#
- 1...Rxh1!
- threat
- 1.Rg6?
- 1...Rxa8
- 2.bxa8Q#
- 2.bxa8R#
- 1...Bxh8
- 2.Qxh8#
- 1...bxc5
- 2.Qxa5#
- 1...dxc5
- 2.Bxe5#
- 1...Rc1
- 2.Rxc1#
- 1...Rd1
- 2.Rxd1#
- 1...Re1
- 2.Rxe1#
- 1...Rf1
- 2.Rxf1#
- 1...Rg1
- 2.Rhxg1#
- 2.Rgxg1#
- 1...d2
- 2.Rxb1#
- 1...Ra2
- 2.Qxa2#
- 1...Ra3
- 2.Qxa3#
- 1...Ra4
- 2.Qxa4#
- 1...Ra6
- 2.Qxa6#
- 1...Ra7
- 2.Qxa7#
- 1...Bb2
- 2.Bxb2#
- 1...Bc3
- 2.Bxc3#
- 1...Bd4
- 2.Bxd4#
- 1...Bf6
- 2.Bxf6#
- 1...Bg7
- 2.Bxg7#
- 1...b5
- 2.Qxa5#
- 1...Rxh1!
- 1...Rxa8
- 1.Re7?
- 1...Rxa8
- 2.bxa8Q#
- 2.bxa8R#
- 1...Bxh8
- 2.Qxh8#
- 1...bxc5
- 2.Qxa5#
- 1...dxc5
- 2.Bxe5#
- 1...Rc1
- 2.Rxc1#
- 1...Rd1
- 2.Rxd1#
- 1...Re1
- 2.Rxe1#
- 1...Rf1
- 2.Rxf1#
- 1...Rg1
- 2.Rxg1#
- 1...d2
- 2.Rxb1#
- 1...Ra2
- 2.Qxa2#
- 1...Ra3
- 2.Qxa3#
- 1...Ra4
- 2.Qxa4#
- 1...Ra6
- 2.Qxa6#
- 1...Ra7
- 2.Qxa7#
- 1...Bb2
- 2.Bxb2#
- 1...Bc3
- 2.Bxc3#
- 1...Bd4
- 2.Bxd4#
- 1...Bf6
- 2.Bxf6#
- 1...Bg7
- 2.Bxg7#
- 1...b5
- 2.Qxa5#
- 1...Rxh1!
- 1...Rxa8
- 1.b8Q?
- 1...Rxa8
- 2.Qxa8#
- 1...Bxh8
- 2.Qxh8#
- 1...bxc5
- 2.Qxa5#
- 1...dxc5
- 2.Bxe5#
- 2.Qxe5#
- 1...Rc1
- 2.Rxc1#
- 1...Rd1
- 2.Rxd1#
- 1...Re1
- 2.Rxe1#
- 1...Rf1
- 2.Rxf1#
- 1...Rg1
- 2.Rxg1#
- 1...d2
- 2.Rxb1#
- 1...Ra2
- 2.Qxa2#
- 1...Ra3
- 2.Qxa3#
- 1...Ra4
- 2.Qxa4#
- 1...Ra6
- 2.Qxa6#
- 1...Ra7
- 2.Qbxa7#
- 2.Qaxa7#
- 1...Bb2
- 2.Bxb2#
- 1...Bc3
- 2.Bxc3#
- 1...Bd4
- 2.Bxd4#
- 1...Bf6
- 2.Bxf6#
- 1...Bg7
- 2.Bxg7#
- 1...b5
- 2.Qxa5#
- 1...Rxh1!
- 1...Rxa8
- 1.Bxd3?
- Keys
- 1.Reh6!
- 1...Rxh1
- 2.Rxh1#
- 1...Rxa8
- 2.bxa8Q#
- 2.bxa8R#
- 1...Bxh8
- 2.Qxh8#
- 1...bxc5
- 2.Qxa5#
- 1...dxc5
- 2.Bxe5#
- 1...Rc1
- 2.Rxc1#
- 1...Rd1
- 2.Rxd1#
- 1...Re1
- 2.Rxe1#
- 1...Rf1
- 2.Rxf1#
- 1...Rg1
- 2.Rxg1#
- 1...d2
- 2.Rxb1#
- 1...Ra2
- 2.Qxa2#
- 1...Ra3
- 2.Qxa3#
- 1...Ra4
- 2.Qxa4#
- 1...Ra6
- 2.Qxa6#
- 1...Ra7
- 2.Qxa7#
- 1...Bb2
- 2.Bxb2#
- 1...Bc3
- 2.Bxc3#
- 1...Bd4
- 2.Bxd4#
- 1...Bf6
- 2.Bxf6#
- 1...Bg7
- 2.Bxg7#
- 1...b5
- 2.Qxa5#
- 1...Rxh1
- 1.Reh6!
FEATURES
- Static
- TYPE = INCOMPLETE_BLOCK
- CHANGED MATES = 0
- ADDED MATES = 1
- REMOVED MATES = 0
- Sets
- R(b);OGATEB::R(A),XR(b)
- R(d);N_PINP(E),OGATE::QAR1(I),XR(d)
- R(d);N_PINP(E),OGATE::QAR2(I),XR(d)
- R(d);N_PINP(E),OGATE::QAR(I),XR(d)
- R(d);N_PINP(E),OGATEB::QAR(I),XR(d)
- R(d);N_PINP(E),OGATE,XQ(I)::PXR(d)=Q
- B(e);OGATE::B(J),XB(e)
- B(e);OGATEB::B(J),XB(e)
- B(e);N_SPINB(e),OGATE,XB(J)::QAB(I),XB(e)
- P(c);::R1(A),XR(b)
- P(f);N_GUARD,XP(E)::QAR(I),XR(d)
- P(f);N_GUARD,N_PINP(E)::QAR(I),XR(d)
- P(g);N_GUARD,XP(E)::B(J),XB(e)
- Tries
- Try
- B(D);XP(c)
- Threat
- R1(A),XR(b)
- Vars
- R(b);OGATEB::R(A),XR(b)
- R(b);OGATEB,P_PINB(D)::R(A),XR(b)
- Refutation
- R(b);N_SPINR(b),P_SPINR(d),XR(A)
- Try
- B(D);
- Vars
- R(d);N_PINP(E),OGATE,XQ(I)::PXR(d)=Q
- B(e);N_SPINB(e),OGATE,XB(J)::QAB(I),XB(e)
- P(f);N_GUARD,XP(E)::QAR(I),XR(d)
- P(g);N_GUARD,XP(E)::B(J),XB(e)
- R(b);OGATEB::R(A),XR(b)
- P(c);::R1(A),XR(b)
- R(d);N_PINP(E),OGATE::QAR1(I),XR(d)
- R(d);N_PINP(E),OGATE::QAR2(I),XR(d)
- R(d);N_PINP(E),OGATE::QAR(I),XR(d)
- R(d);N_PINP(E),OGATEB::QAR(I),XR(d)
- B(e);OGATE::B(J),XB(e)
- B(e);OGATEB::B(J),XB(e)
- P(f);N_GUARD,N_PINP(E)::QAR(I),XR(d)
- Refutation
- R(b);N_SPINR(b),P_SPINR(d),XR(A)
- Try
- B(D);
- Vars
- R(d);N_PINP(E),OGATE,XQ(I)::PXR(d)=Q
- B(e);N_SPINB(e),OGATE,XB(J)::QAB(I),XB(e)
- P(f);N_GUARD,XP(E)::QAR(I),XR(d)
- P(g);N_GUARD,XP(E)::B(J),XB(e)
- R(b);OGATEB::R(A),XR(b)
- P(c);::R1(A),XR(b)
- R(d);N_PINP(E),OGATE::QAR1(I),XR(d)
- R(d);N_PINP(E),OGATE::QAR2(I),XR(d)
- R(d);N_PINP(E),OGATE::QAR(I),XR(d)
- R(d);N_PINP(E),OGATEB::QAR(I),XR(d)
- B(e);OGATE::B(J),XB(e)
- B(e);OGATEB::B(J),XB(e)
- P(f);N_GUARD,N_PINP(E)::QAR(I),XR(d)
- Refutation
- R(b);N_SPINR(b),P_SPINR(d),XR(A)
- Try
- B(D);
- Vars
- R(d);N_PINP(E),OGATE,XQ(I)::PXR(d)=Q
- B(e);N_SPINB(e),OGATE,XB(J)::QAB(I),XB(e)
- P(f);N_GUARD,XP(E)::QAR(I),XR(d)
- P(g);N_GUARD,XP(E)::B(J),XB(e)
- R(b);OGATEB::R(A),XR(b)
- P(c);::R1(A),XR(b)
- R(d);N_PINP(E),OGATE::QAR1(I),XR(d)
- R(d);N_PINP(E),OGATE::QAR2(I),XR(d)
- R(d);N_PINP(E),OGATE::QAR(I),XR(d)
- R(d);N_PINP(E),OGATEB::QAR(I),XR(d)
- B(e);OGATE::B(J),XB(e)
- B(e);OGATEB::B(J),XB(e)
- P(f);N_GUARD,N_PINP(E)::QAR(I),XR(d)
- Refutation
- R(b);N_SPINR(b),P_SPINR(d),XR(A)
- Try
- R(A);
- Vars
- R(d);N_PINP(E),OGATE,XQ(I)::PXR(d)=Q
- B(e);N_SPINB(e),OGATE,XB(J)::QAB(I),XB(e)
- P(f);N_GUARD,XP(E)::QAR(I),XR(d)
- P(g);N_GUARD,XP(E)::B(J),XB(e)
- P(c);::R1(A),XR(b)
- R(d);N_PINP(E),OGATE::QAR1(I),XR(d)
- R(d);N_PINP(E),OGATE::QAR2(I),XR(d)
- R(d);N_PINP(E),OGATE::QAR(I),XR(d)
- R(d);N_PINP(E),OGATEB::QAR(I),XR(d)
- B(e);OGATE::B(J),XB(e)
- B(e);OGATEB::B(J),XB(e)
- P(f);N_GUARD,N_PINP(E)::QAR(I),XR(d)
- Refutation
- R(b);N_SPINR(b),P_SPINR(d),XR(A)
- Try
- R(A);
- Vars
- R(d);N_PINP(E),OGATE,XQ(I)::PXR(d)=Q
- B(e);N_SPINB(e),OGATE,XB(J)::QAB(I),XB(e)
- P(f);N_GUARD,XP(E)::QAR(I),XR(d)
- P(g);N_GUARD,XP(E)::B(J),XB(e)
- R(b);OGATEB::R(A),XR(b)
- P(c);::R1(A),XR(b)
- R(d);N_PINP(E),OGATE::QAR1(I),XR(d)
- R(d);N_PINP(E),OGATE::QAR2(I),XR(d)
- R(d);N_PINP(E),OGATE::QAR(I),XR(d)
- R(d);N_PINP(E),OGATEB::QAR(I),XR(d)
- B(e);OGATE::B(J),XB(e)
- B(e);OGATEB::B(J),XB(e)
- P(f);N_GUARD,N_PINP(E)::QAR(I),XR(d)
- Refutation
- R(b);N_SPINR(b),P_SPINR(d),XR(A)
- Try
- R(A);
- Vars
- R(d);N_PINP(E),OGATE,XQ(I)::PXR(d)=Q
- B(e);N_SPINB(e),OGATE,XB(J)::QAB(I),XB(e)
- P(f);N_GUARD,XP(E)::QAR(I),XR(d)
- P(g);N_GUARD,XP(E)::B(J),XB(e)
- R(b);OGATEB::R(A),XR(b)
- P(c);::R1(A),XR(b)
- R(d);N_PINP(E),OGATE::QAR1(I),XR(d)
- R(d);N_PINP(E),OGATE::QAR2(I),XR(d)
- R(d);N_PINP(E),OGATE::QAR(I),XR(d)
- R(d);N_PINP(E),OGATEB::QAR(I),XR(d)
- B(e);OGATE::B(J),XB(e)
- B(e);OGATEB::B(J),XB(e)
- P(f);N_GUARD,N_PINP(E)::QAR(I),XR(d)
- Refutation
- R(b);N_SPINR(b),P_SPINR(d),XR(A)
- Try
- R(A);
- Vars
- R(d);N_PINP(E),OGATE,XQ(I)::PXR(d)=Q
- B(e);N_SPINB(e),OGATE,XB(J)::QAB(I),XB(e)
- P(f);N_GUARD,XP(E)::QAR(I),XR(d)
- P(g);N_GUARD,XP(E)::B(J),XB(e)
- R(b);OGATEB::R(A),XR(b)
- P(c);::R1(A),XR(b)
- R(d);N_PINP(E),OGATE::QAR1(I),XR(d)
- R(d);N_PINP(E),OGATE::QAR2(I),XR(d)
- R(d);N_PINP(E),OGATE::QAR(I),XR(d)
- R(d);N_PINP(E),OGATEB::QAR(I),XR(d)
- B(e);OGATE::B(J),XB(e)
- B(e);OGATEB::B(J),XB(e)
- P(f);N_GUARD,N_PINP(E)::QAR(I),XR(d)
- Refutation
- R(b);N_SPINR(b),P_SPINR(d),XR(A)
- Try
- R(A);
- Vars
- R(d);N_PINP(E),OGATE,XQ(I)::PXR(d)=Q
- B(e);N_SPINB(e),OGATE,XB(J)::QAB(I),XB(e)
- P(f);N_GUARD,XP(E)::QAR(I),XR(d)
- P(g);N_GUARD,XP(E)::B(J),XB(e)
- R(b);OGATEB::R(A),XR(b)
- P(c);::R1(A),XR(b)
- R(d);N_PINP(E),OGATE::QAR1(I),XR(d)
- R(d);N_PINP(E),OGATE::QAR2(I),XR(d)
- R(d);N_PINP(E),OGATE::QAR(I),XR(d)
- R(d);N_PINP(E),OGATEB::QAR(I),XR(d)
- B(e);OGATE::B(J),XB(e)
- B(e);OGATEB::B(J),XB(e)
- P(f);N_GUARD,N_PINP(E)::QAR(I),XR(d)
- Refutation
- R(b);N_SPINR(b),P_SPINR(d),XR(A)
- Try
- R(G);XB(e)
- Threat
- DUALS(6)
- Vars
- P(g);OGATE,P_SPINP(g),XR(G)::B(J),XP(g)
- R(b);OGATEB::R(A),XR(b)
- Refutation
- R(b);N_SPINR(b),P_SPINR(d),XR(A)
- Try
- R(G);XP(g)
- Threat
- B(J),XB(e)
- Vars
- B(e);N_SPINB(e),OGATE,XB(J)::QAB(I),XB(e)
- R(b);OGATEB::R(A),XR(b)
- B(e);OGATE::B(J),XB(e)
- B(e);OGATEB::B(J),XB(e)
- Refutation
- R(b);N_SPINR(b),P_SPINR(d),XR(A)
- Try
- R(G);
- Vars
- R(d);N_PINP(E),OGATE,XQ(I)::PXR(d)=Q
- B(e);N_SPINB(e),OGATE,XB(J)::QAB(I),XB(e)
- P(f);N_GUARD,XP(E)::QAR(I),XR(d)
- P(g);N_GUARD,XP(E)::B(J),XB(e)
- R(b);OGATEB::R(A),XR(b)
- P(c);::R1(A),XR(b)
- R(d);N_PINP(E),OGATE::QAR1(I),XR(d)
- R(d);N_PINP(E),OGATE::QAR2(I),XR(d)
- R(d);N_PINP(E),OGATE::QAR(I),XR(d)
- R(d);N_PINP(E),OGATEB::QAR(I),XR(d)
- B(e);OGATE::B(J),XB(e)
- B(e);OGATEB::B(J),XB(e)
- P(f);N_GUARD,N_PINP(E)::QAR(I),XR(d)
- Refutation
- R(b);N_SPINR(b),P_SPINR(d),XR(A)
- Try
- R(G);
- Vars
- R(d);N_PINP(E),OGATE,XQ(I)::PXR(d)=Q
- B(e);N_SPINB(e),OGATE,XB(J)::QAB(I),XB(e)
- P(f);N_GUARD,XP(E)::QAR(I),XR(d)
- P(g);N_GUARD,XP(E)::B(J),XB(e)
- R(b);OGATEB::R(A),XR(b)
- P(c);::R1(A),XR(b)
- R(d);N_PINP(E),OGATE::QAR1(I),XR(d)
- R(d);N_PINP(E),OGATE::QAR2(I),XR(d)
- R(d);N_PINP(E),OGATE::QAR(I),XR(d)
- R(d);N_PINP(E),OGATEB::QAR(I),XR(d)
- B(e);OGATE::B(J),XB(e)
- B(e);OGATEB::B(J),XB(e)
- P(f);N_GUARD,N_PINP(E)::QAR(I),XR(d)
- Refutation
- R(b);N_SPINR(b),P_SPINR(d),XR(A)
- Try
- P(H);
- Vars
- R(d);N_PINP(E),OGATE,XQ(I)::QAB(H),XR(d)
- B(e);N_SPINB(e),OGATE,XB(J)::QAB(H),XB(e)
- P(f);N_GUARD,XP(E)::QAR(I),XR(d)
- R(b);OGATEB::R(A),XR(b)
- P(c);::R1(A),XR(b)
- R(d);N_PINP(E),OGATE::QAR1(I),XR(d)
- R(d);N_PINP(E),OGATE::QAR2(I),XR(d)
- R(d);N_PINP(E),OGATE::QAR(I),XR(d)
- R(d);N_PINP(E),OGATEB::QAR(I),XR(d)
- B(e);OGATE::B(J),XB(e)
- B(e);OGATEB::B(J),XB(e)
- P(f);N_GUARD,N_PINP(E)::QAR(I),XR(d)
- Refutation
- R(b);N_SPINR(b),P_SPINR(d),XR(A)
- Try
- Actual
- R(G);
- Vars
- R(b);N_SPINR(b),OGATE,P_SPINR(d),XR(A)::R(G),XR(b)
- R(d);N_PINP(E),OGATE,XQ(I)::PXR(d)=Q
- B(e);N_SPINB(e),OGATE,XB(J)::QAB(I),XB(e)
- P(f);N_GUARD,XP(E)::QAR(I),XR(d)
- P(g);N_GUARD,XP(E)::B(J),XB(e)
- R(b);OGATEB::R(A),XR(b)
- P(c);::R1(A),XR(b)
- R(d);N_PINP(E),OGATE::QAR1(I),XR(d)
- R(d);N_PINP(E),OGATE::QAR2(I),XR(d)
- R(d);N_PINP(E),OGATE::QAR(I),XR(d)
- R(d);N_PINP(E),OGATEB::QAR(I),XR(d)
- B(e);OGATE::B(J),XB(e)
- B(e);OGATEB::B(J),XB(e)
- P(f);N_GUARD,N_PINP(E)::QAR(I),XR(d)
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).