Analysis of information sources in references of the Wikipedia article "Problème de l'échiquier mutilé" in French language version.
« The mutilated chessboard theorem was proposed over 40 years ago by John McCarthy as a “tough nut to crack” for automated reasoning. »
« most treatments of the problem in the literature solve it in the conceptual sense, but do not actually provide proofs of the theorem in either of McCarthy's original formulations. »
