MESON Chess Problem Database
Problem Display
PID: 241470 (K7/pnP1PQP1/8/1NrRBRrn/2p1k1P1/q3bp2/1pP5/5N2 w - - 0 1)
Hjelle, David
Norsk Sjakkblad, 1959
#2
12 + 11
| 15148 | Sadier Collection | 2021 |
SOLUTION
- SOUND
- Sets
- 1...Qa1
- 2.Sc3#
- 1...Qa2
- 2.Sc3#
- 1...Qc3
- 2.Sxc3#
- 1...Qa4
- 2.Sc3#
- 1...Qa6
- 2.Sc3#
- 1...Bc1
- 2.Rd4#
- 1...Bd2
- 2.Rd4#
- 1...Bd4
- 2.Rxd4#
- 1...Bf4
- 2.Rd4#
- 1...Sg3
- 2.Sxg3#
- 1...Sf4
- 2.Sg3#
- 1...Sf6
- 2.Sg3#
- 1...Sxg7
- 2.Sg3#
- 1...Sa5
- 2.Sd6#
- 1...Sd6
- 2.Sxd6#
- 1...Sd8
- 2.Sd6#
- 1...Qa1
- Tries
- 1.Bxb2?
- threat
- 2.Qe6#
- 2.e8Q#
- 2.e8R#
- 1...Rxb5
- 2.Qe6#
- 1...Rxd5
- 2.Qxd5#
- 1...Rxc7
- 2.Rde5#
- 2.Qe6#
- 1...Rxg4
- 2.Rfe5#
- 2.Qe6#
- 2.e8Q#
- 2.e8R#
- 1...Rxf5
- 2.Qxf5#
- 1...Rxg7
- 2.Rfe5#
- 2.Qe6#
- 2.e8Q#
- 2.e8R#
- 1...Sxg7
- 2.Sg3#
- 1...Qb4
- 2.Qe6#
- 2.e8Q#
- 2.e8R#
- 1...Qa1
- 2.Sc3#
- 2.Qe6#
- 2.e8Q#
- 2.e8R#
- 1...Qa2
- 2.Sc3#
- 2.Qe6#
- 2.e8Q#
- 2.e8R#
- 1...Qb3
- 2.Qe6#
- 2.e8Q#
- 2.e8R#
- 1...Qc3
- 2.Sxc3#
- 1...Qd3
- 2.Qe6#
- 2.e8Q#
- 2.e8R#
- 1...Qa4
- 2.Sc3#
- 2.Qe6#
- 2.e8Q#
- 2.e8R#
- 1...Qa5
- 2.Qe6#
- 2.e8Q#
- 2.e8R#
- 1...Qa6
- 2.Sc3#
- 1...Rc6
- 2.Rde5#
- 1...Rg6
- 2.Rfe5#
- 1...Bc1
- 2.Rd4#
- 2.Qe6#
- 2.e8Q#
- 2.e8R#
- 1...Bg1
- 2.Qe6#
- 2.e8Q#
- 2.e8R#
- 1...Bd2
- 2.Rd4#
- 2.Qe6#
- 2.e8Q#
- 2.e8R#
- 1...Bf2
- 2.Qe6#
- 2.e8Q#
- 2.e8R#
- 1...Bd4
- 2.Rxd4#
- 1...Bf4
- 2.Rd4#
- 1...Sg3
- 2.Sxg3#
- 2.Qe6#
- 2.e8Q#
- 2.e8R#
- 1...Sf4
- 2.Sg3#
- 1...Sf6
- 2.Sg3#
- 2.Qe6#
- 1...Sa5
- 2.Sd6#
- 2.Qe6#
- 2.e8Q#
- 2.e8R#
- 1...Sd6
- 2.Sxd6#
- 2.Qe6#
- 1...Sd8
- 2.Sd6#
- 1...f2
- 2.Qe6#
- 2.e8Q#
- 2.e8R#
- 1...c3
- 2.Qe6#
- 2.e8Q#
- 2.e8R#
- 1...a5
- 2.Qe6#
- 2.e8Q#
- 2.e8R#
- 1...a6
- 2.Qe6#
- 2.e8Q#
- 2.e8R#
- 1...Qxb2!
- threat
- 1.Bc3?
- threat
- 2.Qe6#
- 2.e8Q#
- 2.e8R#
- 1...Qxc3
- 2.Sxc3#
- 1...Rxb5
- 2.Qe6#
- 1...Rxd5
- 2.Qxd5#
- 1...Rxc7
- 2.Rde5#
- 2.Qe6#
- 1...Rxg4
- 2.Rfe5#
- 2.Qe6#
- 2.e8Q#
- 2.e8R#
- 1...Rxf5
- 2.Qxf5#
- 1...Rxg7
- 2.Rfe5#
- 2.Qe6#
- 2.e8Q#
- 2.e8R#
- 1...Sxg7
- 2.Sg3#
- 1...b1Q
- 2.Qe6#
- 2.e8Q#
- 2.e8R#
- 1...b1S
- 2.Qe6#
- 2.e8Q#
- 2.e8R#
- 1...b1B
- 2.Qe6#
- 2.e8Q#
- 2.e8R#
- 1...b1R
- 2.Qe6#
- 2.e8Q#
- 2.e8R#
- 1...Qb4
- 2.Qe6#
- 2.e8Q#
- 2.e8R#
- 1...Qa1
- 2.Qe6#
- 2.e8Q#
- 2.e8R#
- 1...Qa2
- 2.Qe6#
- 2.e8Q#
- 2.e8R#
- 1...Qb3
- 2.Qe6#
- 2.e8Q#
- 2.e8R#
- 1...Qa4
- 2.Qe6#
- 2.e8Q#
- 2.e8R#
- 1...Qa5
- 2.Qe6#
- 2.e8Q#
- 2.e8R#
- 1...Rc6
- 2.Rde5#
- 1...Rg6
- 2.Rfe5#
- 1...Bc1
- 2.Rd4#
- 2.Qe6#
- 2.e8Q#
- 2.e8R#
- 1...Bg1
- 2.Qe6#
- 2.e8Q#
- 2.e8R#
- 1...Bd2
- 2.Rd4#
- 2.Qe6#
- 2.e8Q#
- 2.e8R#
- 1...Bf2
- 2.Qe6#
- 2.e8Q#
- 2.e8R#
- 1...Bd4
- 2.Rxd4#
- 1...Bf4
- 2.Rd4#
- 1...Sg3
- 2.Sxg3#
- 2.Qe6#
- 2.e8Q#
- 2.e8R#
- 1...Sf4
- 2.Sg3#
- 1...Sf6
- 2.Sg3#
- 2.Qe6#
- 1...Sa5
- 2.Sd6#
- 2.Qe6#
- 2.e8Q#
- 2.e8R#
- 1...Sd6
- 2.Sxd6#
- 2.Qe6#
- 1...Sd8
- 2.Sd6#
- 1...f2
- 2.Qe6#
- 2.e8Q#
- 2.e8R#
- 1...a5
- 2.Qe6#
- 2.e8Q#
- 2.e8R#
- 1...a6
- 2.Qe6#
- 2.e8Q#
- 2.e8R#
- 1...Qa6!
- threat
- 1.Bd4?
- threat
- 2.Qe6#
- 2.e8Q#
- 2.e8R#
- 1...Rxb5
- 2.Qe6#
- 1...Rxd5
- 2.Qxd5#
- 1...Rxc7
- 2.Rde5#
- 2.Qe6#
- 1...Rxg4
- 2.Rfe5#
- 2.Qe6#
- 2.e8Q#
- 2.e8R#
- 1...Rxf5
- 2.Qxf5#
- 1...Rxg7
- 2.Rfe5#
- 2.Qe6#
- 2.e8Q#
- 2.e8R#
- 1...Bxd4
- 2.Rxd4#
- 1...Sxg7
- 2.Sg3#
- 1...b1Q
- 2.Qe6#
- 2.e8Q#
- 2.e8R#
- 1...b1S
- 2.Qe6#
- 2.e8Q#
- 2.e8R#
- 1...b1B
- 2.Qe6#
- 2.e8Q#
- 2.e8R#
- 1...b1R
- 2.Qe6#
- 2.e8Q#
- 2.e8R#
- 1...Qb4
- 2.Qe6#
- 2.e8Q#
- 2.e8R#
- 1...Qa1
- 2.Sc3#
- 2.Qe6#
- 2.e8Q#
- 2.e8R#
- 1...Qa2
- 2.Sc3#
- 2.Qe6#
- 2.e8Q#
- 2.e8R#
- 1...Qb3
- 2.Qe6#
- 2.e8Q#
- 2.e8R#
- 1...Qc3
- 2.Sxc3#
- 2.Qe6#
- 2.e8Q#
- 2.e8R#
- 1...Qd3
- 2.Qe6#
- 2.e8Q#
- 2.e8R#
- 1...Qa4
- 2.Sc3#
- 2.Qe6#
- 2.e8Q#
- 2.e8R#
- 1...Qa5
- 2.Qe6#
- 2.e8Q#
- 2.e8R#
- 1...Qa6
- 2.Sc3#
- 1...Rc6
- 2.Rde5#
- 1...Rg6
- 2.Rfe5#
- 1...Bc1
- 2.Qe6#
- 2.e8Q#
- 2.e8R#
- 1...Bg1
- 2.Sd2#
- 2.Qe6#
- 2.e8Q#
- 2.e8R#
- 1...Bd2
- 2.Sxd2#
- 2.Qe6#
- 2.e8Q#
- 2.e8R#
- 1...Bf2
- 2.Sd2#
- 2.Qe6#
- 2.e8Q#
- 2.e8R#
- 1...Sg3
- 2.Sxg3#
- 2.Qe6#
- 2.e8Q#
- 2.e8R#
- 1...Sf4
- 2.Sg3#
- 1...Sf6
- 2.Sg3#
- 2.Qe6#
- 1...Sa5
- 2.Sd6#
- 2.Qe6#
- 2.e8Q#
- 2.e8R#
- 1...Sd6
- 2.Sxd6#
- 2.Qe6#
- 1...Sd8
- 2.Sd6#
- 1...f2
- 2.Qe6#
- 2.e8Q#
- 2.e8R#
- 1...c3
- 2.Qe6#
- 2.e8Q#
- 2.e8R#
- 1...a5
- 2.Qe6#
- 2.e8Q#
- 2.e8R#
- 1...a6
- 2.Qe6#
- 2.e8Q#
- 2.e8R#
- 1...Bf4!
- threat
- 1.Bf4?
- threat
- 2.Qe6#
- 2.e8Q#
- 2.e8R#
- 1...Rxb5
- 2.Qe6#
- 1...Rxd5
- 2.Qxd5#
- 1...Rxc7
- 2.Rde5#
- 2.Qe6#
- 1...Rxg4
- 2.Rfe5#
- 2.Qe6#
- 2.e8Q#
- 2.e8R#
- 1...Rxf5
- 2.Qxf5#
- 1...Rxg7
- 2.Rfe5#
- 2.Qe6#
- 2.e8Q#
- 2.e8R#
- 1...Bxf4
- 2.Rd4#
- 1...Sxf4
- 2.Sg3#
- 1...Sxg7
- 2.Sg3#
- 1...b1Q
- 2.Qe6#
- 2.e8Q#
- 2.e8R#
- 1...b1S
- 2.Qe6#
- 2.e8Q#
- 2.e8R#
- 1...b1B
- 2.Qe6#
- 2.e8Q#
- 2.e8R#
- 1...b1R
- 2.Qe6#
- 2.e8Q#
- 2.e8R#
- 1...Qb4
- 2.Qe6#
- 2.e8Q#
- 2.e8R#
- 1...Qa1
- 2.Sc3#
- 2.Qe6#
- 2.e8Q#
- 2.e8R#
- 1...Qa2
- 2.Sc3#
- 2.Qe6#
- 2.e8Q#
- 2.e8R#
- 1...Qb3
- 2.Qe6#
- 2.e8Q#
- 2.e8R#
- 1...Qc3
- 2.Sxc3#
- 1...Qd3
- 2.Qe6#
- 2.e8Q#
- 2.e8R#
- 1...Qa4
- 2.Sc3#
- 2.Qe6#
- 2.e8Q#
- 2.e8R#
- 1...Qa5
- 2.Qe6#
- 2.e8Q#
- 2.e8R#
- 1...Qa6
- 2.Sc3#
- 1...Rc6
- 2.Rde5#
- 1...Rg6
- 2.Rfe5#
- 1...Bc1
- 2.Rd4#
- 2.Qe6#
- 2.e8Q#
- 2.e8R#
- 1...Bg1
- 2.Sd2#
- 2.Qe6#
- 2.e8Q#
- 2.e8R#
- 1...Bd2
- 2.Sxd2#
- 2.Rd4#
- 2.Qe6#
- 2.e8Q#
- 2.e8R#
- 1...Bf2
- 2.Sd2#
- 2.Qe6#
- 2.e8Q#
- 2.e8R#
- 1...Bd4
- 2.Sd2#
- 2.Rxd4#
- 1...Sg3
- 2.Sxg3#
- 2.Qe6#
- 2.e8Q#
- 2.e8R#
- 1...Sf6
- 2.Sg3#
- 2.Qe6#
- 1...Sa5
- 2.Sd6#
- 2.Qe6#
- 2.e8Q#
- 2.e8R#
- 1...Sd6
- 2.Sxd6#
- 2.Qe6#
- 1...Sd8
- 2.Sd6#
- 1...c3
- 2.Qe6#
- 2.e8Q#
- 2.e8R#
- 1...a5
- 2.Qe6#
- 2.e8Q#
- 2.e8R#
- 1...a6
- 2.Qe6#
- 2.e8Q#
- 2.e8R#
- 1...f2!
- threat
- 1.Bd6?
- threat
- 2.Qe6#
- 2.e8Q#
- 2.e8R#
- 1...Rxb5
- 2.Qe6#
- 2.e8Q#
- 2.e8R#
- 1...Rxd5
- 2.Qxd5#
- 1...Rxc7
- 2.Rde5#
- 2.Qe6#
- 1...Rxg4
- 2.Rfe5#
- 2.Qe6#
- 2.e8Q#
- 2.e8R#
- 1...Rxf5
- 2.Qxf5#
- 1...Rxg7
- 2.Rfe5#
- 2.Qe6#
- 2.e8Q#
- 2.e8R#
- 1...Sxg7
- 2.Sg3#
- 1...Sxd6
- 2.Sxd6#
- 2.Qe6#
- 1...b1Q
- 2.Qe6#
- 2.e8Q#
- 2.e8R#
- 1...b1S
- 2.Qe6#
- 2.e8Q#
- 2.e8R#
- 1...b1B
- 2.Qe6#
- 2.e8Q#
- 2.e8R#
- 1...b1R
- 2.Qe6#
- 2.e8Q#
- 2.e8R#
- 1...Qb4
- 2.Qe6#
- 2.e8Q#
- 2.e8R#
- 1...Qa1
- 2.Sc3#
- 2.Qe6#
- 2.e8Q#
- 2.e8R#
- 1...Qa2
- 2.Sc3#
- 2.Qe6#
- 2.e8Q#
- 2.e8R#
- 1...Qb3
- 2.Qe6#
- 2.e8Q#
- 2.e8R#
- 1...Qc3
- 2.Sxc3#
- 1...Qd3
- 2.Qe6#
- 2.e8Q#
- 2.e8R#
- 1...Qa4
- 2.Sc3#
- 2.Qe6#
- 2.e8Q#
- 2.e8R#
- 1...Qa5
- 2.Qe6#
- 2.e8Q#
- 2.e8R#
- 1...Qa6
- 2.Sc3#
- 2.Qe6#
- 2.e8Q#
- 2.e8R#
- 1...Rc6
- 2.Rde5#
- 2.Qe6#
- 2.e8Q#
- 2.e8R#
- 1...Rg6
- 2.Rfe5#
- 1...Bc1
- 2.Rd4#
- 2.Qe6#
- 2.e8Q#
- 2.e8R#
- 1...Bg1
- 2.Qe6#
- 2.e8Q#
- 2.e8R#
- 1...Bd2
- 2.Rd4#
- 2.Qe6#
- 2.e8Q#
- 2.e8R#
- 1...Bf2
- 2.Qe6#
- 2.e8Q#
- 2.e8R#
- 1...Bd4
- 2.Rxd4#
- 1...Bf4
- 2.Rd4#
- 1...Sg3
- 2.Sxg3#
- 2.Qe6#
- 2.e8Q#
- 2.e8R#
- 1...Sf4
- 2.Sg3#
- 1...Sf6
- 2.Sg3#
- 2.Qe6#
- 1...Sa5
- 2.Qe6#
- 2.e8Q#
- 2.e8R#
- 1...f2
- 2.Qe6#
- 2.e8Q#
- 2.e8R#
- 1...c3
- 2.Qe6#
- 2.e8Q#
- 2.e8R#
- 1...a5
- 2.Qe6#
- 2.e8Q#
- 2.e8R#
- 1...a6
- 2.Qe6#
- 2.e8Q#
- 2.e8R#
- 1...Sd8!
- threat
- 1.Bf6?
- threat
- 2.Qe6#
- 2.e8Q#
- 2.e8R#
- 1...Rxb5
- 2.Qe6#
- 1...Rxd5
- 2.Qxd5#
- 1...Rxc7
- 2.Rde5#
- 2.Qe6#
- 1...Rxg4
- 2.Qe6#
- 2.e8Q#
- 2.e8R#
- 1...Rxg7
- 2.Qe6#
- 2.e8Q#
- 2.e8R#
- 1...Sxf6
- 2.Sg3#
- 2.Qe6#
- 1...Sxg7
- 2.Sg3#
- 1...b1Q
- 2.Qe6#
- 2.e8Q#
- 2.e8R#
- 1...b1S
- 2.Qe6#
- 2.e8Q#
- 2.e8R#
- 1...b1B
- 2.Qe6#
- 2.e8Q#
- 2.e8R#
- 1...b1R
- 2.Qe6#
- 2.e8Q#
- 2.e8R#
- 1...Qb4
- 2.Qe6#
- 2.e8Q#
- 2.e8R#
- 1...Qa1
- 2.Sc3#
- 2.Qe6#
- 2.e8Q#
- 2.e8R#
- 1...Qa2
- 2.Sc3#
- 2.Qe6#
- 2.e8Q#
- 2.e8R#
- 1...Qb3
- 2.Qe6#
- 2.e8Q#
- 2.e8R#
- 1...Qc3
- 2.Sxc3#
- 1...Qd3
- 2.Qe6#
- 2.e8Q#
- 2.e8R#
- 1...Qa4
- 2.Sc3#
- 2.Qe6#
- 2.e8Q#
- 2.e8R#
- 1...Qa5
- 2.Qe6#
- 2.e8Q#
- 2.e8R#
- 1...Qa6
- 2.Sc3#
- 1...Rc6
- 2.Rde5#
- 1...Rg6
- 2.Qe6#
- 2.e8Q#
- 2.e8R#
- 1...Bc1
- 2.Rd4#
- 2.Qe6#
- 2.e8Q#
- 2.e8R#
- 1...Bg1
- 2.Qe6#
- 2.e8Q#
- 2.e8R#
- 1...Bd2
- 2.Rd4#
- 2.Qe6#
- 2.e8Q#
- 2.e8R#
- 1...Bf2
- 2.Qe6#
- 2.e8Q#
- 2.e8R#
- 1...Bd4
- 2.Rxd4#
- 1...Bf4
- 2.Rd4#
- 1...Sg3
- 2.Sxg3#
- 2.Qe6#
- 2.e8Q#
- 2.e8R#
- 1...Sf4
- 2.Sg3#
- 1...Sa5
- 2.Sd6#
- 2.Qe6#
- 2.e8Q#
- 2.e8R#
- 1...Sd6
- 2.Sxd6#
- 2.Qe6#
- 1...Sd8
- 2.Sd6#
- 1...f2
- 2.Qe6#
- 2.e8Q#
- 2.e8R#
- 1...c3
- 2.Qe6#
- 2.e8Q#
- 2.e8R#
- 1...a5
- 2.Qe6#
- 2.e8Q#
- 2.e8R#
- 1...a6
- 2.Qe6#
- 2.e8Q#
- 2.e8R#
- 1...Rxf5!
- threat
- 1.Rf4+?
- 1...Sxf4
- 2.Sg3#
- 1...Bxf4!
- 1...Sxf4
- 1.Bxb2?
- Keys
- 1.Bh2!
- threat
- 2.Qe6#
- 2.e8Q#
- 2.e8R#
- 1...Rxb5
- 2.Qe6#
- 1...Rxd5
- 2.Qxd5#
- 1...Rxc7
- 2.Rde5#
- 2.Qe6#
- 1...Rxg4
- 2.Rfe5#
- 2.Qe6#
- 2.e8Q#
- 2.e8R#
- 1...Rxf5
- 2.Qxf5#
- 1...Rxg7
- 2.Rfe5#
- 2.Qe6#
- 2.e8Q#
- 2.e8R#
- 1...Sxg7
- 2.Sg3#
- 1...b1Q
- 2.Qe6#
- 2.e8Q#
- 2.e8R#
- 1...b1S
- 2.Qe6#
- 2.e8Q#
- 2.e8R#
- 1...b1B
- 2.Qe6#
- 2.e8Q#
- 2.e8R#
- 1...b1R
- 2.Qe6#
- 2.e8Q#
- 2.e8R#
- 1...Qb4
- 2.Qe6#
- 2.e8Q#
- 2.e8R#
- 1...Qa1
- 2.Sc3#
- 2.Qe6#
- 2.e8Q#
- 2.e8R#
- 1...Qa2
- 2.Sc3#
- 2.Qe6#
- 2.e8Q#
- 2.e8R#
- 1...Qb3
- 2.Qe6#
- 2.e8Q#
- 2.e8R#
- 1...Qc3
- 2.Sxc3#
- 1...Qd3
- 2.Qe6#
- 2.e8Q#
- 2.e8R#
- 1...Qa4
- 2.Sc3#
- 2.Qe6#
- 2.e8Q#
- 2.e8R#
- 1...Qa5
- 2.Qe6#
- 2.e8Q#
- 2.e8R#
- 1...Qa6
- 2.Sc3#
- 1...Rc6
- 2.Rde5#
- 1...Rg6
- 2.Rfe5#
- 1...Bc1
- 2.Rd4#
- 2.Qe6#
- 2.e8Q#
- 2.e8R#
- 1...Bg1
- 2.Qe6#
- 2.e8Q#
- 2.e8R#
- 1...Bd2
- 2.Rd4#
- 2.Qe6#
- 2.e8Q#
- 2.e8R#
- 1...Bf2
- 2.Qe6#
- 2.e8Q#
- 2.e8R#
- 1...Bd4
- 2.Rxd4#
- 1...Bf4
- 2.Rd4#
- 1...Sg3
- 2.Sxg3#
- 2.Qe6#
- 2.e8Q#
- 2.e8R#
- 1...Sf4
- 2.Sg3#
- 1...Sf6
- 2.Sg3#
- 2.Qe6#
- 1...Sa5
- 2.Sd6#
- 2.Qe6#
- 2.e8Q#
- 2.e8R#
- 1...Sd6
- 2.Sxd6#
- 2.Qe6#
- 1...Sd8
- 2.Sd6#
- 1...f2
- 2.Qe6#
- 2.e8Q#
- 2.e8R#
- 1...c3
- 2.Qe6#
- 2.e8Q#
- 2.e8R#
- 1...a5
- 2.Qe6#
- 2.e8Q#
- 2.e8R#
- 1...a6
- 2.Qe6#
- 2.e8Q#
- 2.e8R#
- threat
- 1.Bh2!
FEATURES
- Static
- TYPE = THREAT
- CHANGED MATES = 0
- ADDED MATES = 5
- REMOVED MATES = 9
- Sets
- Q(b);N_GUARD::S(D)
- Q(b);N_GUARD::S(D),XQ(b)
- B(c);N_GUARD::R1(E)
- B(c);N_GUARD::R1(E),XB(c)
- S(i);N_GUARD::S(A),XS(i)
- S(i);N_GUARD::S(A)
- S(i);N_GUARD,XP(K)::S(A)
- S(k);N_GUARD::S(D)
- S(k);N_GUARD::S(D),XS(k)
- Tries
- Try
- B(F);XP(a)
- Threat
- DUALS(3)
- Vars
- R(g);XS(D)::QAR2(J)
- R(g);OGATE,XR(E)::QAB1(J),XR(g)
- R(h);OGATE,XR(G)::QAB1(J),XR(h)
- S(i);N_GUARD,XP(K)::S(A)
- Q(b);N_GUARD::S(D),XQ(b)
- Q(b);N_GUARD::S(D)
- R(g);N_GUARD::R1(E)
- R(h);N_GUARD::R1(G)
- B(c);N_GUARD::R1(E),XB(c)
- B(c);N_GUARD::R1(E)
- S(i);N_GUARD::S(A)
- S(k);N_GUARD::S(D)
- Refutation
- Q(b);XB(F)
- Try
- B(F);
- Threat
- DUALS(3)
- Vars
- Q(b);XB(F)::S(D),XQ(b)
- R(g);XS(D)::QAR2(J)
- R(g);OGATE,XR(E)::QAB1(J),XR(g)
- R(h);OGATE,XR(G)::QAB1(J),XR(h)
- S(i);N_GUARD,XP(K)::S(A)
- R(g);N_GUARD::R1(E)
- R(h);N_GUARD::R1(G)
- B(c);N_GUARD::R1(E),XB(c)
- B(c);N_GUARD::R1(E)
- S(i);N_GUARD::S(A)
- S(k);N_GUARD::S(D)
- Refutation
- Q(b);
- Try
- B(F);
- Threat
- DUALS(3)
- Vars
- R(g);XS(D)::QAR2(J)
- R(g);OGATE,XR(E)::QAB1(J),XR(g)
- R(h);OGATE,XR(G)::QAB1(J),XR(h)
- B(c);OGATE,XB(F)::R1(E),XB(c)
- S(i);N_GUARD,XP(K)::S(A)
- Q(b);N_GUARD::S(D)
- R(g);N_GUARD::R1(E)
- R(h);N_GUARD::R1(G)
- S(i);N_GUARD::S(A)
- S(k);N_GUARD::S(D)
- Refutation
- B(c);
- Try
- B(F);
- Threat
- DUALS(3)
- Vars
- R(g);XS(D)::QAR2(J)
- R(g);OGATE,XR(E)::QAB1(J),XR(g)
- R(h);OGATE,XR(G)::QAB1(J),XR(h)
- B(c);N_GUARD,XB(F)::R1(E)
- S(i);N_GUARD,XB(F)::S(A)
- S(i);N_GUARD,XP(K)::S(A)
- Q(b);N_GUARD::S(D),XQ(b)
- Q(b);N_GUARD::S(D)
- R(g);N_GUARD::R1(E)
- R(h);N_GUARD::R1(G)
- S(k);N_GUARD::S(D)
- Refutation
- P(d);
- Try
- B(F);
- Threat
- DUALS(3)
- Vars
- R(g);OGATE,XR(E)::QAB1(J),XR(g)
- R(h);OGATE,XR(G)::QAB1(J),XR(h)
- S(i);N_GUARD,XP(K)::S(A)
- Q(b);N_GUARD::S(D),XQ(b)
- R(h);N_GUARD::R1(G)
- B(c);N_GUARD::R1(E),XB(c)
- B(c);N_GUARD::R1(E)
- S(i);N_GUARD::S(A)
- Refutation
- S(k);
- Try
- B(F);
- Threat
- DUALS(3)
- Vars
- R(g);XS(D)::QAR2(J)
- R(g);OGATE,XR(E)::QAB1(J),XR(g)
- S(i);N_GUARD,XP(K)::S(A)
- Q(b);N_GUARD::S(D),XQ(b)
- Q(b);N_GUARD::S(D)
- R(g);N_GUARD::R1(E)
- B(c);N_GUARD::R1(E),XB(c)
- B(c);N_GUARD::R1(E)
- S(i);N_GUARD::S(A)
- S(k);N_GUARD::S(D)
- Refutation
- R(h);XR(G)
- Try
- R(G);CHECK
- Vars
- S(i);XR(G)::S(A)
- Refutation
- B(c);XR(G)
- Try
- Actual
- B(F);
- Threat
- DUALS(3)
- Vars
- R(g);XS(D)::QAR2(J)
- R(g);OGATE,XR(E)::QAB1(J),XR(g)
- R(h);OGATE,XR(G)::QAB1(J),XR(h)
- S(i);N_GUARD,XP(K)::S(A)
- Q(b);N_GUARD::S(D),XQ(b)
- Q(b);N_GUARD::S(D)
- R(g);N_GUARD::R1(E)
- R(h);N_GUARD::R1(G)
- B(c);N_GUARD::R1(E),XB(c)
- B(c);N_GUARD::R1(E)
- S(i);N_GUARD::S(A)
- S(k);N_GUARD::S(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).