IW Meeting 2010-02-04

From Inference Web

• 2010-02-04
• IW Meeting 2010-01-28

agenda

• linked proof paper improvement

• publishing linked proofs
  • iw:TPTP-IW#Topic:_TPTP-PML_translation
  • iw:TPTP-IW#Topic:_linked_proof_creation
  • linked proofs homepage, the current one is not enough Linked Proofs http://browser.inference-web.org/tptppml/

what data is available
the source of data
more details about the data http://www.cs.miami.edu/~tptp/TPTP/TR/TPTPTR.shtml#The%20TPTP%20Domain%20Structure
how to use the data
some statistics about the data
example of the data