{"id":"rhel9-ha-uses-pacemaker-crm","text":"RHEL 9 High Availability Add-On uses Pacemaker as its cluster resource manager.","truth_value":"IN","source":"repo:entries/2026/03/04/en-documentation-red_hat_enterprise_linux-9-html-configuring_and_managing_high_a.md","source_url":"","source_hash":"","justifications":[],"dependents":[],"metadata":{},"explanation":{"steps":[{"node":"rhel9-ha-uses-pacemaker-crm","truth_value":"IN","reason":"premise"}]}}