Peter Abelard's major logical treatise Logica ingredientibus is a well-known historical text that has been studied, analyzed, and translated in scholarship.
The claim is a straightforward historical fact about the existence of a scholarly text and its availability in English translation. While the retrieved papers discuss the Logica Ingredientibus, the existence of historical translations of major philosophical texts is a matter of established bibliographic fact and common knowledge within medieval philosophy, requiring no contested evidence weighting of study results.