7 subgraph cluster_presentation {
8 label = "Terms at the content and presentation level";
19 subgraph cluster_partially {
20 label = "Partially specified terms";
29 subgraph cluster_fully {
30 label = "Fully specified terms";
42 subgraph cluster_utilities {
56 paramodulation -> tactics;
57 cic_disambiguation -> cic_unification;
58 cic_disambiguation -> acic_content;
59 cic_disambiguation -> whelp;
61 tactics -> cic_unification;
66 grafite -> content_pres;
67 // content_pres -> utf8_macros;
68 content_pres -> acic_content;
69 acic_content -> cic_acic;
70 cic_acic -> cic_proof_checking;
71 cic_unification -> cic_proof_checking;
72 cic_proof_checking -> getter;
73 cic_proof_checking -> cic;
83 subgraph applications {
84 node [shape=plaintext,style=filled,fillcolor=slategray2];
85 DependencyAnalyzer [label="Dependency\nAnalyzer"];
88 ProofChecker [label="Proof\nChecker"];
93 DependencyAnalyzer -> metadata;
95 Matita -> cic_disambiguation;
98 Matita -> paramodulation;
99 ProofChecker -> cic_proof_checking;
100 Uwobo -> content_pres;
101 Whelp -> cic_disambiguation;
102 Whelp -> content_pres;