Definition
From semanticweb.org
Specification of a mathematical object to be used in constructing axioms and theorems.
Specification of a mathematical object to be used in constructing axioms and theorems.