Statements (13)
| Predicate | Object |
|---|---|
| gptkbp:instance_of |
gptkb:Formula_E
|
| gptkbp:applies_to |
gptkb:Logic
|
| gptkbp:can_create |
theorems
|
| gptkbp:developed_by |
gptkb:Mathematician
|
| https://www.w3.org/2000/01/rdf-schema#label |
Ax Form
|
| gptkbp:is_part_of |
logical frameworks
|
| gptkbp:is_used_in |
proofs
|
| gptkbp:related_to |
axiomatic systems
|
| gptkbp:symbolizes |
axioms
|
| gptkbp:used_in |
gptkb:Mathematics
|
| gptkbp:utilizes |
variables
|
| gptkbp:bfsParent |
gptkb:Kamen_Rider_Den-O
|
| gptkbp:bfsLayer |
5
|