<posts user="" update="2012-02-16 19:38:48"><post time="2006-11-25T13:18:52+0100" tag=" logic semwebss06 sw0910 sw0910_06 swss06-05" user="lysander07" hash="251597c64c7cb541c10044364b4a87bb" description="Thoralf Skolem and Skolemnisation (wikipedia)" href="http://en.wikipedia.org/wiki/Skolem"/><post time="2006-11-25T13:17:03+0100" tag=" logic semwebss06 sw0910 sw0910_06 swss06-05" user="lysander07" hash="c2e06fc25d3a21bab7e053b2da6633a2" description="Augustus DeMorgan and DeMorgan&#039;s Laws (wikipedia)" href="http://en.wikipedia.org/wiki/Augustus_De_Morgan"/></posts>
