Statements (13)
| Predicate | Object |
|---|---|
| gptkbp:instance_of |
gptkb:concept
|
| gptkbp:bfsLayer |
3
|
| gptkbp:bfsParent |
gptkb:Inside
|
| gptkbp:applies_to |
gptkb:collection
Algebra Calculus |
| gptkbp:has_programs |
Computer Science
Engineering Statistics |
| https://www.w3.org/2000/01/rdf-schema#label |
Show and Prove MV
|
| gptkbp:related_to |
gptkb:Mathematician
Proof Techniques |
| gptkbp:used_in |
Mathematical Logic
|