Hevok
changed
"Inference Problems"
on March 9, 2013, 11:25 p.m.
Diffs are on Title, Text, Tags, Images
Comment: Restored everything.
Hevok
changed
"Decidability"
on March 9, 2013, 11:23 p.m.
Diffs are on Title, Text, Tags, Images
Comment: Corrected bullet list.
Hevok
changed
"Inference Problems"
on March 9, 2013, 11:20 p.m.
Diffs are on Text
Comment: Corrected bullet list.
Hevok
initialized
"Inference Problems"
on March 9, 2013, 11:19 p.m.
Comment: Created entry.