7 subgraph cluster_presentation {
8 label = "Terms at the content and presentation level";
20 subgraph cluster_partially {
21 label = "Partially specified terms";
30 subgraph cluster_fully {
31 label = "Fully specified terms";
43 subgraph cluster_utilities {
58 paramodulation -> tactics;
59 cic_disambiguation -> cic_unification;
60 cic_disambiguation -> acic_content;
61 cic_disambiguation -> whelp;
63 tactics -> cic_unification;
68 grafite -> content_pres;
69 content_pres -> utf8_macros;
70 content_pres -> acic_content;
71 acic_content -> cic_acic;
72 cic_acic -> cic_proof_checking;
73 cic_unification -> cic_proof_checking;
74 cic_proof_checking -> getter;
75 cic_proof_checking -> cic;
85 subgraph applications {
86 node [shape=plaintext,style=filled,fillcolor=slategray2];
97 Matita -> cic_disambiguation;
99 ProofChecker -> cic_proof_checking;
100 Uwobo -> acic_content;
101 Uwobo -> content_pres;
102 Whelp -> cic_disambiguation;