Definition

From semanticweb.org

Jump to: navigation, search

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


Retrieved from "http://semanticweb.org/wiki/Definition"
Personal tools