Bewijspartij

Een bewijspartij is een legale partij die vanuit de beginstelling een doeldiagram bereikt. Het basisdoel is aantonen dat de stelling bereikbaar is. Zij hoort daarom vanzelf bij retrogradeanalyse, waarin de eerdere geschiedenis van het bord deel van het probleem uitmaakt.

In compositie vraagt een PG-stipulatie, waarbij PG een afkorting van Proof Game is, de oplosser doorgaans een partij te reconstrueren die het diagram in de vermelde lengte bereikt. Beide partijen kunnen zetten doen die in wedstrijdschaak vreemd zouden lijken, omdat het doel van het probleem niet is de partij te winnen maar de vereiste stelling te bereiken.

De terminologie verschilt per bron. In retrogradeanalyse kan bewijspartij elke legale route van de beginstelling naar het diagram betekenen. Sommige compositiebronnen gebruiken bewijspartij voor een kortste constructie, terwijl Shortest Proof Game, of SPG, de eis van minimale lengte expliciet maakt. De vermelde stipulatie bepaalt daarom wat moet worden bewezen.