Statements (35)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
software
|
| gptkbp:contains |
Epsilon
Max Precision Small Min Negative Positive Digits Radix Max_Exponent Max_Real Max_Real128_Exponent Max_Real16_Exponent Max_Real32 Max_Real32_Exponent Max_Real64 Max_Real64_Exponent Min_Exponent Min_Real Min_Real128_Exponent Min_Real16 Min_Real16_Exponent Min_Real32 Min_Real32_Exponent Min_Real64_Exponent Max_Real128 Max_Real16 Min_Real128 Min_Real64 |
| https://www.w3.org/2000/01/rdf-schema#label |
Ada.Float Constants
|
| gptkbp:is_part_of |
gptkb:Ada_programming_language
|
| gptkbp:is_recognized_for |
gptkb:Ada_programming_language
|
| gptkbp:is_used_in |
Numerical computations
|
| gptkbp:provides |
Float_Constants
|