Index of /~mptp/7.13.01_4.181.1147/MPTP2/ilp0/functor2
Name
Last modified
Size
Description
Parent Directory
-
functor2__1144_22.min1.thm1
2017-02-06 12:45
1.9K
functor2__1140_58.min1.thm1
2017-02-06 12:45
2.0K
functor2__1139_46.min1.thm1
2017-02-06 12:45
1.6K
functor2__1137_25.min1.thm1
2017-02-06 12:45
751
functor2__1136_58.min1.thm1
2017-02-06 12:45
2.0K
functor2__1135_46.min1.thm1
2017-02-06 12:45
1.6K
functor2__1133_25.min1.thm1
2017-02-06 12:45
751
functor2__1122_25.min1.thm1
2017-02-06 12:45
2.2K
functor2__1120_39.min1.thm1
2017-02-06 12:45
2.6K
functor2__1119_50.min1.thm1
2017-02-06 12:45
2.6K
functor2__1114_25.min1.thm1
2017-02-06 12:45
2.2K
functor2__1112_39.min1.thm1
2017-02-06 12:45
2.6K
functor2__1111_50.min1.thm1
2017-02-06 12:45
2.6K
functor2__1109_60.min1.thm1
2017-02-06 12:45
1.0K
functor2__1108_37.min1.thm1
2017-02-06 12:45
738
functor2__1101_27.min1.thm1
2017-02-06 12:45
3.6K
functor2__1097_29.min1.thm1
2017-02-06 12:45
2.3K
functor2__1095_43.min1.thm1
2017-02-06 12:45
2.8K
functor2__1094_54.min1.thm1
2017-02-06 12:45
2.7K
functor2__1089_29.min1.thm1
2017-02-06 12:45
2.3K
functor2__1087_43.min1.thm1
2017-02-06 12:45
2.8K
functor2__1086_54.min1.thm1
2017-02-06 12:45
2.7K
functor2__1085_43.min1.thm1
2017-02-06 12:45
853
functor2__1081_64.min1.thm1
2017-02-06 12:45
1.1K
functor2__1080_41.min1.thm1
2017-02-06 12:45
744
functor2__1076_27.min1.thm1
2017-02-06 12:45
3.6K
functor2__1072_29.min1.thm1
2017-02-06 12:45
2.3K
functor2__1070_43.min1.thm1
2017-02-06 12:45
2.8K
functor2__1069_54.min1.thm1
2017-02-06 12:45
2.7K
functor2__1064_29.min1.thm1
2017-02-06 12:45
2.3K
functor2__1062_43.min1.thm1
2017-02-06 12:45
2.8K
functor2__1061_54.min1.thm1
2017-02-06 12:45
2.7K
functor2__1060_43.min1.thm1
2017-02-06 12:45
853
functor2__1056_64.min1.thm1
2017-02-06 12:45
1.1K
functor2__1055_41.min1.thm1
2017-02-06 12:45
744
functor2__1052_22.min1.thm1
2017-02-06 12:45
588
functor2__1047_15.min1.thm1
2017-02-06 12:45
559
functor2__1046_60.min1.thm1
2017-02-06 12:45
1.2K
functor2__1045_60.min1.thm1
2017-02-06 12:45
1.2K
functor2__1044_60.min1.thm1
2017-02-06 12:45
1.2K
functor2__1032_21.min1.thm1.tptp
2017-02-06 16:47
594
functor2__1032_21.min1.thm1
2017-02-06 12:45
654
functor2__1025_60.min1.thm1
2017-02-06 12:45
1.2K
functor2__1024_60.min1.thm1
2017-02-06 12:45
1.2K
functor2__996_19.min1.thm1
2017-02-06 12:45
3.5K
functor2__991_20.min1.thm1
2017-02-06 12:45
1.8K
functor2__986_59.min1.thm1
2017-02-06 12:45
1.4K
functor2__985_42.min1.thm1.tptp
2017-02-06 16:47
736
functor2__985_42.min1.thm1
2017-02-06 12:45
798
functor2__981_53.min1.thm1
2017-02-06 12:45
1.9K
functor2__980_21.min1.thm1
2017-02-06 12:45
1.8K
functor2__978_46.min1.thm1
2017-02-06 12:45
662
functor2__977_23.min1.thm1
2017-02-06 12:45
1.1K
functor2__976_42.min1.thm1
2017-02-06 12:45
662
functor2__974_23.min1.thm1
2017-02-06 12:45
1.1K
functor2__973_51.min1.thm1.tptp
2017-02-06 16:47
299
functor2__973_51.min1.thm1
2017-02-06 12:45
379
functor2__972_23.min1.thm1
2017-02-06 12:45
1.1K
functor2__961_45.min1.thm1.tptp
2017-02-06 16:47
572
functor2__961_45.min1.thm1
2017-02-06 12:45
640
functor2__959_44.min1.thm1
2017-02-06 12:45
1.5K
functor2__952_45.min1.thm1.tptp
2017-02-06 16:47
615
functor2__952_45.min1.thm1
2017-02-06 12:45
669
functor2__950_44.min1.thm1
2017-02-06 12:45
1.5K
functor2__940_38.min1.thm1
2017-02-06 12:45
1.8K
functor2__938_65.min1.thm1
2017-02-06 12:45
2.2K
functor2__936_21.min1.thm1
2017-02-06 12:45
4.6K
functor2__935_23.min1.thm1
2017-02-06 12:45
4.9K
functor2__933_44.min1.thm1
2017-02-06 12:45
2.0K
functor2__929_45.min1.thm1
2017-02-06 12:45
2.5K
functor2__928_23.min1.thm1
2017-02-06 12:45
2.9K
functor2__923_45.min1.thm1
2017-02-06 12:45
2.5K
functor2__922_23.min1.thm1
2017-02-06 12:45
2.9K
functor2__911_18.min1.thm1.tptp
2017-02-06 16:47
329
functor2__911_18.min1.thm1
2017-02-06 12:45
409
functor2__897_31.min1.thm1
2017-02-06 12:45
2.0K
functor2__896_51.min1.thm1
2017-02-06 12:45
2.1K
functor2__893_25.min1.thm1
2017-02-06 12:45
3.7K
functor2__892_20.min1.thm1
2017-02-06 12:45
3.0K
functor2__887_28.min1.thm1
2017-02-06 12:45
1.1K
functor2__885_64.min1.thm1
2017-02-06 12:45
1.4K
functor2__884_19.min1.thm1
2017-02-06 12:45
890
functor2__875_24.min1.thm1
2017-02-06 12:45
1.4K
functor2__871_24.min1.thm1
2017-02-06 12:45
1.4K
functor2__870_22.min1.thm1
2017-02-06 12:45
2.4K
functor2__865_47.min1.thm1
2017-02-06 12:45
1.1K
functor2__862_78.min1.thm1
2017-02-06 12:45
2.0K
functor2__859_33.min1.thm1
2017-02-06 12:45
2.7K
functor2__858_42.min1.thm1
2017-02-06 12:45
2.6K
functor2__857_21.min1.thm1
2017-02-06 12:45
2.3K
functor2__856_38.min1.thm1
2017-02-06 12:45
2.2K
functor2__855_55.min1.thm1
2017-02-06 12:45
806
functor2__854_51.min1.thm1.tptp
2017-02-06 16:47
304
functor2__854_51.min1.thm1
2017-02-06 12:45
384
functor2__853_20.min1.thm1
2017-02-06 12:45
563
functor2__852_19.min1.thm1.tptp
2017-02-06 16:47
605
functor2__852_19.min1.thm1
2017-02-06 12:45
647
functor2__849_19.min1.thm1.tptp
2017-02-06 16:47
721
functor2__849_19.min1.thm1
2017-02-06 12:45
763
functor2__845_59.min1.thm1.tptp
2017-02-06 16:47
570
functor2__845_59.min1.thm1
2017-02-06 12:45
647
functor2__834_23.min1.thm1
2017-02-06 12:45
1.0K
functor2__833_30.min1.thm1
2017-02-06 12:45
1.3K
functor2__832_29.min1.thm1
2017-02-06 12:45
804
functor2__831_35.min1.thm1
2017-02-06 12:45
792
functor2__829_25.min1.thm1
2017-02-06 12:45
759
functor2__826_22.min1.thm1
2017-02-06 12:45
691
functor2__822_25.min1.thm1
2017-02-06 12:45
1.4K
functor2__820_67.min1.thm1
2017-02-06 12:45
3.8K
functor2__819_23.min1.thm1.tptp
2017-02-06 16:47
744
functor2__819_23.min1.thm1
2017-02-06 12:45
821
functor2__818_44.min1.thm1.tptp
2017-02-06 16:47
310
functor2__818_44.min1.thm1
2017-02-06 12:45
388
functor2__813_36.min1.thm1
2017-02-06 12:45
2.1K
functor2__812_64.min1.thm1
2017-02-06 12:45
2.1K
functor2__807_26.min1.thm1
2017-02-06 12:45
730
functor2__802_23.min1.thm1
2017-02-06 12:45
880
functor2__801_26.min1.thm1
2017-02-06 12:45
730
functor2__786_55.min1.thm1
2017-02-06 12:45
361
functor2__782_59.min1.thm1
2017-02-06 12:45
1.4K
functor2__781_18.min1.thm1.tptp
2017-02-06 16:47
605
functor2__781_18.min1.thm1
2017-02-06 12:45
647
functor2__751_19.min1.thm1.tptp
2017-02-06 16:47
314
functor2__751_19.min1.thm1
2017-02-06 12:45
374
functor2__749_36.min1.thm1.tptp
2017-02-06 16:47
698
functor2__749_36.min1.thm1
2017-02-06 12:45
771
functor2__748_58.min1.thm1
2017-02-06 12:45
622
functor2__736_21.min1.thm1
2017-02-06 12:45
970
functor2__735_27.min1.thm1
2017-02-06 12:45
732
functor2__734_45.min1.thm1
2017-02-06 12:45
1.3K
functor2__732_16.min1.thm1
2017-02-06 12:45
1.8K
functor2__726_23.min1.thm1
2017-02-06 12:45
952
functor2__717_23.min1.thm1
2017-02-06 12:45
1.7K
functor2__716_42.min1.thm1
2017-02-06 12:45
1.1K
functor2__714_66.min1.thm1
2017-02-06 12:45
1.3K
functor2__713_53.min1.thm1.tptp
2017-02-06 16:47
436
functor2__713_53.min1.thm1
2017-02-06 12:45
514
functor2__712_22.min1.thm1.tptp
2017-02-06 16:47
549
functor2__712_22.min1.thm1
2017-02-06 12:45
591
functor2__697_21.min1.thm1
2017-02-06 12:45
1.7K
functor2__688_43.min1.thm1
2017-02-06 12:45
926
functor2__682_31.min1.thm1
2017-02-06 12:45
134
functor2__681_15.min1.thm1
2017-02-06 12:45
1.7K
functor2__679_28.min1.thm1
2017-02-06 12:45
2.7K
functor2__677_60.min1.thm1
2017-02-06 12:45
566
functor2__674_18.min1.thm1
2017-02-06 12:45
2.4K
functor2__660_21.min1.thm1
2017-02-06 12:45
810
functor2__659_13.min1.thm1
2017-02-06 12:45
1.5K
functor2__642_54.min1.thm1
2017-02-06 12:45
844
functor2__636_40.min1.thm1.tptp
2017-02-06 16:47
372
functor2__636_40.min1.thm1
2017-02-06 12:45
452
functor2__620_13.min1.thm1
2017-02-06 12:45
131
functor2__618_15.min1.thm1
2017-02-06 12:45
365
functor2__616_24.min1.thm1.tptp
2017-02-06 16:47
318
functor2__616_24.min1.thm1
2017-02-06 12:45
378
functor2__614_38.min1.thm1.tptp
2017-02-06 16:47
492
functor2__614_38.min1.thm1
2017-02-06 12:45
573
functor2__613_54.min1.thm1
2017-02-06 12:45
418
functor2__601_15.min1.thm1
2017-02-06 12:45
285
functor2__599_21.min1.thm1
2017-02-06 12:45
1.3K
functor2__598_27.min1.thm1
2017-02-06 12:45
759
functor2__597_18.min1.thm1
2017-02-06 12:45
735
functor2__595_23.min1.thm1
2017-02-06 12:45
710
functor2__592_20.min1.thm1
2017-02-06 12:45
650
functor2__588_23.min1.thm1
2017-02-06 12:45
765
functor2__587_36.min1.thm1.tptp
2017-02-06 16:47
509
functor2__587_36.min1.thm1
2017-02-06 12:45
586
functor2__580_23.min1.thm1
2017-02-06 12:45
1.2K
functor2__578_36.min1.thm1.tptp
2017-02-06 16:47
451
functor2__578_36.min1.thm1
2017-02-06 12:45
520
functor2__571_49.min1.thm1
2017-02-06 12:45
1.1K
functor2__567_23.min1.thm1
2017-02-06 12:45
516
functor2__564_50.min1.thm1
2017-02-06 12:45
1.0K
functor2__563_20.min1.thm1
2017-02-06 12:45
650
functor2__561_25.min1.thm1
2017-02-06 12:45
1.3K
functor2__560_45.min1.thm1
2017-02-06 12:45
1.1K
functor2__555_54.min1.thm1
2017-02-06 12:45
1.0K
functor2__518_40.min1.thm1
2017-02-06 12:45
1.7K
functor2__517_59.min1.thm1
2017-02-06 12:45
2.2K
functor2__516_32.min1.thm1
2017-02-06 12:45
1.8K
functor2__514_41.min1.thm1
2017-02-06 12:45
1.7K
functor2__497_17.min1.thm1
2017-02-06 12:45
3.6K
functor2__496_57.min1.thm1
2017-02-06 12:45
2.1K
functor2__479_16.min1.thm1
2017-02-06 12:45
2.3K
functor2__478_26.min1.thm1
2017-02-06 12:45
2.3K
functor2__476_32.min1.thm1
2017-02-06 12:45
1.8K
functor2__463_13.min1.thm1
2017-02-06 12:45
3.9K
functor2__461_16.min1.thm1
2017-02-06 12:45
2.5K
functor2__460_53.min1.thm1
2017-02-06 12:45
4.4K
functor2__456_59.min1.thm1
2017-02-06 12:45
2.2K
functor2__455_64.min1.thm1
2017-02-06 12:45
4.6K
functor2__452_41.min1.thm1
2017-02-06 12:45
1.7K
functor2__438_19.min1.thm1
2017-02-06 12:45
3.0K
functor2__436_77.min1.thm1
2017-02-06 12:45
2.9K
functor2__426_14.min1.thm1
2017-02-06 12:45
2.7K
functor2__412_34.min1.thm1
2017-02-06 12:45
1.6K
functor2__393_28.min1.thm1
2017-02-06 12:45
4.0K
functor2__392_30.min1.thm1
2017-02-06 12:45
6.3K
functor2__391_28.min1.thm1
2017-02-06 12:45
3.2K
functor2__390_26.min1.thm1
2017-02-06 12:45
6.3K
functor2__389_28.min1.thm1
2017-02-06 12:45
3.2K
functor2__388_25.min1.thm1
2017-02-06 12:45
6.3K
functor2__387_51.min1.thm1
2017-02-06 12:45
4.0K
functor2__386_27.min1.thm1
2017-02-06 12:45
2.4K
functor2__385_27.min1.thm1
2017-02-06 12:45
2.4K
functor2__383_25.min1.thm1
2017-02-06 12:45
2.4K
functor2__379_26.min1.thm1
2017-02-06 12:45
1.6K
functor2__378_26.min1.thm1
2017-02-06 12:45
1.6K
functor2__377_25.min1.thm1
2017-02-06 12:45
1.6K
functor2__376_25.min1.thm1
2017-02-06 12:45
1.6K
functor2__355_66.min1.thm1
2017-02-06 12:45
707
functor2__349_16.min1.thm1
2017-02-06 12:45
2.5K
functor2__347_30.min1.thm1
2017-02-06 12:45
1.0K
functor2__333_25.min1.thm1
2017-02-06 12:45
2.0K
functor2__332_22.min1.thm1
2017-02-06 12:45
2.0K
functor2__331_21.min1.thm1
2017-02-06 12:45
3.7K
functor2__330_21.min1.thm1
2017-02-06 12:45
1.6K
functor2__329_13.min1.thm1
2017-02-06 12:45
1.3K
functor2__328_21.min1.thm1
2017-02-06 12:45
3.7K
functor2__327_21.min1.thm1
2017-02-06 12:45
2.0K
functor2__326_38.min1.thm1
2017-02-06 12:45
2.0K
functor2__325_20.min1.thm1
2017-02-06 12:45
834
functor2__324_20.min1.thm1
2017-02-06 12:45
834
functor2__310_17.min1.thm1
2017-02-06 12:45
3.9K
functor2__308_30.min1.thm1
2017-02-06 12:45
3.6K
functor2__307_32.min1.thm1
2017-02-06 12:45
3.9K
functor2__306_34.min1.thm1
2017-02-06 12:45
5.5K
functor2__305_32.min1.thm1
2017-02-06 12:45
3.9K
functor2__304_51.min1.thm1
2017-02-06 12:45
3.6K
functor2__303_47.min1.thm1
2017-02-06 12:45
1.9K
functor2__302_26.min1.thm1
2017-02-06 12:45
1.5K
functor2__299_31.min1.thm1
2017-02-06 12:45
1.4K
functor2__298_32.min1.thm1
2017-02-06 12:45
1.4K
functor2__281_17.min1.thm1
2017-02-06 12:45
2.7K
functor2__279_15.min1.thm1
2017-02-06 12:45
3.3K
functor2__278_29.min1.thm1
2017-02-06 12:45
2.0K
functor2__277_49.min1.thm1
2017-02-06 12:45
3.4K
functor2__276_26.min1.thm1
2017-02-06 12:45
1.4K
functor2__273_27.min1.thm1
2017-02-06 12:45
2.7K
functor2__271_15.min1.thm1
2017-02-06 12:45
3.1K
functor2__270_29.min1.thm1
2017-02-06 12:45
2.0K
functor2__269_49.min1.thm1
2017-02-06 12:45
3.4K
functor2__268_26.min1.thm1
2017-02-06 12:45
1.4K
functor2__253_19.min1.thm1
2017-02-06 12:45
1.5K
functor2__252_69.min1.thm1
2017-02-06 12:45
2.3K
functor2__241_17.min1.thm1
2017-02-06 12:45
2.7K
functor2__239_56.min1.thm1
2017-02-06 12:45
2.1K
functor2__238_16.min1.thm1.tptp
2017-02-06 16:47
649
functor2__238_16.min1.thm1
2017-02-06 12:45
726
functor2__237_63.min1.thm1
2017-02-06 12:45
2.1K
functor2__236_40.min1.thm1.tptp
2017-02-06 16:47
278
functor2__236_40.min1.thm1
2017-02-06 12:45
356
functor2__216_22.min1.thm1
2017-02-06 12:45
2.8K
functor2__214_59.min1.thm1
2017-02-06 12:45
2.1K
functor2__213_19.min1.thm1.tptp
2017-02-06 16:47
1.3K
functor2__213_19.min1.thm1
2017-02-06 12:45
1.4K
functor2__212_27.min1.thm1.tptp
2017-02-06 16:47
1.3K
functor2__212_27.min1.thm1
2017-02-06 12:45
1.4K
functor2__211_67.min1.thm1
2017-02-06 12:45
2.1K
functor2__210_42.min1.thm1.tptp
2017-02-06 16:47
288
functor2__210_42.min1.thm1
2017-02-06 12:45
366
functor2__206_31.min1.thm1
2017-02-06 12:45
1.3K
functor2__199_19.min1.thm1
2017-02-06 12:45
3.1K
functor2__198_15.min1.thm1.tptp
2017-02-06 16:47
1.2K
functor2__198_15.min1.thm1
2017-02-06 12:45
1.2K
functor2__195_55.min1.thm1
2017-02-06 12:45
1.9K
functor2__192_17.min1.thm1.tptp
2017-02-06 16:47
1.2K
functor2__192_17.min1.thm1
2017-02-06 12:45
1.3K
functor2__188_31.min1.thm1
2017-02-06 12:45
1.3K
functor2__185_53.min1.thm1
2017-02-06 12:45
581
functor2__169_13.min1.thm1
2017-02-06 12:45
623
functor2__167_16.min1.thm1
2017-02-06 12:45
634
functor2__166_35.min1.thm1
2017-02-06 12:45
2.1K
functor2__150_22.min1.thm1
2017-02-06 12:45
2.7K
functor2__148_19.min1.thm1
2017-02-06 12:45
687
functor2__147_31.min1.thm1
2017-02-06 12:45
687
functor2__146_42.min1.thm1.tptp
2017-02-06 16:47
288
functor2__146_42.min1.thm1
2017-02-06 12:45
366
functor2__136_19.min1.thm1.tptp
2017-02-06 16:47
647
functor2__136_19.min1.thm1
2017-02-06 12:45
710
functor2__135_38.min1.thm1
2017-02-06 12:45
1.9K
functor2__133_18.min1.thm1
2017-02-06 12:45
1.9K
functor2__132_17.min1.thm1.tptp
2017-02-06 16:47
525
functor2__132_17.min1.thm1
2017-02-06 12:45
602
functor2__126_53.min1.thm1
2017-02-06 12:45
277
functor2__113_18.min1.thm1.tptp
2017-02-06 16:47
674
functor2__113_18.min1.thm1
2017-02-06 12:45
738
functor2__108_21.min1.thm1
2017-02-06 12:45
803
functor2__107_28.min1.thm1
2017-02-06 12:45
1.4K
functor2__106_37.min1.thm1
2017-02-06 12:45
293
functor2__90_17.min1.thm1
2017-02-06 12:45
2.3K
functor2__89_45.min1.thm1
2017-02-06 12:45
1.7K
functor2__76_16.min1.thm1
2017-02-06 12:45
1.6K
functor2__63_38.min1.thm1
2017-02-06 12:45
1.9K
functor2__52_14.min1.thm1
2017-02-06 12:45
893
functor2__50_14.min1.thm1
2017-02-06 12:45
893
functor2__48_14.min1.thm1
2017-02-06 12:45
893
functor2__46_14.min1.thm1
2017-02-06 12:45
893
functor2__39_14.min1.thm1
2017-02-06 12:45
1.1K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80