2 subgraph applications {
3 node [shape=plaintext,style=filled,fillcolor=slategray2];
4 DependencyAnalyzer [label="Dependency\nAnalyzer"];
7 ProofChecker [label="Proof\nChecker"];
12 DependencyAnalyzer -> metadata;
14 Matita -> cic_disambiguation;
15 Matita -> grafite_engine;
16 Matita -> grafite_parser;
18 Matita -> paramodulation;
19 ProofChecker -> cic_proof_checking;
20 Uwobo -> content_pres;
21 Whelp -> cic_disambiguation;
22 Whelp -> content_pres;