/nfs/mcs-homes62/mccune/otter-3.2/source/mace/examples/propositional


Propositional examples for anldp.

f2 : f2.in : f2.pIII950 :

f3 : f3.in : f3.pIII950 :

f4 : f4.in : f4.pIII950 :

p5 : p5.in : p5.pIII950 :

p6 : p6.in : p6.pIII950 :

p7 : p7.in : p7.pIII950 :

p8 : p8.in : p8.pIII950 :

p9 : p9.in : p9.pIII950 :

q10 : q10.in : q10.pIII950 :


These activities are projects of the Mathematics and Computer Science Division of Argonne National Laboratory.