About
Objective
Purpose
Concepts
Philosophy
ILA
GCI
What Next?
Matrix
Terms
Privacy
Aspects
Facets
Research
Programming
Design
Professions
Scientist
Developer
Artist
Achievements
Ranks
Grades
Titles
Content
Data/Entries/Relations
Blog/Posts/Comments
Wiki/Pages/Tags
Articles (Reports/Reviews)
Ontology
Tutorials
Links
Media
Polls
Questionnaires
Repository
Annotations
Classifications
Tissues
Species
Interactions
Expressions
Profiles
Signatures
Intersections
Sets
Meta
Datasets
Create
References
Archive
Changes
Lifespan
Studies
Experiments
Measurements
Comparisons
Interventions
Factors
Variants
Assays
Strains
Regimens
Manipulations
Epistases
Experts
Profiles
Collaborations
Com
Messaging
Announcements
Video
Donate
Log in
or
Sign up
Denigma
>
Data
>
Entries
> Changes > List
Entries
|
Changes
|
Relations
|
Alterations
|
Mouse Lifespan Experiments
(
Hide
)
Change List for "
Tableaux Algorithm for Description Logics
"
Hevok
changed
"
Tableaux Algorithm for Description Logics
"
on March 29, 2013, 8:44 p.m.
Diffs
are on Text
Comment
: Updated entry
Hevok
changed
"
Tableaux Algorithm for Description Logics
"
on March 29, 2013, 8:44 p.m.
Diffs
are on Text
Comment
: Updated entry
Hevok
initialized
"
Tableaux Algorithm for Description Logics
"
on March 10, 2013, 4:30 p.m.
Comment
: Created entry.
