User contributions
(newest | oldest) View (newer 20 | older 20) (20 | 50 | 100 | 250 | 500)
- 09:52, 11 February 2014 (diff | hist) . . (+49) . . Help:Contents
- 09:51, 11 February 2014 (diff | hist) . . (+27) . . Help:Contents
- 09:51, 11 February 2014 (diff | hist) . . (+352) . . N Help:Contents (Created page with "This wiki is based on [http://www.mediawiki.org MediaWiki], which is the software also used by [http://www.wikipedia.org Wikipedia]. You have to request a user account before...")
- 09:46, 11 February 2014 (diff | hist) . . (+485) . . N User (Created page with "If you want to use certain features of Ontohub, like creating repositories of uploading ontologies, you have to register as a '''user'''. Registrat...") (current)
- 09:43, 11 February 2014 (diff | hist) . . (+246) . . N Theorem (Created page with "A '''theorem''' is a sentence that is postulated to logically follow from the axioms of an ontology. Theorems help documenting the (intended or unintended) consequ...")
- 09:41, 11 February 2014 (diff | hist) . . (+194) . . N Axiom (Created page with "An '''axiom''' is a sentence of an ontology that is postulated to be true. It is used to define the ontology by constraining its models, i.e. its possible interpretati...") (current)
- 09:39, 11 February 2014 (diff | hist) . . (+102) . . File browser (current)
- 09:36, 11 February 2014 (diff | hist) . . (+1) . . Team (current)
- 09:35, 11 February 2014 (diff | hist) . . (-1) . . List teams (Redirected page to Team) (current)
- 09:35, 11 February 2014 (diff | hist) . . (-1) . . Team details (Redirected page to Team) (current)
- 09:35, 11 February 2014 (diff | hist) . . (-1) . . List sentences (Redirected page to Sentence) (current)
- 09:35, 11 February 2014 (diff | hist) . . (-1) . . Add ssh keys (Redirected page to SSH key) (current)
- 09:34, 11 February 2014 (diff | hist) . . (-1) . . List ssh keys (Redirected page to SSH key) (current)
- 09:34, 11 February 2014 (diff | hist) . . (-2) . . List repositories (Redirected page to Repository) (current)
- 09:34, 11 February 2014 (diff | hist) . . (-1) . . See link details (Redirected page to Mapping) (current)
- 09:34, 11 February 2014 (diff | hist) . . (-1) . . List links (Redirected page to Mapping) (current)
- 09:34, 11 February 2014 (diff | hist) . . (-1) . . List logics (Redirected page to Logic) (current)
- 09:34, 11 February 2014 (diff | hist) . . (-1) . . Show graph (Redirected page to Graph) (current)
- 09:33, 11 February 2014 (diff | hist) . . (+21) . . N SSH keys (Tillmo moved page SSH keys to SSH key: uniform singular) (current)
- 09:33, 11 February 2014 (diff | hist) . . (0) . . m SSH key (Tillmo moved page SSH keys to SSH key: uniform singular) (current)
(newest | oldest) View (newer 20 | older 20) (20 | 50 | 100 | 250 | 500)