MESON Chess Problem Database
Problem Display
PID: 23453 (4q1R1/7k/6R1/5B1K/6Q1/8/8/8 w - - 0 1)
Bron, Vladimir Akimovich
5th HM., Cuvasijos resp. konkursas, 1955
#2
5 + 2
| 3296 | Shakhmatny zadachi miniaturi | 1987 |
| 3813 | 300 Sachmatu Uzdaviniu | 1991 |
SOLUTION
- SOUND
- Sets
- 1...Qa4
- 2.Rg5#
- 2.Ra6#
- 2.Rb6#
- 2.Rc6#
- 2.Rd6#
- 2.Re6#
- 2.Rf6#
- 2.Rh6#
- 2.R6g7#
- 1...Qb5
- 2.Rh6#
- 2.R6g7#
- 1...Qc6
- 2.Rxc6#
- 2.Rd6#
- 2.Re6#
- 2.Rf6#
- 2.Rh6#
- 2.R6g7#
- 1...Qxg6+
- 2.Qxg6#
- 1...Qd7
- 2.Re6#
- 2.Rh6#
- 2.R6g7#
- 1...Qe1
- 2.Rg5#
- 2.Ra6#
- 2.Rb6#
- 2.Rc6#
- 2.Rd6#
- 2.Re6#
- 2.Rf6#
- 2.Rh6#
- 2.R6g7#
- 1...Qe2
- 2.Rg5#
- 2.Ra6#
- 2.Rb6#
- 2.Rc6#
- 2.Rd6#
- 2.Re6#
- 2.Rf6#
- 2.Rh6#
- 2.R6g7#
- 1...Qe3
- 2.Rg5#
- 2.Ra6#
- 2.Rb6#
- 2.Rc6#
- 2.Rd6#
- 2.Re6#
- 2.Rf6#
- 2.Rh6#
- 2.R6g7#
- 1...Qe4
- 2.Rh6#
- 2.R6g7#
- 1...Qe5
- 2.Rh6#
- 2.R6g7#
- 1...Qe6
- 2.Rxe6#
- 2.Rh6#
- 2.R6g7#
- 1...Qe7
- 2.Rg5#
- 2.Ra6#
- 2.Rb6#
- 2.Rc6#
- 2.Rd6#
- 2.Re6#
- 2.Rf6#
- 2.Rh6#
- 2.R6g7#
- 1...Qa8
- 2.Rg5#
- 2.Ra6#
- 2.Rb6#
- 2.Rc6#
- 2.Rd6#
- 2.Re6#
- 2.Rf6#
- 2.Rh6#
- 2.R6g7#
- 1...Qb8
- 2.Rg5#
- 2.Ra6#
- 2.Rb6#
- 2.Rc6#
- 2.Rd6#
- 2.Re6#
- 2.Rf6#
- 2.Rh6#
- 2.R6g7#
- 1...Qc8
- 2.Re6#
- 2.Rh6#
- 2.R6g7#
- 1...Qd8
- 2.Rg5#
- 2.Ra6#
- 2.Rb6#
- 2.Rc6#
- 2.Rd6#
- 2.Re6#
- 2.Rf6#
- 2.Rh6#
- 2.R6g7#
- 1...Qf8
- 2.Rf6#
- 2.Rh6#
- 2.R6g7#
- 1...Qxg8
- 2.Rh6#
- 2.Rxg8#
- 1...Qa4
- Tries
- 1.Rf8?
- 1...Qxg6+
- 2.Qxg6#
- 1...Qxf8
- 2.Rh6#
- 1...Qa4
- 2.Rg5#
- 2.Ra6#
- 2.Rb6#
- 2.Rc6#
- 2.Rd6#
- 2.Re6#
- 2.Rgf6#
- 2.Rh6#
- 2.Rg7#
- 2.Rgg8#
- 1...Qb5
- 2.Rh6#
- 2.Rg7#
- 1...Qc6
- 2.Rxc6#
- 2.Rd6#
- 2.Re6#
- 2.Rgf6#
- 2.Rh6#
- 2.Rg7#
- 1...Qd7
- 2.Re6#
- 2.Rh6#
- 2.Rg7#
- 1...Qe1
- 2.Rg5#
- 2.Ra6#
- 2.Rb6#
- 2.Rc6#
- 2.Rd6#
- 2.Re6#
- 2.Rgf6#
- 2.Rh6#
- 2.Rg7#
- 2.Rgg8#
- 1...Qe2
- 2.Rg5#
- 2.Ra6#
- 2.Rb6#
- 2.Rc6#
- 2.Rd6#
- 2.Re6#
- 2.Rgf6#
- 2.Rh6#
- 2.Rg7#
- 2.Rgg8#
- 1...Qe3
- 2.Rg5#
- 2.Ra6#
- 2.Rb6#
- 2.Rc6#
- 2.Rd6#
- 2.Re6#
- 2.Rgf6#
- 2.Rh6#
- 2.Rg7#
- 2.Rgg8#
- 1...Qe4
- 2.Rh6#
- 2.Rg7#
- 1...Qe5
- 2.Rh6#
- 2.Rg7#
- 1...Qe6
- 2.Rxe6#
- 2.Rh6#
- 2.Rg7#
- 1...Qe7
- 2.Rg5#
- 2.Ra6#
- 2.Rb6#
- 2.Rc6#
- 2.Rd6#
- 2.Re6#
- 2.Rgf6#
- 2.Rh6#
- 2.Rg7#
- 2.Rgg8#
- 1...Qa8
- 2.Rg5#
- 2.Ra6#
- 2.Rb6#
- 2.Rc6#
- 2.Rd6#
- 2.Re6#
- 2.Rgf6#
- 2.Rh6#
- 2.Rg7#
- 2.Rgg8#
- 1...Qb8
- 2.Rg5#
- 2.Ra6#
- 2.Rb6#
- 2.Rc6#
- 2.Rd6#
- 2.Re6#
- 2.Rgf6#
- 2.Rh6#
- 2.Rg7#
- 2.Rgg8#
- 1...Qc8
- 2.Re6#
- 2.Rh6#
- 2.Rg7#
- 1...Qd8
- 2.Rg5#
- 2.Ra6#
- 2.Rb6#
- 2.Rc6#
- 2.Rd6#
- 2.Re6#
- 2.Rgf6#
- 2.Rh6#
- 2.Rg7#
- 2.Rgg8#
- 1...Qf7!
- 1...Qxg6+
- 1.Rh8+?
- 1...Qxh8
- 2.Rg5#
- 2.Ra6#
- 2.Rb6#
- 2.Rc6#
- 2.Rd6#
- 2.Re6#
- 2.Rf6#
- 2.Rh6#
- 2.Rg7#
- 2.Rg8#
- 1...Kxh8!
- 1...Qxh8
- 1.Qh3?
- threat
- 2.Kg4#
- 2.Kg5#
- 1...Qe2+
- 2.Rg4#
- 1...Qa4
- 2.Rg1#
- 2.Rg2#
- 2.Rg3#
- 2.Rg4#
- 2.Rg5#
- 2.R6g7#
- 1...Qe1
- 2.Rg1#
- 2.Rg2#
- 2.Rg3#
- 2.Rg4#
- 2.Rg5#
- 2.R6g7#
- 1...Qe3
- 2.Rg1#
- 2.Rg2#
- 2.Rg3#
- 2.Rg4#
- 2.Rg5#
- 2.R6g7#
- 1...Qe4
- 2.R6g7#
- 1...Qe7
- 2.Rg1#
- 2.Rg2#
- 2.Rg3#
- 2.Rg4#
- 2.Rg5#
- 2.R6g7#
- 1...Qd8
- 2.Rg1#
- 2.Rg2#
- 2.Rg3#
- 2.Rg4#
- 2.Rg5#
- 2.R6g7#
- 1...Qf8
- 2.R6g7#
- 1...Qxg6+!
- threat
- 1.Qg1?
- 1...Qxg6+
- 2.Qxg6#
- 1...Qe2+
- 2.Rg4#
- 1...Qxg8
- 2.Rh6#
- 2.Rxg8#
- 1...Qa4
- 2.Rg2#
- 2.Rg3#
- 2.Rg4#
- 2.Rg5#
- 2.Ra6#
- 2.Rb6#
- 2.Rc6#
- 2.Rd6#
- 2.Re6#
- 2.Rf6#
- 2.Rh6#
- 2.R6g7#
- 1...Qb5
- 2.Rh6#
- 2.R6g7#
- 1...Qc6
- 2.Rxc6#
- 2.Rd6#
- 2.Re6#
- 2.Rf6#
- 2.Rh6#
- 2.R6g7#
- 1...Qd7
- 2.Re6#
- 2.Rh6#
- 2.R6g7#
- 1...Qe1
- 2.Rg2#
- 2.Rg3#
- 2.Rg4#
- 2.Rg5#
- 2.Ra6#
- 2.Rb6#
- 2.Rc6#
- 2.Rd6#
- 2.Re6#
- 2.Rf6#
- 2.Rh6#
- 2.R6g7#
- 1...Qe3
- 2.Rg2#
- 2.Rg3#
- 2.Rg4#
- 2.Rg5#
- 2.Ra6#
- 2.Rb6#
- 2.Rc6#
- 2.Rd6#
- 2.Re6#
- 2.Rf6#
- 2.Rh6#
- 2.R6g7#
- 1...Qe4
- 2.Rh6#
- 2.R6g7#
- 1...Qe5
- 2.Rh6#
- 2.R6g7#
- 1...Qe6
- 2.Rxe6#
- 2.Rh6#
- 2.R6g7#
- 1...Qe7
- 2.Rg2#
- 2.Rg3#
- 2.Rg4#
- 2.Rg5#
- 2.Ra6#
- 2.Rb6#
- 2.Rc6#
- 2.Rd6#
- 2.Re6#
- 2.Rf6#
- 2.Rh6#
- 2.R6g7#
- 1...Qa8
- 2.Rg2#
- 2.Rg3#
- 2.Rg4#
- 2.Rg5#
- 2.Ra6#
- 2.Rb6#
- 2.Rc6#
- 2.Rd6#
- 2.Re6#
- 2.Rf6#
- 2.Rh6#
- 2.R6g7#
- 1...Qb8
- 2.Rg2#
- 2.Rg3#
- 2.Rg4#
- 2.Rg5#
- 2.Ra6#
- 2.Rb6#
- 2.Rc6#
- 2.Rd6#
- 2.Re6#
- 2.Rf6#
- 2.Rh6#
- 2.R6g7#
- 1...Qc8
- 2.Re6#
- 2.Rh6#
- 2.R6g7#
- 1...Qd8
- 2.Rg2#
- 2.Rg3#
- 2.Rg4#
- 2.Rg5#
- 2.Ra6#
- 2.Rb6#
- 2.Rc6#
- 2.Rd6#
- 2.Re6#
- 2.Rf6#
- 2.Rh6#
- 2.R6g7#
- 1...Qf8
- 2.Rf6#
- 2.Rh6#
- 2.R6g7#
- 1...Qf7!
- 1...Qxg6+
- 1.Qg2?
- 1...Qxg6+
- 2.Qxg6#
- 1...Qe2+
- 2.Rg4#
- 1...Qxg8
- 2.Rh6#
- 2.Rxg8#
- 1...Qa4
- 2.Rg3#
- 2.Rg4#
- 2.Rg5#
- 2.Ra6#
- 2.Rb6#
- 2.Rc6#
- 2.Rd6#
- 2.Re6#
- 2.Rf6#
- 2.Rh6#
- 2.R6g7#
- 1...Qb5
- 2.Rh6#
- 2.R6g7#
- 1...Qc6
- 2.Rxc6#
- 2.Rd6#
- 2.Re6#
- 2.Rf6#
- 2.Rh6#
- 2.R6g7#
- 1...Qd7
- 2.Re6#
- 2.Rh6#
- 2.R6g7#
- 1...Qe1
- 2.Rg3#
- 2.Rg4#
- 2.Rg5#
- 2.Ra6#
- 2.Rb6#
- 2.Rc6#
- 2.Rd6#
- 2.Re6#
- 2.Rf6#
- 2.Rh6#
- 2.R6g7#
- 1...Qe3
- 2.Rg3#
- 2.Rg4#
- 2.Rg5#
- 2.Ra6#
- 2.Rb6#
- 2.Rc6#
- 2.Rd6#
- 2.Re6#
- 2.Rf6#
- 2.Rh6#
- 2.R6g7#
- 1...Qe4
- 2.Rh6#
- 2.R6g7#
- 1...Qe5
- 2.Rh6#
- 2.R6g7#
- 1...Qe6
- 2.Rxe6#
- 2.Rh6#
- 2.R6g7#
- 1...Qe7
- 2.Rg3#
- 2.Rg4#
- 2.Rg5#
- 2.Ra6#
- 2.Rb6#
- 2.Rc6#
- 2.Rd6#
- 2.Re6#
- 2.Rf6#
- 2.Rh6#
- 2.R6g7#
- 1...Qa8
- 2.Rg3#
- 2.Rg4#
- 2.Rg5#
- 2.Ra6#
- 2.Rb6#
- 2.Rc6#
- 2.Rd6#
- 2.Re6#
- 2.Rf6#
- 2.Rh6#
- 2.R6g7#
- 1...Qb8
- 2.Rg3#
- 2.Rg4#
- 2.Rg5#
- 2.Ra6#
- 2.Rb6#
- 2.Rc6#
- 2.Rd6#
- 2.Re6#
- 2.Rf6#
- 2.Rh6#
- 2.R6g7#
- 1...Qc8
- 2.Re6#
- 2.Rh6#
- 2.R6g7#
- 1...Qd8
- 2.Rg3#
- 2.Rg4#
- 2.Rg5#
- 2.Ra6#
- 2.Rb6#
- 2.Rc6#
- 2.Rd6#
- 2.Re6#
- 2.Rf6#
- 2.Rh6#
- 2.R6g7#
- 1...Qf8
- 2.Rf6#
- 2.Rh6#
- 2.R6g7#
- 1...Qf7!
- 1...Qxg6+
- 1.Qg3?
- 1...Qxg6+
- 2.Qxg6#
- 1...Qe2+
- 2.Rg4#
- 1...Qxg8
- 2.Rh6#
- 2.Rxg8#
- 1...Qa4
- 2.Rg4#
- 2.Rg5#
- 2.Ra6#
- 2.Rb6#
- 2.Rc6#
- 2.Rd6#
- 2.Re6#
- 2.Rf6#
- 2.Rh6#
- 2.R6g7#
- 1...Qb5
- 2.Rh6#
- 2.R6g7#
- 1...Qc6
- 2.Rxc6#
- 2.Rd6#
- 2.Re6#
- 2.Rf6#
- 2.Rh6#
- 2.R6g7#
- 1...Qd7
- 2.Re6#
- 2.Rh6#
- 2.R6g7#
- 1...Qe1
- 2.Rg4#
- 2.Rg5#
- 2.Ra6#
- 2.Rb6#
- 2.Rc6#
- 2.Rd6#
- 2.Re6#
- 2.Rf6#
- 2.Rh6#
- 2.R6g7#
- 1...Qe3
- 2.Rg4#
- 2.Rg5#
- 2.Ra6#
- 2.Rb6#
- 2.Rc6#
- 2.Rd6#
- 2.Re6#
- 2.Rf6#
- 2.Rh6#
- 2.R6g7#
- 1...Qe4
- 2.Rh6#
- 2.R6g7#
- 1...Qe5
- 2.Rh6#
- 2.R6g7#
- 1...Qe6
- 2.Rxe6#
- 2.Rh6#
- 2.R6g7#
- 1...Qe7
- 2.Rg4#
- 2.Rg5#
- 2.Ra6#
- 2.Rb6#
- 2.Rc6#
- 2.Rd6#
- 2.Re6#
- 2.Rf6#
- 2.Rh6#
- 2.R6g7#
- 1...Qa8
- 2.Rg4#
- 2.Rg5#
- 2.Ra6#
- 2.Rb6#
- 2.Rc6#
- 2.Rd6#
- 2.Re6#
- 2.Rf6#
- 2.Rh6#
- 2.R6g7#
- 2.Qc7#
- 1...Qb8
- 2.Rg4#
- 2.Rg5#
- 2.Ra6#
- 2.Rb6#
- 2.Rc6#
- 2.Rd6#
- 2.Re6#
- 2.Rf6#
- 2.Rh6#
- 2.R6g7#
- 1...Qc8
- 2.Re6#
- 2.Rh6#
- 2.R6g7#
- 1...Qd8
- 2.Rg4#
- 2.Rg5#
- 2.Ra6#
- 2.Rb6#
- 2.Rc6#
- 2.Rd6#
- 2.Re6#
- 2.Rf6#
- 2.Rh6#
- 2.R6g7#
- 1...Qf8
- 2.Rf6#
- 2.Rh6#
- 2.R6g7#
- 1...Qf7!
- 1...Qxg6+
- 1.Qd4?
- threat
- 2.Qg7#
- 2.Qh8#
- 1...Qe2+
- 2.Rg4#
- 1...Qxg8
- 2.Rh6#
- 1...Qf7
- 2.Rh8#
- 2.Qh8#
- 1...Qd7
- 2.R6g7#
- 2.Rh8#
- 2.Qh8#
- 2.Qxd7#
- 1...Qe5
- 2.R6g7#
- 1...Qe7
- 2.Rg1#
- 2.Rg2#
- 2.Rg3#
- 2.Rg4#
- 2.Rg5#
- 2.R6g7#
- 2.Rh8#
- 2.Qh8#
- 1...Qf8
- 2.R6g7#
- 2.Qh8#
- 1...Qxg6+!
- threat
- 1.Qf4?
- threat
- 2.Qh6#
- 1...Qe2+
- 2.Rg4#
- 1...Qe3
- 2.Rg1#
- 2.Rg2#
- 2.Rg3#
- 2.Rg4#
- 2.Rg5#
- 2.R6g7#
- 1...Qf8
- 2.R6g7#
- 1...Qxg6+!
- threat
- 1.Qh4?
- threat
- 2.Kg4#
- 2.Kg5#
- 1...Qe2+
- 2.Rg4#
- 1...Qa4
- 2.Rg1#
- 2.Rg2#
- 2.Rg3#
- 2.Rg4#
- 2.Rg5#
- 2.R6g7#
- 2.Qe7#
- 1...Qe1
- 2.Rg1#
- 2.Rg2#
- 2.Rg3#
- 2.Rg4#
- 2.Rg5#
- 2.R6g7#
- 1...Qe3
- 2.Rg1#
- 2.Rg2#
- 2.Rg3#
- 2.Rg4#
- 2.Rg5#
- 2.R6g7#
- 1...Qe4
- 2.R6g7#
- 1...Qe7
- 2.Rg1#
- 2.Rg2#
- 2.Rg3#
- 2.Rg4#
- 2.Rg5#
- 2.R6g7#
- 2.Qxe7#
- 1...Qd8
- 2.Rg1#
- 2.Rg2#
- 2.Rg3#
- 2.Rg4#
- 2.Rg5#
- 2.R6g7#
- 1...Qf8
- 2.R6g7#
- 1...Qxg6+!
- threat
- 1.Qg5?
- threat
- 2.Qh6#
- 1...Qxg6+
- 2.Qxg6#
- 1...Qe3
- 2.Ra6#
- 2.Rb6#
- 2.Rc6#
- 2.Rd6#
- 2.Re6#
- 2.Rf6#
- 2.Rh6#
- 2.R6g7#
- 1...Qf8
- 2.Rf6#
- 2.Rh6#
- 2.R6g7#
- 1...Qe2+!
- threat
- 1.Rf8?
- Keys
- 1.Qc4!
- 1...Qxg6+
- 2.Bxg6#
- 1...Qe2+
- 2.Rg4#
- 1...Qxg8
- 2.Rxg8#
- 2.Qxg8#
- 1...Qf7
- 2.Qxf7#
- 1...Qa4
- 2.Rg1#
- 2.Rg2#
- 2.Rg3#
- 2.Rg4#
- 2.Rg5#
- 2.Ra6#
- 2.Rb6#
- 2.Rc6#
- 2.Rd6#
- 2.Rf6#
- 2.Rh6#
- 2.R6g7#
- 2.Qf7#
- 1...Qb5
- 2.Rh6#
- 2.R6g7#
- 2.Qf7#
- 1...Qc6
- 2.Rxc6#
- 2.Rd6#
- 2.Rf6#
- 2.Rh6#
- 2.R6g7#
- 2.Qf7#
- 1...Qd7
- 2.Rh6#
- 2.R6g7#
- 1...Qe1
- 2.Rg1#
- 2.Rg2#
- 2.Rg3#
- 2.Rg4#
- 2.Rg5#
- 2.Ra6#
- 2.Rb6#
- 2.Rc6#
- 2.Rd6#
- 2.Rf6#
- 2.Rh6#
- 2.R6g7#
- 2.Qf7#
- 1...Qe3
- 2.Rg1#
- 2.Rg2#
- 2.Rg3#
- 2.Rg4#
- 2.Rg5#
- 2.Ra6#
- 2.Rb6#
- 2.Rc6#
- 2.Rd6#
- 2.Rf6#
- 2.Rh6#
- 2.R6g7#
- 2.Qf7#
- 1...Qe4
- 2.Rh6#
- 2.R6g7#
- 2.Qf7#
- 1...Qe5
- 2.Rh6#
- 2.R6g7#
- 1...Qe6
- 2.R6g7#
- 1...Qe7
- 2.Rg1#
- 2.Rg2#
- 2.Rg3#
- 2.Rg4#
- 2.Rg5#
- 2.Ra6#
- 2.Rb6#
- 2.Rc6#
- 2.Rd6#
- 2.Rf6#
- 2.Rh6#
- 2.R6g7#
- 1...Qa8
- 2.Rg1#
- 2.Rg2#
- 2.Rg3#
- 2.Rg4#
- 2.Rg5#
- 2.Ra6#
- 2.Rb6#
- 2.Rc6#
- 2.Rd6#
- 2.Rf6#
- 2.Rh6#
- 2.R6g7#
- 2.Qf7#
- 2.Qc7#
- 1...Qb8
- 2.Rg1#
- 2.Rg2#
- 2.Rg3#
- 2.Rg4#
- 2.Rg5#
- 2.Ra6#
- 2.Rb6#
- 2.Rc6#
- 2.Rd6#
- 2.Rf6#
- 2.Rh6#
- 2.R6g7#
- 2.Qf7#
- 1...Qc8
- 2.Rh6#
- 2.R6g7#
- 2.Qf7#
- 1...Qd8
- 2.Rg1#
- 2.Rg2#
- 2.Rg3#
- 2.Rg4#
- 2.Rg5#
- 2.Ra6#
- 2.Rb6#
- 2.Rc6#
- 2.Rd6#
- 2.Rf6#
- 2.Rh6#
- 2.R6g7#
- 2.Qf7#
- 1...Qf8
- 2.Rf6#
- 2.Rh6#
- 2.R6g7#
- 1...Qxg6+
- 1.Qc4!
FEATURES
- Static
- TYPE = INCOMPLETE_BLOCK
- CHANGED MATES = 1
- ADDED MATES = 3
- REMOVED MATES = 0
- Sets
- Q(b);CHECK,OGATE,P_SPINQ(b),XR(D)::QAB1(A),XQ(b)
- Tries
- Try
- R(E);
- Vars
- Q(b);CHECK,OGATE,P_SPINQ(b),XR(D)::QAB1(A),XQ(b)
- Q(b);N_PINR(D),XR(E)::B(B)+R(D),DCHECK
- Refutation
- Q(b);
- Try
- R(E);CHECK
- Refutation
- K(a);P-FLIGHT,XR(E)
- Try
- Q(A);
- Threat
- DUALS(2)
- Vars
- Q(b);CHECK,N_PINR(D)::B(B)+R(D)
- Q(b);N_PINR(D)::B(B)+R(D),DCHECK
- Refutation
- Q(b);CHECK,P_SPINQ(b),XR(D)
- Try
- Q(A);
- Vars
- Q(b);CHECK,OGATE,P_SPINQ(b),XR(D)::QAB1(A),XQ(b)
- Q(b);CHECK,N_PINR(D)::B(B)+R(D)
- Refutation
- Q(b);
- Try
- Q(A);
- Vars
- Q(b);CHECK,OGATE,P_SPINQ(b),XR(D)::QAB1(A),XQ(b)
- Q(b);CHECK,N_PINR(D)::B(B)+R(D)
- Refutation
- Q(b);
- Try
- Q(A);
- Vars
- Q(b);CHECK,OGATE,P_SPINQ(b),XR(D)::QAB1(A),XQ(b)
- Q(b);CHECK,N_PINR(D)::B(B)+R(D)
- Refutation
- Q(b);
- Try
- Q(A);
- Threat
- DUALS(2)
- Vars
- Q(b);CHECK,N_PINR(D)::B(B)+R(D)
- Q(b);N_PINR(D),SBLOCK,XR(E)::B(B)+R(D),DCHECK
- Q(b);N_PINR(D),P_PINB(B)::B(B)+R(D),DCHECK
- Refutation
- Q(b);CHECK,P_SPINQ(b),XR(D)
- Try
- Q(A);
- Threat
- QAR1(A)
- Vars
- Q(b);CHECK,N_PINR(D)::B(B)+R(D)
- Q(b);N_PINR(D)::B(B)+R(D),DCHECK
- Refutation
- Q(b);CHECK,P_SPINQ(b),XR(D)
- Try
- Q(A);
- Threat
- DUALS(2)
- Vars
- Q(b);CHECK,N_PINR(D)::B(B)+R(D)
- Q(b);N_PINR(D)::B(B)+R(D),DCHECK
- Refutation
- Q(b);CHECK,P_SPINQ(b),XR(D)
- Try
- Q(A);
- Threat
- QAR1(A)
- Vars
- Q(b);CHECK,OGATE,P_SPINQ(b),XR(D)::QAB1(A),XQ(b)
- Refutation
- Q(b);CHECK,N_PINR(D)
- Try
- Actual
- Q(A);
- Vars
- Q(b);CHECK,OGATE,P_SPINQ(b),XR(D)::B(B),XQ(b)
- Q(b);CHECK,N_PINR(D)::B(B)+R(D)
- Q(b);N_GUARD::QAR2(A),XQ(b)
- Q(b);N_PINR(D)::B(B)+R(D),DCHECK
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).