Index of /xml/Nijmegen/QArith/Qquadratic_Qpositive_to_Q_properties

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]fraction_encoding_reduces.con.body.xml.gz2004-04-08 17:04 4.2K 
[ ]fraction_encoding_reduces.con.types.xml.gz2004-04-08 17:04 3.5K 
[ ]fraction_encoding_reduces.con.xml.gz2004-04-08 17:04 780  
[ ]Qquadratic_Qpositive_to_Q_0_subproof.con.xml.gz2004-04-08 17:04 1.0K 
[ ]Qquadratic_Qpositive_to_Q_0_subproof.con.body.xml.gz2004-04-08 17:04 299K 
[ ]Qquadratic_Qpositive_to_Q_0_subproof.con.types.xml.gz2004-04-08 17:04 431K 
[ ]Qquadratic_Qpositive_to_Q_0.con.body.xml.gz2004-04-08 17:04 776  
[ ]Qquadratic_Qpositive_to_Q_0.con.types.xml.gz2004-04-08 17:04 1.3K 
[ ]Qquadratic_Qpositive_to_Q_0.con.xml.gz2004-04-08 17:04 1.0K 
[ ]Qquadratic_Qpositive_to_Q_1_subproof.con.body.xml.gz2004-04-08 17:05 300K 
[ ]Qquadratic_Qpositive_to_Q_1_subproof.con.xml.gz2004-04-08 17:05 1.0K 
[ ]Qquadratic_Qpositive_to_Q_1.con.body.xml.gz2004-04-08 17:05 776  
[ ]Qquadratic_Qpositive_to_Q_1.con.types.xml.gz2004-04-08 17:05 1.3K 
[ ]Qquadratic_Qpositive_to_Q_1.con.xml.gz2004-04-08 17:05 1.0K 
[ ]Qquadratic_Qpositive_to_Q_1_subproof.con.types.xml.gz2004-04-08 17:05 430K 
[ ]Qquadratic_Qpositive_to_Q_2_subproof.con.body.xml.gz2004-04-08 17:05 300K 
[ ]Qquadratic_Qpositive_to_Q_2_subproof.con.xml.gz2004-04-08 17:05 1.0K 
[ ]Qquadratic_Qpositive_to_Q_2_subproof.con.types.xml.gz2004-04-08 17:05 430K 
[ ]Qquadratic_Qpositive_to_Q_2.con.body.xml.gz2004-04-08 17:05 776  
[ ]Qquadratic_Qpositive_to_Q_2.con.types.xml.gz2004-04-08 17:05 1.3K 
[ ]Qquadratic_Qpositive_to_Q_2.con.xml.gz2004-04-08 17:05 1.0K 
[ ]Qquadratic_Qpositive_to_Q_3_subproof.con.xml.gz2004-04-08 17:06 1.0K 
[ ]Qquadratic_Qpositive_to_Q_3_subproof.con.body.xml.gz2004-04-08 17:06 300K 
[ ]Qquadratic_Qpositive_to_Q_3_subproof.con.types.xml.gz2004-04-08 17:06 430K 
[ ]Qquadratic_Qpositive_to_Q_3.con.body.xml.gz2004-04-08 17:06 776  
[ ]Qquadratic_Qpositive_to_Q_3.con.types.xml.gz2004-04-08 17:06 1.3K 
[ ]Qquadratic_Qpositive_to_Q_3.con.xml.gz2004-04-08 17:06 1.0K 
[ ]Qquadratic_Qpositive_to_Q_4_subproof.con.xml.gz2004-04-08 17:08 1.1K 
[ ]Qquadratic_Qpositive_to_Q_4_subproof.con.body.xml.gz2004-04-08 17:08 670K 
[ ]Qquadratic_Qpositive_to_Q_4_subproof.con.types.xml.gz2004-04-08 17:08 2.2M 
[ ]Qquadratic_Qpositive_to_Q_4.con.body.xml.gz2004-04-08 17:08 781  
[ ]Qquadratic_Qpositive_to_Q_4.con.types.xml.gz2004-04-08 17:08 1.4K 
[ ]Qquadratic_Qpositive_to_Q_4.con.xml.gz2004-04-08 17:08 1.0K 
[ ]Qquadratic_Qpositive_to_Q_5_subproof.con.xml.gz2004-04-08 17:11 3.3K 
[ ]Qquadratic_Qpositive_to_Q_5_subproof.con.body.xml.gz2004-04-08 17:11 745K 
[ ]Qquadratic_Qpositive_to_Q_5_subproof.con.types.xml.gz2004-04-08 17:11 2.4M 
[ ]Qquadratic_Qpositive_to_Q_5.con.body.xml.gz2004-04-08 17:11 789  
[ ]Qquadratic_Qpositive_to_Q_5.con.types.xml.gz2004-04-08 17:11 5.8K 
[ ]Qquadratic_Qpositive_to_Q_5.con.xml.gz2004-04-08 17:11 3.1K 
[ ]Qquadratic_Qpositive_to_Q_6_subproof.con.xml.gz2004-04-08 17:14 3.5K 
[ ]Qquadratic_Qpositive_to_Q_6_subproof.con.body.xml.gz2004-04-08 17:14 753K 
[ ]Qquadratic_Qpositive_to_Q_6_subproof.con.types.xml.gz2004-04-08 17:14 2.4M 
[ ]Qquadratic_Qpositive_to_Q_6.con.body.xml.gz2004-04-08 17:14 797  
[ ]Qquadratic_Qpositive_to_Q_6.con.types.xml.gz2004-04-08 17:14 5.7K 
[ ]Qquadratic_Qpositive_to_Q_6.con.xml.gz2004-04-08 17:14 3.4K 
[ ]Qquadratic_Qpositive_to_Q_7_subproof.con.xml.gz2004-04-08 17:17 3.5K 
[ ]Qquadratic_Qpositive_to_Q_7_subproof.con.body.xml.gz2004-04-08 17:17 751K 
[ ]Qquadratic_Qpositive_to_Q_7_subproof.con.types.xml.gz2004-04-08 17:17 2.4M 
[ ]Qquadratic_Qpositive_to_Q_7.con.body.xml.gz2004-04-08 17:17 795  
[ ]Qquadratic_Qpositive_to_Q_7.con.types.xml.gz2004-04-08 17:17 6.0K 
[ ]Qquadratic_Qpositive_to_Q_7.con.xml.gz2004-04-08 17:17 3.3K 
[ ]Qquadratic_Qpositive_to_Q_8_subproof.con.xml.gz2004-04-08 17:20 3.5K 
[ ]Qquadratic_Qpositive_to_Q_8_subproof.con.body.xml.gz2004-04-08 17:20 752K 
[ ]Qquadratic_Qpositive_to_Q_8_subproof.con.types.xml.gz2004-04-08 17:20 2.4M 
[ ]Qquadratic_Qpositive_to_Q_8.con.body.xml.gz2004-04-08 17:20 795  
[ ]Qquadratic_Qpositive_to_Q_8.con.types.xml.gz2004-04-08 17:20 6.0K 
[ ]Qquadratic_Qpositive_to_Q_8.con.xml.gz2004-04-08 17:20 3.4K 
[ ]q_sign_equal.con.body.xml.gz2004-04-08 17:20 281  
[ ]q_sign_equal.con.types.xml.gz2004-04-08 17:20 232  
[ ]q_sign_equal.con.xml.gz2004-04-08 17:20 894  
[ ]q_sign_equal_subproof.con.body.xml.gz2004-04-08 17:20 1.6K 
[ ]q_sign_equal_subproof.con.types.xml.gz2004-04-08 17:20 2.1K 
[ ]q_sign_equal_subproof.con.xml.gz2004-04-08 17:20 908  
[ ]qnew_a_equal.con.body.xml.gz2004-04-08 17:20 281  
[ ]qnew_a_equal.con.types.xml.gz2004-04-08 17:20 232  
[ ]qnew_a_equal.con.xml.gz2004-04-08 17:20 904  
[ ]qnew_a_equal_subproof.con.body.xml.gz2004-04-08 17:20 5.1K 
[ ]qnew_a_equal_subproof.con.types.xml.gz2004-04-08 17:20 5.5K 
[ ]qnew_a_equal_subproof.con.xml.gz2004-04-08 17:20 915  
[ ]qnew_b_equal_subproof.con.body.xml.gz2004-04-08 17:20 6.5K 
[ ]qnew_b_equal_subproof.con.types.xml.gz2004-04-08 17:20 7.0K 
[ ]qnew_b_equal_subproof.con.xml.gz2004-04-08 17:20 924  
[ ]qnew_b_equal.con.body.xml.gz2004-04-08 17:20 281  
[ ]qnew_b_equal.con.types.xml.gz2004-04-08 17:20 232  
[ ]qnew_b_equal.con.xml.gz2004-04-08 17:20 904  
[ ]qnew_c_equal.con.body.xml.gz2004-04-08 17:20 281  
[ ]qnew_c_equal.con.types.xml.gz2004-04-08 17:20 232  
[ ]qnew_c_equal.con.xml.gz2004-04-08 17:20 904  
[ ]qnew_c_equal_subproof.con.body.xml.gz2004-04-08 17:20 7.9K 
[ ]qnew_c_equal_subproof.con.types.xml.gz2004-04-08 17:20 8.3K 
[ ]qnew_c_equal_subproof.con.xml.gz2004-04-08 17:20 926  
[ ]qnew_d_equal_subproof.con.xml.gz2004-04-08 17:20 925  
[ ]qnew_d_equal.con.body.xml.gz2004-04-08 17:20 281  
[ ]qnew_d_equal.con.types.xml.gz2004-04-08 17:20 232  
[ ]qnew_d_equal.con.xml.gz2004-04-08 17:20 904  
[ ]qnew_d_equal_subproof.con.body.xml.gz2004-04-08 17:20 7.9K 
[ ]qnew_d_equal_subproof.con.types.xml.gz2004-04-08 17:20 8.3K 
[ ]qnew_e_equal.con.body.xml.gz2004-04-08 17:20 281  
[ ]qnew_e_equal.con.types.xml.gz2004-04-08 17:20 232  
[ ]qnew_e_equal.con.xml.gz2004-04-08 17:20 903  
[ ]qnew_e_equal_subproof.con.body.xml.gz2004-04-08 17:20 5.1K 
[ ]qnew_e_equal_subproof.con.types.xml.gz2004-04-08 17:20 5.5K 
[ ]qnew_e_equal_subproof.con.xml.gz2004-04-08 17:20 915  
[ ]qnew_f_equal.con.body.xml.gz2004-04-08 17:20 281  
[ ]qnew_f_equal.con.types.xml.gz2004-04-08 17:20 232  
[ ]qnew_f_equal.con.xml.gz2004-04-08 17:20 904  
[ ]qnew_f_equal_subproof.con.body.xml.gz2004-04-08 17:20 6.5K 
[ ]qnew_f_equal_subproof.con.types.xml.gz2004-04-08 17:20 7.0K 
[ ]qnew_f_equal_subproof.con.xml.gz2004-04-08 17:20 924  
[ ]qnew_g_equal.con.body.xml.gz2004-04-08 17:20 281  
[ ]qnew_g_equal.con.types.xml.gz2004-04-08 17:20 232  
[ ]qnew_g_equal.con.xml.gz2004-04-08 17:20 904  
[ ]qnew_g_equal_subproof.con.body.xml.gz2004-04-08 17:20 7.9K 
[ ]qnew_g_equal_subproof.con.types.xml.gz2004-04-08 17:20 8.3K 
[ ]qnew_g_equal_subproof.con.xml.gz2004-04-08 17:20 926  
[ ]qnew_h_equal.con.body.xml.gz2004-04-08 17:20 281  
[ ]qnew_h_equal.con.types.xml.gz2004-04-08 17:20 232  
[ ]qnew_h_equal.con.xml.gz2004-04-08 17:20 903  
[ ]qnew_h_equal_subproof.con.body.xml.gz2004-04-08 17:20 7.9K 
[ ]qnew_h_equal_subproof.con.types.xml.gz2004-04-08 17:20 8.3K 
[ ]qnew_h_equal_subproof.con.xml.gz2004-04-08 17:20 926  
[ ]qnew_p1_equal.con.body.xml.gz2004-04-08 17:20 283  
[ ]qnew_p1_equal.con.types.xml.gz2004-04-08 17:20 234  
[ ]qnew_p1_equal.con.xml.gz2004-04-08 17:20 905  
[ ]qnew_p1_equal_subproof.con.body.xml.gz2004-04-08 17:20 3.6K 
[ ]qnew_p1_equal_subproof.con.types.xml.gz2004-04-08 17:20 4.0K 
[ ]qnew_p1_equal_subproof.con.xml.gz2004-04-08 17:20 914  
[ ]qnew_p2_equal.con.body.xml.gz2004-04-08 17:20 283  
[ ]qnew_p2_equal.con.types.xml.gz2004-04-08 17:20 234  
[ ]qnew_p2_equal.con.xml.gz2004-04-08 17:20 905  
[ ]qnew_p2_equal_subproof.con.body.xml.gz2004-04-08 17:20 3.6K 
[ ]qnew_p2_equal_subproof.con.types.xml.gz2004-04-08 17:20 4.0K 
[ ]qnew_p2_equal_subproof.con.xml.gz2004-04-08 17:20 914  
[ ]Qquadratic_Qpositive_to_Q_equal.con.xml.gz2004-04-08 17:23 952  
[ ]Qquadratic_Qpositive_to_Q_equal.con.body.xml.gz2004-04-08 17:23 882K 
[ ]Qquadratic_Qpositive_to_Q_equal.con.types.xml.gz2004-04-08 17:23 2.4M 
[ ]INDEX2005-07-05 08:11 3.1K 
Apache/2.4.62 (Debian) Server at mowgli.cs.unibo.it Port 80