Beilinson's conjecture for the special value of an elliptic curve over a number field

Let $A/F$ be an elliptic curve, let $\Sigma_F^{\mathbb R}$ and $\Sigma_F^{\mathbb C}$ denote the real and complex archimedean places, and choose periods $\Omega_{\sigma,1},\Omega_{\sigma,2}$ for the complex tori $A_\nu(\mathbb{C})$. Let $d_F$ be the discriminant of $F$.

Beilinson's conjecture. If $L(1,A)\neq0$, then

$$L(1,A)\in |d_F|^{1/2}\prod_{\sigma\in\Sigma_F^{\mathbb R}}\Omega_{\sigma,1}\prod_{\sigma\in\Sigma_F^{\mathbb C}}\operatorname{Im}(\Omega_{\sigma,1}\overline{\Omega_{\sigma,2}})\mathbb{Q}^\times.$$

This is described as an unrefined rank-zero version of the leading-term formula related to the Birch--Swinnerton-Dyer conjecture. The paper says it is deduced from Beilinson's conjectures, but the displayed formula itself is used as a conjectural input.