Arnowitt-Deser-Misner formalism

GPTKB entity