MESON Chess Problem Database
Problem Display
PID: 4958 (7Q/3pp3/1BNp4/K2k1PRp/1p5P/1P3P2/8/1B2q3 w - - 0 1)
L'Hermet, Johann Georg Rudolf
Deutsche Schachzeitung, 1895
#2
10 + 7
| 3360 | Simple Two-move Themes | 1924 |
SOLUTION
- SOUND
- Sets
- 1...Kxc6
- 2.Qa8#
- 1...Qd2
- 2.Sxe7#
- 2.Be4#
- 1...Qf2
- 2.Sxb4#
- 2.Sxe7#
- 2.Be4#
- 1...Qc3
- 2.Sxe7#
- 2.Be4#
- 1...Qg3
- 2.Sxb4#
- 2.Sxe7#
- 2.Be4#
- 1...Qxh4
- 2.Sxe7#
- 1...Qxb1
- 2.Sxb4#
- 2.Sxe7#
- 1...Qc1
- 2.Sxb4#
- 2.Sxe7#
- 2.Be4#
- 1...Qd1
- 2.Sxb4#
- 2.Sxe7#
- 2.Be4#
- 1...Qf1
- 2.Sxb4#
- 2.Sxe7#
- 2.Be4#
- 1...Qg1
- 2.Sxb4#
- 2.Sxe7#
- 2.Be4#
- 1...Qh1
- 2.Sxb4#
- 2.Sxe7#
- 2.Be4#
- 1...Qe2
- 2.Sxb4#
- 1...Qe3
- 2.Sxb4#
- 1...Qe4
- 2.Bxe4#
- 1...Qe5
- 2.Sxb4#
- 1...Qe6
- 2.Sxb4#
- 1...dxc6
- 2.Qd4#
- 1...e5
- 2.Se7#
- 1...e6
- 2.Se7#
- 1...Kxc6
- Tries
- 1.Ka4?
- 1...Qxh4
- 2.Sxe7#
- 1...Qxb1
- 2.Sxb4#
- 2.Sxe7#
- 1...dxc6
- 2.Qd4#
- 1...Qd2
- 2.Sxe7#
- 2.Be4#
- 1...Qf2
- 2.Sxb4#
- 2.Sxe7#
- 2.Be4#
- 1...Qc3
- 2.Sxe7#
- 2.Be4#
- 1...Qg3
- 2.Sxb4#
- 2.Sxe7#
- 2.Be4#
- 1...Qc1
- 2.Sxb4#
- 2.Sxe7#
- 2.Be4#
- 1...Qd1
- 2.Sxb4#
- 2.Sxe7#
- 2.Be4#
- 1...Qf1
- 2.Sxb4#
- 2.Sxe7#
- 2.Be4#
- 1...Qg1
- 2.Sxb4#
- 2.Sxe7#
- 2.Be4#
- 1...Qh1
- 2.Sxb4#
- 2.Sxe7#
- 2.Be4#
- 1...Qe2
- 2.Sxb4#
- 1...Qe3
- 2.Sxb4#
- 1...Qe4
- 2.Bxe4#
- 1...Qe5
- 2.Sxb4#
- 1...Qe6
- 2.Sxb4#
- 1...e5
- 2.Se7#
- 1...e6
- 2.Se7#
- 1...Kxc6!
- 1...Qxh4
- 1.Ba2?
- 1...Kxc6
- 2.Qa8#
- 1...Qxh4
- 2.Sxe7#
- 1...dxc6
- 2.Qd4#
- 1...Qe3
- 2.Sxb4#
- 1...Qd2
- 2.Sxe7#
- 1...Qf2
- 2.Sxb4#
- 2.Sxe7#
- 1...Qc3
- 2.Sxe7#
- 1...Qg3
- 2.Sxb4#
- 2.Sxe7#
- 1...Qa1
- 2.Sxb4#
- 2.Sxe7#
- 1...Qb1
- 2.Sxb4#
- 2.Sxe7#
- 1...Qc1
- 2.Sxb4#
- 2.Sxe7#
- 1...Qd1
- 2.Sxb4#
- 2.Sxe7#
- 1...Qf1
- 2.Sxb4#
- 2.Sxe7#
- 1...Qg1
- 2.Sxb4#
- 2.Sxe7#
- 1...Qh1
- 2.Sxb4#
- 2.Sxe7#
- 1...Qe2
- 2.Sxb4#
- 1...Qe5
- 2.Sxb4#
- 1...Qe6
- 2.Sxb4#
- 1...e5
- 2.Se7#
- 1...e6
- 2.Se7#
- 1...Qe4!
- 1...Kxc6
- 1.Bc2?
- 1...Kxc6
- 2.Qa8#
- 1...Qxh4
- 2.Sxe7#
- 1...dxc6
- 2.Qd4#
- 1...Qe3
- 2.Sxb4#
- 1...Qd2
- 2.Sxe7#
- 2.Be4#
- 1...Qf2
- 2.Sxb4#
- 2.Sxe7#
- 2.Be4#
- 1...Qc3
- 2.Sxe7#
- 2.Be4#
- 1...Qg3
- 2.Sxb4#
- 2.Sxe7#
- 2.Be4#
- 1...Qb1
- 2.Sxb4#
- 2.Sxe7#
- 1...Qc1
- 2.Sxb4#
- 2.Sxe7#
- 2.Be4#
- 1...Qd1
- 2.Sxb4#
- 2.Sxe7#
- 2.Be4#
- 1...Qf1
- 2.Sxb4#
- 2.Sxe7#
- 2.Be4#
- 1...Qg1
- 2.Sxb4#
- 2.Sxe7#
- 2.Be4#
- 1...Qh1
- 2.Sxb4#
- 2.Sxe7#
- 2.Be4#
- 1...Qe2
- 2.Sxb4#
- 1...Qe4
- 2.Bxe4#
- 1...Qe5
- 2.Sxb4#
- 1...Qe6
- 2.Sxb4#
- 1...e5
- 2.Se7#
- 1...e6
- 2.Se7#
- 1...Qa1+!
- 1...Kxc6
- 1.Bd3?
- 1...Kxc6
- 2.Qa8#
- 1...Qxh4
- 2.Sxe7#
- 1...dxc6
- 2.Bc4#
- 2.Qd4#
- 1...Qe3
- 2.Sxb4#
- 1...Qd2
- 2.Sxe7#
- 2.Be4#
- 1...Qf2
- 2.Sxb4#
- 2.Sxe7#
- 2.Be4#
- 1...Qc3
- 2.Sxe7#
- 2.Be4#
- 1...Qg3
- 2.Sxb4#
- 2.Sxe7#
- 2.Be4#
- 1...Qb1
- 2.Sxb4#
- 2.Sxe7#
- 1...Qc1
- 2.Sxb4#
- 2.Sxe7#
- 2.Be4#
- 1...Qd1
- 2.Sxb4#
- 2.Sxe7#
- 2.Be4#
- 1...Qf1
- 2.Sxb4#
- 2.Sxe7#
- 2.Be4#
- 1...Qg1
- 2.Sxb4#
- 2.Sxe7#
- 2.Be4#
- 1...Qh1
- 2.Sxb4#
- 2.Sxe7#
- 2.Be4#
- 1...Qe2
- 2.Sxb4#
- 1...Qe4
- 2.Bxe4#
- 1...Qe5
- 2.Sxb4#
- 1...Qe6
- 2.Sxb4#
- 1...e5
- 2.Se7#
- 1...e6
- 2.Se7#
- 1...Qa1+!
- 1...Kxc6
- 1.Ba7?
- 1...Qxh4
- 2.Sxe7#
- 1...Qxb1
- 2.Sxb4#
- 2.Sxe7#
- 1...dxc6
- 2.Qd4#
- 1...Qe3
- 2.Sxb4#
- 1...Qd2
- 2.Sxe7#
- 2.Be4#
- 1...Qf2
- 2.Sxb4#
- 2.Sxe7#
- 2.Be4#
- 1...Qc3
- 2.Sxe7#
- 2.Be4#
- 1...Qg3
- 2.Sxb4#
- 2.Sxe7#
- 2.Be4#
- 1...Qc1
- 2.Sxb4#
- 2.Sxe7#
- 2.Be4#
- 1...Qd1
- 2.Sxb4#
- 2.Sxe7#
- 2.Be4#
- 1...Qf1
- 2.Sxb4#
- 2.Sxe7#
- 2.Be4#
- 1...Qg1
- 2.Sxb4#
- 2.Sxe7#
- 2.Be4#
- 1...Qh1
- 2.Sxb4#
- 2.Sxe7#
- 2.Be4#
- 1...Qe2
- 2.Sxb4#
- 1...Qe4
- 2.Bxe4#
- 1...Qe5
- 2.Sxb4#
- 1...Qe6
- 2.Sxb4#
- 1...e5
- 2.Se7#
- 1...e6
- 2.Se7#
- 1...Kxc6!
- 1...Qxh4
- 1.Rg1?
- 1...Kxc6
- 2.Qa8#
- 1...Qxb1
- 2.Sxb4#
- 2.Sxe7#
- 1...Qxg1
- 2.Sxb4#
- 2.Sxe7#
- 2.Be4#
- 1...dxc6
- 2.Qd4#
- 1...Qe3
- 2.Sxb4#
- 1...Qd2
- 2.Sxe7#
- 2.Be4#
- 1...Qf2
- 2.Sxb4#
- 2.Sxe7#
- 2.Be4#
- 1...Qc3
- 2.Sxe7#
- 2.Be4#
- 1...Qg3
- 2.Sxb4#
- 2.Sxe7#
- 2.Be4#
- 1...Qc1
- 2.Sxb4#
- 2.Sxe7#
- 2.Be4#
- 1...Qd1
- 2.Sxb4#
- 2.Sxe7#
- 2.Be4#
- 1...Qf1
- 2.Sxb4#
- 2.Sxe7#
- 2.Be4#
- 1...Qe2
- 2.Sxb4#
- 1...Qe4
- 2.Bxe4#
- 1...Qe5
- 2.Sxb4#
- 1...Qe6
- 2.Sxb4#
- 1...e5
- 2.Se7#
- 1...e6
- 2.Se7#
- 1...Qxh4!
- 1...Kxc6
- 1.Rg2?
- 1...Kxc6
- 2.Qa8#
- 1...Qxb1
- 2.Sxb4#
- 2.Sxe7#
- 1...dxc6
- 2.Qd4#
- 1...Qe3
- 2.Sxb4#
- 1...Qd2
- 2.Sxe7#
- 2.Be4#
- 1...Qf2
- 2.Sxb4#
- 2.Sxe7#
- 2.Be4#
- 1...Qc3
- 2.Sxe7#
- 2.Be4#
- 1...Qg3
- 2.Sxb4#
- 2.Sxe7#
- 2.Be4#
- 1...Qc1
- 2.Sxb4#
- 2.Sxe7#
- 2.Be4#
- 1...Qd1
- 2.Sxb4#
- 2.Sxe7#
- 2.Be4#
- 1...Qf1
- 2.Sxb4#
- 2.Sxe7#
- 2.Be4#
- 1...Qg1
- 2.Sxb4#
- 2.Sxe7#
- 2.Be4#
- 1...Qh1
- 2.Sxb4#
- 2.Sxe7#
- 2.Be4#
- 1...Qe2
- 2.Sxb4#
- 1...Qe4
- 2.Bxe4#
- 1...Qe5
- 2.Sxb4#
- 1...Qe6
- 2.Sxb4#
- 1...e5
- 2.Se7#
- 1...e6
- 2.Se7#
- 1...Qxh4!
- 1...Kxc6
- 1.Rg4?
- 1...Kxc6
- 2.Qa8#
- 1...Qxh4
- 2.Sxb4#
- 2.Be4#
- 1...Qxb1
- 2.Sxb4#
- 2.Sxe7#
- 1...dxc6
- 2.Rd4#
- 2.Qd4#
- 1...Qe3
- 2.Sxb4#
- 1...Qd2
- 2.Sxe7#
- 2.Be4#
- 1...Qf2
- 2.Sxb4#
- 2.Sxe7#
- 2.Be4#
- 1...Qc3
- 2.Sxe7#
- 2.Be4#
- 1...Qg3
- 2.Sxb4#
- 2.Sxe7#
- 2.Be4#
- 1...Qc1
- 2.Sxb4#
- 2.Sxe7#
- 2.Be4#
- 1...Qd1
- 2.Sxb4#
- 2.Sxe7#
- 2.Be4#
- 1...Qf1
- 2.Sxb4#
- 2.Sxe7#
- 2.Be4#
- 1...Qg1
- 2.Sxb4#
- 2.Sxe7#
- 2.Be4#
- 1...Qh1
- 2.Sxb4#
- 2.Sxe7#
- 2.Be4#
- 1...Qe2
- 2.Sxb4#
- 1...Qe4
- 2.Bxe4#
- 1...Qe5
- 2.Sxb4#
- 1...Qe6
- 2.Sxb4#
- 1...e5
- 2.Se7#
- 1...e6
- 2.Se7#
- 1...hxg4!
- 1...Kxc6
- 1.Rxh5?
- 1...Kxc6
- 2.Qa8#
- 1...Qxb1
- 2.Sxb4#
- 2.Sxe7#
- 1...dxc6
- 2.Qd4#
- 1...Qe3
- 2.Sxb4#
- 1...Qd2
- 2.Sxe7#
- 2.Be4#
- 1...Qf2
- 2.Sxb4#
- 2.Sxe7#
- 2.Be4#
- 1...Qc3
- 2.Sxe7#
- 2.Be4#
- 1...Qg3
- 2.Sxb4#
- 2.Sxe7#
- 2.Be4#
- 1...Qc1
- 2.Sxb4#
- 2.Sxe7#
- 2.Be4#
- 1...Qd1
- 2.Sxb4#
- 2.Sxe7#
- 2.Be4#
- 1...Qf1
- 2.Sxb4#
- 2.Sxe7#
- 2.Be4#
- 1...Qg1
- 2.Sxb4#
- 2.Sxe7#
- 2.Be4#
- 1...Qh1
- 2.Sxb4#
- 2.Sxe7#
- 2.Be4#
- 1...Qe2
- 2.Sxb4#
- 1...Qe4
- 2.Bxe4#
- 1...Qe5
- 2.Sxb4#
- 1...Qe6
- 2.Sxb4#
- 1...e5
- 2.Se7#
- 1...e6
- 2.Se7#
- 1...Qxh4!
- 1...Kxc6
- 1.Rg6?
- 1...Kxc6
- 2.Qa8#
- 1...Qxb1
- 2.Sxb4#
- 2.Sxe7#
- 1...dxc6
- 2.Qd4#
- 1...Qe3
- 2.Sxb4#
- 1...Qd2
- 2.Sxe7#
- 2.Be4#
- 1...Qf2
- 2.Sxb4#
- 2.Sxe7#
- 2.Be4#
- 1...Qc3
- 2.Sxe7#
- 2.Be4#
- 1...Qg3
- 2.Sxb4#
- 2.Sxe7#
- 2.Be4#
- 1...Qc1
- 2.Sxb4#
- 2.Sxe7#
- 2.Be4#
- 1...Qd1
- 2.Sxb4#
- 2.Sxe7#
- 2.Be4#
- 1...Qf1
- 2.Sxb4#
- 2.Sxe7#
- 2.Be4#
- 1...Qg1
- 2.Sxb4#
- 2.Sxe7#
- 2.Be4#
- 1...Qh1
- 2.Sxb4#
- 2.Sxe7#
- 2.Be4#
- 1...Qe2
- 2.Sxb4#
- 1...Qe4
- 2.Bxe4#
- 1...Qe5
- 2.Sxb4#
- 1...Qe6
- 2.Sxb4#
- 1...e5
- 2.Se7#
- 1...e6
- 2.Se7#
- 1...Qxh4!
- 1...Kxc6
- 1.Qa1?
- 1...Qxh4
- 2.Sxe7#
- 1...Qxb1
- 2.Sxb4#
- 2.Sxe7#
- 1...dxc6
- 2.Qd4#
- 1...Qe3
- 2.Sxb4#
- 1...Qd2
- 2.Sxe7#
- 2.Be4#
- 1...Qf2
- 2.Sxb4#
- 2.Sxe7#
- 2.Be4#
- 1...Qc3
- 2.Be4#
- 1...Qg3
- 2.Sxb4#
- 2.Sxe7#
- 2.Be4#
- 1...Qc1
- 2.Sxb4#
- 2.Sxe7#
- 2.Be4#
- 1...Qd1
- 2.Sxb4#
- 2.Sxe7#
- 2.Be4#
- 1...Qf1
- 2.Sxb4#
- 2.Sxe7#
- 2.Be4#
- 1...Qg1
- 2.Sxb4#
- 2.Sxe7#
- 2.Be4#
- 1...Qh1
- 2.Sxb4#
- 2.Sxe7#
- 2.Be4#
- 1...Qe2
- 2.Sxb4#
- 1...Qe4
- 2.Bxe4#
- 1...Qe5
- 2.Sxb4#
- 1...Qe6
- 2.Sxb4#
- 1...e5
- 2.Se7#
- 1...e6
- 2.Se7#
- 1...Kxc6!
- 1...Qxh4
- 1.Qb2?
- 1...Qxh4
- 2.Sxe7#
- 1...Qxb1
- 2.Sxb4#
- 2.Sxe7#
- 1...dxc6
- 2.Qd4#
- 1...Qe3
- 2.Sxb4#
- 1...Qd2
- 2.Sxe7#
- 2.Be4#
- 1...Qf2
- 2.Sxb4#
- 2.Sxe7#
- 2.Be4#
- 1...Qc3
- 2.Be4#
- 1...Qg3
- 2.Sxb4#
- 2.Sxe7#
- 2.Be4#
- 1...Qc1
- 2.Sxb4#
- 2.Sxe7#
- 2.Be4#
- 1...Qd1
- 2.Sxb4#
- 2.Sxe7#
- 2.Be4#
- 1...Qf1
- 2.Sxb4#
- 2.Sxe7#
- 2.Be4#
- 1...Qg1
- 2.Sxb4#
- 2.Sxe7#
- 2.Be4#
- 1...Qh1
- 2.Sxb4#
- 2.Sxe7#
- 2.Be4#
- 1...Qe2
- 2.Sxb4#
- 1...Qe4
- 2.Bxe4#
- 1...Qe5
- 2.Sxb4#
- 1...Qe6
- 2.Sxb4#
- 1...e5
- 2.Se7#
- 1...e6
- 2.Se7#
- 1...Kxc6!
- 1...Qxh4
- 1.Qc3?
- threat
- 2.Sxb4#
- 2.Qc4#
- 1...Qxc3
- 2.Be4#
- 1...Qxh4
- 2.Sxe7#
- 1...dxc6
- 2.Qd4#
- 1...Qc1
- 2.Sxb4#
- 2.Sxe7#
- 2.Be4#
- 1...Qf1
- 2.Sxb4#
- 2.Sxe7#
- 2.Be4#
- 1...Qe2
- 2.Sxb4#
- 1...Qe4
- 2.Bxe4#
- 2.fxe4#
- 1...bxc3!
- threat
- 1.Qg7?
- 1...Qxh4
- 2.Sxe7#
- 1...Qxb1
- 2.Sxb4#
- 2.Sxe7#
- 1...dxc6
- 2.Qd4#
- 1...Qe3
- 2.Sxb4#
- 1...Qd2
- 2.Sxe7#
- 2.Be4#
- 1...Qf2
- 2.Sxb4#
- 2.Sxe7#
- 2.Be4#
- 1...Qc3
- 2.Sxe7#
- 2.Be4#
- 1...Qg3
- 2.Sxb4#
- 2.Sxe7#
- 2.Be4#
- 1...Qc1
- 2.Sxb4#
- 2.Sxe7#
- 2.Be4#
- 1...Qd1
- 2.Sxb4#
- 2.Sxe7#
- 2.Be4#
- 1...Qf1
- 2.Sxb4#
- 2.Sxe7#
- 2.Be4#
- 1...Qg1
- 2.Sxb4#
- 2.Sxe7#
- 2.Be4#
- 1...Qh1
- 2.Sxb4#
- 2.Sxe7#
- 2.Be4#
- 1...Qe2
- 2.Sxb4#
- 1...Qe4
- 2.Bxe4#
- 1...Qe5
- 2.Sxb4#
- 1...Qe6
- 2.Sxb4#
- 1...e5
- 2.Se7#
- 1...e6
- 2.Se7#
- 1...Kxc6!
- 1...Qxh4
- 1.Qg8+?
- 1...Kxc6
- 2.Qa8#
- 1...Qe6
- 2.Be4#
- 1...e6!
- 1...Kxc6
- 1.Ka4?
- Keys
- 1.Rg3!
- 1...Kxc6
- 2.Qa8#
- 1...Qxg3
- 2.Sxb4#
- 2.Sxe7#
- 2.Be4#
- 1...Qxb1
- 2.Sxb4#
- 2.Sxe7#
- 1...dxc6
- 2.Qd4#
- 1...Qe3
- 2.Sxb4#
- 1...Qd2
- 2.Sxe7#
- 2.Be4#
- 1...Qf2
- 2.Sxb4#
- 2.Sxe7#
- 2.Be4#
- 1...Qc3
- 2.Sxe7#
- 2.Be4#
- 1...Qc1
- 2.Sxb4#
- 2.Sxe7#
- 2.Be4#
- 1...Qd1
- 2.Sxb4#
- 2.Sxe7#
- 2.Be4#
- 1...Qf1
- 2.Sxb4#
- 2.Sxe7#
- 2.Be4#
- 1...Qg1
- 2.Sxb4#
- 2.Sxe7#
- 2.Be4#
- 1...Qh1
- 2.Sxb4#
- 2.Sxe7#
- 2.Be4#
- 1...Qe2
- 2.Sxb4#
- 1...Qe4
- 2.Bxe4#
- 1...Qe5
- 2.Sxb4#
- 1...Qe6
- 2.Sxb4#
- 1...e5
- 2.Se7#
- 1...e6
- 2.Se7#
- 1...Kxc6
- 1.Rg3!
This is a version of 2465
FEATURES
- Static
- TYPE = WAITER
- CHANGED MATES = 0
- ADDED MATES = 0
- REMOVED MATES = 1
- Sets
- K(c);OGATEB,S_FLIGHT,XS(I)::QAB(J)
- Q(a);N_GUARD,XP(D)::S(I),XP(g)
- Q(a);N_GUARD::S(I),XP(b)
- Q(a);N_GUARD::B(A),XQ(a)
- P(f);SBLOCK,XS(I)::QAR1(J)
- P(g);S_CUTQ(a)::S(I)
- Tries
- Try
- K(E);P-FLIGHT
- Vars
- Q(a);N_GUARD,XP(D)::S(I),XP(g)
- P(f);SBLOCK,XS(I)::QAR1(J)
- Q(a);N_GUARD::S(I),XP(b)
- Q(a);N_GUARD::B(A),XQ(a)
- P(g);S_CUTQ(a)::S(I)
- Refutation
- K(c);S_FLIGHT,XS(I)
- Try
- B(A);
- Vars
- K(c);OGATEB,S_FLIGHT,XS(I)::QAB(J)
- Q(a);N_GUARD,XP(D)::S(I),XP(g)
- P(f);SBLOCK,XS(I)::QAR1(J)
- Q(a);N_GUARD::S(I),XP(b)
- Q(a);N_GUARD::S(I),XP(g)
- P(g);S_CUTQ(a)::S(I)
- Refutation
- Q(a);
- Try
- B(A);
- Vars
- K(c);OGATEB,S_FLIGHT,XS(I)::QAB(J)
- Q(a);N_GUARD,XP(D)::S(I),XP(g)
- P(f);SBLOCK,XS(I)::QAR1(J)
- Q(a);N_GUARD::S(I),XP(b)
- Q(a);N_GUARD::B(A),XQ(a)
- P(g);S_CUTQ(a)::S(I)
- Refutation
- Q(a);CHECK
- Try
- B(A);
- Vars
- K(c);OGATEB,S_FLIGHT,XS(I)::QAB(J)
- Q(a);N_GUARD,XP(D)::S(I),XP(g)
- Q(a);N_GUARD::S(I),XP(b)
- Q(a);N_GUARD::B(A),XQ(a)
- P(g);S_CUTQ(a)::S(I)
- Refutation
- Q(a);CHECK
- Try
- B(H);
- Vars
- Q(a);N_GUARD,XP(D)::S(I),XP(g)
- P(f);SBLOCK,XS(I)::QAR1(J)
- Q(a);N_GUARD::S(I),XP(b)
- Q(a);N_GUARD::B(A),XQ(a)
- P(g);S_CUTQ(a)::S(I)
- Refutation
- K(c);S_FLIGHT,XS(I)
- Try
- R(G);
- Vars
- K(c);OGATEB,S_FLIGHT,XS(I)::QAB(J)
- P(f);SBLOCK,XS(I)::QAR1(J)
- Q(a);N_GUARD::S(I),XP(b)
- Q(a);N_GUARD::B(A),XQ(a)
- P(g);S_CUTQ(a)::S(I)
- Refutation
- Q(a);XP(D)
- Try
- R(G);
- Vars
- K(c);OGATEB,S_FLIGHT,XS(I)::QAB(J)
- P(f);SBLOCK,XS(I)::QAR1(J)
- Q(a);N_GUARD::S(I),XP(b)
- Q(a);N_GUARD::B(A),XQ(a)
- P(g);S_CUTQ(a)::S(I)
- Refutation
- Q(a);XP(D)
- Try
- R(G);
- Vars
- K(c);OGATEB,S_FLIGHT,XS(I)::QAB(J)
- Q(a);N_GUARD::S(I),XP(b)
- Q(a);N_GUARD::B(A),XQ(a)
- P(g);S_CUTQ(a)::S(I)
- Refutation
- P(d);XR(G)
- Try
- R(G);XP(d)
- Vars
- K(c);OGATEB,S_FLIGHT,XS(I)::QAB(J)
- P(f);SBLOCK,XS(I)::QAR1(J)
- Q(a);N_GUARD::S(I),XP(b)
- Q(a);N_GUARD::B(A),XQ(a)
- P(g);S_CUTQ(a)::S(I)
- Refutation
- Q(a);XP(D)
- Try
- R(G);
- Vars
- K(c);OGATEB,P_SPINP(e),S_FLIGHT,XS(I)::QAB(J)
- P(f);SBLOCK,XS(I)::QAR1(J)
- Q(a);N_GUARD::S(I),XP(b)
- Q(a);N_GUARD::B(A),XQ(a)
- P(g);S_CUTQ(a)::S(I)
- Refutation
- Q(a);XP(D)
- Try
- Q(J);
- Vars
- Q(a);N_GUARD,XP(D)::S(I),XP(g)
- P(f);SBLOCK,XS(I)::QAR1(J)
- Q(a);N_GUARD::S(I),XP(b)
- Q(a);N_GUARD::B(A)
- Q(a);N_GUARD::B(A),XQ(a)
- P(g);S_CUTQ(a)::S(I)
- Refutation
- K(c);S_FLIGHT,XS(I)
- Try
- Q(J);
- Vars
- Q(a);N_GUARD,XP(D)::S(I),XP(g)
- P(f);SBLOCK,XS(I)::QAR1(J)
- Q(a);N_GUARD::S(I),XP(b)
- Q(a);N_GUARD::B(A)
- Q(a);N_GUARD::B(A),XQ(a)
- P(g);S_CUTQ(a)::S(I)
- Refutation
- K(c);S_FLIGHT,XS(I)
- Try
- Q(J);
- Threat
- DUALS(2)
- Vars
- Q(a);N_GUARD,XQ(J)::B(A)
- Q(a);N_GUARD,XP(D)::S(I),XP(g)
- P(f);SBLOCK,XS(I)::QAR1(J)
- Q(a);::S(I),XP(b)
- Refutation
- P(b);XQ(J)
- Try
- Q(J);
- Vars
- Q(a);N_GUARD,XP(D)::S(I),XP(g)
- P(f);SBLOCK,XS(I)::QAR1(J)
- Q(a);N_GUARD::S(I),XP(b)
- Q(a);N_GUARD::B(A),XQ(a)
- P(g);S_CUTQ(a)::S(I)
- Refutation
- K(c);S_FLIGHT,XS(I)
- Try
- Q(J);CHECK
- Vars
- K(c);OGATEB,S_FLIGHT,XS(I)::QAB(J)
- Q(a);P_SPINQ(a)::B(A)
- Refutation
- P(g);P_SPINP(g)
- Try
- Actual
- R(G);
- Vars
- K(c);OGATEB,S_FLIGHT,XS(I)::QAB(J)
- P(f);SBLOCK,XS(I)::QAR1(J)
- Q(a);N_GUARD::S(I),XP(b)
- Q(a);N_GUARD::B(A),XQ(a)
- P(g);S_CUTQ(a)::S(I)
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).