Content deleted Content added
→Introduction: Ontology languages mentioned. |
m →See also: Added link to Order theory |
||
Line 1,140:
*[[Class-based programming]]
*[[Top type]]
*[[Order theory]]
</div>
|
→Introduction: Ontology languages mentioned. |
m →See also: Added link to Order theory |
||
Line 1,140:
*[[Class-based programming]]
*[[Top type]]
*[[Order theory]]
</div>
|