[SemanticStrengh]

rederiving knowledge from inference chains can be an effective form of data compression

[chrisdave]

This is a cool concept. I'm curious if you have other (non math) examples in mind?

[ravi-delia]

I scraped by on many a physics exam with a few equations, constants, and invarients that let me derive the rest. That's pretty close to math though