Index of /~mptp/7.13.01_4.181.1147/MPTP2/ilp0/functor0
Name
Last modified
Size
Description
Parent Directory
-
functor0__56_17.min1.thm1
2017-02-06 12:45
868
functor0__57_56.min1.thm1
2017-02-06 12:45
896
functor0__58_17.min1.thm1
2017-02-06 12:45
471
functor0__59_17.min1.thm1
2017-02-06 12:45
471
functor0__60_21.min1.thm1
2017-02-06 12:45
1.4K
functor0__66_14.min1.thm1
2017-02-06 12:45
852
functor0__67_54.min1.thm1
2017-02-06 12:45
868
functor0__68_18.min1.thm1
2017-02-06 12:45
1.1K
functor0__69_19.min1.thm1
2017-02-06 12:45
1.4K
functor0__71_57.min1.thm1
2017-02-06 12:45
856
functor0__72_17.min1.thm1
2017-02-06 12:45
437
functor0__74_13.min1.thm1
2017-02-06 12:45
625
functor0__75_30.min1.thm1
2017-02-06 12:45
645
functor0__76_22.min1.thm1
2017-02-06 12:45
595
functor0__83_11.min1.thm1
2017-02-06 12:45
186
functor0__85_19.min1.thm1
2017-02-06 12:45
1.0K
functor0__88_18.min1.thm1
2017-02-06 12:45
795
functor0__97_14.min1.thm1
2017-02-06 12:45
484
functor0__97_14.min1.thm1.tptp
2017-02-06 16:47
418
functor0__98_17.min1.thm1
2017-02-06 12:45
767
functor0__105_18.min1.thm1
2017-02-06 12:45
439
functor0__106_22.min1.thm1
2017-02-06 12:45
649
functor0__107_16.min1.thm1
2017-02-06 12:45
677
functor0__112_18.min1.thm1
2017-02-06 12:45
437
functor0__113_37.min1.thm1
2017-02-06 12:45
1.4K
functor0__114_19.min1.thm1
2017-02-06 12:45
1.1K
functor0__118_18.min1.thm1
2017-02-06 12:45
437
functor0__119_37.min1.thm1
2017-02-06 12:45
1.4K
functor0__120_19.min1.thm1
2017-02-06 12:45
1.1K
functor0__135_14.min1.thm1
2017-02-06 12:45
684
functor0__137_18.min1.thm1
2017-02-06 12:45
704
functor0__138_14.min1.thm1
2017-02-06 12:45
738
functor0__140_17.min1.thm1
2017-02-06 12:45
908
functor0__141_36.min1.thm1
2017-02-06 12:45
909
functor0__149_17.min1.thm1
2017-02-06 12:45
840
functor0__151_19.min1.thm1
2017-02-06 12:45
696
functor0__152_15.min1.thm1
2017-02-06 12:45
720
functor0__154_18.min1.thm1
2017-02-06 12:45
887
functor0__155_32.min1.thm1
2017-02-06 12:45
1.1K
functor0__172_11.min1.thm1
2017-02-06 12:45
460
functor0__172_11.min1.thm1.tptp
2017-02-06 16:47
387
functor0__188_23.min1.thm1
2017-02-06 12:45
546
functor0__189_25.min1.thm1
2017-02-06 12:45
871
functor0__190_42.min1.thm1
2017-02-06 12:45
1.1K
functor0__197_24.min1.thm1
2017-02-06 12:45
771
functor0__198_36.min1.thm1
2017-02-06 12:45
923
functor0__207_38.min1.thm1
2017-02-06 12:45
1.1K
functor0__208_33.min1.thm1
2017-02-06 12:45
1.8K
functor0__221_28.min1.thm1
2017-02-06 12:45
718
functor0__222_22.min1.thm1
2017-02-06 12:45
521
functor0__223_22.min1.thm1
2017-02-06 12:45
521
functor0__224_33.min1.thm1
2017-02-06 12:45
875
functor0__225_30.min1.thm1
2017-02-06 12:45
849
functor0__232_36.min1.thm1
2017-02-06 12:45
1.0K
functor0__233_23.min1.thm1
2017-02-06 12:45
738
functor0__234_23.min1.thm1
2017-02-06 12:45
738
functor0__235_21.min1.thm1
2017-02-06 12:45
691
functor0__236_20.min1.thm1
2017-02-06 12:45
691
functor0__238_33.min1.thm1
2017-02-06 12:45
1.0K
functor0__239_27.min1.thm1
2017-02-06 12:45
829
functor0__240_24.min1.thm1
2017-02-06 12:45
584
functor0__241_26.min1.thm1
2017-02-06 12:45
1.0K
functor0__242_13.min1.thm1
2017-02-06 12:45
500
functor0__243_26.min1.thm1
2017-02-06 12:45
829
functor0__244_24.min1.thm1
2017-02-06 12:45
584
functor0__245_26.min1.thm1
2017-02-06 12:45
1.0K
functor0__246_13.min1.thm1
2017-02-06 12:45
500
functor0__247_39.min1.thm1
2017-02-06 12:45
1.6K
functor0__248_19.min1.thm1
2017-02-06 12:45
2.3K
functor0__262_35.min1.thm1
2017-02-06 12:45
908
functor0__264_28.min1.thm1
2017-02-06 12:45
725
functor0__265_28.min1.thm1
2017-02-06 12:45
725
functor0__266_34.min1.thm1
2017-02-06 12:45
1.3K
functor0__267_25.min1.thm1
2017-02-06 12:45
1.2K
functor0__268_27.min1.thm1
2017-02-06 12:45
1.6K
functor0__269_17.min1.thm1
2017-02-06 12:45
477
functor0__279_23.min1.thm1
2017-02-06 12:45
440
functor0__279_23.min1.thm1.tptp
2017-02-06 16:47
375
functor0__283_21.min1.thm1
2017-02-06 12:45
745
functor0__287_21.min1.thm1
2017-02-06 12:45
746
functor0__290_25.min1.thm1
2017-02-06 12:45
865
functor0__291_25.min1.thm1
2017-02-06 12:45
866
functor0__292_31.min1.thm1
2017-02-06 12:45
837
functor0__293_24.min1.thm1
2017-02-06 12:45
1.0K
functor0__294_21.min1.thm1
2017-02-06 12:45
838
functor0__296_29.min1.thm1
2017-02-06 12:45
1.2K
functor0__297_19.min1.thm1
2017-02-06 12:45
478
functor0__298_17.min1.thm1
2017-02-06 12:45
816
functor0__307_36.min1.thm1
2017-02-06 12:45
1.0K
functor0__308_36.min1.thm1
2017-02-06 12:45
1.0K
functor0__319_21.min1.thm1
2017-02-06 12:45
967
functor0__321_25.min1.thm1
2017-02-06 12:45
1.2K
functor0__322_21.min1.thm1
2017-02-06 12:45
970
functor0__324_25.min1.thm1
2017-02-06 12:45
1.2K
functor0__327_41.min1.thm1
2017-02-06 12:45
1.4K
functor0__328_41.min1.thm1
2017-02-06 12:45
1.4K
functor0__330_21.min1.thm1
2017-02-06 12:45
1.8K
functor0__331_21.min1.thm1
2017-02-06 12:45
1.8K
functor0__332_45.min1.thm1
2017-02-06 12:45
1.0K
functor0__333_27.min1.thm1
2017-02-06 12:45
1.2K
functor0__334_23.min1.thm1
2017-02-06 12:45
1.6K
functor0__335_27.min1.thm1
2017-02-06 12:45
1.4K
functor0__336_30.min1.thm1
2017-02-06 12:45
1.2K
functor0__337_27.min1.thm1
2017-02-06 12:45
1.0K
functor0__338_17.min1.thm1
2017-02-06 12:45
1.7K
functor0__348_27.min1.thm1
2017-02-06 12:45
779
functor0__350_43.min1.thm1
2017-02-06 12:45
1.3K
functor0__351_36.min1.thm1
2017-02-06 12:45
1.0K
functor0__352_36.min1.thm1
2017-02-06 12:45
1.0K
functor0__353_28.min1.thm1
2017-02-06 12:45
731
functor0__354_29.min1.thm1
2017-02-06 12:45
1.0K
functor0__355_27.min1.thm1
2017-02-06 12:45
779
functor0__356_45.min1.thm1
2017-02-06 12:45
1.1K
functor0__357_24.min1.thm1
2017-02-06 12:45
1.2K
functor0__358_20.min1.thm1
2017-02-06 12:45
1.7K
functor0__359_21.min1.thm1
2017-02-06 12:45
1.0K
functor0__367_34.min1.thm1
2017-02-06 12:45
733
functor0__371_20.min1.thm1
2017-02-06 12:45
842
functor0__373_22.min1.thm1
2017-02-06 12:45
1.0K
functor0__374_22.min1.thm1
2017-02-06 12:45
1.0K
functor0__375_38.min1.thm1
2017-02-06 12:45
916
functor0__377_50.min1.thm1
2017-02-06 12:45
1.7K
functor0__378_21.min1.thm1
2017-02-06 12:45
1.6K
functor0__379_22.min1.thm1
2017-02-06 12:45
1.0K
functor0__380_22.min1.thm1
2017-02-06 12:45
1.0K
functor0__381_22.min1.thm1
2017-02-06 12:45
758
functor0__382_22.min1.thm1
2017-02-06 12:45
758
functor0__383_20.min1.thm1
2017-02-06 12:45
714
functor0__384_20.min1.thm1
2017-02-06 12:45
714
functor0__386_30.min1.thm1
2017-02-06 12:45
1.1K
functor0__388_31.min1.thm1
2017-02-06 12:45
1.6K
functor0__390_25.min1.thm1
2017-02-06 12:45
2.4K
functor0__393_45.min1.thm1
2017-02-06 12:45
1.9K
functor0__394_29.min1.thm1
2017-02-06 12:45
1.5K
functor0__395_15.min1.thm1
2017-02-06 12:45
1.9K
functor0__400_28.min1.thm1
2017-02-06 12:45
1.1K
functor0__401_22.min1.thm1
2017-02-06 12:45
1.2K
functor0__406_44.min1.thm1
2017-02-06 12:45
1.2K
functor0__407_23.min1.thm1
2017-02-06 12:45
1.4K
functor0__408_21.min1.thm1
2017-02-06 12:45
585
functor0__409_20.min1.thm1
2017-02-06 12:45
585
functor0__410_43.min1.thm1
2017-02-06 12:45
885
functor0__411_37.min1.thm1
2017-02-06 12:45
1.1K
functor0__413_36.min1.thm1
2017-02-06 12:45
1.3K
functor0__414_28.min1.thm1
2017-02-06 12:45
916
functor0__415_45.min1.thm1
2017-02-06 12:45
1.7K
functor0__417_37.min1.thm1
2017-02-06 12:45
1.8K
functor0__418_27.min1.thm1
2017-02-06 12:45
1.8K
functor0__430_16.min1.thm1
2017-02-06 12:45
916
functor0__435_18.min1.thm1
2017-02-06 12:45
701
functor0__436_13.min1.thm1
2017-02-06 12:45
730
functor0__437_13.min1.thm1
2017-02-06 12:45
741
functor0__440_14.min1.thm1
2017-02-06 12:45
824
functor0__441_16.min1.thm1
2017-02-06 12:45
896
functor0__442_20.min1.thm1
2017-02-06 12:45
677
functor0__452_34.min1.thm1
2017-02-06 12:45
1.0K
functor0__453_28.min1.thm1
2017-02-06 12:45
1.2K
functor0__454_32.min1.thm1
2017-02-06 12:45
703
functor0__455_31.min1.thm1
2017-02-06 12:45
831
functor0__456_30.min1.thm1
2017-02-06 12:45
831
functor0__462_17.min1.thm1
2017-02-06 12:45
1.1K
functor0__463_23.min1.thm1
2017-02-06 12:45
1.2K
functor0__464_39.min1.thm1
2017-02-06 12:45
1.3K
functor0__465_31.min1.thm1
2017-02-06 12:45
1.3K
functor0__466_31.min1.thm1
2017-02-06 12:45
1.0K
functor0__467_31.min1.thm1
2017-02-06 12:45
1.0K
functor0__476_17.min1.thm1
2017-02-06 12:45
193
functor0__479_36.min1.thm1
2017-02-06 12:45
755
functor0__480_13.min1.thm1
2017-02-06 12:45
639
functor0__481_21.min1.thm1
2017-02-06 12:45
814
functor0__484_21.min1.thm1
2017-02-06 12:45
1.1K
functor0__497_20.min1.thm1
2017-02-06 12:45
1.4K
functor0__513_18.min1.thm1
2017-02-06 12:45
774
functor0__514_13.min1.thm1
2017-02-06 12:45
731
functor0__515_33.min1.thm1
2017-02-06 12:45
323
functor0__515_33.min1.thm1.tptp
2017-02-06 16:47
245
functor0__516_15.min1.thm1
2017-02-06 12:45
953
functor0__517_17.min1.thm1
2017-02-06 12:45
967
functor0__518_23.min1.thm1
2017-02-06 12:45
1.7K
functor0__520_17.min1.thm1
2017-02-06 12:45
915
functor0__549_43.min1.thm1
2017-02-06 12:45
824
functor0__565_13.min1.thm1
2017-02-06 12:45
193
functor0__568_26.min1.thm1
2017-02-06 12:45
366
functor0__568_26.min1.thm1.tptp
2017-02-06 16:47
302
functor0__569_52.min1.thm1
2017-02-06 12:45
680
functor0__569_52.min1.thm1.tptp
2017-02-06 16:47
601
functor0__571_45.min1.thm1
2017-02-06 12:45
535
functor0__571_45.min1.thm1.tptp
2017-02-06 16:47
456
functor0__572_40.min1.thm1
2017-02-06 12:45
759
functor0__576_24.min1.thm1
2017-02-06 12:45
1.4K
functor0__576_35.min1.thm1
2017-02-06 12:45
969
functor0__579_23.min1.thm1
2017-02-06 12:45
1.6K
functor0__585_25.min1.thm1
2017-02-06 12:45
898
functor0__586_47.min1.thm1
2017-02-06 12:45
1.6K
functor0__601_20.min1.thm1
2017-02-06 12:45
1.3K
functor0__601_20.min1.thm1.tptp
2017-02-06 16:47
1.2K
functor0__603_21.min1.thm1
2017-02-06 12:45
1.4K
functor0__603_21.min1.thm1.tptp
2017-02-06 16:47
1.4K
functor0__606_22.min1.thm1
2017-02-06 12:45
1.2K
functor0__611_18.min1.thm1
2017-02-06 12:45
2.3K
functor0__612_17.min1.thm1
2017-02-06 12:45
813
functor0__613_17.min1.thm1
2017-02-06 12:45
813
functor0__617_17.min1.thm1
2017-02-06 12:45
813
functor0__634_17.min1.thm1
2017-02-06 12:45
2.5K
functor0__651_47.min1.thm1
2017-02-06 12:45
297
functor0__651_47.min1.thm1.tptp
2017-02-06 16:47
217
functor0__652_45.min1.thm1
2017-02-06 12:45
615
functor0__652_45.min1.thm1.tptp
2017-02-06 16:47
529
functor0__653_47.min1.thm1
2017-02-06 12:45
559
functor0__653_47.min1.thm1.tptp
2017-02-06 16:47
473
functor0__657_45.min1.thm1
2017-02-06 12:45
701
functor0__658_47.min1.thm1
2017-02-06 12:45
645
functor0__660_26.min1.thm1
2017-02-06 12:45
545
functor0__661_47.min1.thm1
2017-02-06 12:45
2.2K
functor0__663_15.min1.thm1
2017-02-06 12:45
914
functor0__665_13.min1.thm1
2017-02-06 12:45
131
functor0__682_44.min1.thm1
2017-02-06 12:45
1.3K
functor0__696_13.min1.thm1
2017-02-06 12:45
193
functor0__701_18.min1.thm1
2017-02-06 12:45
1.8K
functor0__705_18.min1.thm1
2017-02-06 12:45
2.2K
functor0__719_22.min1.thm1
2017-02-06 12:45
2.8K
functor0__720_37.min1.thm1
2017-02-06 12:45
1.9K
functor0__755_56.min1.thm1
2017-02-06 12:45
415
functor0__759_46.min1.thm1
2017-02-06 12:45
876
functor0__761_56.min1.thm1
2017-02-06 12:45
483
functor0__761_56.min1.thm1.tptp
2017-02-06 16:47
401
functor0__766_43.min1.thm1
2017-02-06 12:45
330
functor0__766_43.min1.thm1.tptp
2017-02-06 16:47
252
functor0__767_9.min1.thm1
2017-02-06 12:45
131
functor0__769_14.min1.thm1
2017-02-06 12:45
1.6K
functor0__770_24.min1.thm1
2017-02-06 12:45
686
functor0__772_19.min1.thm1
2017-02-06 12:45
1.5K
functor0__798_48.min1.thm1
2017-02-06 12:45
1.9K
functor0__800_17.min1.thm1
2017-02-06 12:45
1.5K
functor0__802_12.min1.thm1
2017-02-06 12:45
641
functor0__812_59.min1.thm1
2017-02-06 12:45
903
functor0__812_59.min1.thm1.tptp
2017-02-06 16:47
828
functor0__816_17.min1.thm1
2017-02-06 12:45
3.9K
functor0__863_66.min1.thm1
2017-02-06 12:45
1.3K
functor0__865_37.min1.thm1
2017-02-06 12:45
1.1K
functor0__883_17.min1.thm1
2017-02-06 12:45
1.1K
functor0__884_31.min1.thm1
2017-02-06 12:45
292
functor0__885_13.min1.thm1
2017-02-06 12:45
860
functor0__887_19.min1.thm1
2017-02-06 12:45
1.9K
functor0__899_71.min1.thm1
2017-02-06 12:45
1.3K
functor0__902_53.min1.thm1
2017-02-06 12:45
1.0K
functor0__903_33.min1.thm1
2017-02-06 12:45
1.1K
functor0__909_18.min1.thm1
2017-02-06 12:45
1.2K
functor0__910_13.min1.thm1
2017-02-06 12:45
744
functor0__911_32.min1.thm1
2017-02-06 12:45
848
functor0__971_13.min1.thm1
2017-02-06 12:45
131
functor0__994_59.min1.thm1
2017-02-06 12:45
883
functor0__995_21.min1.thm1
2017-02-06 12:45
742
functor0__996_58.min1.thm1
2017-02-06 12:45
1.1K
functor0__997_38.min1.thm1
2017-02-06 12:45
1.0K
functor0__1002_13.min1.thm1
2017-02-06 12:45
644
functor0__1002_13.min1.thm1.tptp
2017-02-06 16:47
574
functor0__1004_13.min1.thm1
2017-02-06 12:45
644
functor0__1004_13.min1.thm1.tptp
2017-02-06 16:47
574
functor0__1005_56.min1.thm1
2017-02-06 12:45
1.0K
functor0__1008_25.min1.thm1
2017-02-06 12:45
1.6K
functor0__1025_67.min1.thm1
2017-02-06 12:45
811
functor0__1027_32.min1.thm1
2017-02-06 12:45
423
functor0__1027_32.min1.thm1.tptp
2017-02-06 16:47
337
functor0__1028_23.min1.thm1
2017-02-06 12:45
896
functor0__1029_16.min1.thm1
2017-02-06 12:45
1.7K
functor0__1045_59.min1.thm1
2017-02-06 12:45
883
functor0__1046_21.min1.thm1
2017-02-06 12:45
742
functor0__1047_58.min1.thm1
2017-02-06 12:45
1.1K
functor0__1048_42.min1.thm1
2017-02-06 12:45
1.0K
functor0__1052_56.min1.thm1
2017-02-06 12:45
1.0K
functor0__1058_13.min1.thm1
2017-02-06 12:45
644
functor0__1058_13.min1.thm1.tptp
2017-02-06 16:47
574
functor0__1064_13.min1.thm1
2017-02-06 12:45
644
functor0__1064_13.min1.thm1.tptp
2017-02-06 16:47
574
functor0__1071_25.min1.thm1
2017-02-06 12:45
1.6K
functor0__1088_67.min1.thm1
2017-02-06 12:45
811
functor0__1090_32.min1.thm1
2017-02-06 12:45
423
functor0__1090_32.min1.thm1.tptp
2017-02-06 16:47
337
functor0__1091_23.min1.thm1
2017-02-06 12:45
896
functor0__1092_16.min1.thm1
2017-02-06 12:45
1.7K
functor0__1112_45.min1.thm1
2017-02-06 12:45
1.0K
functor0__1113_18.min1.thm1
2017-02-06 12:45
963
functor0__1113_32.min1.thm1
2017-02-06 12:45
648
functor0__1114_40.min1.thm1
2017-02-06 12:45
502
functor0__1114_40.min1.thm1.tptp
2017-02-06 16:47
416
functor0__1116_69.min1.thm1
2017-02-06 12:45
1.0K
functor0__1128_51.min1.thm1
2017-02-06 12:45
1.2K
functor0__1129_35.min1.thm1
2017-02-06 12:45
1.3K
functor0__1130_28.min1.thm1
2017-02-06 12:45
1.2K
functor0__1138_57.min1.thm1
2017-02-06 12:45
1.1K
functor0__1139_39.min1.thm1
2017-02-06 12:45
471
functor0__1139_39.min1.thm1.tptp
2017-02-06 16:47
383
functor0__1140_21.min1.thm1
2017-02-06 12:45
1.6K
functor0__1141_43.min1.thm1
2017-02-06 12:45
1.3K
functor0__1142_39.min1.thm1
2017-02-06 12:45
1.1K
functor0__1145_20.min1.thm1
2017-02-06 12:45
709
functor0__1160_57.min1.thm1
2017-02-06 12:45
957
functor0__1165_9.min1.thm1
2017-02-06 12:45
370
functor0__1165_9.min1.thm1.tptp
2017-02-06 16:47
300
functor0__1174_20.min1.thm1
2017-02-06 12:45
600
functor0__1180_57.min1.thm1
2017-02-06 12:45
1.1K
functor0__1183_19.min1.thm1
2017-02-06 12:45
1.6K
functor0__1205_36.min1.thm1
2017-02-06 12:45
1.0K
functor0__1210_11.min1.thm1
2017-02-06 12:45
628
functor0__1210_11.min1.thm1.tptp
2017-02-06 16:47
558
functor0__1212_11.min1.thm1
2017-02-06 12:45
628
functor0__1212_11.min1.thm1.tptp
2017-02-06 16:47
558
functor0__1230_55.min1.thm1
2017-02-06 12:45
1.6K
functor0__1240_53.min1.thm1
2017-02-06 12:45
1.6K
functor0__1242_19.min1.thm1
2017-02-06 12:45
1.6K
functor0__1253_40.min1.thm1
2017-02-06 12:45
1.0K
functor0__1258_31.min1.thm1
2017-02-06 12:45
1.4K
functor0__1262_11.min1.thm1
2017-02-06 12:45
628
functor0__1262_11.min1.thm1.tptp
2017-02-06 16:47
558
functor0__1263_26.min1.thm1
2017-02-06 12:45
1.4K
functor0__1267_11.min1.thm1
2017-02-06 12:45
628
functor0__1267_11.min1.thm1.tptp
2017-02-06 16:47
558
functor0__1268_26.min1.thm1
2017-02-06 12:45
1.5K
functor0__1287_55.min1.thm1
2017-02-06 12:45
1.6K
functor0__1297_53.min1.thm1
2017-02-06 12:45
1.6K
functor0__1299_19.min1.thm1
2017-02-06 12:45
1.6K
functor0__1315_15.min1.thm1
2017-02-06 12:45
509
functor0__1315_15.min1.thm1.tptp
2017-02-06 16:47
436
functor0__1349_55.min1.thm1
2017-02-06 12:45
1.2K
functor0__1358_37.min1.thm1
2017-02-06 12:45
443
functor0__1358_37.min1.thm1.tptp
2017-02-06 16:47
355
functor0__1359_38.min1.thm1
2017-02-06 12:45
1.3K
functor0__1368_4.min1.thm1
2017-02-06 12:45
1.0K
functor0__1369_11.min1.thm1
2017-02-06 12:45
129
functor0__1372_58.min1.thm1
2017-02-06 12:45
1.2K
functor0__1373_11.min1.thm1
2017-02-06 12:45
852
functor0__1378_11.min1.thm1
2017-02-06 12:45
340
functor0__1388_22.min1.thm1
2017-02-06 12:45
807
functor0__1389_22.min1.thm1
2017-02-06 12:45
823
functor0__1390_59.min1.thm1
2017-02-06 12:45
3.0K
functor0__1404_55.min1.thm1
2017-02-06 12:45
1.0K
functor0__1405_22.min1.thm1
2017-02-06 12:45
600
functor0__1409_19.min1.thm1
2017-02-06 12:45
826
functor0__1411_19.min1.thm1
2017-02-06 12:45
1.4K
functor0__1482_28.min1.thm1
2017-02-06 12:45
1.6K
functor0__1483_28.min1.thm1
2017-02-06 12:45
1.6K
functor0__1485_17.min1.thm1
2017-02-06 12:45
2.2K
functor0__1486_24.min1.thm1
2017-02-06 12:45
1.3K
functor0__1487_33.min1.thm1
2017-02-06 12:45
1.6K
functor0__1498_27.min1.thm1
2017-02-06 12:45
1.6K
functor0__1501_27.min1.thm1
2017-02-06 12:45
1.6K
functor0__1505_62.min1.thm1
2017-02-06 12:45
821
functor0__1505_62.min1.thm1.tptp
2017-02-06 16:47
741
functor0__1506_16.min1.thm1
2017-02-06 12:45
2.2K
functor0__1508_23.min1.thm1
2017-02-06 12:45
1.2K
functor0__1509_31.min1.thm1
2017-02-06 12:45
1.6K
functor0__1511_17.min1.thm1
2017-02-06 12:45
2.7K
functor0__1537_28.min1.thm1
2017-02-06 12:45
1.6K
functor0__1538_28.min1.thm1
2017-02-06 12:45
1.6K
functor0__1541_24.min1.thm1
2017-02-06 12:45
1.3K
functor0__1542_33.min1.thm1
2017-02-06 12:45
1.6K
functor0__1553_27.min1.thm1
2017-02-06 12:45
1.6K
functor0__1556_27.min1.thm1
2017-02-06 12:45
1.6K
functor0__1560_62.min1.thm1
2017-02-06 12:45
821
functor0__1560_62.min1.thm1.tptp
2017-02-06 16:47
741
functor0__1562_16.min1.thm1
2017-02-06 12:45
2.2K
functor0__1563_23.min1.thm1
2017-02-06 12:45
1.2K
functor0__1564_31.min1.thm1
2017-02-06 12:45
1.6K
functor0__1566_17.min1.thm1
2017-02-06 12:45
2.7K
functor0__1579_22.min1.thm1
2017-02-06 12:45
596
functor0__1586_28.min1.thm1
2017-02-06 12:45
1.4K
functor0__1599_22.min1.thm1
2017-02-06 12:45
596
functor0__1619_20.min1.thm1
2017-02-06 12:45
807
functor0__1626_24.min1.thm1
2017-02-06 12:45
1.3K
functor0__1634_25.min1.thm1
2017-02-06 12:45
2.4K
functor0__1636_30.min1.thm1
2017-02-06 12:45
548
functor0__1636_30.min1.thm1.tptp
2017-02-06 16:47
462
functor0__1641_23.min1.thm1
2017-02-06 12:45
1.2K
functor0__1643_19.min1.thm1
2017-02-06 12:45
2.0K
functor0__1644_19.min1.thm1
2017-02-06 12:45
2.0K
functor0__1649_23.min1.thm1
2017-02-06 12:45
3.2K
functor0__1686_43.min1.thm1
2017-02-06 12:45
895
functor0__1688_58.min1.thm1
2017-02-06 12:45
635
functor0__1690_16.min1.thm1
2017-02-06 12:45
802
functor0__1691_74.min1.thm1
2017-02-06 12:45
1.6K
functor0__1695_15.min1.thm1
2017-02-06 12:45
305
functor0__1698_24.min1.thm1
2017-02-06 12:45
415
functor0__1698_24.min1.thm1.tptp
2017-02-06 16:47
335
functor0__1699_63.min1.thm1
2017-02-06 12:45
903
functor0__1701_61.min1.thm1
2017-02-06 12:45
1.0K
functor0__1701_61.min1.thm1.tptp
2017-02-06 16:47
962
functor0__1703_43.min1.thm1
2017-02-06 12:45
429
functor0__1703_43.min1.thm1.tptp
2017-02-06 16:47
349
functor0__1713_48.min1.thm1
2017-02-06 12:45
1.0K
functor0__1715_37.min1.thm1
2017-02-06 12:45
1.0K
functor0__1721_20.min1.thm1
2017-02-06 12:45
745
functor0__1722_20.min1.thm1
2017-02-06 12:45
3.0K
functor0__1725_75.min1.thm1
2017-02-06 12:45
856
functor0__1741_55.min1.thm1
2017-02-06 12:45
1.2K
functor0__1745_15.min1.thm1
2017-02-06 12:45
305
functor0__1748_24.min1.thm1
2017-02-06 12:45
415
functor0__1748_24.min1.thm1.tptp
2017-02-06 16:47
335
functor0__1749_63.min1.thm1
2017-02-06 12:45
830
functor0__1751_61.min1.thm1
2017-02-06 12:45
1.0K
functor0__1751_61.min1.thm1.tptp
2017-02-06 16:47
962
functor0__1753_43.min1.thm1
2017-02-06 12:45
1.7K
functor0__1760_37.min1.thm1
2017-02-06 12:45
1.1K
functor0__1766_20.min1.thm1
2017-02-06 12:45
2.6K
functor0__1769_75.min1.thm1
2017-02-06 12:45
856
functor0__1781_53.min1.thm1
2017-02-06 12:45
1.0K
functor0__1782_17.min1.thm1
2017-02-06 12:45
963
functor0__1784_50.min1.thm1
2017-02-06 12:45
1.2K
functor0__1787_72.min1.thm1
2017-02-06 12:45
1.0K
functor0__1798_53.min1.thm1
2017-02-06 12:45
1.2K
functor0__1801_17.min1.thm1
2017-02-06 12:45
837
functor0__1802_8.min1.thm1
2017-02-06 12:45
370
functor0__1802_8.min1.thm1.tptp
2017-02-06 16:47
300
functor0__1811_55.min1.thm1
2017-02-06 12:45
1.4K
functor0__1812_44.min1.thm1
2017-02-06 12:45
1.0K
functor0__1813_32.min1.thm1
2017-02-06 12:45
1.1K
functor0__1814_23.min1.thm1
2017-02-06 12:45
765
functor0__1815_21.min1.thm1
2017-02-06 12:45
765
functor0__1817_62.min1.thm1
2017-02-06 12:45
2.0K
functor0__1819_32.min1.thm1
2017-02-06 12:45
952
functor0__1820_40.min1.thm1
2017-02-06 12:45
1.1K
functor0__1866_20.min1.thm1
2017-02-06 12:45
2.1K
functor0__1870_35.min1.thm1
2017-02-06 12:45
670
functor0__1878_18.min1.thm1
2017-02-06 12:45
1.6K
functor0__1914_53.min1.thm1
2017-02-06 12:45
957
functor0__1916_19.min1.thm1
2017-02-06 12:45
837
functor0__1917_8.min1.thm1
2017-02-06 12:45
370
functor0__1917_8.min1.thm1.tptp
2017-02-06 16:47
300
functor0__1927_56.min1.thm1
2017-02-06 12:45
1.1K
functor0__1931_25.min1.thm1
2017-02-06 12:45
820
functor0__1932_11.min1.thm1
2017-02-06 12:45
952
functor0__1943_58.min1.thm1
2017-02-06 12:45
1.1K
functor0__1946_21.min1.thm1
2017-02-06 12:45
784
functor0__1948_33.min1.thm1
2017-02-06 12:45
1.4K
functor0__1949_23.min1.thm1
2017-02-06 12:45
792
functor0__1950_18.min1.thm1
2017-02-06 12:45
948
functor0__1968_15.min1.thm1
2017-02-06 12:45
569
functor0__1968_15.min1.thm1.tptp
2017-02-06 16:47
494
functor0__1982_24.min1.thm1
2017-02-06 12:45
1.3K
functor0__1983_37.min1.thm1
2017-02-06 12:45
1.8K
functor0__1995_22.min1.thm1
2017-02-06 12:45
864
functor0__1997_26.min1.thm1
2017-02-06 12:45
808
functor0__2006_24.min1.thm1
2017-02-06 12:45
1.3K
functor0__2007_18.min1.thm1
2017-02-06 12:45
748
functor0__2008_18.min1.thm1
2017-02-06 12:45
748
functor0__2009_18.min1.thm1
2017-02-06 12:45
748
functor0__2012_21.min1.thm1
2017-02-06 12:45
3.8K
functor0__2014_16.min1.thm1
2017-02-06 12:45
316
functor0__2030_36.min1.thm1
2017-02-06 12:45
1.1K
functor0__2034_15.min1.thm1
2017-02-06 12:45
221
functor0__2042_39.min1.thm1
2017-02-06 12:45
499
functor0__2042_39.min1.thm1.tptp
2017-02-06 16:47
411
functor0__2043_60.min1.thm1
2017-02-06 12:45
1.1K
functor0__2046_20.min1.thm1
2017-02-06 12:45
625
functor0__2055_18.min1.thm1
2017-02-06 12:45
411
functor0__2055_18.min1.thm1.tptp
2017-02-06 16:47
347
functor0__2059_37.min1.thm1
2017-02-06 12:45
197
functor0__2061_47.min1.thm1
2017-02-06 12:45
336
functor0__2061_47.min1.thm1.tptp
2017-02-06 16:47
246
functor0__2073_24.min1.thm1
2017-02-06 12:45
1.2K
functor0__2074_41.min1.thm1
2017-02-06 12:45
553
functor0__2074_41.min1.thm1.tptp
2017-02-06 16:47
465
functor0__2075_62.min1.thm1
2017-02-06 12:45
1.2K
functor0__2079_55.min1.thm1
2017-02-06 12:45
825
functor0__2083_20.min1.thm1
2017-02-06 12:45
446
functor0__2083_20.min1.thm1.tptp
2017-02-06 16:47
360
functor0__2087_29.min1.thm1
2017-02-06 12:45
552
functor0__2088_68.min1.thm1
2017-02-06 12:45
1.1K
functor0__2096_24.min1.thm1
2017-02-06 12:45
1.1K
functor0__2098_70.min1.thm1
2017-02-06 12:45
502
functor0__2101_78.min1.thm1
2017-02-06 12:45
1.4K
functor0__2103_22.min1.thm1
2017-02-06 12:45
779
functor0__2106_18.min1.thm1
2017-02-06 12:45
767
functor0__2108_25.min1.thm1
2017-02-06 12:45
1.0K
functor0__2138_56.min1.thm1
2017-02-06 12:45
651
functor0__2139_21.min1.thm1
2017-02-06 12:45
929
functor0__2143_59.min1.thm1
2017-02-06 12:45
1.5K
functor0__2144_23.min1.thm1
2017-02-06 12:45
792
functor0__2146_18.min1.thm1
2017-02-06 12:45
436
functor0__2163_38.min1.thm1
2017-02-06 12:45
1.1K
functor0__2167_38.min1.thm1
2017-02-06 12:45
1.1K
functor0__2185_42.min1.thm1
2017-02-06 12:45
1.1K
functor0__2189_38.min1.thm1
2017-02-06 12:45
1.1K
functor0__2208_38.min1.thm1
2017-02-06 12:45
1.1K
functor0__2212_42.min1.thm1
2017-02-06 12:45
1.1K
functor0__2231_42.min1.thm1
2017-02-06 12:45
1.1K
functor0__2235_42.min1.thm1
2017-02-06 12:45
1.1K
functor0__2260_36.min1.thm1
2017-02-06 12:45
457
functor0__2260_36.min1.thm1.tptp
2017-02-06 16:47
369
functor0__2261_57.min1.thm1
2017-02-06 12:45
1.1K
functor0__2263_40.min1.thm1
2017-02-06 12:45
2.1K
functor0__2268_45.min1.thm1
2017-02-06 12:45
805
functor0__2316_4.min1.thm1
2017-02-06 12:45
2.0K
functor0__2343_41.min1.thm1
2017-02-06 12:45
1.3K
functor0__2366_55.min1.thm1
2017-02-06 12:45
1.1K
functor0__2367_43.min1.thm1
2017-02-06 12:45
2.4K
functor0__2371_23.min1.thm1
2017-02-06 12:45
1.8K
functor0__2373_58.min1.thm1
2017-02-06 12:45
2.2K
functor0__2380_19.min1.thm1
2017-02-06 12:45
791
functor0__2382_54.min1.thm1
2017-02-06 12:45
2.4K
functor0__2385_40.min1.thm1
2017-02-06 12:45
1.9K
functor0__2386_23.min1.thm1
2017-02-06 12:45
2.4K
functor0__2415_21.min1.thm1
2017-02-06 12:45
783
functor0__2416_27.min1.thm1
2017-02-06 12:45
785
functor0__2418_23.min1.thm1
2017-02-06 12:45
1.0K
functor0__2419_22.min1.thm1
2017-02-06 12:45
783
functor0__2420_21.min1.thm1
2017-02-06 12:45
785
functor0__2421_22.min1.thm1
2017-02-06 12:45
1.1K
functor0__2437_33.min1.thm1
2017-02-06 12:45
2.5K
functor0__2453_49.min1.thm1
2017-02-06 12:45
1.9K
functor0__2454_21.min1.thm1
2017-02-06 12:45
1.0K
functor0__2455_25.min1.thm1
2017-02-06 12:45
1.0K
functor0__2457_39.min1.thm1
2017-02-06 12:45
1.2K
functor0__2459_18.min1.thm1
2017-02-06 12:45
1.0K
functor0__2461_33.min1.thm1
2017-02-06 12:45
1.0K
functor0__2462_22.min1.thm1
2017-02-06 12:45
1.0K
functor0__2463_19.min1.thm1
2017-02-06 12:45
1.0K
functor0__2465_33.min1.thm1
2017-02-06 12:45
1.3K
functor0__2470_14.min1.thm1
2017-02-06 12:45
1.0K
functor0__2491_57.min1.thm1
2017-02-06 12:45
2.5K
functor0__2500_34.min1.thm1
2017-02-06 12:45
481
functor0__2500_34.min1.thm1.tptp
2017-02-06 16:47
395
functor0__2514_57.min1.thm1
2017-02-06 12:45
2.5K
functor0__2524_35.min1.thm1
2017-02-06 12:45
455
functor0__2524_35.min1.thm1.tptp
2017-02-06 16:47
367
functor0__2527_45.min1.thm1
2017-02-06 12:45
1.5K
functor0__2528_29.min1.thm1
2017-02-06 12:45
1.0K
functor0__2544_39.min1.thm1
2017-02-06 12:45
960
functor0__2545_21.min1.thm1
2017-02-06 12:45
1.2K
functor0__2548_33.min1.thm1
2017-02-06 12:45
447
functor0__2548_33.min1.thm1.tptp
2017-02-06 16:47
359
functor0__2554_17.min1.thm1
2017-02-06 12:45
752
functor0__2557_21.min1.thm1
2017-02-06 12:45
1.2K
functor0__2559_41.min1.thm1
2017-02-06 12:45
2.3K
functor0__2579_49.min1.thm1
2017-02-06 12:45
2.0K
functor0__2582_4.min1.thm1
2017-02-06 12:45
2.1K
functor0__2584_14.min1.thm1
2017-02-06 12:45
1.6K
functor0__2585_19.min1.thm1
2017-02-06 12:45
1.1K
functor0__2586_25.min1.thm1
2017-02-06 12:45
1.1K
functor0__2588_39.min1.thm1
2017-02-06 12:45
1.3K
functor0__2593_17.min1.thm1
2017-02-06 12:45
1.0K
functor0__2594_8.min1.thm1
2017-02-06 12:45
374
functor0__2594_8.min1.thm1.tptp
2017-02-06 16:47
304
functor0__2599_19.min1.thm1
2017-02-06 12:45
1.5K
functor0__2611_63.min1.thm1
2017-02-06 12:45
2.3K
functor0__2612_49.min1.thm1
2017-02-06 12:45
2.1K
functor0__2618_21.min1.thm1
2017-02-06 12:45
1.2K
functor0__2619_25.min1.thm1
2017-02-06 12:45
1.2K
functor0__2621_39.min1.thm1
2017-02-06 12:45
1.3K
functor0__2622_18.min1.thm1
2017-02-06 12:45
1.2K
functor0__2624_33.min1.thm1
2017-02-06 12:45
1.2K
functor0__2625_20.min1.thm1
2017-02-06 12:45
1.2K
functor0__2626_19.min1.thm1
2017-02-06 12:45
1.2K
functor0__2632_54.min1.thm1
2017-02-06 12:45
1.1K
functor0__2638_43.min1.thm1
2017-02-06 12:45
3.1K
functor0__2641_15.min1.thm1
2017-02-06 12:45
749
functor0__2660_21.min1.thm1
2017-02-06 12:45
2.3K
functor0__2672_17.min1.thm1
2017-02-06 12:45
795
functor0__2674_37.min1.thm1
2017-02-06 12:45
1.0K
functor0__2686_21.min1.thm1
2017-02-06 12:45
1.7K
functor0__2687_38.min1.thm1
2017-02-06 12:45
2.6K
functor0__2700_24.min1.thm1
2017-02-06 12:45
1.1K
functor0__2701_25.min1.thm1
2017-02-06 12:45
1.0K
functor0__2703_39.min1.thm1
2017-02-06 12:45
1.2K
functor0__2704_20.min1.thm1
2017-02-06 12:45
1.1K
functor0__2705_19.min1.thm1
2017-02-06 12:45
1.0K
functor0__2707_33.min1.thm1
2017-02-06 12:45
1.3K
functor0__2708_36.min1.thm1
2017-02-06 12:45
1.4K
functor0__2714_22.min1.thm1
2017-02-06 12:45
1.2K
functor0__2715_22.min1.thm1
2017-02-06 12:45
1.2K
functor0__2735_24.min1.thm1
2017-02-06 12:45
1.1K
functor0__2736_25.min1.thm1
2017-02-06 12:45
1.0K
functor0__2738_39.min1.thm1
2017-02-06 12:45
1.2K
functor0__2739_20.min1.thm1
2017-02-06 12:45
1.1K
functor0__2740_19.min1.thm1
2017-02-06 12:45
1.0K
functor0__2742_33.min1.thm1
2017-02-06 12:45
1.3K
functor0__2743_40.min1.thm1
2017-02-06 12:45
1.4K
functor0__2751_22.min1.thm1
2017-02-06 12:45
1.2K
functor0__2752_22.min1.thm1
2017-02-06 12:45
1.2K
functor0__2762_53.min1.thm1
2017-02-06 12:45
2.0K
functor0__2777_21.min1.thm1
2017-02-06 12:45
1.3K
functor0__2778_63.min1.thm1
2017-02-06 12:45
2.3K
functor0__2779_49.min1.thm1
2017-02-06 12:45
2.1K
functor0__2784_19.min1.thm1
2017-02-06 12:45
1.2K
functor0__2785_23.min1.thm1
2017-02-06 12:45
1.1K
functor0__2787_33.min1.thm1
2017-02-06 12:45
1.1K
functor0__2788_20.min1.thm1
2017-02-06 12:45
1.2K
functor0__2789_19.min1.thm1
2017-02-06 12:45
1.1K
functor0__2797_56.min1.thm1
2017-02-06 12:45
1.2K
functor0__2808_23.min1.thm1
2017-02-06 12:45
1.9K
functor0__2810_60.min1.thm1
2017-02-06 12:45
2.4K
functor0__2817_19.min1.thm1
2017-02-06 12:45
892
functor0__2826_11.min1.thm1
2017-02-06 12:45
1.3K
functor0__2840_25.min1.thm1
2017-02-06 12:45
1.3K
functor0__2841_63.min1.thm1
2017-02-06 12:45
2.3K
functor0__2842_49.min1.thm1
2017-02-06 12:45
2.1K
functor0__2847_19.min1.thm1
2017-02-06 12:45
1.2K
functor0__2848_23.min1.thm1
2017-02-06 12:45
1.1K
functor0__2850_33.min1.thm1
2017-02-06 12:45
1.1K
functor0__2851_20.min1.thm1
2017-02-06 12:45
1.2K
functor0__2852_19.min1.thm1
2017-02-06 12:45
1.1K
functor0__2860_56.min1.thm1
2017-02-06 12:45
1.2K
functor0__2871_23.min1.thm1
2017-02-06 12:45
1.9K
functor0__2873_60.min1.thm1
2017-02-06 12:45
2.4K
functor0__2880_19.min1.thm1
2017-02-06 12:45
892
functor0__2889_11.min1.thm1
2017-02-06 12:45
1.3K
functor0__2902_21.min1.thm1
2017-02-06 12:45
1.4K
functor0__2903_63.min1.thm1
2017-02-06 12:45
2.3K
functor0__2904_49.min1.thm1
2017-02-06 12:45
2.2K
functor0__2909_21.min1.thm1
2017-02-06 12:45
1.3K
functor0__2910_25.min1.thm1
2017-02-06 12:45
1.1K
functor0__2912_39.min1.thm1
2017-02-06 12:45
1.3K
functor0__2913_18.min1.thm1
2017-02-06 12:45
1.1K
functor0__2915_33.min1.thm1
2017-02-06 12:45
1.1K
functor0__2916_20.min1.thm1
2017-02-06 12:45
1.3K
functor0__2917_19.min1.thm1
2017-02-06 12:45
1.1K
functor0__2926_27.min1.thm1
2017-02-06 12:45
1.9K
functor0__2930_27.min1.thm1
2017-02-06 12:45
1.9K
functor0__2931_23.min1.thm1
2017-02-06 12:45
1.2K
functor0__2933_27.min1.thm1
2017-02-06 12:45
1.9K
functor0__2935_35.min1.thm1
2017-02-06 12:45
3.0K
functor0__2937_54.min1.thm1
2017-02-06 12:45
1.8K
functor0__2939_68.min1.thm1
2017-02-06 12:45
2.2K
functor0__2940_31.min1.thm1
2017-02-06 12:45
2.6K
functor0__2941_68.min1.thm1
2017-02-06 12:45
2.2K
functor0__2943_32.min1.thm1
2017-02-06 12:45
1.7K
functor0__2944_32.min1.thm1
2017-02-06 12:45
1.7K
functor0__2950_15.min1.thm1
2017-02-06 12:45
3.4K
functor0__2951_15.min1.thm1
2017-02-06 12:45
3.4K
functor0__2953_56.min1.thm1
2017-02-06 12:45
1.2K
functor0__2966_31.min1.thm1
2017-02-06 12:45
2.6K
functor0__2972_23.min1.thm1
2017-02-06 12:45
2.3K
functor0__2976_23.min1.thm1
2017-02-06 12:45
2.3K
functor0__2984_19.min1.thm1
2017-02-06 12:45
892
functor0__2993_49.min1.thm1
2017-02-06 12:45
2.4K
functor0__2994_53.min1.thm1
2017-02-06 12:45
1.1K
functor0__2999_53.min1.thm1
2017-02-06 12:45
1.1K
functor0__3004_53.min1.thm1
2017-02-06 12:45
1.1K
functor0__3028_25.min1.thm1
2017-02-06 12:45
1.4K
functor0__3029_63.min1.thm1
2017-02-06 12:45
2.3K
functor0__3030_49.min1.thm1
2017-02-06 12:45
2.2K
functor0__3035_21.min1.thm1
2017-02-06 12:45
1.3K
functor0__3036_25.min1.thm1
2017-02-06 12:45
1.1K
functor0__3038_39.min1.thm1
2017-02-06 12:45
1.3K
functor0__3039_18.min1.thm1
2017-02-06 12:45
1.1K
functor0__3041_33.min1.thm1
2017-02-06 12:45
1.1K
functor0__3042_20.min1.thm1
2017-02-06 12:45
1.3K
functor0__3043_19.min1.thm1
2017-02-06 12:45
1.1K
functor0__3052_27.min1.thm1
2017-02-06 12:45
1.9K
functor0__3056_27.min1.thm1
2017-02-06 12:45
1.9K
functor0__3057_23.min1.thm1
2017-02-06 12:45
1.2K
functor0__3059_27.min1.thm1
2017-02-06 12:45
1.9K
functor0__3061_35.min1.thm1
2017-02-06 12:45
3.0K
functor0__3063_58.min1.thm1
2017-02-06 12:45
1.8K
functor0__3064_31.min1.thm1
2017-02-06 12:45
2.6K
functor0__3065_68.min1.thm1
2017-02-06 12:45
2.2K
functor0__3067_68.min1.thm1
2017-02-06 12:45
2.2K
functor0__3069_32.min1.thm1
2017-02-06 12:45
1.7K
functor0__3070_32.min1.thm1
2017-02-06 12:45
1.7K
functor0__3076_15.min1.thm1
2017-02-06 12:45
3.4K
functor0__3079_56.min1.thm1
2017-02-06 12:45
1.2K
functor0__3092_31.min1.thm1
2017-02-06 12:45
2.6K
functor0__3098_23.min1.thm1
2017-02-06 12:45
2.3K
functor0__3102_23.min1.thm1
2017-02-06 12:45
2.3K
functor0__3110_19.min1.thm1
2017-02-06 12:45
892
functor0__3119_49.min1.thm1
2017-02-06 12:45
2.4K
functor0__3120_53.min1.thm1
2017-02-06 12:45
1.1K
functor0__3125_53.min1.thm1
2017-02-06 12:45
1.1K
functor0__3130_53.min1.thm1
2017-02-06 12:45
1.1K
functor0__3151_43.min1.thm1
2017-02-06 12:45
859
functor0__3166_47.min1.thm1
2017-02-06 12:45
859
functor0__3185_41.min1.thm1
2017-02-06 12:45
866
functor0__3189_31.min1.thm1
2017-02-06 12:45
888
functor0__3204_45.min1.thm1
2017-02-06 12:45
866
functor0__3208_31.min1.thm1
2017-02-06 12:45
888
functor0__3211_16.min1.thm1
2017-02-06 12:45
966
functor0__3227_59.min1.thm1
2017-02-06 12:45
1.3K
functor0__3228_18.min1.thm1
2017-02-06 12:45
1.1K
functor0__3229_16.min1.thm1
2017-02-06 12:45
385
functor0__3229_16.min1.thm1.tptp
2017-02-06 16:47
299
functor0__3241_63.min1.thm1
2017-02-06 12:45
1.3K
functor0__3242_18.min1.thm1
2017-02-06 12:45
1.1K
functor0__3243_16.min1.thm1
2017-02-06 12:45
385
functor0__3243_16.min1.thm1.tptp
2017-02-06 16:47
299
functor0__3257_24.min1.thm1
2017-02-06 12:45
1.0K
functor0__3258_17.min1.thm1
2017-02-06 12:45
1.5K
functor0__3271_28.min1.thm1
2017-02-06 12:45
1.0K
functor0__3272_17.min1.thm1
2017-02-06 12:45
1.5K
functor0__3284_24.min1.thm1
2017-02-06 12:45
1.3K
functor0__3285_25.min1.thm1
2017-02-06 12:45
1.2K
functor0__3287_39.min1.thm1
2017-02-06 12:45
1.4K
functor0__3288_20.min1.thm1
2017-02-06 12:45
1.3K
functor0__3290_31.min1.thm1
2017-02-06 12:45
1.6K
functor0__3291_25.min1.thm1
2017-02-06 12:45
1.3K
functor0__3292_27.min1.thm1
2017-02-06 12:45
1.0K
functor0__3293_20.min1.thm1
2017-02-06 12:45
1.3K
functor0__3295_16.min1.thm1
2017-02-06 12:45
1.3K
functor0__3297_33.min1.thm1
2017-02-06 12:45
1.6K
functor0__3298_21.min1.thm1
2017-02-06 12:45
1.0K
functor0__3299_24.min1.thm1
2017-02-06 12:45
1.0K
functor0__3300_44.min1.thm1
2017-02-06 12:45
1.0K
functor0__3301_43.min1.thm1
2017-02-06 12:45
1.5K
functor0__3307_23.min1.thm1
2017-02-06 12:45
1.2K
functor0__3308_23.min1.thm1
2017-02-06 12:45
1.2K
functor0__3319_27.min1.thm1
2017-02-06 12:45
2.0K
functor0__3320_26.min1.thm1
2017-02-06 12:45
2.3K
functor0__3321_45.min1.thm1
2017-02-06 12:45
2.3K
functor0__3323_13.min1.thm1
2017-02-06 12:45
326
functor0__3324_24.min1.thm1
2017-02-06 12:45
1.6K
functor0__3325_24.min1.thm1
2017-02-06 12:45
457
functor0__3325_24.min1.thm1.tptp
2017-02-06 16:47
371
functor0__3326_16.min1.thm1
2017-02-06 12:45
2.4K
functor0__3338_24.min1.thm1
2017-02-06 12:45
1.3K
functor0__3339_25.min1.thm1
2017-02-06 12:45
1.2K
functor0__3341_39.min1.thm1
2017-02-06 12:45
1.4K
functor0__3342_20.min1.thm1
2017-02-06 12:45
1.3K
functor0__3344_31.min1.thm1
2017-02-06 12:45
1.6K
functor0__3345_25.min1.thm1
2017-02-06 12:45
1.3K
functor0__3346_26.min1.thm1
2017-02-06 12:45
1.0K
functor0__3347_20.min1.thm1
2017-02-06 12:45
1.3K
functor0__3349_16.min1.thm1
2017-02-06 12:45
1.3K
functor0__3351_33.min1.thm1
2017-02-06 12:45
1.6K
functor0__3352_25.min1.thm1
2017-02-06 12:45
1.0K
functor0__3353_24.min1.thm1
2017-02-06 12:45
1.0K
functor0__3354_52.min1.thm1
2017-02-06 12:45
1.0K
functor0__3355_47.min1.thm1
2017-02-06 12:45
1.5K
functor0__3363_23.min1.thm1
2017-02-06 12:45
1.2K
functor0__3364_23.min1.thm1
2017-02-06 12:45
1.2K
functor0__3374_55.min1.thm1
2017-02-06 12:45
2.1K
functor0__3377_27.min1.thm1
2017-02-06 12:45
2.0K
functor0__3378_25.min1.thm1
2017-02-06 12:45
2.3K
functor0__3379_45.min1.thm1
2017-02-06 12:45
2.3K
functor0__3381_13.min1.thm1
2017-02-06 12:45
326
functor0__3382_24.min1.thm1
2017-02-06 12:45
1.6K
functor0__3383_28.min1.thm1
2017-02-06 12:45
457
functor0__3383_28.min1.thm1.tptp
2017-02-06 16:47
371
functor0__3384_16.min1.thm1
2017-02-06 12:45
2.4K
functor0__3395_15.min1.thm1
2017-02-06 12:45
1.1K
functor0__3403_31.min1.thm1
2017-02-06 12:45
1.4K
functor0__3405_18.min1.thm1
2017-02-06 12:45
478
functor0__3415_35.min1.thm1
2017-02-06 12:45
1.4K
functor0__3417_18.min1.thm1
2017-02-06 12:45
478
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80