MESON Chess Problem Database
Problem Display
PID: 10622 (5K1k/7b/5R2/4R2r/3B4/8/8/8 w - - 0 1)
Gazhimon, IN
Molodoi Leninets, 1966-1967
#2
4 + 3
| 3295 | Einfuhrung in die Welt des Schachproblem | 1984 |
SOLUTION
- SOUND
- Tries
- 1.Ref5?
- threat
- 2.Ra6#
- 2.Rb6#
- 2.Rc6#
- 2.Rd6#
- 2.Re6#
- 2.Rg6#
- 2.Rh6#
- 2.Rf7#
- 1...Rxf5
- 2.Rxf5#
- 1...Bxf5
- 2.Rh6#
- 2.Rf7#
- 1...Bg6
- 2.Rf7#
- 1...Bg8
- 2.Rh6#
- 2.Rf7#
- 1...Rg5
- 2.Rg6#
- 1...Rh6
- 2.Rg6#
- 2.Rxh6#
- 1...Rh4!
- threat
- 1.Rg5?
- threat
- 2.Rf1#
- 2.Rf2#
- 2.Rf3#
- 2.Rf4#
- 2.Rff5#
- 2.Ra6#
- 2.Rb6#
- 2.Rc6#
- 2.Rd6#
- 2.Re6#
- 2.Rfg6#
- 2.Rh6#
- 2.Rf7#
- 1...Bb1
- 2.Rh6#
- 2.Rf7#
- 1...Bc2
- 2.Rh6#
- 2.Rf7#
- 1...Bd3
- 2.Rh6#
- 2.Rf7#
- 1...Be4
- 2.Rh6#
- 2.Rf7#
- 1...Bf5
- 2.Rh6#
- 2.Rf7#
- 1...Bg6
- 2.Rf7#
- 1...Bg8
- 2.Rh6#
- 2.Rf7#
- 1...Rh4
- 2.Rf4#
- 1...Rh6
- 2.Rfg6#
- 2.Rxh6#
- 1...Rxg5!
- threat
- 1.Rf1?
- threat
- 2.Ref5#
- 2.Rg5#
- 2.Rxh5#
- 1...Rf5+
- 2.Rexf5#
- 1...Rxe5
- 2.Bxe5#
- 1...Bb1
- 2.Rxh5#
- 1...Bc2
- 2.Rxh5#
- 1...Bd3
- 2.Rxh5#
- 1...Be4
- 2.Rxh5#
- 1...Bf5
- 2.Re7#
- 1...Bg6
- 2.Rxh5#
- 1...Bg8
- 2.Rxh5#
- 1...Rh1
- 2.Ree1#
- 2.Re2#
- 2.Re3#
- 2.Re4#
- 2.Ra5#
- 2.Rb5#
- 2.Rc5#
- 2.Rd5#
- 2.Ref5#
- 2.Rg5#
- 2.Rh5#
- 2.Re6#
- 2.Re7#
- 2.Re8#
- 1...Rh2
- 2.Ree1#
- 2.Re2#
- 2.Re3#
- 2.Re4#
- 2.Ra5#
- 2.Rb5#
- 2.Rc5#
- 2.Rd5#
- 2.Ref5#
- 2.Rg5#
- 2.Rh5#
- 2.Re6#
- 2.Re7#
- 2.Re8#
- 1...Rh3
- 2.Ree1#
- 2.Re2#
- 2.Re3#
- 2.Re4#
- 2.Ra5#
- 2.Rb5#
- 2.Rc5#
- 2.Rd5#
- 2.Ref5#
- 2.Rg5#
- 2.Rh5#
- 2.Re6#
- 2.Re7#
- 2.Re8#
- 1...Rh4
- 2.Re4#
- 1...Rg5
- 2.Rxg5#
- 1...Rh6!
- threat
- 1.Rf2?
- threat
- 2.Ref5#
- 2.Rg5#
- 2.Rxh5#
- 1...Rf5+
- 2.Rexf5#
- 1...Rxe5
- 2.Bxe5#
- 1...Bb1
- 2.Rxh5#
- 1...Bc2
- 2.Rxh5#
- 1...Bd3
- 2.Rxh5#
- 1...Be4
- 2.Rxh5#
- 1...Bf5
- 2.Re7#
- 1...Bg6
- 2.Rxh5#
- 1...Bg8
- 2.Rxh5#
- 1...Rh1
- 2.Re1#
- 2.Ree2#
- 2.Re3#
- 2.Re4#
- 2.Ra5#
- 2.Rb5#
- 2.Rc5#
- 2.Rd5#
- 2.Ref5#
- 2.Rg5#
- 2.Rh5#
- 2.Re6#
- 2.Re7#
- 2.Re8#
- 1...Rh2
- 2.Re1#
- 2.Ree2#
- 2.Re3#
- 2.Re4#
- 2.Ra5#
- 2.Rb5#
- 2.Rc5#
- 2.Rd5#
- 2.Ref5#
- 2.Rg5#
- 2.Rh5#
- 2.Re6#
- 2.Re7#
- 2.Re8#
- 1...Rh3
- 2.Re1#
- 2.Ree2#
- 2.Re3#
- 2.Re4#
- 2.Ra5#
- 2.Rb5#
- 2.Rc5#
- 2.Rd5#
- 2.Ref5#
- 2.Rg5#
- 2.Rh5#
- 2.Re6#
- 2.Re7#
- 2.Re8#
- 1...Rh4
- 2.Re4#
- 1...Rg5
- 2.Rxg5#
- 1...Rh6!
- threat
- 1.Rf3?
- threat
- 2.Ref5#
- 2.Rg5#
- 2.Rxh5#
- 1...Rf5+
- 2.Rexf5#
- 1...Rxe5
- 2.Bxe5#
- 1...Bb1
- 2.Rxh5#
- 1...Bc2
- 2.Rxh5#
- 1...Bd3
- 2.Rxh5#
- 1...Be4
- 2.Rxh5#
- 1...Bf5
- 2.Re7#
- 1...Bg6
- 2.Rxh5#
- 1...Bg8
- 2.Rxh5#
- 1...Rh1
- 2.Re1#
- 2.Re2#
- 2.Ree3#
- 2.Re4#
- 2.Ra5#
- 2.Rb5#
- 2.Rc5#
- 2.Rd5#
- 2.Ref5#
- 2.Rg5#
- 2.Rh5#
- 2.Re6#
- 2.Re7#
- 2.Re8#
- 1...Rh2
- 2.Re1#
- 2.Re2#
- 2.Ree3#
- 2.Re4#
- 2.Ra5#
- 2.Rb5#
- 2.Rc5#
- 2.Rd5#
- 2.Ref5#
- 2.Rg5#
- 2.Rh5#
- 2.Re6#
- 2.Re7#
- 2.Re8#
- 1...Rh3
- 2.Re1#
- 2.Re2#
- 2.Ree3#
- 2.Re4#
- 2.Ra5#
- 2.Rb5#
- 2.Rc5#
- 2.Rd5#
- 2.Ref5#
- 2.Rg5#
- 2.Rh5#
- 2.Re6#
- 2.Re7#
- 2.Re8#
- 1...Rh4
- 2.Re4#
- 1...Rg5
- 2.Rxg5#
- 1...Rh6!
- threat
- 1.Rf4?
- threat
- 2.Ref5#
- 2.Rg5#
- 2.Rxh5#
- 1...Rf5+
- 2.Rexf5#
- 1...Rxe5
- 2.Bxe5#
- 1...Bb1
- 2.Rxh5#
- 1...Bc2
- 2.Rxh5#
- 1...Bd3
- 2.Rxh5#
- 1...Be4
- 2.Rxh5#
- 1...Bf5
- 2.Re7#
- 1...Bg6
- 2.Rxh5#
- 1...Bg8
- 2.Rxh5#
- 1...Rh1
- 2.Re1#
- 2.Re2#
- 2.Re3#
- 2.Ree4#
- 2.Ra5#
- 2.Rb5#
- 2.Rc5#
- 2.Rd5#
- 2.Ref5#
- 2.Rg5#
- 2.Rh5#
- 2.Re6#
- 2.Re7#
- 2.Re8#
- 1...Rh2
- 2.Re1#
- 2.Re2#
- 2.Re3#
- 2.Ree4#
- 2.Ra5#
- 2.Rb5#
- 2.Rc5#
- 2.Rd5#
- 2.Ref5#
- 2.Rg5#
- 2.Rh5#
- 2.Re6#
- 2.Re7#
- 2.Re8#
- 1...Rh3
- 2.Re1#
- 2.Re2#
- 2.Re3#
- 2.Ree4#
- 2.Ra5#
- 2.Rb5#
- 2.Rc5#
- 2.Rd5#
- 2.Ref5#
- 2.Rg5#
- 2.Rh5#
- 2.Re6#
- 2.Re7#
- 2.Re8#
- 1...Rh4
- 2.Re1#
- 2.Re2#
- 2.Re3#
- 2.Ree4#
- 2.Ra5#
- 2.Rb5#
- 2.Rc5#
- 2.Rd5#
- 2.Ref5#
- 2.Rg5#
- 2.Rh5#
- 2.Re6#
- 2.Re7#
- 2.Re8#
- 1...Rg5
- 2.Rxg5#
- 1...Rh6!
- threat
- 1.Ra6?
- threat
- 2.Rf5#
- 2.Rg5#
- 2.Rxh5#
- 1...Rf5+
- 2.Rxf5#
- 1...Rxe5
- 2.Bxe5#
- 1...Bb1
- 2.Rxh5#
- 1...Bc2
- 2.Rxh5#
- 1...Bd3
- 2.Rxh5#
- 1...Be4
- 2.Rxh5#
- 1...Bf5
- 2.Re7#
- 1...Bg6
- 2.Rxh5#
- 1...Bg8
- 2.Rxh5#
- 1...Rh1
- 2.Re1#
- 2.Re2#
- 2.Re3#
- 2.Re4#
- 2.Rea5#
- 2.Rb5#
- 2.Rc5#
- 2.Rd5#
- 2.Rf5#
- 2.Rg5#
- 2.Rh5#
- 2.Ree6#
- 2.Re7#
- 2.Re8#
- 1...Rh2
- 2.Re1#
- 2.Re2#
- 2.Re3#
- 2.Re4#
- 2.Rea5#
- 2.Rb5#
- 2.Rc5#
- 2.Rd5#
- 2.Rf5#
- 2.Rg5#
- 2.Rh5#
- 2.Ree6#
- 2.Re7#
- 2.Re8#
- 1...Rh3
- 2.Re1#
- 2.Re2#
- 2.Re3#
- 2.Re4#
- 2.Rea5#
- 2.Rb5#
- 2.Rc5#
- 2.Rd5#
- 2.Rf5#
- 2.Rg5#
- 2.Rh5#
- 2.Ree6#
- 2.Re7#
- 2.Re8#
- 1...Rh4
- 2.Re4#
- 1...Rg5
- 2.Rxg5#
- 1...Rh6!
- threat
- 1.Rb6?
- threat
- 2.Rf5#
- 2.Rg5#
- 2.Rxh5#
- 1...Rf5+
- 2.Rxf5#
- 1...Rxe5
- 2.Bxe5#
- 1...Bb1
- 2.Rxh5#
- 1...Bc2
- 2.Rxh5#
- 1...Bd3
- 2.Rxh5#
- 1...Be4
- 2.Rxh5#
- 1...Bf5
- 2.Re7#
- 1...Bg6
- 2.Rxh5#
- 1...Bg8
- 2.Rxh5#
- 1...Rh1
- 2.Re1#
- 2.Re2#
- 2.Re3#
- 2.Re4#
- 2.Ra5#
- 2.Reb5#
- 2.Rc5#
- 2.Rd5#
- 2.Rf5#
- 2.Rg5#
- 2.Rh5#
- 2.Ree6#
- 2.Re7#
- 2.Re8#
- 1...Rh2
- 2.Re1#
- 2.Re2#
- 2.Re3#
- 2.Re4#
- 2.Ra5#
- 2.Reb5#
- 2.Rc5#
- 2.Rd5#
- 2.Rf5#
- 2.Rg5#
- 2.Rh5#
- 2.Ree6#
- 2.Re7#
- 2.Re8#
- 1...Rh3
- 2.Re1#
- 2.Re2#
- 2.Re3#
- 2.Re4#
- 2.Ra5#
- 2.Reb5#
- 2.Rc5#
- 2.Rd5#
- 2.Rf5#
- 2.Rg5#
- 2.Rh5#
- 2.Ree6#
- 2.Re7#
- 2.Re8#
- 1...Rh4
- 2.Re4#
- 1...Rg5
- 2.Rxg5#
- 1...Rh6!
- threat
- 1.Rc6?
- threat
- 2.Rf5#
- 2.Rg5#
- 2.Rxh5#
- 1...Rf5+
- 2.Rxf5#
- 1...Rxe5
- 2.Bxe5#
- 1...Bb1
- 2.Rxh5#
- 1...Bc2
- 2.Rxh5#
- 1...Bd3
- 2.Rxh5#
- 1...Be4
- 2.Rxh5#
- 1...Bf5
- 2.Re7#
- 1...Bg6
- 2.Rxh5#
- 1...Bg8
- 2.Rxh5#
- 1...Rh1
- 2.Re1#
- 2.Re2#
- 2.Re3#
- 2.Re4#
- 2.Ra5#
- 2.Rb5#
- 2.Rec5#
- 2.Rd5#
- 2.Rf5#
- 2.Rg5#
- 2.Rh5#
- 2.Ree6#
- 2.Re7#
- 2.Re8#
- 1...Rh2
- 2.Re1#
- 2.Re2#
- 2.Re3#
- 2.Re4#
- 2.Ra5#
- 2.Rb5#
- 2.Rec5#
- 2.Rd5#
- 2.Rf5#
- 2.Rg5#
- 2.Rh5#
- 2.Ree6#
- 2.Re7#
- 2.Re8#
- 1...Rh3
- 2.Re1#
- 2.Re2#
- 2.Re3#
- 2.Re4#
- 2.Ra5#
- 2.Rb5#
- 2.Rec5#
- 2.Rd5#
- 2.Rf5#
- 2.Rg5#
- 2.Rh5#
- 2.Ree6#
- 2.Re7#
- 2.Re8#
- 1...Rh4
- 2.Re4#
- 1...Rg5
- 2.Rxg5#
- 1...Rh6!
- threat
- 1.Rd6?
- threat
- 2.Rf5#
- 2.Rg5#
- 2.Rxh5#
- 1...Rf5+
- 2.Rxf5#
- 1...Rxe5
- 2.Bxe5#
- 1...Bb1
- 2.Rxh5#
- 1...Bc2
- 2.Rxh5#
- 1...Bd3
- 2.Rxh5#
- 1...Be4
- 2.Rxh5#
- 1...Bf5
- 2.Re7#
- 1...Bg6
- 2.Rxh5#
- 1...Bg8
- 2.Rxh5#
- 1...Rh1
- 2.Re1#
- 2.Re2#
- 2.Re3#
- 2.Re4#
- 2.Ra5#
- 2.Rb5#
- 2.Rc5#
- 2.Red5#
- 2.Rf5#
- 2.Rg5#
- 2.Rh5#
- 2.Ree6#
- 2.Re7#
- 2.Re8#
- 1...Rh2
- 2.Re1#
- 2.Re2#
- 2.Re3#
- 2.Re4#
- 2.Ra5#
- 2.Rb5#
- 2.Rc5#
- 2.Red5#
- 2.Rf5#
- 2.Rg5#
- 2.Rh5#
- 2.Ree6#
- 2.Re7#
- 2.Re8#
- 1...Rh3
- 2.Re1#
- 2.Re2#
- 2.Re3#
- 2.Re4#
- 2.Ra5#
- 2.Rb5#
- 2.Rc5#
- 2.Red5#
- 2.Rf5#
- 2.Rg5#
- 2.Rh5#
- 2.Ree6#
- 2.Re7#
- 2.Re8#
- 1...Rh4
- 2.Re4#
- 1...Rg5
- 2.Rxg5#
- 1...Rh6!
- threat
- 1.Rh6?
- threat
- 2.Rf5#
- 2.Rg5#
- 2.Rexh5#
- 1...Rf5+
- 2.Rxf5#
- 1...Rxe5
- 2.Bxe5#
- 1...Rh1
- 2.Re1#
- 2.Re2#
- 2.Re3#
- 2.Re4#
- 2.Ra5#
- 2.Rb5#
- 2.Rc5#
- 2.Rd5#
- 2.Rf5#
- 2.Rg5#
- 2.Reh5#
- 2.Ree6#
- 2.Re7#
- 2.Re8#
- 1...Rh2
- 2.Re1#
- 2.Re2#
- 2.Re3#
- 2.Re4#
- 2.Ra5#
- 2.Rb5#
- 2.Rc5#
- 2.Rd5#
- 2.Rf5#
- 2.Rg5#
- 2.Reh5#
- 2.Ree6#
- 2.Re7#
- 2.Re8#
- 1...Rh3
- 2.Re1#
- 2.Re2#
- 2.Re3#
- 2.Re4#
- 2.Ra5#
- 2.Rb5#
- 2.Rc5#
- 2.Rd5#
- 2.Rf5#
- 2.Rg5#
- 2.Reh5#
- 2.Ree6#
- 2.Re7#
- 2.Re8#
- 1...Rh4
- 2.Re4#
- 1...Rg5
- 2.Rxg5#
- 1...Rxh6!
- threat
- 1.Rf7?
- threat
- 2.Ref5#
- 2.Rg5#
- 2.Rxh5#
- 1...Rxe5
- 2.Bxe5#
- 1...Rh1
- 2.Re1#
- 2.Re2#
- 2.Re3#
- 2.Re4#
- 2.Ra5#
- 2.Rb5#
- 2.Rc5#
- 2.Rd5#
- 2.Ref5#
- 2.Rg5#
- 2.Rh5#
- 2.Re6#
- 2.Ree7#
- 2.Re8#
- 1...Rh2
- 2.Re1#
- 2.Re2#
- 2.Re3#
- 2.Re4#
- 2.Ra5#
- 2.Rb5#
- 2.Rc5#
- 2.Rd5#
- 2.Ref5#
- 2.Rg5#
- 2.Rh5#
- 2.Re6#
- 2.Ree7#
- 2.Re8#
- 1...Rh3
- 2.Re1#
- 2.Re2#
- 2.Re3#
- 2.Re4#
- 2.Ra5#
- 2.Rb5#
- 2.Rc5#
- 2.Rd5#
- 2.Ref5#
- 2.Rg5#
- 2.Rh5#
- 2.Re6#
- 2.Ree7#
- 2.Re8#
- 1...Rh4
- 2.Re4#
- 1...Rf5
- 2.Rexf5#
- 1...Rg5
- 2.Rxg5#
- 1...Bf5
- 2.Re1#
- 2.Re2#
- 2.Re3#
- 2.Re4#
- 2.Ra5#
- 2.Rb5#
- 2.Rc5#
- 2.Rd5#
- 2.Rexf5#
- 2.Re6#
- 2.Ree7#
- 2.Re8#
- 1...Rh6!
- threat
- 1.Ref5?
- Keys
- 1.Rg6!
- threat
- 2.Rf5#
- 2.Reg5#
- 2.Rxh5#
- 1...Rf5+
- 2.Rxf5#
- 1...Rxe5
- 2.Bxe5#
- 1...Bxg6
- 2.Rxh5#
- 1...Bg8
- 2.Rxh5#
- 1...Rh6
- 2.Re1#
- 2.Re2#
- 2.Re3#
- 2.Re4#
- 2.Ra5#
- 2.Rb5#
- 2.Rc5#
- 2.Rd5#
- 2.Rf5#
- 2.Reg5#
- 2.Rh5#
- 2.Ree6#
- 2.Re7#
- 2.Re8#
- 1...Rh1
- 2.Re1#
- 2.Re2#
- 2.Re3#
- 2.Re4#
- 2.Ra5#
- 2.Rb5#
- 2.Rc5#
- 2.Rd5#
- 2.Rf5#
- 2.Reg5#
- 2.Rh5#
- 2.Ree6#
- 2.Re7#
- 2.Re8#
- 1...Rh2
- 2.Re1#
- 2.Re2#
- 2.Re3#
- 2.Re4#
- 2.Ra5#
- 2.Rb5#
- 2.Rc5#
- 2.Rd5#
- 2.Rf5#
- 2.Reg5#
- 2.Rh5#
- 2.Ree6#
- 2.Re7#
- 2.Re8#
- 1...Rh3
- 2.Re1#
- 2.Re2#
- 2.Re3#
- 2.Re4#
- 2.Ra5#
- 2.Rb5#
- 2.Rc5#
- 2.Rd5#
- 2.Rf5#
- 2.Reg5#
- 2.Rh5#
- 2.Ree6#
- 2.Re7#
- 2.Re8#
- 1...Rh4
- 2.Re4#
- 1...Rg5
- 2.Rf5#
- 2.Rexg5#
- threat
- 1.Rg6!
FEATURES
- Static
- TYPE = THREAT
- CHANGED MATES = 0
- ADDED MATES = 5
- REMOVED MATES = 0
- Sets
- Tries
- Try
- R(B);
- Threat
- DUALS(8)
- Vars
- R(a);OGATE,P_PINR(C),XR(B)::B(A)+R(C),XR(a)
- B(b);::B(A)+R(C)
- R(a);::B(A)+R(C)
- Refutation
- R(a);
- Try
- R(B);
- Threat
- DUALS(13)
- Vars
- B(b);::B(A)+R(C)
- R(a);::B(A)+R(C)
- Refutation
- R(a);XR(B)
- Try
- R(C);
- Threat
- DUALS(3)
- Vars
- R(a);CHECK::B(A)+R(B),XR(a)
- R(a);OGATE,P_SPINR(a),XR(B)::B(A),XR(a)
- B(b);::B(A)+R(B),DCHECK,XR(a)
- B(b);S_CUTR(a)::B(A)+R(B)
- R(a);N_GUARD::B(A)+R(B)
- R(a);::B(A)+R(B),XR(a)
- Refutation
- R(a);
- Try
- R(C);
- Threat
- DUALS(3)
- Vars
- R(a);CHECK::B(A)+R(B),XR(a)
- R(a);OGATE,P_SPINR(a),XR(B)::B(A),XR(a)
- B(b);::B(A)+R(B),DCHECK,XR(a)
- B(b);S_CUTR(a)::B(A)+R(B)
- R(a);N_GUARD::B(A)+R(B)
- R(a);::B(A)+R(B),XR(a)
- Refutation
- R(a);
- Try
- R(C);
- Threat
- DUALS(3)
- Vars
- R(a);CHECK::B(A)+R(B),XR(a)
- R(a);OGATE,P_SPINR(a),XR(B)::B(A),XR(a)
- B(b);::B(A)+R(B),DCHECK,XR(a)
- B(b);S_CUTR(a)::B(A)+R(B)
- R(a);N_GUARD::B(A)+R(B)
- R(a);::B(A)+R(B),XR(a)
- Refutation
- R(a);
- Try
- R(C);
- Threat
- DUALS(3)
- Vars
- R(a);CHECK::B(A)+R(B),XR(a)
- R(a);OGATE,P_SPINR(a),XR(B)::B(A),XR(a)
- B(b);::B(A)+R(B),DCHECK,XR(a)
- B(b);S_CUTR(a)::B(A)+R(B)
- R(a);::B(A)+R(B),XR(a)
- Refutation
- R(a);
- Try
- R(C);
- Threat
- DUALS(3)
- Vars
- R(a);CHECK::B(A)+R(B),XR(a)
- R(a);OGATE,P_SPINR(a),XR(B)::B(A),XR(a)
- B(b);::B(A)+R(B),DCHECK,XR(a)
- B(b);S_CUTR(a)::B(A)+R(B)
- R(a);N_GUARD::B(A)+R(B)
- R(a);::B(A)+R(B),XR(a)
- Refutation
- R(a);
- Try
- R(C);
- Threat
- DUALS(3)
- Vars
- R(a);CHECK::B(A)+R(B),XR(a)
- R(a);OGATE,P_SPINR(a),XR(B)::B(A),XR(a)
- B(b);::B(A)+R(B),DCHECK,XR(a)
- B(b);S_CUTR(a)::B(A)+R(B)
- R(a);N_GUARD::B(A)+R(B)
- R(a);::B(A)+R(B),XR(a)
- Refutation
- R(a);
- Try
- R(C);
- Threat
- DUALS(3)
- Vars
- R(a);CHECK::B(A)+R(B),XR(a)
- R(a);OGATE,P_SPINR(a),XR(B)::B(A),XR(a)
- B(b);::B(A)+R(B),DCHECK,XR(a)
- B(b);S_CUTR(a)::B(A)+R(B)
- R(a);N_GUARD::B(A)+R(B)
- R(a);::B(A)+R(B),XR(a)
- Refutation
- R(a);
- Try
- R(C);
- Threat
- DUALS(3)
- Vars
- R(a);CHECK::B(A)+R(B),XR(a)
- R(a);OGATE,P_SPINR(a),XR(B)::B(A),XR(a)
- B(b);::B(A)+R(B),DCHECK,XR(a)
- B(b);S_CUTR(a)::B(A)+R(B)
- R(a);N_GUARD::B(A)+R(B)
- R(a);::B(A)+R(B),XR(a)
- Refutation
- R(a);
- Try
- R(C);P_PINB(b)
- Threat
- DUALS(3)
- Vars
- R(a);CHECK::B(A)+R(B),XR(a)
- R(a);OGATE,P_SPINR(a),XR(B)::B(A),XR(a)
- R(a);N_GUARD::B(A)+R(B)
- R(a);::B(A)+R(B),XR(a)
- Refutation
- R(a);N_SPINB(b),XR(C)
- Try
- R(C);
- Threat
- DUALS(3)
- Vars
- R(a);OGATE,P_SPINR(a),XR(B)::B(A),XR(a)
- R(a);N_GUARD::B(A)+R(B)
- R(a);P_PINR(C)::B(A)+R(B),XR(a)
- R(a);::B(A)+R(B),XR(a)
- Refutation
- R(a);
- Try
- Actual
- R(C);
- Threat
- DUALS(3)
- Vars
- R(a);CHECK::B(A)+R(B),XR(a)
- R(a);OGATE,P_SPINR(a),XR(B)::B(A),XR(a)
- B(b);XR(C)::B(A)+R(B),DCHECK,XR(a)
- B(b);::B(A)+R(B),DCHECK,XR(a)
- R(a);N_GUARD::B(A)+R(B)
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).