IW Meeting 2010-02-04

From Inference Web

Jump to: navigation, search

agenda

  • linked proof paper improvement
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
Personal tools
Navigation