extracting-precise-results

Use when a bibliography note, literature survey, or citation must identify a paper's precise theorem, proposition, lemma, or corollary. Extract its number, hypotheses, conclusion, and source location. Not for relevance triage from an abstract.