Index of /~mptp/7.13.01_4.181.1147/mptp/ilp0/functor3

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]functor3__43_15.min1.thm12017-02-06 12:45 464  
[ ]functor3__107_22.min1.thm12017-02-06 12:45 1.2K 
[ ]functor3__108_20.min1.thm12017-02-06 12:44 1.2K 
[ ]functor3__110_23.min1.thm12017-02-06 12:45 1.2K 
[ ]functor3__111_17.min1.thm12017-02-06 12:45 1.4K 
[ ]functor3__112_18.min1.thm12017-02-06 12:45 2.7K 
[ ]functor3__115_16.min1.thm12017-02-06 12:45 2.7K 
[ ]functor3__141_42.min1.thm12017-02-06 12:45 1.2K 
[ ]functor3__143_19.min1.thm12017-02-06 12:45 1.0K 
[ ]functor3__175_42.min1.thm12017-02-06 12:44 1.2K 
[ ]functor3__177_19.min1.thm12017-02-06 12:45 1.0K 
[ ]functor3__198_24.min1.thm12017-02-06 12:45 1.1K 
[ ]functor3__207_41.min1.thm12017-02-06 12:44 735  
[ ]functor3__207_41.min1.thm1.tptp2017-02-06 16:47 664  
[ ]functor3__218_24.min1.thm12017-02-06 12:44 684  
[ ]functor3__218_24.min1.thm1.tptp2017-02-06 16:47 613  
[ ]functor3__293_14.min1.thm12017-02-06 12:45 426  
[ ]functor3__295_25.min1.thm12017-02-06 12:45 1.0K 
[ ]functor3__299_26.min1.thm12017-02-06 12:45 1.5K 
[ ]functor3__302_34.min1.thm12017-02-06 12:45 2.5K 
[ ]functor3__304_43.min1.thm12017-02-06 12:44 4.0K 
[ ]functor3__328_14.min1.thm12017-02-06 12:45 426  
[ ]functor3__330_25.min1.thm12017-02-06 12:44 1.0K 
[ ]functor3__334_26.min1.thm12017-02-06 12:45 1.5K 
[ ]functor3__337_34.min1.thm12017-02-06 12:44 2.5K 
[ ]functor3__339_43.min1.thm12017-02-06 12:45 4.0K 
[ ]functor3__363_14.min1.thm12017-02-06 12:45 426  
[ ]functor3__365_25.min1.thm12017-02-06 12:45 1.0K 
[ ]functor3__369_26.min1.thm12017-02-06 12:45 1.5K 
[ ]functor3__372_34.min1.thm12017-02-06 12:45 2.5K 
[ ]functor3__374_43.min1.thm12017-02-06 12:45 4.0K 
[ ]functor3__398_14.min1.thm12017-02-06 12:45 426  
[ ]functor3__400_25.min1.thm12017-02-06 12:45 1.0K 
[ ]functor3__404_26.min1.thm12017-02-06 12:44 1.5K 
[ ]functor3__407_34.min1.thm12017-02-06 12:45 2.5K 
[ ]functor3__409_43.min1.thm12017-02-06 12:45 4.0K 
[ ]functor3__437_22.min1.thm12017-02-06 12:45 1.2K 
[ ]functor3__438_38.min1.thm12017-02-06 12:45 3.7K 
[ ]functor3__439_27.min1.thm12017-02-06 12:45 3.6K 
[ ]functor3__441_25.min1.thm12017-02-06 12:44 4.5K 
[ ]functor3__442_31.min1.thm12017-02-06 12:45 5.3K 
[ ]functor3__463_22.min1.thm12017-02-06 12:45 1.2K 
[ ]functor3__464_38.min1.thm12017-02-06 12:44 3.7K 
[ ]functor3__465_27.min1.thm12017-02-06 12:44 3.6K 
[ ]functor3__467_25.min1.thm12017-02-06 12:45 4.5K 
[ ]functor3__468_31.min1.thm12017-02-06 12:45 5.3K 
[ ]functor3__487_70.min1.thm12017-02-06 12:44 4.5K 
[ ]functor3__489_22.min1.thm12017-02-06 12:45 1.2K 
[ ]functor3__490_38.min1.thm12017-02-06 12:45 3.7K 
[ ]functor3__491_27.min1.thm12017-02-06 12:45 3.6K 
[ ]functor3__493_25.min1.thm12017-02-06 12:45 4.5K 
[ ]functor3__494_31.min1.thm12017-02-06 12:45 5.3K 
[ ]functor3__513_70.min1.thm12017-02-06 12:45 4.5K 
[ ]functor3__515_22.min1.thm12017-02-06 12:45 1.2K 
[ ]functor3__516_38.min1.thm12017-02-06 12:44 3.7K 
[ ]functor3__517_27.min1.thm12017-02-06 12:45 3.6K 
[ ]functor3__519_25.min1.thm12017-02-06 12:45 4.5K 
[ ]functor3__520_31.min1.thm12017-02-06 12:45 5.3K 
[ ]functor3__575_24.min1.thm12017-02-06 12:44 674  
[ ]functor3__575_24.min1.thm1.tptp2017-02-06 16:47 593  
[ ]functor3__577_36.min1.thm12017-02-06 12:45 3.3K 
[ ]functor3__579_34.min1.thm12017-02-06 12:44 1.9K 
[ ]functor3__601_42.min1.thm12017-02-06 12:45 372  
[ ]functor3__601_42.min1.thm1.tptp2017-02-06 16:47 294  
[ ]functor3__603_17.min1.thm12017-02-06 12:45 1.0K 
[ ]functor3__603_17.min1.thm1.tptp2017-02-06 16:47 953  
[ ]functor3__611_42.min1.thm12017-02-06 12:45 4.3K 
[ ]functor3__614_53.min1.thm12017-02-06 12:45 666  
[ ]functor3__617_16.min1.thm12017-02-06 12:44 1.7K 
[ ]functor3__618_16.min1.thm12017-02-06 12:45 967  
[ ]functor3__628_23.min1.thm12017-02-06 12:45 3.5K 
[ ]functor3__629_21.min1.thm12017-02-06 12:44 1.0K 
[ ]functor3__629_21.min1.thm1.tptp2017-02-06 16:47 967  
[ ]functor3__630_17.min1.thm12017-02-06 12:44 1.0K 
[ ]functor3__630_17.min1.thm1.tptp2017-02-06 16:47 967  
[ ]functor3__631_17.min1.thm12017-02-06 12:45 3.5K 
[ ]functor3__645_30.min1.thm12017-02-06 12:44 4.1K 
[ ]functor3__646_18.min1.thm12017-02-06 12:45 3.2K 
[ ]functor3__665_42.min1.thm12017-02-06 12:45 372  
[ ]functor3__665_42.min1.thm1.tptp2017-02-06 16:47 294  
[ ]functor3__667_17.min1.thm12017-02-06 12:44 734  
[ ]functor3__667_17.min1.thm1.tptp2017-02-06 16:47 659  
[ ]functor3__675_42.min1.thm12017-02-06 12:45 4.2K 
[ ]functor3__676_21.min1.thm12017-02-06 12:45 4.9K 
[ ]functor3__678_53.min1.thm12017-02-06 12:45 666  
[ ]functor3__681_16.min1.thm12017-02-06 12:45 1.4K 
[ ]functor3__682_16.min1.thm12017-02-06 12:44 677  
[ ]functor3__692_23.min1.thm12017-02-06 12:45 3.5K 
[ ]functor3__693_21.min1.thm12017-02-06 12:45 750  
[ ]functor3__693_21.min1.thm1.tptp2017-02-06 16:47 673  
[ ]functor3__694_17.min1.thm12017-02-06 12:44 750  
[ ]functor3__694_17.min1.thm1.tptp2017-02-06 16:47 673  
[ ]functor3__695_17.min1.thm12017-02-06 12:45 3.5K 
[ ]functor3__709_30.min1.thm12017-02-06 12:44 4.1K 
[ ]functor3__710_18.min1.thm12017-02-06 12:45 3.0K 
[ ]functor3__728_48.min1.thm12017-02-06 12:45 2.0K 
[ ]functor3__729_45.min1.thm12017-02-06 12:45 4.2K 
[ ]functor3__730_29.min1.thm12017-02-06 12:44 3.7K 
[ ]functor3__732_26.min1.thm12017-02-06 12:45 4.4K 
[ ]functor3__733_34.min1.thm12017-02-06 12:45 5.5K 
[ ]functor3__734_32.min1.thm12017-02-06 12:45 6.3K 
[ ]functor3__736_30.min1.thm12017-02-06 12:45 1.6K 
[ ]functor3__755_45.min1.thm12017-02-06 12:44 4.0K 
[ ]functor3__756_34.min1.thm12017-02-06 12:45 4.6K 
[ ]functor3__757_28.min1.thm12017-02-06 12:45 3.9K 
[ ]functor3__758_34.min1.thm12017-02-06 12:44 5.3K 
[ ]functor3__759_32.min1.thm12017-02-06 12:45 6.3K 
[ ]functor3__761_30.min1.thm12017-02-06 12:45 1.6K 
[ ]functor3__776_25.min1.thm12017-02-06 12:44 3.7K 
[ ]functor3__777_25.min1.thm12017-02-06 12:45 3.2K 
[ ]functor3__778_25.min1.thm12017-02-06 12:45 3.8K 
[ ]functor3__796_39.min1.thm12017-02-06 12:45 5.6K 
[ ]functor3__797_25.min1.thm12017-02-06 12:44 4.1K 
[ ]functor3__798_25.min1.thm12017-02-06 12:45 3.9K 
[ ]functor3__799_25.min1.thm12017-02-06 12:45 5.9K 
[ ]functor3__817_26.min1.thm12017-02-06 12:45 1.6K 
[ ]functor3__818_39.min1.thm12017-02-06 12:45 4.0K 
[ ]functor3__820_25.min1.thm12017-02-06 12:44 4.1K 
[ ]functor3__821_25.min1.thm12017-02-06 12:45 5.9K 
[ ]functor3__832_45.min1.thm12017-02-06 12:44 3.4K 
[ ]functor3__833_26.min1.thm12017-02-06 12:45 2.7K 
[ ]functor3__834_26.min1.thm12017-02-06 12:45 3.1K 
[ ]functor3__835_27.min1.thm12017-02-06 12:44 2.7K 
[ ]functor3__845_45.min1.thm12017-02-06 12:45 3.6K 
[ ]functor3__846_27.min1.thm12017-02-06 12:45 2.0K 
[ ]functor3__847_27.min1.thm12017-02-06 12:45 2.5K 
[ ]functor3__848_27.min1.thm12017-02-06 12:44 3.1K 
[ ]functor3__849_27.min1.thm12017-02-06 12:44 2.7K 
[ ]functor3__862_40.min1.thm12017-02-06 12:45 356  
[ ]functor3__862_40.min1.thm1.tptp2017-02-06 16:47 278  
[ ]functor3__863_26.min1.thm12017-02-06 12:45 1.6K 
[ ]functor3__864_41.min1.thm12017-02-06 12:45 3.2K 
[ ]functor3__865_15.min1.thm12017-02-06 12:45 3.6K 
[ ]functor3__866_15.min1.thm12017-02-06 12:44 2.2K 
[ ]functor3__879_40.min1.thm12017-02-06 12:45 356  
[ ]functor3__879_40.min1.thm1.tptp2017-02-06 16:47 278  
[ ]functor3__880_39.min1.thm12017-02-06 12:45 3.0K 
[ ]functor3__881_15.min1.thm12017-02-06 12:44 1.1K 
[ ]functor3__882_15.min1.thm12017-02-06 12:45 2.2K 
[ ]functor3__895_11.min1.thm12017-02-06 12:44 4.3K 
[ ]functor3__909_32.min1.thm12017-02-06 12:45 1.8K 
[ ]functor3__917_72.min1.thm12017-02-06 12:45 5.1K 
[ ]functor3__922_27.min1.thm12017-02-06 12:44 1.6K 
[ ]functor3__926_29.min1.thm12017-02-06 12:44 4.8K 
[ ]functor3__927_31.min1.thm12017-02-06 12:45 5.1K 
[ ]functor3__928_31.min1.thm12017-02-06 12:45 6.1K 
[ ]functor3__929_27.min1.thm12017-02-06 12:45 4.1K 
[ ]functor3__930_29.min1.thm12017-02-06 12:45 5.7K 
[ ]functor3__996_48.min1.thm12017-02-06 12:45 5.3K 
[ ]functor3__998_66.min1.thm12017-02-06 12:45 5.4K 
[ ]functor3__1023_32.min1.thm12017-02-06 12:44 1.8K 
[ ]functor3__1027_32.min1.thm12017-02-06 12:45 1.8K 
[ ]functor3__1031_37.min1.thm12017-02-06 12:44 4.6K 
[ ]functor3__1033_74.min1.thm12017-02-06 12:45 5.2K 
[ ]functor3__1036_74.min1.thm12017-02-06 12:45 5.2K 
[ ]functor3__1038_36.min1.thm12017-02-06 12:45 2.8K 
[ ]functor3__1040_38.min1.thm12017-02-06 12:45 3.8K 
[ ]functor3__1047_37.min1.thm12017-02-06 12:45 2.8K 
[ ]functor3__1051_27.min1.thm12017-02-06 12:45 1.6K 
[ ]functor3__1052_41.min1.thm12017-02-06 12:44 3.4K 
[ ]functor3__1054_38.min1.thm12017-02-06 12:44 3.9K 
[ ]functor3__1055_27.min1.thm12017-02-06 12:45 2.4K 
[ ]functor3__1058_71.min1.thm12017-02-06 12:45 5.2K 
[ ]functor3__1060_27.min1.thm12017-02-06 12:45 3.5K 
[ ]functor3__1062_22.min1.thm12017-02-06 12:45 5.8K 
[ ]functor3__1063_71.min1.thm12017-02-06 12:44 5.2K 
[ ]functor3__1065_27.min1.thm12017-02-06 12:44 3.5K 
[ ]functor3__1067_27.min1.thm12017-02-06 12:44 2.4K 
[ ]functor3__1069_37.min1.thm12017-02-06 12:45 3.3K 
[ ]functor3__1070_27.min1.thm12017-02-06 12:45 1.6K 
[ ]functor3__1072_37.min1.thm12017-02-06 12:45 3.4K 
[ ]functor3__1076_39.min1.thm12017-02-06 12:44 8.0K 
[ ]functor3__1077_33.min1.thm12017-02-06 12:45 5.7K 
[ ]functor3__1078_27.min1.thm12017-02-06 12:45 6.0K 
[ ]functor3__1080_34.min1.thm12017-02-06 12:45 6.3K 
[ ]functor3__1082_38.min1.thm12017-02-06 12:45 5.3K 
[ ]functor3__1087_35.min1.thm12017-02-06 12:44 6.0K 
[ ]functor3__1088_41.min1.thm12017-02-06 12:45 7.3K 
[ ]functor3__1089_47.min1.thm12017-02-06 12:44 6.4K 
[ ]functor3__1096_18.min1.thm12017-02-06 12:45 4.5K 
[ ]functor3__1108_32.min1.thm12017-02-06 12:44 1.8K 
[ ]functor3__1112_50.min1.thm12017-02-06 12:45 4.2K 
[ ]functor3__1113_26.min1.thm12017-02-06 12:45 1.6K 
[ ]functor3__1114_26.min1.thm12017-02-06 12:44 1.6K 
[ ]functor3__1121_26.min1.thm12017-02-06 12:45 2.4K 
[ ]functor3__1123_74.min1.thm12017-02-06 12:45 5.1K 
[ ]functor3__1126_48.min1.thm12017-02-06 12:45 5.0K 
[ ]functor3__1129_25.min1.thm12017-02-06 12:45 4.0K 
[ ]functor3__1132_30.min1.thm12017-02-06 12:45 5.0K 
[ ]functor3__1144_26.min1.thm12017-02-06 12:45 2.4K 
[ ]functor3__1145_65.min1.thm12017-02-06 12:45 4.8K 
[ ]functor3__1149_72.min1.thm12017-02-06 12:45 5.2K 
[ ]functor3__1153_74.min1.thm12017-02-06 12:45 5.1K 
[ ]functor3__1155_32.min1.thm12017-02-06 12:45 1.9K 
[ ]functor3__1156_48.min1.thm12017-02-06 12:44 4.5K 
[ ]functor3__1158_28.min1.thm12017-02-06 12:45 7.4K 
[ ]functor3__1160_30.min1.thm12017-02-06 12:45 4.8K 
[ ]functor3__1179_32.min1.thm12017-02-06 12:44 1.8K 
[ ]functor3__1181_30.min1.thm12017-02-06 12:45 3.4K 
[ ]functor3__1186_38.min1.thm12017-02-06 12:44 3.2K 
[ ]functor3__1187_33.min1.thm12017-02-06 12:45 1.9K 
[ ]functor3__1190_33.min1.thm12017-02-06 12:45 1.9K 
[ ]functor3__1192_35.min1.thm12017-02-06 12:44 3.4K 
[ ]functor3__1194_33.min1.thm12017-02-06 12:44 1.9K 
[ ]functor3__1197_30.min1.thm12017-02-06 12:44 1.6K 
[ ]functor3__1201_30.min1.thm12017-02-06 12:45 1.6K 
[ ]functor3__1233_40.min1.thm12017-02-06 12:45 356  
[ ]functor3__1233_40.min1.thm1.tptp2017-02-06 16:47 278  
[ ]functor3__1235_15.min1.thm12017-02-06 12:44 924  
[ ]functor3__1235_15.min1.thm1.tptp2017-02-06 16:47 849  
[ ]functor3__1241_37.min1.thm12017-02-06 12:44 312  
[ ]functor3__1246_47.min1.thm12017-02-06 12:45 342  
[ ]functor3__1247_32.min1.thm12017-02-06 12:45 1.8K 
[ ]functor3__1251_26.min1.thm12017-02-06 12:45 2.4K 
[ ]functor3__1254_18.min1.thm12017-02-06 12:45 861  
[ ]functor3__1254_18.min1.thm1.tptp2017-02-06 16:47 780  
[ ]functor3__1255_27.min1.thm12017-02-06 12:45 1.6K 
[ ]functor3__1256_27.min1.thm12017-02-06 12:45 1.6K 
[ ]functor3__1259_18.min1.thm12017-02-06 12:44 861  
[ ]functor3__1259_18.min1.thm1.tptp2017-02-06 16:47 780  
[ ]functor3__1260_27.min1.thm12017-02-06 12:45 1.6K 
[ ]functor3__1261_27.min1.thm12017-02-06 12:44 1.6K 
[ ]functor3__1262_27.min1.thm12017-02-06 12:45 2.4K 
[ ]functor3__1267_36.min1.thm12017-02-06 12:45 4.5K 
[ ]functor3__1270_36.min1.thm12017-02-06 12:44 5.1K 
[ ]functor3__1272_37.min1.thm12017-02-06 12:45 5.1K 
[ ]functor3__1284_22.min1.thm12017-02-06 12:45 906  
[ ]functor3__1284_22.min1.thm1.tptp2017-02-06 16:47 824  
[ ]functor3__1285_27.min1.thm12017-02-06 12:45 1.6K 
[ ]functor3__1286_27.min1.thm12017-02-06 12:45 1.6K 
[ ]functor3__1300_68.min1.thm12017-02-06 12:45 1.5K 
[ ]functor3__1303_28.min1.thm12017-02-06 12:45 1.7K 
[ ]functor3__1304_16.min1.thm12017-02-06 12:44 2.3K 
[ ]functor3__1315_47.min1.thm12017-02-06 12:45 2.5K 
[ ]functor3__1316_37.min1.thm12017-02-06 12:45 1.9K 
[ ]functor3__1318_18.min1.thm12017-02-06 12:45 1.1K 
[ ]functor3__1328_14.min1.thm12017-02-06 12:44 1.9K 
[ ]functor3__1349_73.min1.thm12017-02-06 12:44 2.4K 
[ ]functor3__1353_18.min1.thm12017-02-06 12:45 850  
[ ]functor3__1353_18.min1.thm1.tptp2017-02-06 16:47 769  
[ ]functor3__1354_30.min1.thm12017-02-06 12:44 1.6K 
[ ]functor3__1356_26.min1.thm12017-02-06 12:45 1.6K 
[ ]functor3__1357_17.min1.thm12017-02-06 12:45 850  
[ ]functor3__1357_17.min1.thm1.tptp2017-02-06 16:47 769  
[ ]functor3__1358_33.min1.thm12017-02-06 12:45 1.9K 
[ ]functor3__1360_27.min1.thm12017-02-06 12:45 1.6K 
[ ]functor3__1361_33.min1.thm12017-02-06 12:45 1.9K 
[ ]functor3__1363_27.min1.thm12017-02-06 12:45 1.6K 
[ ]functor3__1366_22.min1.thm12017-02-06 12:44 3.7K 
[ ]functor3__1378_38.min1.thm12017-02-06 12:44 1.7K 
[ ]functor3__1380_32.min1.thm12017-02-06 12:45 2.0K 
[ ]functor3__1382_26.min1.thm12017-02-06 12:45 1.6K 
[ ]functor3__1383_30.min1.thm12017-02-06 12:44 1.6K 
[ ]functor3__1385_26.min1.thm12017-02-06 12:45 1.6K 
[ ]functor3__1386_32.min1.thm12017-02-06 12:45 2.0K 
[ ]functor3__1388_26.min1.thm12017-02-06 12:45 1.6K 
[ ]functor3__1390_7.min1.thm12017-02-06 12:45 1.9K 
[ ]functor3__1394_22.min1.thm12017-02-06 12:45 4.1K 
[ ]functor3__1395_29.min1.thm12017-02-06 12:45 3.1K 
[ ]functor3__1406_32.min1.thm12017-02-06 12:44 1.6K 
[ ]functor3__1407_42.min1.thm12017-02-06 12:45 1.6K 
[ ]functor3__1408_71.min1.thm12017-02-06 12:45 2.8K 
[ ]functor3__1409_32.min1.thm12017-02-06 12:45 2.0K 
[ ]functor3__1413_26.min1.thm12017-02-06 12:45 1.6K 
[ ]functor3__1423_18.min1.thm12017-02-06 12:45 1.4K 
[ ]functor3__1423_18.min1.thm1.tptp2017-02-06 16:47 1.4K 
[ ]functor3__1425_17.min1.thm12017-02-06 12:45 4.1K 
[ ]functor3__1435_42.min1.thm12017-02-06 12:44 1.6K 
[ ]functor3__1436_71.min1.thm12017-02-06 12:45 2.8K 
[ ]functor3__1439_32.min1.thm12017-02-06 12:45 2.0K 
[ ]functor3__1441_21.min1.thm12017-02-06 12:44 3.6K 
[ ]functor3__1443_23.min1.thm12017-02-06 12:45 4.8K 
[ ]functor3__1448_32.min1.thm12017-02-06 12:44 1.6K 
[ ]functor3__1452_18.min1.thm12017-02-06 12:45 1.4K 
[ ]functor3__1452_18.min1.thm1.tptp2017-02-06 16:47 1.4K 
[ ]functor3__1454_17.min1.thm12017-02-06 12:44 4.1K 
[ ]functor3__1465_44.min1.thm12017-02-06 12:45 2.6K 
[ ]functor3__1467_48.min1.thm12017-02-06 12:45 2.7K 
[ ]functor3__1468_40.min1.thm12017-02-06 12:45 1.6K 
[ ]functor3__1469_73.min1.thm12017-02-06 12:45 2.8K 
[ ]functor3__1470_40.min1.thm12017-02-06 12:45 1.6K 
[ ]functor3__1471_73.min1.thm12017-02-06 12:45 2.8K 
[ ]functor3__1472_44.min1.thm12017-02-06 12:45 2.6K 
[ ]functor3__1474_48.min1.thm12017-02-06 12:45 2.7K 
[ ]functor3__1476_40.min1.thm12017-02-06 12:45 4.0K 
[ ]functor3__1477_58.min1.thm12017-02-06 12:45 4.6K 
[ ]functor3__1490_47.min1.thm12017-02-06 12:45 2.3K 
[ ]functor3__1491_70.min1.thm12017-02-06 12:45 1.7K 
[ ]functor3__1496_45.min1.thm12017-02-06 12:45 1.4K 
[ ]functor3__1498_20.min1.thm12017-02-06 12:45 1.2K 
[ ]functor3__1498_20.min1.thm1.tptp2017-02-06 16:47 1.1K 
[ ]functor3__1500_54.min1.thm12017-02-06 12:45 358  
[ ]functor3__1503_18.min1.thm12017-02-06 12:45 1.3K 
[ ]functor3__1510_32.min1.thm12017-02-06 12:45 1.6K 
[ ]functor3__1513_23.min1.thm12017-02-06 12:45 3.0K 
[ ]functor3__1514_20.min1.thm12017-02-06 12:44 1.0K 
[ ]functor3__1514_20.min1.thm1.tptp2017-02-06 16:47 903  
[ ]functor3__1515_17.min1.thm12017-02-06 12:45 1.0K 
[ ]functor3__1515_17.min1.thm1.tptp2017-02-06 16:47 903  
[ ]functor3__1516_17.min1.thm12017-02-06 12:45 3.0K 
[ ]functor3__1518_18.min1.thm12017-02-06 12:44 2.8K 
[ ]functor3__1529_35.min1.thm12017-02-06 12:45 1.6K 
[ ]functor3__1531_16.min1.thm12017-02-06 12:44 2.6K 
[ ]functor3__1540_60.min1.thm12017-02-06 12:45 2.1K 
[ ]functor3__1542_7.min1.thm12017-02-06 12:45 2.1K 
[ ]functor3__1545_17.min1.thm12017-02-06 12:45 2.4K 
[ ]functor3__1549_26.min1.thm12017-02-06 12:45 2.9K 
[ ]functor3__1550_22.min1.thm12017-02-06 12:45 4.4K 
[ ]functor3__1551_22.min1.thm12017-02-06 12:45 1.7K 
[ ]functor3__1553_17.min1.thm12017-02-06 12:45 4.8K 
[ ]functor3__1562_60.min1.thm12017-02-06 12:45 2.1K 
[ ]functor3__1564_7.min1.thm12017-02-06 12:44 2.1K 
[ ]functor3__1567_17.min1.thm12017-02-06 12:45 2.4K 
[ ]functor3__1571_24.min1.thm12017-02-06 12:45 2.9K 
[ ]functor3__1572_22.min1.thm12017-02-06 12:45 4.4K 
[ ]functor3__1573_22.min1.thm12017-02-06 12:45 1.7K 
[ ]functor3__1575_17.min1.thm12017-02-06 12:45 4.8K 
[ ]functor3__1584_23.min1.thm12017-02-06 12:45 2.3K 
[ ]functor3__1585_19.min1.thm12017-02-06 12:45 5.7K 
[ ]functor3__1595_32.min1.thm12017-02-06 12:45 2.0K 
[ ]functor3__1598_26.min1.thm12017-02-06 12:45 1.6K 
[ ]functor3__1599_32.min1.thm12017-02-06 12:44 1.6K 
[ ]functor3__1601_26.min1.thm12017-02-06 12:45 1.6K 
[ ]functor3__1602_17.min1.thm12017-02-06 12:45 2.4K 
[ ]functor3__1605_29.min1.thm12017-02-06 12:44 3.2K 
[ ]functor3__1606_21.min1.thm12017-02-06 12:45 2.6K 
[ ]functor3__1607_15.min1.thm12017-02-06 12:44 5.0K 
[ ]functor3__1622_7.min1.thm12017-02-06 12:45 2.3K 
[ ]functor3__1623_60.min1.thm12017-02-06 12:45 2.3K 
[ ]functor3__1625_7.min1.thm12017-02-06 12:45 1.9K 
[ ]functor3__1626_60.min1.thm12017-02-06 12:45 1.9K 
[ ]functor3__1628_32.min1.thm12017-02-06 12:44 1.6K 
[ ]functor3__1631_48.min1.thm12017-02-06 12:45 2.0K 
[ ]functor3__1632_27.min1.thm12017-02-06 12:44 1.6K 
[ ]functor3__1633_32.min1.thm12017-02-06 12:45 3.1K 
[ ]functor3__1636_27.min1.thm12017-02-06 12:45 4.4K 
[ ]functor3__1638_28.min1.thm12017-02-06 12:44 3.3K 
[ ]functor3__1639_26.min1.thm12017-02-06 12:45 3.1K 
[ ]functor3__1651_39.min1.thm12017-02-06 12:45 2.6K 
[ ]functor3__1652_24.min1.thm12017-02-06 12:45 2.1K 
[ ]functor3__1653_21.min1.thm12017-02-06 12:44 2.0K 
[ ]functor3__1654_22.min1.thm12017-02-06 12:44 1.7K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80