Definition

From semanticweb.org
Jump to: navigation, search

Specification of a mathematical object to be used in constructing axioms and theorems.


Personal tools
Namespaces

Variants
Actions
Navigation
services
Toolbox