Index of /xml/Nijmegen/QArith/Qquadratic

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]INDEX2005-07-05 08:11 10K 
[ ]Qdiv_lazy.con.body.xml.gz2004-04-08 17:04 687  
[ ]Qdiv_lazy.con.types.xml.gz2004-04-08 17:04 445  
[ ]Qdiv_lazy.con.xml.gz2004-04-08 17:04 451  
[ ]Qminus_lazy.con.body.xml.gz2004-04-08 17:04 595  
[ ]Qminus_lazy.con.types.xml.gz2004-04-08 17:04 447  
[ ]Qminus_lazy.con.xml.gz2004-04-08 17:04 305  
[ ]Qmult_lazy.con.body.xml.gz2004-04-08 17:04 575  
[ ]Qmult_lazy.con.types.xml.gz2004-04-08 17:04 446  
[ ]Qmult_lazy.con.xml.gz2004-04-08 17:04 303  
[ ]Qplus_lazy.con.body.xml.gz2004-04-08 17:04 591  
[ ]Qplus_lazy.con.types.xml.gz2004-04-08 17:04 445  
[ ]Qplus_lazy.con.xml.gz2004-04-08 17:04 304  
[ ]Qquadratic.con.body.xml.gz2004-04-08 17:04 3.2K 
[ ]Qquadratic.con.types.xml.gz2004-04-08 17:04 901  
[ ]Qquadratic.con.xml.gz2004-04-08 17:04 541  
[ ]Qquadratic_00.con.body.xml.gz2004-04-08 17:03 595  
[ ]Qquadratic_00.con.types.xml.gz2004-04-08 17:03 652  
[ ]Qquadratic_00.con.xml.gz2004-04-08 17:03 578  
[ ]Qquadratic_00_subproof.con.body.xml.gz2004-04-08 17:03 50K 
[ ]Qquadratic_00_subproof.con.types.xml.gz2004-04-08 17:03 55K 
[ ]Qquadratic_00_subproof.con.xml.gz2004-04-08 17:03 596  
[ ]Qquadratic_01.con.body.xml.gz2004-04-08 17:03 666  
[ ]Qquadratic_01.con.types.xml.gz2004-04-08 17:03 686  
[ ]Qquadratic_01.con.xml.gz2004-04-08 17:03 602  
[ ]Qquadratic_01_subproof.con.body.xml.gz2004-04-08 17:03 51K 
[ ]Qquadratic_01_subproof.con.types.xml.gz2004-04-08 17:03 55K 
[ ]Qquadratic_01_subproof.con.xml.gz2004-04-08 17:03 622  
[ ]Qquadratic_02.con.body.xml.gz2004-04-08 17:03 666  
[ ]Qquadratic_02.con.types.xml.gz2004-04-08 17:03 725  
[ ]Qquadratic_02.con.xml.gz2004-04-08 17:03 630  
[ ]Qquadratic_02_subproof.con.body.xml.gz2004-04-08 17:03 52K 
[ ]Qquadratic_02_subproof.con.types.xml.gz2004-04-08 17:03 57K 
[ ]Qquadratic_02_subproof.con.xml.gz2004-04-08 17:03 647  
[ ]Qquadratic_10.con.body.xml.gz2004-04-08 17:04 661  
[ ]Qquadratic_10.con.types.xml.gz2004-04-08 17:04 684  
[ ]Qquadratic_10.con.xml.gz2004-04-08 17:04 599  
[ ]Qquadratic_10_subproof.con.body.xml.gz2004-04-08 17:04 52K 
[ ]Qquadratic_10_subproof.con.types.xml.gz2004-04-08 17:04 54K 
[ ]Qquadratic_10_subproof.con.xml.gz2004-04-08 17:04 624  
[ ]Qquadratic_11.con.body.xml.gz2004-04-08 17:04 693  
[ ]Qquadratic_11.con.types.xml.gz2004-04-08 17:04 753  
[ ]Qquadratic_11.con.xml.gz2004-04-08 17:04 646  
[ ]Qquadratic_11_subproof.con.body.xml.gz2004-04-08 17:04 55K 
[ ]Qquadratic_11_subproof.con.types.xml.gz2004-04-08 17:04 61K 
[ ]Qquadratic_11_subproof.con.xml.gz2004-04-08 17:04 665  
[ ]Qquadratic_12.con.body.xml.gz2004-04-08 17:04 703  
[ ]Qquadratic_12.con.types.xml.gz2004-04-08 17:04 814  
[ ]Qquadratic_12.con.xml.gz2004-04-08 17:04 688  
[ ]Qquadratic_12_subproof.con.body.xml.gz2004-04-08 17:04 57K 
[ ]Qquadratic_12_subproof.con.types.xml.gz2004-04-08 17:04 66K 
[ ]Qquadratic_12_subproof.con.xml.gz2004-04-08 17:04 709  
[ ]Qquadratic_20.con.body.xml.gz2004-04-08 17:04 667  
[ ]Qquadratic_20.con.types.xml.gz2004-04-08 17:04 724  
[ ]Qquadratic_20.con.xml.gz2004-04-08 17:04 630  
[ ]Qquadratic_20_subproof.con.body.xml.gz2004-04-08 17:04 52K 
[ ]Qquadratic_20_subproof.con.types.xml.gz2004-04-08 17:04 57K 
[ ]Qquadratic_20_subproof.con.xml.gz2004-04-08 17:04 645  
[ ]Qquadratic_21.con.body.xml.gz2004-04-08 17:04 704  
[ ]Qquadratic_21.con.types.xml.gz2004-04-08 17:04 812  
[ ]Qquadratic_21.con.xml.gz2004-04-08 17:04 691  
[ ]Qquadratic_21_subproof.con.body.xml.gz2004-04-08 17:04 57K 
[ ]Qquadratic_21_subproof.con.types.xml.gz2004-04-08 17:04 66K 
[ ]Qquadratic_21_subproof.con.xml.gz2004-04-08 17:04 712  
[ ]Qquadratic_22.con.body.xml.gz2004-04-08 17:04 702  
[ ]Qquadratic_22.con.types.xml.gz2004-04-08 17:04 813  
[ ]Qquadratic_22.con.xml.gz2004-04-08 17:04 685  
[ ]Qquadratic_22_subproof.con.body.xml.gz2004-04-08 17:04 57K 
[ ]Qquadratic_22_subproof.con.types.xml.gz2004-04-08 17:04 66K 
[ ]Qquadratic_22_subproof.con.xml.gz2004-04-08 17:04 706  
[ ]Qquadratic_Qpositive_to_Q.con.body.xml.gz2004-04-08 17:03 20K 
[ ]Qquadratic_Qpositive_to_Q.con.types.xml.gz2004-04-08 17:03 7.1K 
[ ]Qquadratic_Qpositive_to_Q.con.xml.gz2004-04-08 17:03 582  
[ ]Qquadratic_Qpositive_to_Q_subproof.con.body.xml.gz2004-04-08 17:03 72K 
[ ]Qquadratic_Qpositive_to_Q_subproof.con.types.xml.gz2004-04-08 17:03 81K 
[ ]Qquadratic_Qpositive_to_Q_subproof.con.xml.gz2004-04-08 17:03 3.0K 
[ ]Qquadratic_Qpositive_to_Q_subproof0.con.body.xml.gz2004-04-08 17:03 14K 
[ ]Qquadratic_Qpositive_to_Q_subproof0.con.types.xml.gz2004-04-08 17:03 7.7K 
[ ]Qquadratic_Qpositive_to_Q_subproof0.con.xml.gz2004-04-08 17:03 3.6K 
[ ]Qquadratic_Qpositive_to_Q_subproof1.con.body.xml.gz2004-04-08 17:03 3.8K 
[ ]Qquadratic_Qpositive_to_Q_subproof1.con.types.xml.gz2004-04-08 17:03 4.8K 
[ ]Qquadratic_Qpositive_to_Q_subproof1.con.xml.gz2004-04-08 17:03 4.3K 
[ ]Qquadratic_Qpositive_to_Q_subproof2.con.body.xml.gz2004-04-08 17:03 3.9K 
[ ]Qquadratic_Qpositive_to_Q_subproof2.con.types.xml.gz2004-04-08 17:03 4.8K 
[ ]Qquadratic_Qpositive_to_Q_subproof2.con.xml.gz2004-04-08 17:03 4.4K 
[ ]Qquadratic_Qpositive_to_Q_subproof3.con.body.xml.gz2004-04-08 17:03 72K 
[ ]Qquadratic_Qpositive_to_Q_subproof3.con.types.xml.gz2004-04-08 17:03 81K 
[ ]Qquadratic_Qpositive_to_Q_subproof3.con.xml.gz2004-04-08 17:03 3.0K 
[ ]Qquadratic_Qpositive_to_Q_subproof4.con.body.xml.gz2004-04-08 17:03 14K 
[ ]Qquadratic_Qpositive_to_Q_subproof4.con.types.xml.gz2004-04-08 17:03 7.5K 
[ ]Qquadratic_Qpositive_to_Q_subproof4.con.xml.gz2004-04-08 17:03 3.6K 
[ ]Qquadratic_Qpositive_to_Q_subproof5.con.body.xml.gz2004-04-08 17:03 3.8K 
[ ]Qquadratic_Qpositive_to_Q_subproof5.con.types.xml.gz2004-04-08 17:03 4.9K 
[ ]Qquadratic_Qpositive_to_Q_subproof5.con.xml.gz2004-04-08 17:03 4.4K 
[ ]Qquadratic_Qpositive_to_Q_subproof6.con.body.xml.gz2004-04-08 17:03 3.8K 
[ ]Qquadratic_Qpositive_to_Q_subproof6.con.types.xml.gz2004-04-08 17:03 4.9K 
[ ]Qquadratic_Qpositive_to_Q_subproof6.con.xml.gz2004-04-08 17:03 4.4K 
[ ]Qquadratic_denom_nonzero.ind.types.xml.gz2004-04-08 17:03 226  
[ ]Qquadratic_denom_nonzero.ind.xml.gz2004-04-08 17:03 3.2K 
[ ]Qquadratic_denom_nonzero_Zero_Zero_ONE_Zero.con.body.xml.gz2004-04-08 17:04 688  
[ ]Qquadratic_denom_nonzero_Zero_Zero_ONE_Zero.con.types.xml.gz2004-04-08 17:04 796  
[ ]Qquadratic_denom_nonzero_Zero_Zero_ONE_Zero.con.xml.gz2004-04-08 17:04 625  
[ ]Qquadratic_denom_nonzero_Zero_Zero_ONE_Zero_subproof.con.body.xml.gz2004-04-08 17:04 1.0K 
[ ]Qquadratic_denom_nonzero_Zero_Zero_ONE_Zero_subproof.con.types.xml.gz2004-04-08 17:04 1.1K 
[ ]Qquadratic_denom_nonzero_Zero_Zero_ONE_Zero_subproof.con.xml.gz2004-04-08 17:04 610  
[ ]Qquadratic_denom_nonzero_Zero_Zero_Zero_ONE.con.body.xml.gz2004-04-08 17:04 574  
[ ]Qquadratic_denom_nonzero_Zero_Zero_Zero_ONE.con.types.xml.gz2004-04-08 17:04 725  
[ ]Qquadratic_denom_nonzero_Zero_Zero_Zero_ONE.con.xml.gz2004-04-08 17:04 532  
[ ]Qquadratic_denom_nonzero_Zero_Zero_Zero_ONE_subproof.con.body.xml.gz2004-04-08 17:04 972  
[ ]Qquadratic_denom_nonzero_Zero_Zero_Zero_ONE_subproof.con.types.xml.gz2004-04-08 17:04 1.0K 
[ ]Qquadratic_denom_nonzero_Zero_Zero_Zero_ONE_subproof.con.xml.gz2004-04-08 17:04 534  
[ ]Qquadratic_denom_nonzero_Zero_Zero_Zero_always.con.body.xml.gz2004-04-08 17:04 711  
[ ]Qquadratic_denom_nonzero_Zero_Zero_Zero_always.con.types.xml.gz2004-04-08 17:04 904  
[ ]Qquadratic_denom_nonzero_Zero_Zero_Zero_always.con.xml.gz2004-04-08 17:04 604  
[ ]Qquadratic_denom_nonzero_Zero_Zero_Zero_always_subproof.con.body.xml.gz2004-04-08 17:04 3.3K 
[ ]Qquadratic_denom_nonzero_Zero_Zero_Zero_always_subproof.con.types.xml.gz2004-04-08 17:04 4.1K 
[ ]Qquadratic_denom_nonzero_Zero_Zero_Zero_always_subproof.con.xml.gz2004-04-08 17:04 703  
[ ]Qquadratic_denom_nonzero_Zero_Zero_always_Zero.con.body.xml.gz2004-04-08 17:04 787  
[ ]Qquadratic_denom_nonzero_Zero_Zero_always_Zero.con.types.xml.gz2004-04-08 17:04 1.0K 
[ ]Qquadratic_denom_nonzero_Zero_Zero_always_Zero.con.xml.gz2004-04-08 17:04 661  
[ ]Qquadratic_denom_nonzero_Zero_Zero_always_Zero_subproof.con.body.xml.gz2004-04-08 17:04 4.5K 
[ ]Qquadratic_denom_nonzero_Zero_Zero_always_Zero_subproof.con.types.xml.gz2004-04-08 17:04 5.8K 
[ ]Qquadratic_denom_nonzero_Zero_Zero_always_Zero_subproof.con.xml.gz2004-04-08 17:04 791  
[ ]Qquadratic_denom_nonzero_ind.con.body.xml.gz2004-04-08 17:03 4.0K 
[ ]Qquadratic_denom_nonzero_ind.con.types.xml.gz2004-04-08 17:03 3.6K 
[ ]Qquadratic_denom_nonzero_ind.con.xml.gz2004-04-08 17:03 3.5K 
[ ]Qquadratic_sg_denom_nonzero_Zero_Zero_Zero_always.con.body.xml.gz2004-04-08 17:03 720  
[ ]Qquadratic_sg_denom_nonzero_Zero_Zero_Zero_always.con.types.xml.gz2004-04-08 17:03 916  
[ ]Qquadratic_sg_denom_nonzero_Zero_Zero_Zero_always.con.xml.gz2004-04-08 17:03 615  
[ ]Qquadratic_sg_denom_nonzero_Zero_Zero_Zero_always_subproof.con.body.xml.gz2004-04-08 17:03 3.7K 
[ ]Qquadratic_sg_denom_nonzero_Zero_Zero_Zero_always_subproof.con.types.xml.gz2004-04-08 17:03 5.1K 
[ ]Qquadratic_sg_denom_nonzero_Zero_Zero_Zero_always_subproof.con.xml.gz2004-04-08 17:03 712  
[ ]Qquadratic_sg_denom_nonzero_Zero_Zero_always.con.body.xml.gz2004-04-08 17:03 8.4K 
[ ]Qquadratic_sg_denom_nonzero_Zero_Zero_always.con.types.xml.gz2004-04-08 17:03 9.8K 
[ ]Qquadratic_sg_denom_nonzero_Zero_Zero_always.con.xml.gz2004-04-08 17:03 761  
[ ]Qquadratic_sg_denom_nonzero_Zero_Zero_always_Zero.con.body.xml.gz2004-04-08 17:03 721  
[ ]Qquadratic_sg_denom_nonzero_Zero_Zero_always_Zero.con.types.xml.gz2004-04-08 17:03 918  
[ ]Qquadratic_sg_denom_nonzero_Zero_Zero_always_Zero.con.xml.gz2004-04-08 17:03 619  
[ ]Qquadratic_sg_denom_nonzero_Zero_Zero_always_Zero_subproof.con.body.xml.gz2004-04-08 17:03 4.7K 
[ ]Qquadratic_sg_denom_nonzero_Zero_Zero_always_Zero_subproof.con.types.xml.gz2004-04-08 17:03 5.8K 
[ ]Qquadratic_sg_denom_nonzero_Zero_Zero_always_Zero_subproof.con.xml.gz2004-04-08 17:03 707  
[ ]Qquadratic_sg_denom_nonzero_Zero_Zero_always_subproof.con.body.xml.gz2004-04-08 17:03 3.7K 
[ ]Qquadratic_sg_denom_nonzero_Zero_Zero_always_subproof.con.types.xml.gz2004-04-08 17:03 4.6K 
[ ]Qquadratic_sg_denom_nonzero_Zero_Zero_always_subproof.con.xml.gz2004-04-08 17:03 1.1K 
[ ]Qquadratic_sg_denom_nonzero_Zero_Zero_always_subproof0.con.body.xml.gz2004-04-08 17:03 3.7K 
[ ]Qquadratic_sg_denom_nonzero_Zero_Zero_always_subproof0.con.types.xml.gz2004-04-08 17:03 4.6K 
[ ]Qquadratic_sg_denom_nonzero_Zero_Zero_always_subproof0.con.xml.gz2004-04-08 17:03 1.1K 
[ ]Qquadratic_sg_denom_nonzero_Zero_Zero_always_subproof1.con.body.xml.gz2004-04-08 17:03 3.7K 
[ ]Qquadratic_sg_denom_nonzero_Zero_Zero_always_subproof1.con.types.xml.gz2004-04-08 17:03 4.5K 
[ ]Qquadratic_sg_denom_nonzero_Zero_Zero_always_subproof1.con.xml.gz2004-04-08 17:03 1.1K 
[ ]Qquadratic_sg_denom_nonzero_Zero_Zero_always_subproof2.con.body.xml.gz2004-04-08 17:03 3.7K 
[ ]Qquadratic_sg_denom_nonzero_Zero_Zero_always_subproof2.con.types.xml.gz2004-04-08 17:03 4.6K 
[ ]Qquadratic_sg_denom_nonzero_Zero_Zero_always_subproof2.con.xml.gz2004-04-08 17:03 1.1K 
[ ]Qquadratic_sg_denom_nonzero_Zero_Zero_always_subproof3.con.body.xml.gz2004-04-08 17:03 3.7K 
[ ]Qquadratic_sg_denom_nonzero_Zero_Zero_always_subproof3.con.types.xml.gz2004-04-08 17:03 4.6K 
[ ]Qquadratic_sg_denom_nonzero_Zero_Zero_always_subproof3.con.xml.gz2004-04-08 17:03 1.1K 
[ ]Qquadratic_sg_denom_nonzero_Zero_Zero_always_subproof4.con.body.xml.gz2004-04-08 17:03 3.7K 
[ ]Qquadratic_sg_denom_nonzero_Zero_Zero_always_subproof4.con.types.xml.gz2004-04-08 17:03 4.5K 
[ ]Qquadratic_sg_denom_nonzero_Zero_Zero_always_subproof4.con.xml.gz2004-04-08 17:03 1.1K 
[ ]Qquadratic_sg_denom_nonzero_Zero_always_Zero_always.con.body.xml.gz2004-04-08 17:03 900  
[ ]Qquadratic_sg_denom_nonzero_Zero_always_Zero_always.con.types.xml.gz2004-04-08 17:03 1.2K 
[ ]Qquadratic_sg_denom_nonzero_Zero_always_Zero_always.con.xml.gz2004-04-08 17:03 769  
[ ]Qquadratic_sg_denom_nonzero_Zero_always_Zero_always_subproof.con.body.xml.gz2004-04-08 17:03 8.3K 
[ ]Qquadratic_sg_denom_nonzero_Zero_always_Zero_always_subproof.con.types.xml.gz2004-04-08 17:03 9.2K 
[ ]Qquadratic_sg_denom_nonzero_Zero_always_Zero_always_subproof.con.xml.gz2004-04-08 17:03 881  
[ ]Qquadratic_sg_denom_nonzero_always.con.body.xml.gz2004-04-08 17:03 25K 
[ ]Qquadratic_sg_denom_nonzero_always.con.types.xml.gz2004-04-08 17:03 25K 
[ ]Qquadratic_sg_denom_nonzero_always.con.xml.gz2004-04-08 17:03 855  
[ ]Qquadratic_sg_denom_nonzero_always_Zero_always_Zero.con.body.xml.gz2004-04-08 17:03 898  
[ ]Qquadratic_sg_denom_nonzero_always_Zero_always_Zero.con.types.xml.gz2004-04-08 17:03 1.2K 
[ ]Qquadratic_sg_denom_nonzero_always_Zero_always_Zero.con.xml.gz2004-04-08 17:03 760  
[ ]Qquadratic_sg_denom_nonzero_always_Zero_always_Zero_subproof.con.body.xml.gz2004-04-08 17:03 12K 
[ ]Qquadratic_sg_denom_nonzero_always_Zero_always_Zero_subproof.con.types.xml.gz2004-04-08 17:03 11K 
[ ]Qquadratic_sg_denom_nonzero_always_Zero_always_Zero_subproof.con.xml.gz2004-04-08 17:03 872  
[ ]Qquadratic_sg_denom_nonzero_always_subproof.con.body.xml.gz2004-04-08 17:03 4.0K 
[ ]Qquadratic_sg_denom_nonzero_always_subproof.con.types.xml.gz2004-04-08 17:03 4.8K 
[ ]Qquadratic_sg_denom_nonzero_always_subproof.con.xml.gz2004-04-08 17:03 1.4K 
[ ]Qquadratic_sg_denom_nonzero_always_subproof0.con.body.xml.gz2004-04-08 17:03 4.0K 
[ ]Qquadratic_sg_denom_nonzero_always_subproof0.con.types.xml.gz2004-04-08 17:03 4.9K 
[ ]Qquadratic_sg_denom_nonzero_always_subproof0.con.xml.gz2004-04-08 17:03 1.4K 
[ ]Qquadratic_sg_denom_nonzero_always_subproof1.con.body.xml.gz2004-04-08 17:03 4.0K 
[ ]Qquadratic_sg_denom_nonzero_always_subproof1.con.types.xml.gz2004-04-08 17:03 4.8K 
[ ]Qquadratic_sg_denom_nonzero_always_subproof1.con.xml.gz2004-04-08 17:03 1.4K 
[ ]Qquadratic_sg_denom_nonzero_always_subproof2.con.body.xml.gz2004-04-08 17:03 5.5K 
[ ]Qquadratic_sg_denom_nonzero_always_subproof2.con.types.xml.gz2004-04-08 17:03 7.4K 
[ ]Qquadratic_sg_denom_nonzero_always_subproof2.con.xml.gz2004-04-08 17:03 1.5K 
[ ]Qquadratic_sg_denom_nonzero_always_subproof3.con.body.xml.gz2004-04-08 17:03 4.0K 
[ ]Qquadratic_sg_denom_nonzero_always_subproof3.con.types.xml.gz2004-04-08 17:03 4.8K 
[ ]Qquadratic_sg_denom_nonzero_always_subproof3.con.xml.gz2004-04-08 17:03 1.4K 
[ ]Qquadratic_sg_denom_nonzero_always_subproof4.con.body.xml.gz2004-04-08 17:03 4.0K 
[ ]Qquadratic_sg_denom_nonzero_always_subproof4.con.types.xml.gz2004-04-08 17:03 4.9K 
[ ]Qquadratic_sg_denom_nonzero_always_subproof4.con.xml.gz2004-04-08 17:03 1.4K 
[ ]Qquadratic_sg_denom_nonzero_always_subproof5.con.body.xml.gz2004-04-08 17:03 4.0K 
[ ]Qquadratic_sg_denom_nonzero_always_subproof5.con.types.xml.gz2004-04-08 17:03 4.8K 
[ ]Qquadratic_sg_denom_nonzero_always_subproof5.con.xml.gz2004-04-08 17:03 1.4K 
[ ]Qquadratic_sg_denom_nonzero_always_subproof6.con.body.xml.gz2004-04-08 17:03 4.0K 
[ ]Qquadratic_sg_denom_nonzero_always_subproof6.con.types.xml.gz2004-04-08 17:03 4.9K 
[ ]Qquadratic_sg_denom_nonzero_always_subproof6.con.xml.gz2004-04-08 17:03 1.4K 
[ ]Qquadratic_sg_denom_nonzero_always_subproof7.con.body.xml.gz2004-04-08 17:03 4.0K 
[ ]Qquadratic_sg_denom_nonzero_always_subproof7.con.types.xml.gz2004-04-08 17:03 4.9K 
[ ]Qquadratic_sg_denom_nonzero_always_subproof7.con.xml.gz2004-04-08 17:03 1.4K 
[ ]Qquadratic_sg_denom_nonzero_always_subproof8.con.body.xml.gz2004-04-08 17:03 4.0K 
[ ]Qquadratic_sg_denom_nonzero_always_subproof8.con.types.xml.gz2004-04-08 17:03 4.9K 
[ ]Qquadratic_sg_denom_nonzero_always_subproof8.con.xml.gz2004-04-08 17:03 1.4K 
[ ]Qquadratic_sg_denom_nonzero_always_subproof9.con.body.xml.gz2004-04-08 17:03 5.5K 
[ ]Qquadratic_sg_denom_nonzero_always_subproof9.con.types.xml.gz2004-04-08 17:03 7.4K 
[ ]Qquadratic_sg_denom_nonzero_always_subproof9.con.xml.gz2004-04-08 17:03 1.5K 
[ ]Qquadratic_sg_denom_nonzero_always_subproof10.con.body.xml.gz2004-04-08 17:03 4.0K 
[ ]Qquadratic_sg_denom_nonzero_always_subproof10.con.types.xml.gz2004-04-08 17:03 4.9K 
[ ]Qquadratic_sg_denom_nonzero_always_subproof10.con.xml.gz2004-04-08 17:03 1.4K 
[ ]Qquadratic_sg_denom_nonzero_always_subproof11.con.body.xml.gz2004-04-08 17:03 4.0K 
[ ]Qquadratic_sg_denom_nonzero_always_subproof11.con.types.xml.gz2004-04-08 17:03 4.9K 
[ ]Qquadratic_sg_denom_nonzero_always_subproof11.con.xml.gz2004-04-08 17:03 1.4K 
[ ]Qquadratic_sg_denom_nonzero_always_subproof12.con.body.xml.gz2004-04-08 17:03 4.0K 
[ ]Qquadratic_sg_denom_nonzero_always_subproof12.con.types.xml.gz2004-04-08 17:03 4.9K 
[ ]Qquadratic_sg_denom_nonzero_always_subproof12.con.xml.gz2004-04-08 17:03 1.4K 
[ ]Qquadratic_sg_denom_nonzero_always_subproof13.con.body.xml.gz2004-04-08 17:03 4.0K 
[ ]Qquadratic_sg_denom_nonzero_always_subproof13.con.types.xml.gz2004-04-08 17:03 4.9K 
[ ]Qquadratic_sg_denom_nonzero_always_subproof13.con.xml.gz2004-04-08 17:03 1.4K 
[ ]Qquadratic_sg_denom_nonzero_always_subproof14.con.body.xml.gz2004-04-08 17:03 4.0K 
[ ]Qquadratic_sg_denom_nonzero_always_subproof14.con.types.xml.gz2004-04-08 17:03 4.9K 
[ ]Qquadratic_sg_denom_nonzero_always_subproof14.con.xml.gz2004-04-08 17:03 1.4K 
[ ]Qquadratic_sg_denom_nonzero_always_subproof15.con.body.xml.gz2004-04-08 17:03 4.0K 
[ ]Qquadratic_sg_denom_nonzero_always_subproof15.con.types.xml.gz2004-04-08 17:03 4.9K 
[ ]Qquadratic_sg_denom_nonzero_always_subproof15.con.xml.gz2004-04-08 17:03 1.4K 
[ ]Qquadratic_sg_denom_nonzero_always_subproof16.con.body.xml.gz2004-04-08 17:03 4.0K 
[ ]Qquadratic_sg_denom_nonzero_always_subproof16.con.types.xml.gz2004-04-08 17:03 4.9K 
[ ]Qquadratic_sg_denom_nonzero_always_subproof16.con.xml.gz2004-04-08 17:03 1.4K 
[ ]Qquadratic_sg_denom_nonzero_always_subproof17.con.body.xml.gz2004-04-08 17:03 4.0K 
[ ]Qquadratic_sg_denom_nonzero_always_subproof17.con.types.xml.gz2004-04-08 17:03 4.8K 
[ ]Qquadratic_sg_denom_nonzero_always_subproof17.con.xml.gz2004-04-08 17:03 1.4K 
[ ]Qquadratic_sg_denom_nonzero_always_subproof18.con.body.xml.gz2004-04-08 17:03 4.0K 
[ ]Qquadratic_sg_denom_nonzero_always_subproof18.con.types.xml.gz2004-04-08 17:03 4.9K 
[ ]Qquadratic_sg_denom_nonzero_always_subproof18.con.xml.gz2004-04-08 17:03 1.4K 
[ ]Qquadratic_sg_denom_nonzero_always_subproof19.con.body.xml.gz2004-04-08 17:03 5.5K 
[ ]Qquadratic_sg_denom_nonzero_always_subproof19.con.types.xml.gz2004-04-08 17:03 7.6K 
[ ]Qquadratic_sg_denom_nonzero_always_subproof19.con.xml.gz2004-04-08 17:03 1.5K 
[ ]Qquadratic_sg_denom_nonzero_always_subproof20.con.body.xml.gz2004-04-08 17:03 4.0K 
[ ]Qquadratic_sg_denom_nonzero_always_subproof20.con.types.xml.gz2004-04-08 17:03 4.9K 
[ ]Qquadratic_sg_denom_nonzero_always_subproof20.con.xml.gz2004-04-08 17:03 1.4K 
[ ]Qquadratic_sg_denom_nonzero_always_subproof21.con.body.xml.gz2004-04-08 17:03 4.0K 
[ ]Qquadratic_sg_denom_nonzero_always_subproof21.con.types.xml.gz2004-04-08 17:03 4.8K 
[ ]Qquadratic_sg_denom_nonzero_always_subproof21.con.xml.gz2004-04-08 17:03 1.4K 
[ ]Qquadratic_sg_denom_nonzero_always_subproof22.con.body.xml.gz2004-04-08 17:03 4.0K 
[ ]Qquadratic_sg_denom_nonzero_always_subproof22.con.types.xml.gz2004-04-08 17:03 4.9K 
[ ]Qquadratic_sg_denom_nonzero_always_subproof22.con.xml.gz2004-04-08 17:03 1.4K 
[ ]Qquadratic_sg_denom_nonzero_always_subproof23.con.body.xml.gz2004-04-08 17:03 4.0K 
[ ]Qquadratic_sg_denom_nonzero_always_subproof23.con.types.xml.gz2004-04-08 17:03 4.9K 
[ ]Qquadratic_sg_denom_nonzero_always_subproof23.con.xml.gz2004-04-08 17:03 1.4K 
[ ]Qquadratic_sg_denom_nonzero_always_subproof24.con.body.xml.gz2004-04-08 17:03 4.0K 
[ ]Qquadratic_sg_denom_nonzero_always_subproof24.con.types.xml.gz2004-04-08 17:03 4.8K 
[ ]Qquadratic_sg_denom_nonzero_always_subproof24.con.xml.gz2004-04-08 17:03 1.4K 
[ ]Qquadratic_sg_denom_nonzero_always_subproof25.con.body.xml.gz2004-04-08 17:03 4.0K 
[ ]Qquadratic_sg_denom_nonzero_always_subproof25.con.types.xml.gz2004-04-08 17:03 4.9K 
[ ]Qquadratic_sg_denom_nonzero_always_subproof25.con.xml.gz2004-04-08 17:03 1.4K 
[ ]Qquadratic_sg_denom_nonzero_always_subproof26.con.body.xml.gz2004-04-08 17:03 5.5K 
[ ]Qquadratic_sg_denom_nonzero_always_subproof26.con.types.xml.gz2004-04-08 17:03 7.6K 
[ ]Qquadratic_sg_denom_nonzero_always_subproof26.con.xml.gz2004-04-08 17:03 1.5K 
[ ]Qquadratic_sg_denom_nonzero_always_subproof27.con.body.xml.gz2004-04-08 17:03 4.0K 
[ ]Qquadratic_sg_denom_nonzero_always_subproof27.con.types.xml.gz2004-04-08 17:03 4.9K 
[ ]Qquadratic_sg_denom_nonzero_always_subproof27.con.xml.gz2004-04-08 17:03 1.4K 
[ ]Qquadratic_sg_denom_nonzero_always_subproof28.con.body.xml.gz2004-04-08 17:03 4.0K 
[ ]Qquadratic_sg_denom_nonzero_always_subproof28.con.types.xml.gz2004-04-08 17:03 4.8K 
[ ]Qquadratic_sg_denom_nonzero_always_subproof28.con.xml.gz2004-04-08 17:03 1.4K 
[ ]Qquadratic_sg_denom_nonzero_always_subproof29.con.body.xml.gz2004-04-08 17:03 4.0K 
[ ]Qquadratic_sg_denom_nonzero_always_subproof29.con.types.xml.gz2004-04-08 17:03 4.9K 
[ ]Qquadratic_sg_denom_nonzero_always_subproof29.con.xml.gz2004-04-08 17:03 1.4K 
[ ]Qquadratic_sg_denom_nonzero_always_subproof30.con.body.xml.gz2004-04-08 17:03 4.0K 
[ ]Qquadratic_sg_denom_nonzero_always_subproof30.con.types.xml.gz2004-04-08 17:03 4.9K 
[ ]Qquadratic_sg_denom_nonzero_always_subproof30.con.xml.gz2004-04-08 17:03 1.4K 
[ ]Qquadratic_sg_denom_nonzero_always_subproof31.con.body.xml.gz2004-04-08 17:03 4.0K 
[ ]Qquadratic_sg_denom_nonzero_always_subproof31.con.types.xml.gz2004-04-08 17:03 4.9K 
[ ]Qquadratic_sg_denom_nonzero_always_subproof31.con.xml.gz2004-04-08 17:03 1.4K 
[ ]Qquadratic_sg_denom_nonzero_always_subproof32.con.body.xml.gz2004-04-08 17:03 4.0K 
[ ]Qquadratic_sg_denom_nonzero_always_subproof32.con.types.xml.gz2004-04-08 17:03 4.9K 
[ ]Qquadratic_sg_denom_nonzero_always_subproof32.con.xml.gz2004-04-08 17:03 1.4K 
[ ]Qquadratic_sg_denom_nonzero_always_subproof33.con.body.xml.gz2004-04-08 17:03 3.6K 
[ ]Qquadratic_sg_denom_nonzero_always_subproof33.con.types.xml.gz2004-04-08 17:03 4.6K 
[ ]Qquadratic_sg_denom_nonzero_always_subproof33.con.xml.gz2004-04-08 17:03 1.0K 
[ ]Qquadratic_sg_denom_nonzero_always_subproof34.con.body.xml.gz2004-04-08 17:03 3.6K 
[ ]Qquadratic_sg_denom_nonzero_always_subproof34.con.types.xml.gz2004-04-08 17:03 4.6K 
[ ]Qquadratic_sg_denom_nonzero_always_subproof34.con.xml.gz2004-04-08 17:03 1.0K 
[ ]Qquadratic_sg_denom_nonzero_always_subproof35.con.body.xml.gz2004-04-08 17:03 3.6K 
[ ]Qquadratic_sg_denom_nonzero_always_subproof35.con.types.xml.gz2004-04-08 17:03 4.6K 
[ ]Qquadratic_sg_denom_nonzero_always_subproof35.con.xml.gz2004-04-08 17:03 1.0K 
[ ]Qquadratic_sg_denom_nonzero_nonzero.con.body.xml.gz2004-04-08 17:03 12K 
[ ]Qquadratic_sg_denom_nonzero_nonzero.con.types.xml.gz2004-04-08 17:03 8.8K 
[ ]Qquadratic_sg_denom_nonzero_nonzero.con.xml.gz2004-04-08 17:03 742  
[ ]Qquadratic_sg_denom_nonzero_nonzero_1.con.body.xml.gz2004-04-08 17:03 1.7K 
[ ]Qquadratic_sg_denom_nonzero_nonzero_1.con.types.xml.gz2004-04-08 17:03 1.6K 
[ ]Qquadratic_sg_denom_nonzero_nonzero_1.con.xml.gz2004-04-08 17:03 805  
[ ]Qquadratic_sg_denom_nonzero_nonzero_3.con.body.xml.gz2004-04-08 17:03 2.0K 
[ ]Qquadratic_sg_denom_nonzero_nonzero_3.con.types.xml.gz2004-04-08 17:03 1.8K 
[ ]Qquadratic_sg_denom_nonzero_nonzero_3.con.xml.gz2004-04-08 17:03 673  
[ ]Qquadratic_sg_denom_nonzero_nonzero_inf.con.body.xml.gz2004-04-08 17:03 5.8K 
[ ]Qquadratic_sg_denom_nonzero_nonzero_inf.con.types.xml.gz2004-04-08 17:03 793  
[ ]Qquadratic_sg_denom_nonzero_nonzero_inf.con.xml.gz2004-04-08 17:03 853  
[ ]Qquadratic_subproof.con.body.xml.gz2004-04-08 17:04 49K 
[ ]Qquadratic_subproof.con.types.xml.gz2004-04-08 17:04 52K 
[ ]Qquadratic_subproof.con.xml.gz2004-04-08 17:04 610  
[ ]Qquadratic_subproof0.con.body.xml.gz2004-04-08 17:04 53K 
[ ]Qquadratic_subproof0.con.types.xml.gz2004-04-08 17:04 57K 
[ ]Qquadratic_subproof0.con.xml.gz2004-04-08 17:04 654  
[ ]Qquadratic_subproof1.con.body.xml.gz2004-04-08 17:04 53K 
[ ]Qquadratic_subproof1.con.types.xml.gz2004-04-08 17:04 57K 
[ ]Qquadratic_subproof1.con.xml.gz2004-04-08 17:04 654  
Apache/2.4.57 (Debian) Server at mowgli.cs.unibo.it Port 80