IW Meeting 2010-01-14

From Inference Web

• 2010-01-14
• IW Meeting 2010-01-07

agenda

• Cynthia report: axiom calculation
• proof combine paper iw:Combine_proof_paper
• Paulo's slant

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