Explanation: While the tagging of content in a Latex document (e.g., sections, words, expressions) can be useful for linking and searches, there are many implied steps in the original Latex document that are undocumented. The Physics Derivation Graph is a way to document all the implied steps and their associated inference rules.
Who does the work: manual entry using a webform.
Motivation for the work: clearer connectivity of derivation steps. Enables validation of steps.
source: "Derivation of Gravitational Potential Energy" by Rhett Allain
The following is from the Physics Derivation Graph