Assertion: checkers | /r/HasProperty | solved
Facets:
Source sentences:
text: The results would be published July 19, 2007, in Science with the headline: Checkers Is Solved.
text: In 2007 Schaeffer and his team published a paper in the journal Science titled Checkers Is Solved: the program could no longer be defeated by anyone, human or otherwise.