Hevok
changed
"First Order Logic"
on March 6, 2013, 5:49 p.m.
Diffs are on Text
Comment: Corrected bullet list.
Hevok
changed
"First Order Logic"
on March 6, 2013, 5:48 p.m.
Diffs are on Text
Comment: Added section on why not FOL for Semantic Web.
Hevok
initialized
"First Order Logic"
on March 1, 2013, 7:45 p.m.
Comment: Created entry.