ClaimComparator Kevin Fausett, Reza Akhtar, and Andrew Costenoble try to detect which articles in a corpus assert an equivalent claim to the provided claim. Documentation and report is available here.