Problem Display
PID: 133039 (8/3Bk1P1/1K1R4/1p3P2/1Q6/8/8/8 w - - 0 1)

Decker, Adolfph L

The Theory of Pawn Promotion, 1912

8/3Bk1P1/1K1R4/1p3P2/1Q6/8/8/8

#2

6 + 2


SOLUTION


  • SOUND
  • Sets
    • 1...Kd8
      • 2.Qh4#
  • Tries
    • 1.Kc6?
      • 1...Kd8
        • 2.Qh4#
      • 1...Kf7!
    • 1.Kb7?
      • 1...Kd8
        • 2.Qh4#
      • 1...Kf7!
    • 1.Rd1+?
      • 1...Kf7
        • 2.Qf8#
      • 1...Kd8
        • 2.Qf8#
        • 2.Qh4#
        • 2.g8Q#
        • 2.g8R#
      • 1...Kf6!
    • 1.Rd2+?
      • 1...Kf7
        • 2.Qf8#
      • 1...Kd8
        • 2.Qf8#
        • 2.Qh4#
        • 2.g8Q#
        • 2.g8R#
      • 1...Kf6!
    • 1.Rd3+?
      • 1...Kf7
        • 2.Qf8#
      • 1...Kd8
        • 2.Qf8#
        • 2.Qh4#
        • 2.g8Q#
        • 2.g8R#
      • 1...Kf6!
    • 1.Rd4+?
      • 1...Kf7
        • 2.Qf8#
      • 1...Kd8
        • 2.Qf8#
        • 2.g8Q#
        • 2.g8R#
      • 1...Kf6!
    • 1.Rd5+?
      • 1...Kf7
        • 2.Qf8#
      • 1...Kd8
        • 2.Qf8#
        • 2.Qh4#
        • 2.g8Q#
        • 2.g8R#
      • 1...Kf6!
    • 1.Re6+?
      • 1...Kf7
        • 2.Qf8#
      • 1...Kd8
        • 2.Qe7#
      • 1...Kxd7!
    • 1.Qe1+?
      • 1...Kxd6
        • 2.Qe6#
      • 1...Kd8
        • 2.Qh4#
        • 2.Qe8#
        • 2.g8Q#
        • 2.g8R#
      • 1...Kf7!
    • 1.Qd4?
      • threat
        • 2.Qf6#
      • 1...Kd8
        • 2.Qf6#
        • 2.Qh4#
      • 1...Kf7!
    • 1.Qe4+?
      • 1...Kxd6
        • 2.Qe6#
      • 1...Kd8
        • 2.Qh4#
        • 2.Qe8#
        • 2.g8Q#
        • 2.g8R#
      • 1...Kf7!
    • 1.f6+?
      • 1...Kd8
        • 2.g8Q#
        • 2.g8R#
      • 1...Kf7!
  • Keys
    • 1.g8B!
      • 1...Kd8
        • 2.Qh4#
      • 1...Kf8
        • 2.Rg6#

FEATURES


  • Static
    • TYPE = INCOMPLETE_BLOCK
    • CHANGED MATES = 0
    • ADDED MATES = 1
    • REMOVED MATES = 0
  • Sets
    • K(b);S_FLIGHT::QAB(A)
  • Tries
    • Try
      • K(C);P-FLIGHT
      • Vars
        • K(b);S_FLIGHT::QAB(A)
      • Refutation
        • K(b);P-FLIGHT
    • Try
      • K(C);P-FLIGHT
      • Vars
        • K(b);S_FLIGHT::QAB(A)
      • Refutation
        • K(b);P-FLIGHT
    • Try
      • R(D);CHECK
      • Vars
        • K(b);OGATE,P-FLIGHT::QAR1(A)
      • Refutation
        • K(b);S_FLIGHT
    • Try
      • R(D);CHECK
      • Vars
        • K(b);OGATE,P-FLIGHT::QAR1(A)
      • Refutation
        • K(b);S_FLIGHT
    • Try
      • R(D);CHECK
      • Vars
        • K(b);OGATE,P-FLIGHT::QAR1(A)
      • Refutation
        • K(b);S_FLIGHT
    • Try
      • R(D);CHECK
      • Vars
        • K(b);OGATE,P-FLIGHT::QAR1(A)
      • Refutation
        • K(b);S_FLIGHT
    • Try
      • R(D);CHECK
      • Vars
        • K(b);OGATE,P-FLIGHT::QAR1(A)
      • Refutation
        • K(b);S_FLIGHT
    • Try
      • R(D);CHECK
      • Vars
        • K(b);OGATE,P-FLIGHT::QAR1(A)
        • K(b);S_FLIGHT::QAB1(A)
      • Refutation
        • K(b);P-FLIGHT,XB(E)
    • Try
      • Q(A);CHECK
      • Vars
        • K(b);S_FLIGHT,XR(D)::QAR1(A)
      • Refutation
        • K(b);P-FLIGHT
    • Try
      • Q(A);
      • Threat
        • QAB1(A)
      • Refutation
        • K(b);P-FLIGHT
    • Try
      • Q(A);CHECK
      • Vars
        • K(b);S_FLIGHT,XR(D)::QAR1(A)
      • Refutation
        • K(b);P-FLIGHT
    • Try
      • P(B);CHECK
      • Vars
        • K(b);S_FLIGHT::P=Q
      • Refutation
        • K(b);P-FLIGHT
  • Actual
    • P(F);
    • Vars
      • K(b);S_FLIGHT::QAB(A)
      • K(b);S_FLIGHT::QAB(A)+R(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).