IW Meeting 2010-01-14

From Inference Web

Jump to: navigation, search

agenda

notes

difference

> Here is the link to NUM390+1 proofs leaf nodesets formula usage
> I generated just before the break:
> http://inference-web.org/tmp/formulau/NUM390+1/axiomUsed.html

Cool.

> >From the table, you can see the formulae of leaf nodesets of each proof:
>
> 2. EP:    6 fof axiom with file source +
>           1 fof conjecture with file source.
>
> 4. SInE:  11 fof axiom with file source.

what changes shall we expect

Personal tools
Navigation