Identi.ca Identi.ca
  • Login

  • Public

    • Public
    • Groups
    • Featured
    • Popular

Michael Gratton (mjog)'s status on Tuesday, 30-Jun-09 06:32:57 UTC

  1. Michael Gratton Michael Gratton

    still not sure how to rewrite arbitrary first order logic clauses into a useful form. a → b ∧ c as a horn clause? to the library! #hons

    Tuesday, 30-Jun-09 06:32:57 UTC from xmpp
  • Help
  • About
  • FAQ
  • TOS
  • Privacy
  • Source
  • Version
  • Contact

Identi.ca is a microblogging service brought to you by Status.net. It runs the StatusNet microblogging software, version 1.1.0-alpha1, available under the GNU Affero General Public License.

Creative Commons Attribution 3.0 All Identi.ca content and data are available under the Creative Commons Attribution 3.0 license.

Switch to mobile site layout.

Built in Montreal