FirstOrderTheory: reverse dependencies per version

Direct reverse dependenciesIndirect reverse dependenciesTotal
303
VersionReverse dependencies
0.1.0.4
0.1.0.6