Denigma

Change List for "Tableaux Algorithm for ALC"

Hevok changed "Tableaux Algorithm for ALC" on March 11, 2013, 8:20 p.m. Diffs are on Text Comment: Updated entry
Hevok changed "Tableaux Algorithm for ALC" on March 11, 2013, 8:19 p.m. Diffs are on Text Comment: Added example.
Hevok initialized "Tableaux Algorithm for ALC" on March 10, 2013, 4:19 p.m. Comment: Created entry.