|
string | Point = "http://mathhub.info/MitM/core/geometry?3DGeometry?point" |
|
string | Tuple = "http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple" |
|
string | LineType = "http://mathhub.info/MitM/core/geometry?Geometry/Common?line_type" |
|
string | LineOf = "http://mathhub.info/MitM/core/geometry?Geometry/Common?lineOf" |
|
string | OnLine = "http://mathhub.info/MitM/core/geometry?Geometry/Common?onLine" |
|
string | Ded = "http://mathhub.info/MitM/Foundation?Logic?ded" |
|
string | Eq = "http://mathhub.info/MitM/Foundation?Logic?eq" |
|
string | Metric = "http://mathhub.info/MitM/core/geometry?Geometry/Common?metric" |
|
string | Angle = "http://mathhub.info/MitM/core/geometry?Geometry/Common?angle_between" |
|
string | Sketch = "http://mathhub.info/MitM/Foundation?InformalProofs?proofsketch" |
|
string | RealLit = "http://mathhub.info/MitM/Foundation?RealLiterals?real_lit" |
|
◆ Angle
string MMTURICollection.Angle = "http://mathhub.info/MitM/core/geometry?Geometry/Common?angle_between" |
◆ Ded
string MMTURICollection.Ded = "http://mathhub.info/MitM/Foundation?Logic?ded" |
◆ Eq
string MMTURICollection.Eq = "http://mathhub.info/MitM/Foundation?Logic?eq" |
◆ LineOf
string MMTURICollection.LineOf = "http://mathhub.info/MitM/core/geometry?Geometry/Common?lineOf" |
◆ LineType
string MMTURICollection.LineType = "http://mathhub.info/MitM/core/geometry?Geometry/Common?line_type" |
◆ Metric
string MMTURICollection.Metric = "http://mathhub.info/MitM/core/geometry?Geometry/Common?metric" |
◆ OnLine
string MMTURICollection.OnLine = "http://mathhub.info/MitM/core/geometry?Geometry/Common?onLine" |
◆ Point
string MMTURICollection.Point = "http://mathhub.info/MitM/core/geometry?3DGeometry?point" |
◆ RealLit
string MMTURICollection.RealLit = "http://mathhub.info/MitM/Foundation?RealLiterals?real_lit" |
◆ Sketch
string MMTURICollection.Sketch = "http://mathhub.info/MitM/Foundation?InformalProofs?proofsketch" |
◆ Tuple
string MMTURICollection.Tuple = "http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple" |
The documentation for this class was generated from the following file:
- D:/Users/marco/Dokuments/OneDrive/FAU/Informatik/UFrameIT/FrameIT/Windows/MaZiFAU/Assets/Scripts/JSONManager.cs