-
Notifications
You must be signed in to change notification settings - Fork 2
/
Copy pathimport_graph.dot
96 lines (96 loc) · 7.72 KB
/
import_graph.dot
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
digraph "import_graph" {
"Arithmetization.ISigmaOne.Metamath.Formula.Functions" -> "Arithmetization.ISigmaOne.Metamath.Formula.Iteration";
"Arithmetization.ISigmaOne.HFS.PRF" -> "Arithmetization.ISigmaOne.HFS.Supplemental";
"Arithmetization.OmegaOne.Basic" -> "Arithmetization.OmegaOne.Nuon";
"Arithmetization.ISigmaOne.Metamath.Proof.Typed" -> "Arithmetization.ISigmaOne.Metamath.Theory.Theory";
"Arithmetization.ISigmaOne.Metamath.Theory.SigmaOneDefinable" -> "Arithmetization.ISigmaOne.Metamath.Theory.Theory";
"Arithmetization.ISigmaOne.Bit" -> "Arithmetization.ISigmaOne.HFS.Basic";
"Arithmetization.Vorspiel.ExistsUnique" -> "Arithmetization.ISigmaOne.HFS.Basic";
"Arithmetization.Vorspiel.Vorspiel" -> "Arithmetization.Vorspiel.Lemmata";
"Arithmetization.ISigmaOne.HFS.Basic" -> "Arithmetization.ISigmaOne.HFS.Seq";
"Arithmetization.ISigmaZero.Exponential.Pow2" -> "Arithmetization.ISigmaZero.Exponential.PPow2";
"Arithmetization.Basic.Ind" -> "Arithmetization.Basic.IOpen";
"Arithmetization.ISigmaOne.Metamath.Theory.R" -> "Arithmetization.ISigmaOne.Metamath.DerivabilityConditions.D3";
"Arithmetization.ISigmaOne.Metamath.DerivabilityConditions.D1" -> "Arithmetization.ISigmaOne.Metamath.DerivabilityConditions.D3";
"Arithmetization.ISigmaOne.Metamath.Language" -> "Arithmetization.ISigmaOne.Metamath.Term.Basic";
"Arithmetization.ISigmaOne.HFS" -> "Arithmetization.ISigmaOne.Metamath.Term.Basic";
"Arithmetization.Vorspiel.Vorspiel" -> "Arithmetization";
"Arithmetization.Vorspiel.Graph" -> "Arithmetization";
"Arithmetization.Vorspiel.Lemmata" -> "Arithmetization";
"Arithmetization.Definability.Init" -> "Arithmetization";
"Arithmetization.Definability.Definability" -> "Arithmetization";
"Arithmetization.Basic.PeanoMinus" -> "Arithmetization";
"Arithmetization.Basic.Ind" -> "Arithmetization";
"Arithmetization.Basic.IOpen" -> "Arithmetization";
"Arithmetization.ISigmaZero.Exponential.Pow2" -> "Arithmetization";
"Arithmetization.ISigmaZero.Exponential.PPow2" -> "Arithmetization";
"Arithmetization.ISigmaZero.Exponential.Exp" -> "Arithmetization";
"Arithmetization.ISigmaZero.Exponential.Log" -> "Arithmetization";
"Arithmetization.OmegaOne.Basic" -> "Arithmetization";
"Arithmetization.OmegaOne.Nuon" -> "Arithmetization";
"Arithmetization.ISigmaOne.Bit" -> "Arithmetization";
"Arithmetization.ISigmaOne.HFS.Basic" -> "Arithmetization";
"Arithmetization.ISigmaOne.HFS.Seq" -> "Arithmetization";
"Arithmetization.ISigmaOne.HFS.PRF" -> "Arithmetization";
"Arithmetization.ISigmaOne.HFS.Supplemental" -> "Arithmetization";
"Arithmetization.ISigmaOne.HFS.Fixpoint" -> "Arithmetization";
"Arithmetization.ISigmaOne.Metamath.Term.Basic" -> "Arithmetization";
"Arithmetization.ISigmaOne.Metamath.Term.Functions" -> "Arithmetization";
"Arithmetization.ISigmaOne.Metamath.Term.Typed" -> "Arithmetization";
"Arithmetization.ISigmaOne.Metamath.Formula.Basic" -> "Arithmetization";
"Arithmetization.ISigmaOne.Metamath.Formula.Functions" -> "Arithmetization";
"Arithmetization.ISigmaOne.Metamath.Formula.Iteration" -> "Arithmetization";
"Arithmetization.ISigmaOne.Metamath.Formula.Typed" -> "Arithmetization";
"Arithmetization.ISigmaOne.Metamath.Proof.Thy" -> "Arithmetization";
"Arithmetization.ISigmaOne.Metamath.Proof.Derivation" -> "Arithmetization";
"Arithmetization.ISigmaOne.Metamath.Proof.Typed" -> "Arithmetization";
"Arithmetization.ISigmaOne.Metamath.Coding" -> "Arithmetization";
"Arithmetization.ISigmaOne.Metamath.Theory.R" -> "Arithmetization";
"Arithmetization.ISigmaOne.Metamath.Theory.SigmaOneDefinable" -> "Arithmetization";
"Arithmetization.ISigmaOne.Metamath.Theory.Theory" -> "Arithmetization";
"Arithmetization.ISigmaOne.Metamath.DerivabilityConditions.D1" -> "Arithmetization";
"Arithmetization.ISigmaOne.Metamath.DerivabilityConditions.D3" -> "Arithmetization";
"Arithmetization.ISigmaOne.HFS.Basic" -> "Arithmetization.ISigmaOne.HFS";
"Arithmetization.ISigmaOne.HFS.Seq" -> "Arithmetization.ISigmaOne.HFS";
"Arithmetization.ISigmaOne.HFS.PRF" -> "Arithmetization.ISigmaOne.HFS";
"Arithmetization.ISigmaOne.HFS.Fixpoint" -> "Arithmetization.ISigmaOne.HFS";
"Arithmetization.ISigmaOne.HFS.Vec" -> "Arithmetization.ISigmaOne.HFS";
"Arithmetization.ISigmaOne.HFS.Supplemental" -> "Arithmetization.ISigmaOne.HFS";
"Arithmetization.Basic.IOpen" -> "Arithmetization.ISigmaZero.Exponential.Pow2";
"Arithmetization.ISigmaOne.Metamath.Term.Basic" -> "Arithmetization.ISigmaOne.Metamath.Formula.Basic";
"Arithmetization.ISigmaOne.Metamath.Term.Functions" -> "Arithmetization.ISigmaOne.Metamath.Term.Typed";
"Arithmetization.ISigmaOne.Metamath.Proof.Typed" -> "Arithmetization.ISigmaOne.Metamath.Theory.R";
"Arithmetization.ISigmaOne.HFS.Seq" -> "Arithmetization.ISigmaOne.HFS.PRF";
"Arithmetization.ISigmaOne.HFS" -> "Arithmetization.ISigmaOne.Metamath.Language";
"Arithmetization.ISigmaOne.Metamath.Formula.Typed" -> "Arithmetization.ISigmaOne.Metamath.Coding";
"Arithmetization.Definability.Absoluteness" -> "Arithmetization.ISigmaOne.Metamath.Coding";
"Arithmetization.ISigmaOne.Metamath.Theory.SigmaOneDefinable" -> "Arithmetization.ISigmaOne.Metamath.DerivabilityConditions.D1";
"Arithmetization.ISigmaOne.Metamath.Formula.Typed" -> "Arithmetization.ISigmaOne.Metamath.Proof.Typed";
"Arithmetization.ISigmaOne.Metamath.Proof.Derivation" -> "Arithmetization.ISigmaOne.Metamath.Proof.Typed";
"Arithmetization.ISigmaZero.Exponential.Log" -> "Arithmetization.OmegaOne.Basic";
"Arithmetization.ISigmaOne.HFS.Fixpoint" -> "Arithmetization.ISigmaOne.HFS.Vec";
"Arithmetization.Basic.PeanoMinus" -> "Arithmetization.Basic.Ind";
"Arithmetization.Definability.Absoluteness" -> "Arithmetization.Basic.PeanoMinus";
"Arithmetization.ISigmaOne.HFS.PRF" -> "Arithmetization.ISigmaOne.HFS.Fixpoint";
"Arithmetization.ISigmaOne.Metamath.Proof.Thy" -> "Arithmetization.ISigmaOne.Metamath.Proof.Derivation";
"Arithmetization.ISigmaZero.Exponential.Exp" -> "Arithmetization.ISigmaZero.Exponential.Log";
"Arithmetization.Vorspiel.Vorspiel" -> "Arithmetization.Vorspiel.Graph";
"Arithmetization.ISigmaOne.Metamath.Coding" -> "Arithmetization.ISigmaOne.Metamath.Theory.SigmaOneDefinable";
"Arithmetization.ISigmaOne.Metamath.Proof.Typed" -> "Arithmetization.ISigmaOne.Metamath.Theory.SigmaOneDefinable";
"Arithmetization.ISigmaOne.Metamath.Term.Typed" -> "Arithmetization.ISigmaOne.Metamath.Formula.Typed";
"Arithmetization.ISigmaOne.Metamath.Formula.Iteration" -> "Arithmetization.ISigmaOne.Metamath.Formula.Typed";
"Arithmetization.ISigmaOne.Metamath.Formula.Functions" -> "Arithmetization.ISigmaOne.Metamath.Proof.Thy";
"Arithmetization.ISigmaOne.Metamath.Formula.Iteration" -> "Arithmetization.ISigmaOne.Metamath.Proof.Thy";
"Arithmetization.Vorspiel.Lemmata" -> "Arithmetization.Definability.Hierarchy";
"Arithmetization.Definability.Init" -> "Arithmetization.Definability.Hierarchy";
"Arithmetization.Vorspiel.Graph" -> "Arithmetization.Definability.Hierarchy";
"Arithmetization.ISigmaZero.Exponential.Exp" -> "Arithmetization.ISigmaOne.Bit";
"Arithmetization.ISigmaZero.Exponential.Log" -> "Arithmetization.ISigmaOne.Bit";
"Arithmetization.Definability.Hierarchy" -> "Arithmetization.Definability.Definability";
"Arithmetization.ISigmaZero.Exponential.PPow2" -> "Arithmetization.ISigmaZero.Exponential.Exp";
"Arithmetization.ISigmaOne.Metamath.Formula.Basic" -> "Arithmetization.ISigmaOne.Metamath.Formula.Functions";
"Arithmetization.ISigmaOne.Metamath.Term.Functions" -> "Arithmetization.ISigmaOne.Metamath.Formula.Functions";
"Arithmetization.Vorspiel.Vorspiel" -> "Arithmetization.Vorspiel.ExistsUnique";
"Arithmetization.ISigmaOne.Metamath.Term.Basic" -> "Arithmetization.ISigmaOne.Metamath.Term.Functions";
"Arithmetization.Definability.Definability" -> "Arithmetization.Definability.Absoluteness";
}