שליחת רשומה: Validation of a claims-based algorithm to identify patients with chronic thromboembolic pulmonary hypertension using electronic health record data