Index of /~mptp/1147/mptp/ilp0/rewrite1
Name
Last modified
Size
Description
Parent Directory
-
rewrite1__45_67.min1.thm1
2017-02-06 12:46
784
rewrite1__51_18.min1.thm1
2017-02-06 12:46
2.1K
rewrite1__52_37.min1.thm1
2017-02-06 12:46
464
rewrite1__53_44.min1.thm1
2017-02-06 12:46
1.1K
rewrite1__55_18.min1.thm1
2017-02-06 12:46
1.0K
rewrite1__58_13.min1.thm1
2017-02-06 12:46
130
rewrite1__65_21.min1.thm1
2017-02-06 12:46
861
rewrite1__66_32.min1.thm1
2017-02-06 12:46
2.0K
rewrite1__67_15.min1.thm1
2017-02-06 12:46
2.0K
rewrite1__73_22.min1.thm1
2017-02-06 12:46
1.5K
rewrite1__74_20.min1.thm1
2017-02-06 12:46
1.2K
rewrite1__82_13.min1.thm1
2017-02-06 12:46
1.7K
rewrite1__84_21.min1.thm1
2017-02-06 12:46
861
rewrite1__90_22.min1.thm1
2017-02-06 12:46
1.2K
rewrite1__91_23.min1.thm1
2017-02-06 12:46
2.3K
rewrite1__100_24.min1.thm1
2017-02-06 12:46
508
rewrite1__100_24.min1.thm1.tptp
2017-02-06 16:47
443
rewrite1__101_17.min1.thm1
2017-02-06 12:46
1.9K
rewrite1__107_18.min1.thm1
2017-02-06 12:46
574
rewrite1__109_32.min1.thm1
2017-02-06 12:46
896
rewrite1__115_13.min1.thm1
2017-02-06 12:46
1.0K
rewrite1__118_44.min1.thm1
2017-02-06 12:46
1.8K
rewrite1__121_30.min1.thm1
2017-02-06 12:46
2.2K
rewrite1__123_17.min1.thm1
2017-02-06 12:46
834
rewrite1__129_28.min1.thm1
2017-02-06 12:46
1.0K
rewrite1__130_17.min1.thm1
2017-02-06 12:46
1.9K
rewrite1__136_32.min1.thm1
2017-02-06 12:46
773
rewrite1__137_17.min1.thm1
2017-02-06 12:46
1.2K
rewrite1__156_18.min1.thm1
2017-02-06 12:46
655
rewrite1__157_30.min1.thm1
2017-02-06 12:46
950
rewrite1__158_20.min1.thm1
2017-02-06 12:46
587
rewrite1__159_13.min1.thm1
2017-02-06 12:46
195
rewrite1__162_23.min1.thm1
2017-02-06 12:46
756
rewrite1__163_22.min1.thm1
2017-02-06 12:46
610
rewrite1__164_54.min1.thm1
2017-02-06 12:46
859
rewrite1__171_32.min1.thm1
2017-02-06 12:46
954
rewrite1__172_28.min1.thm1
2017-02-06 12:46
1.1K
rewrite1__173_54.min1.thm1
2017-02-06 12:46
1.6K
rewrite1__178_11.min1.thm1
2017-02-06 12:46
816
rewrite1__194_14.min1.thm1
2017-02-06 12:46
1.8K
rewrite1__196_20.min1.thm1
2017-02-06 12:46
637
rewrite1__197_14.min1.thm1
2017-02-06 12:46
1.8K
rewrite1__199_23.min1.thm1
2017-02-06 12:46
886
rewrite1__200_19.min1.thm1
2017-02-06 12:46
2.3K
rewrite1__202_23.min1.thm1
2017-02-06 12:46
2.0K
rewrite1__203_28.min1.thm1
2017-02-06 12:46
780
rewrite1__208_16.min1.thm1
2017-02-06 12:46
1.5K
rewrite1__210_16.min1.thm1
2017-02-06 12:46
1.2K
rewrite1__211_35.min1.thm1
2017-02-06 12:46
946
rewrite1__212_19.min1.thm1
2017-02-06 12:46
664
rewrite1__216_11.min1.thm1
2017-02-06 12:46
253
rewrite1__219_41.min1.thm1
2017-02-06 12:46
2.3K
rewrite1__221_27.min1.thm1
2017-02-06 12:46
768
rewrite1__224_30.min1.thm1
2017-02-06 12:46
1.9K
rewrite1__225_26.min1.thm1
2017-02-06 12:46
935
rewrite1__229_26.min1.thm1
2017-02-06 12:46
2.1K
rewrite1__230_22.min1.thm1
2017-02-06 12:46
899
rewrite1__232_29.min1.thm1
2017-02-06 12:46
2.2K
rewrite1__233_29.min1.thm1
2017-02-06 12:46
1.9K
rewrite1__239_21.min1.thm1
2017-02-06 12:46
1.8K
rewrite1__240_37.min1.thm1
2017-02-06 12:46
476
rewrite1__242_39.min1.thm1
2017-02-06 12:46
854
rewrite1__246_24.min1.thm1
2017-02-06 12:46
2.0K
rewrite1__247_22.min1.thm1
2017-02-06 12:46
2.6K
rewrite1__252_19.min1.thm1
2017-02-06 12:46
1.3K
rewrite1__265_18.min1.thm1
2017-02-06 12:46
2.0K
rewrite1__270_18.min1.thm1
2017-02-06 12:46
796
rewrite1__271_17.min1.thm1
2017-02-06 12:46
434
rewrite1__279_14.min1.thm1
2017-02-06 12:46
1.1K
rewrite1__287_16.min1.thm1
2017-02-06 12:46
2.4K
rewrite1__292_18.min1.thm1
2017-02-06 12:46
716
rewrite1__293_15.min1.thm1
2017-02-06 12:46
432
rewrite1__305_16.min1.thm1
2017-02-06 12:46
2.5K
rewrite1__310_16.min1.thm1
2017-02-06 12:46
1.3K
rewrite1__311_20.min1.thm1
2017-02-06 12:46
1.7K
rewrite1__313_13.min1.thm1
2017-02-06 12:46
1.1K
rewrite1__314_11.min1.thm1
2017-02-06 12:46
1.8K
rewrite1__315_25.min1.thm1
2017-02-06 12:46
1.6K
rewrite1__316_17.min1.thm1
2017-02-06 12:46
1.8K
rewrite1__327_19.min1.thm1
2017-02-06 12:46
885
rewrite1__330_41.min1.thm1
2017-02-06 12:46
2.7K
rewrite1__331_13.min1.thm1
2017-02-06 12:46
1.1K
rewrite1__332_17.min1.thm1
2017-02-06 12:46
3.4K
rewrite1__340_14.min1.thm1
2017-02-06 12:46
1.1K
rewrite1__348_11.min1.thm1
2017-02-06 12:46
1.9K
rewrite1__349_24.min1.thm1
2017-02-06 12:46
1.1K
rewrite1__354_24.min1.thm1
2017-02-06 12:46
1.0K
rewrite1__356_28.min1.thm1
2017-02-06 12:46
1.2K
rewrite1__357_17.min1.thm1
2017-02-06 12:46
2.0K
rewrite1__358_56.min1.thm1
2017-02-06 12:46
2.0K
rewrite1__359_24.min1.thm1
2017-02-06 12:46
938
rewrite1__366_66.min1.thm1
2017-02-06 12:46
2.2K
rewrite1__378_16.min1.thm1
2017-02-06 12:46
1.9K
rewrite1__382_17.min1.thm1
2017-02-06 12:46
1.1K
rewrite1__425_16.min1.thm1
2017-02-06 12:46
474
rewrite1__425_16.min1.thm1.tptp
2017-02-06 16:47
396
rewrite1__433_45.min1.thm1
2017-02-06 12:46
336
rewrite1__433_45.min1.thm1.tptp
2017-02-06 16:47
258
rewrite1__435_14.min1.thm1
2017-02-06 12:46
644
rewrite1__436_17.min1.thm1
2017-02-06 12:46
802
rewrite1__451_17.min1.thm1
2017-02-06 12:46
2.7K
rewrite1__471_17.min1.thm1
2017-02-06 12:46
2.5K
rewrite1__479_52.min1.thm1
2017-02-06 12:46
598
rewrite1__481_14.min1.thm1
2017-02-06 12:46
642
rewrite1__482_17.min1.thm1
2017-02-06 12:46
800
rewrite1__496_44.min1.thm1
2017-02-06 12:46
811
rewrite1__499_19.min1.thm1
2017-02-06 12:46
885
rewrite1__501_28.min1.thm1
2017-02-06 12:46
2.3K
rewrite1__503_21.min1.thm1
2017-02-06 12:46
1.0K
rewrite1__504_15.min1.thm1
2017-02-06 12:46
1.2K
rewrite1__506_46.min1.thm1
2017-02-06 12:46
2.9K
rewrite1__507_42.min1.thm1
2017-02-06 12:46
1.4K
rewrite1__510_15.min1.thm1
2017-02-06 12:46
414
rewrite1__511_25.min1.thm1
2017-02-06 12:46
942
rewrite1__526_14.min1.thm1
2017-02-06 12:46
1.1K
rewrite1__528_13.min1.thm1
2017-02-06 12:46
1.9K
rewrite1__532_19.min1.thm1
2017-02-06 12:46
1.9K
rewrite1__535_24.min1.thm1
2017-02-06 12:46
2.7K
rewrite1__537_42.min1.thm1
2017-02-06 12:46
918
rewrite1__538_38.min1.thm1
2017-02-06 12:46
3.4K
rewrite1__541_52.min1.thm1
2017-02-06 12:46
1.1K
rewrite1__542_14.min1.thm1
2017-02-06 12:46
1.2K
rewrite1__544_13.min1.thm1
2017-02-06 12:46
373
rewrite1__545_17.min1.thm1
2017-02-06 12:46
842
rewrite1__558_19.min1.thm1
2017-02-06 12:46
2.5K
rewrite1__561_15.min1.thm1
2017-02-06 12:46
1.9K
rewrite1__564_23.min1.thm1
2017-02-06 12:46
708
rewrite1__566_21.min1.thm1
2017-02-06 12:46
760
rewrite1__571_16.min1.thm1
2017-02-06 12:46
1.7K
rewrite1__572_13.min1.thm1
2017-02-06 12:46
1.5K
rewrite1__575_33.min1.thm1
2017-02-06 12:46
1.8K
rewrite1__579_24.min1.thm1
2017-02-06 12:46
1.4K
rewrite1__581_33.min1.thm1
2017-02-06 12:46
823
rewrite1__585_51.min1.thm1
2017-02-06 12:46
765
rewrite1__586_14.min1.thm1
2017-02-06 12:46
1.6K
rewrite1__588_17.min1.thm1
2017-02-06 12:46
1.1K
rewrite1__593_23.min1.thm1
2017-02-06 12:46
402
rewrite1__604_28.min1.thm1
2017-02-06 12:46
589
rewrite1__608_39.min1.thm1
2017-02-06 12:46
1.2K
rewrite1__613_34.min1.thm1
2017-02-06 12:46
626
rewrite1__627_21.min1.thm1
2017-02-06 12:46
2.0K
rewrite1__632_13.min1.thm1
2017-02-06 12:46
1.7K
rewrite1__633_19.min1.thm1
2017-02-06 12:46
1.8K
rewrite1__642_45.min1.thm1
2017-02-06 12:46
613
rewrite1__643_49.min1.thm1
2017-02-06 12:46
930
rewrite1__652_16.min1.thm1
2017-02-06 12:46
1.8K
rewrite1__653_13.min1.thm1
2017-02-06 12:46
1.5K
rewrite1__656_34.min1.thm1
2017-02-06 12:46
1.3K
rewrite1__660_24.min1.thm1
2017-02-06 12:46
1.5K
rewrite1__662_36.min1.thm1
2017-02-06 12:46
859
rewrite1__663_34.min1.thm1
2017-02-06 12:46
2.0K
rewrite1__667_51.min1.thm1
2017-02-06 12:46
787
rewrite1__668_21.min1.thm1
2017-02-06 12:46
859
rewrite1__669_13.min1.thm1
2017-02-06 12:46
1.7K
rewrite1__671_17.min1.thm1
2017-02-06 12:46
1.2K
rewrite1__683_26.min1.thm1
2017-02-06 12:46
598
rewrite1__684_63.min1.thm1
2017-02-06 12:46
485
rewrite1__684_63.min1.thm1.tptp
2017-02-06 16:47
412
rewrite1__692_53.min1.thm1
2017-02-06 12:46
755
rewrite1__703_13.min1.thm1
2017-02-06 12:46
251
rewrite1__707_59.min1.thm1
2017-02-06 12:46
1.0K
rewrite1__709_35.min1.thm1
2017-02-06 12:46
1.0K
rewrite1__713_49.min1.thm1
2017-02-06 12:46
2.8K
rewrite1__715_35.min1.thm1
2017-02-06 12:46
1.6K
rewrite1__719_48.min1.thm1
2017-02-06 12:46
787
rewrite1__720_21.min1.thm1
2017-02-06 12:46
2.4K
rewrite1__721_13.min1.thm1
2017-02-06 12:46
1.8K
rewrite1__723_17.min1.thm1
2017-02-06 12:46
1.3K
rewrite1__733_46.min1.thm1
2017-02-06 12:46
463
rewrite1__735_15.min1.thm1
2017-02-06 12:46
830
rewrite1__738_35.min1.thm1
2017-02-06 12:46
1.6K
rewrite1__749_32.min1.thm1
2017-02-06 12:46
750
rewrite1__750_31.min1.thm1
2017-02-06 12:46
883
rewrite1__751_27.min1.thm1
2017-02-06 12:46
638
rewrite1__763_18.min1.thm1
2017-02-06 12:46
1.9K
rewrite1__767_19.min1.thm1
2017-02-06 12:46
814
rewrite1__769_29.min1.thm1
2017-02-06 12:46
933
rewrite1__770_36.min1.thm1
2017-02-06 12:46
524
rewrite1__771_17.min1.thm1
2017-02-06 12:46
455
rewrite1__778_18.min1.thm1
2017-02-06 12:46
330
rewrite1__778_18.min1.thm1.tptp
2017-02-06 16:47
252
rewrite1__779_17.min1.thm1
2017-02-06 12:46
479
rewrite1__787_46.min1.thm1
2017-02-06 12:46
837
rewrite1__788_17.min1.thm1
2017-02-06 12:46
660
rewrite1__797_71.min1.thm1
2017-02-06 12:46
735
rewrite1__800_17.min1.thm1
2017-02-06 12:46
1.0K
rewrite1__809_23.min1.thm1
2017-02-06 12:46
571
rewrite1__810_17.min1.thm1
2017-02-06 12:46
479
rewrite1__819_30.min1.thm1
2017-02-06 12:46
860
rewrite1__824_30.min1.thm1
2017-02-06 12:46
316
rewrite1__831_48.min1.thm1
2017-02-06 12:46
572
rewrite1__832_30.min1.thm1
2017-02-06 12:46
509
rewrite1__833_14.min1.thm1
2017-02-06 12:46
297
rewrite1__835_17.min1.thm1
2017-02-06 12:46
955
rewrite1__863_29.min1.thm1
2017-02-06 12:46
1.1K
rewrite1__866_17.min1.thm1
2017-02-06 12:46
2.2K
rewrite1__867_17.min1.thm1
2017-02-06 12:46
2.4K
rewrite1__906_51.min1.thm1
2017-02-06 12:46
582
rewrite1__915_34.min1.thm1
2017-02-06 12:46
393
rewrite1__915_34.min1.thm1.tptp
2017-02-06 16:47
315
rewrite1__916_17.min1.thm1
2017-02-06 12:46
944
rewrite1__926_14.min1.thm1
2017-02-06 12:46
406
rewrite1__930_36.min1.thm1
2017-02-06 12:46
536
rewrite1__931_60.min1.thm1
2017-02-06 12:46
629
rewrite1__932_19.min1.thm1
2017-02-06 12:46
564
rewrite1__937_36.min1.thm1
2017-02-06 12:46
536
rewrite1__938_60.min1.thm1
2017-02-06 12:46
629
rewrite1__939_19.min1.thm1
2017-02-06 12:46
564
rewrite1__949_32.min1.thm1
2017-02-06 12:46
479
rewrite1__949_32.min1.thm1.tptp
2017-02-06 16:47
415
rewrite1__961_21.min1.thm1
2017-02-06 12:46
921
rewrite1__962_12.min1.thm1
2017-02-06 12:46
335
rewrite1__962_12.min1.thm1.tptp
2017-02-06 16:47
261
rewrite1__963_19.min1.thm1
2017-02-06 12:46
521
rewrite1__969_21.min1.thm1
2017-02-06 12:46
921
rewrite1__970_12.min1.thm1
2017-02-06 12:46
335
rewrite1__970_12.min1.thm1.tptp
2017-02-06 16:47
261
rewrite1__971_19.min1.thm1
2017-02-06 12:46
521
rewrite1__974_17.min1.thm1
2017-02-06 12:46
802
rewrite1__983_55.min1.thm1
2017-02-06 12:46
364
rewrite1__992_55.min1.thm1
2017-02-06 12:46
364
rewrite1__1004_14.min1.thm1
2017-02-06 12:46
658
rewrite1__1009_20.min1.thm1
2017-02-06 12:46
599
rewrite1__1010_20.min1.thm1
2017-02-06 12:46
662
rewrite1__1011_19.min1.thm1
2017-02-06 12:46
599
rewrite1__1017_20.min1.thm1
2017-02-06 12:46
599
rewrite1__1018_20.min1.thm1
2017-02-06 12:46
662
rewrite1__1019_19.min1.thm1
2017-02-06 12:46
599
rewrite1__1032_14.min1.thm1
2017-02-06 12:46
658
rewrite1__1037_20.min1.thm1
2017-02-06 12:46
599
rewrite1__1038_20.min1.thm1
2017-02-06 12:46
662
rewrite1__1039_19.min1.thm1
2017-02-06 12:46
599
rewrite1__1045_20.min1.thm1
2017-02-06 12:46
599
rewrite1__1046_20.min1.thm1
2017-02-06 12:46
662
rewrite1__1047_19.min1.thm1
2017-02-06 12:46
599
rewrite1__1059_16.min1.thm1
2017-02-06 12:46
943
rewrite1__1070_16.min1.thm1
2017-02-06 12:46
856
rewrite1__1087_54.min1.thm1
2017-02-06 12:46
449
rewrite1__1099_14.min1.thm1
2017-02-06 12:46
432
rewrite1__1100_15.min1.thm1
2017-02-06 12:46
396
rewrite1__1127_27.min1.thm1
2017-02-06 12:46
354
rewrite1__1127_27.min1.thm1.tptp
2017-02-06 16:47
277
rewrite1__1131_27.min1.thm1
2017-02-06 12:46
404
rewrite1__1136_29.min1.thm1
2017-02-06 12:46
918
rewrite1__1138_20.min1.thm1
2017-02-06 12:46
364
rewrite1__1138_20.min1.thm1.tptp
2017-02-06 16:47
278
rewrite1__1141_34.min1.thm1
2017-02-06 12:46
726
rewrite1__1142_38.min1.thm1
2017-02-06 12:46
802
rewrite1__1143_44.min1.thm1
2017-02-06 12:46
957
rewrite1__1157_22.min1.thm1
2017-02-06 12:46
290
rewrite1__1160_63.min1.thm1
2017-02-06 12:46
412
rewrite1__1162_29.min1.thm1
2017-02-06 12:46
936
rewrite1__1163_33.min1.thm1
2017-02-06 12:46
1.1K
rewrite1__1165_27.min1.thm1
2017-02-06 12:46
803
rewrite1__1166_24.min1.thm1
2017-02-06 12:46
885
rewrite1__1169_23.min1.thm1
2017-02-06 12:46
643
rewrite1__1171_35.min1.thm1
2017-02-06 12:46
404
rewrite1__1187_46.min1.thm1
2017-02-06 12:46
335
rewrite1__1187_46.min1.thm1.tptp
2017-02-06 16:47
255
rewrite1__1188_33.min1.thm1
2017-02-06 12:46
426
rewrite1__1190_13.min1.thm1
2017-02-06 12:46
662
rewrite1__1195_52.min1.thm1
2017-02-06 12:46
559
rewrite1__1196_16.min1.thm1
2017-02-06 12:46
562
rewrite1__1206_28.min1.thm1
2017-02-06 12:46
1.0K
rewrite1__1209_48.min1.thm1
2017-02-06 12:46
552
rewrite1__1226_30.min1.thm1
2017-02-06 12:46
428
rewrite1__1226_30.min1.thm1.tptp
2017-02-06 16:47
362
rewrite1__1227_62.min1.thm1
2017-02-06 12:46
1.3K
rewrite1__1230_32.min1.thm1
2017-02-06 12:46
960
rewrite1__1231_16.min1.thm1
2017-02-06 12:46
846
rewrite1__1240_36.min1.thm1
2017-02-06 12:46
301
rewrite1__1240_36.min1.thm1.tptp
2017-02-06 16:47
221
rewrite1__1244_60.min1.thm1
2017-02-06 12:46
811
rewrite1__1245_49.min1.thm1
2017-02-06 12:46
514
rewrite1__1245_49.min1.thm1.tptp
2017-02-06 16:47
448
rewrite1__1248_72.min1.thm1
2017-02-06 12:46
625
rewrite1__1250_17.min1.thm1
2017-02-06 12:46
464
rewrite1__1255_32.min1.thm1
2017-02-06 12:46
1.0K
rewrite1__1275_16.min1.thm1
2017-02-06 12:46
729
rewrite1__1276_39.min1.thm1
2017-02-06 12:46
806
rewrite1__1277_26.min1.thm1
2017-02-06 12:46
938
rewrite1__1278_21.min1.thm1
2017-02-06 12:46
783
rewrite1__1280_19.min1.thm1
2017-02-06 12:46
619
rewrite1__1281_24.min1.thm1
2017-02-06 12:46
1.0K
rewrite1__1284_67.min1.thm1
2017-02-06 12:46
1.1K
rewrite1__1287_15.min1.thm1
2017-02-06 12:46
722
rewrite1__1288_37.min1.thm1
2017-02-06 12:46
800
rewrite1__1289_24.min1.thm1
2017-02-06 12:46
1.9K
rewrite1__1290_24.min1.thm1
2017-02-06 12:46
918
rewrite1__1291_24.min1.thm1
2017-02-06 12:46
1.2K
rewrite1__1306_20.min1.thm1
2017-02-06 12:46
584
rewrite1__1312_20.min1.thm1
2017-02-06 12:46
611
rewrite1__1328_23.min1.thm1
2017-02-06 12:46
563
rewrite1__1329_22.min1.thm1
2017-02-06 12:46
469
rewrite1__1332_62.min1.thm1
2017-02-06 12:46
921
rewrite1__1334_16.min1.thm1
2017-02-06 12:46
242
rewrite1__1337_17.min1.thm1
2017-02-06 12:46
1.0K
rewrite1__1349_48.min1.thm1
2017-02-06 12:46
351
rewrite1__1349_48.min1.thm1.tptp
2017-02-06 16:47
271
rewrite1__1355_59.min1.thm1
2017-02-06 12:46
756
rewrite1__1356_18.min1.thm1
2017-02-06 12:46
624
rewrite1__1358_20.min1.thm1
2017-02-06 12:46
354
rewrite1__1358_20.min1.thm1.tptp
2017-02-06 16:47
276
rewrite1__1359_18.min1.thm1
2017-02-06 12:46
966
rewrite1__1364_55.min1.thm1
2017-02-06 12:46
749
rewrite1__1366_36.min1.thm1
2017-02-06 12:46
559
rewrite1__1368_23.min1.thm1
2017-02-06 12:46
1.2K
rewrite1__1371_22.min1.thm1
2017-02-06 12:46
619
rewrite1__1373_22.min1.thm1
2017-02-06 12:46
696
rewrite1__1374_15.min1.thm1
2017-02-06 12:46
726
rewrite1__1375_20.min1.thm1
2017-02-06 12:46
874
rewrite1__1378_18.min1.thm1
2017-02-06 12:46
364
rewrite1__1396_59.min1.thm1
2017-02-06 12:46
795
rewrite1__1397_16.min1.thm1
2017-02-06 12:46
404
rewrite1__1410_59.min1.thm1
2017-02-06 12:46
661
rewrite1__1410_59.min1.thm1.tptp
2017-02-06 16:47
598
rewrite1__1411_16.min1.thm1
2017-02-06 12:46
404
rewrite1__1424_39.min1.thm1
2017-02-06 12:46
770
rewrite1__1425_17.min1.thm1
2017-02-06 12:46
593
rewrite1__1425_17.min1.thm1.tptp
2017-02-06 16:47
530
rewrite1__1474_13.min1.thm1
2017-02-06 12:46
1.5K
rewrite1__1477_22.min1.thm1
2017-02-06 12:46
336
rewrite1__1477_22.min1.thm1.tptp
2017-02-06 16:47
258
rewrite1__1478_21.min1.thm1
2017-02-06 12:46
1.7K
rewrite1__1482_18.min1.thm1
2017-02-06 12:46
1.7K
rewrite1__1485_22.min1.thm1
2017-02-06 12:46
2.1K
rewrite1__1486_19.min1.thm1
2017-02-06 12:46
1.4K
rewrite1__1491_49.min1.thm1
2017-02-06 12:46
1.0K
rewrite1__1494_30.min1.thm1
2017-02-06 12:46
1.0K
rewrite1__1496_47.min1.thm1
2017-02-06 12:46
786
rewrite1__1497_24.min1.thm1
2017-02-06 12:46
837
rewrite1__1498_30.min1.thm1
2017-02-06 12:46
629
rewrite1__1502_36.min1.thm1
2017-02-06 12:46
909
rewrite1__1503_37.min1.thm1
2017-02-06 12:46
705
rewrite1__1505_21.min1.thm1
2017-02-06 12:46
1.4K
rewrite1__1510_22.min1.thm1
2017-02-06 12:46
759
rewrite1__1511_14.min1.thm1
2017-02-06 12:46
1.2K
rewrite1__1514_45.min1.thm1
2017-02-06 12:46
1.4K
rewrite1__1516_16.min1.thm1
2017-02-06 12:46
902
rewrite1__1530_37.min1.thm1
2017-02-06 12:46
580
rewrite1__1531_38.min1.thm1
2017-02-06 12:46
563
rewrite1__1532_21.min1.thm1
2017-02-06 12:46
552
rewrite1__1540_58.min1.thm1
2017-02-06 12:46
573
rewrite1__1540_58.min1.thm1.tptp
2017-02-06 16:47
517
rewrite1__1555_20.min1.thm1
2017-02-06 12:46
583
rewrite1__1556_35.min1.thm1
2017-02-06 12:46
597
rewrite1__1557_37.min1.thm1
2017-02-06 12:46
551
rewrite1__1568_18.min1.thm1
2017-02-06 12:46
585
rewrite1__1571_19.min1.thm1
2017-02-06 12:46
585
rewrite1__1585_19.min1.thm1
2017-02-06 12:46
740
rewrite1__1587_28.min1.thm1
2017-02-06 12:46
2.1K
rewrite1__1591_15.min1.thm1
2017-02-06 12:46
1.5K
rewrite1__1594_23.min1.thm1
2017-02-06 12:46
1.6K
rewrite1__1598_20.min1.thm1
2017-02-06 12:46
1.7K
rewrite1__1601_26.min1.thm1
2017-02-06 12:46
1.6K
rewrite1__1602_21.min1.thm1
2017-02-06 12:46
1.4K
rewrite1__1604_46.min1.thm1
2017-02-06 12:46
936
rewrite1__1605_23.min1.thm1
2017-02-06 12:46
855
rewrite1__1608_14.min1.thm1
2017-02-06 12:46
1.1K
rewrite1__1611_39.min1.thm1
2017-02-06 12:46
912
rewrite1__1612_14.min1.thm1
2017-02-06 12:46
1.2K
rewrite1__1614_17.min1.thm1
2017-02-06 12:46
1.4K
rewrite1__1629_38.min1.thm1
2017-02-06 12:46
798
rewrite1__1630_21.min1.thm1
2017-02-06 12:46
552
rewrite1__1638_58.min1.thm1
2017-02-06 12:46
727
rewrite1__1651_37.min1.thm1
2017-02-06 12:46
519
rewrite1__1652_19.min1.thm1
2017-02-06 12:46
440
rewrite1__1652_19.min1.thm1.tptp
2017-02-06 16:47
362
rewrite1__1665_43.min1.thm1
2017-02-06 12:46
790
rewrite1__1666_37.min1.thm1
2017-02-06 12:46
616
rewrite1__1667_39.min1.thm1
2017-02-06 12:46
452
rewrite1__1667_39.min1.thm1.tptp
2017-02-06 16:47
374
rewrite1__1680_15.min1.thm1
2017-02-06 12:46
271
rewrite1__1685_26.min1.thm1
2017-02-06 12:46
826
rewrite1__1687_59.min1.thm1
2017-02-06 12:46
1.0K
rewrite1__1688_58.min1.thm1
2017-02-06 12:46
1.3K
rewrite1__1690_68.min1.thm1
2017-02-06 12:46
1.2K
rewrite1__1693_10.min1.thm1
2017-02-06 12:46
1.1K
rewrite1__1694_48.min1.thm1
2017-02-06 12:46
940
rewrite1__1698_51.min1.thm1
2017-02-06 12:46
2.9K
rewrite1__1700_48.min1.thm1
2017-02-06 12:46
1.4K
rewrite1__1704_52.min1.thm1
2017-02-06 12:46
859
rewrite1__1705_22.min1.thm1
2017-02-06 12:46
1.0K
rewrite1__1706_14.min1.thm1
2017-02-06 12:46
1.9K
rewrite1__1708_19.min1.thm1
2017-02-06 12:46
1.4K
rewrite1__1716_27.min1.thm1
2017-02-06 12:46
687
rewrite1__1717_19.min1.thm1
2017-02-06 12:46
775
rewrite1__1729_36.min1.thm1
2017-02-06 12:46
585
rewrite1__1730_59.min1.thm1
2017-02-06 12:46
572
rewrite1__1731_19.min1.thm1
2017-02-06 12:46
637
rewrite1__1742_19.min1.thm1
2017-02-06 12:46
745
rewrite1__1755_49.min1.thm1
2017-02-06 12:46
600
rewrite1__1756_32.min1.thm1
2017-02-06 12:46
537
rewrite1__1757_16.min1.thm1
2017-02-06 12:46
313
rewrite1__1758_13.min1.thm1
2017-02-06 12:46
217
rewrite1__1761_21.min1.thm1
2017-02-06 12:46
463
rewrite1__1765_26.min1.thm1
2017-02-06 12:46
1.0K
rewrite1__1766_39.min1.thm1
2017-02-06 12:46
416
rewrite1__1766_39.min1.thm1.tptp
2017-02-06 16:47
335
rewrite1__1768_35.min1.thm1
2017-02-06 12:46
470
rewrite1__1769_21.min1.thm1
2017-02-06 12:46
1.0K
rewrite1__1770_39.min1.thm1
2017-02-06 12:46
416
rewrite1__1770_39.min1.thm1.tptp
2017-02-06 16:47
335
rewrite1__1772_35.min1.thm1
2017-02-06 12:46
470
rewrite1__1773_34.min1.thm1
2017-02-06 12:46
513
rewrite1__1774_34.min1.thm1
2017-02-06 12:46
573
rewrite1__1775_23.min1.thm1
2017-02-06 12:46
533
rewrite1__1776_40.min1.thm1
2017-02-06 12:46
537
rewrite1__1778_35.min1.thm1
2017-02-06 12:46
658
rewrite1__1779_34.min1.thm1
2017-02-06 12:46
513
rewrite1__1780_23.min1.thm1
2017-02-06 12:46
533
rewrite1__1781_40.min1.thm1
2017-02-06 12:46
537
rewrite1__1782_21.min1.thm1
2017-02-06 12:46
1.0K
rewrite1__1783_21.min1.thm1
2017-02-06 12:46
748
rewrite1__1796_18.min1.thm1
2017-02-06 12:46
557
rewrite1__1810_28.min1.thm1
2017-02-06 12:46
610
rewrite1__1811_35.min1.thm1
2017-02-06 12:46
510
rewrite1__1812_17.min1.thm1
2017-02-06 12:46
659
rewrite1__1821_34.min1.thm1
2017-02-06 12:46
241
rewrite1__1823_32.min1.thm1
2017-02-06 12:46
539
rewrite1__1825_19.min1.thm1
2017-02-06 12:46
513
rewrite1__1825_19.min1.thm1.tptp
2017-02-06 16:47
471
rewrite1__1826_17.min1.thm1
2017-02-06 12:46
774
rewrite1__1835_38.min1.thm1
2017-02-06 12:46
473
rewrite1__1835_38.min1.thm1.tptp
2017-02-06 16:47
399
rewrite1__1837_37.min1.thm1
2017-02-06 12:46
580
rewrite1__1838_24.min1.thm1
2017-02-06 12:46
596
rewrite1__1840_38.min1.thm1
2017-02-06 12:46
599
rewrite1__1841_38.min1.thm1
2017-02-06 12:46
473
rewrite1__1841_38.min1.thm1.tptp
2017-02-06 16:47
399
rewrite1__1842_29.min1.thm1
2017-02-06 12:46
596
rewrite1__1844_38.min1.thm1
2017-02-06 12:46
599
rewrite1__1846_41.min1.thm1
2017-02-06 12:46
699
rewrite1__1848_44.min1.thm1
2017-02-06 12:46
758
rewrite1__1849_35.min1.thm1
2017-02-06 12:46
581
rewrite1__1850_17.min1.thm1
2017-02-06 12:46
867
rewrite1__1877_20.min1.thm1
2017-02-06 12:46
637
rewrite1__1881_20.min1.thm1
2017-02-06 12:46
637
rewrite1__1883_15.min1.thm1
2017-02-06 12:46
319
rewrite1__1886_23.min1.thm1
2017-02-06 12:46
898
rewrite1__1890_23.min1.thm1
2017-02-06 12:46
899
rewrite1__1894_25.min1.thm1
2017-02-06 12:46
2.5K
rewrite1__1896_23.min1.thm1
2017-02-06 12:46
2.1K
rewrite1__1898_23.min1.thm1
2017-02-06 12:46
1.8K
rewrite1__1899_25.min1.thm1
2017-02-06 12:46
805
rewrite1__1901_26.min1.thm1
2017-02-06 12:46
2.4K
rewrite1__1902_20.min1.thm1
2017-02-06 12:46
2.5K
rewrite1__1904_23.min1.thm1
2017-02-06 12:46
2.1K
rewrite1__1906_23.min1.thm1
2017-02-06 12:46
1.8K
rewrite1__1907_25.min1.thm1
2017-02-06 12:46
806
rewrite1__1909_26.min1.thm1
2017-02-06 12:46
2.4K
rewrite1__1910_21.min1.thm1
2017-02-06 12:46
2.0K
rewrite1__1914_23.min1.thm1
2017-02-06 12:46
763
rewrite1__1915_21.min1.thm1
2017-02-06 12:46
2.0K
rewrite1__1918_44.min1.thm1
2017-02-06 12:46
923
rewrite1__1921_26.min1.thm1
2017-02-06 12:46
666
rewrite1__1922_38.min1.thm1
2017-02-06 12:46
564
rewrite1__1924_19.min1.thm1
2017-02-06 12:46
873
rewrite1__1925_19.min1.thm1
2017-02-06 12:46
873
rewrite1__1926_40.min1.thm1
2017-02-06 12:46
1.2K
rewrite1__1929_24.min1.thm1
2017-02-06 12:46
602
rewrite1__1930_26.min1.thm1
2017-02-06 12:46
720
rewrite1__1931_40.min1.thm1
2017-02-06 12:46
1.2K
rewrite1__1932_23.min1.thm1
2017-02-06 12:46
724
rewrite1__1935_28.min1.thm1
2017-02-06 12:46
424
rewrite1__1942_41.min1.thm1
2017-02-06 12:46
572
rewrite1__1943_27.min1.thm1
2017-02-06 12:46
504
rewrite1__1944_25.min1.thm1
2017-02-06 12:46
731
rewrite1__1957_14.min1.thm1
2017-02-06 12:46
312
rewrite1__1959_14.min1.thm1
2017-02-06 12:46
312
rewrite1__1966_48.min1.thm1
2017-02-06 12:46
480
rewrite1__1968_22.min1.thm1
2017-02-06 12:46
384
rewrite1__1968_22.min1.thm1.tptp
2017-02-06 16:47
308
rewrite1__1975_15.min1.thm1
2017-02-06 12:46
227
rewrite1__1978_23.min1.thm1
2017-02-06 12:46
513
rewrite1__1982_29.min1.thm1
2017-02-06 12:46
316
rewrite1__1984_23.min1.thm1
2017-02-06 12:46
835
rewrite1__1985_26.min1.thm1
2017-02-06 12:46
784
rewrite1__1987_25.min1.thm1
2017-02-06 12:46
410
rewrite1__1987_25.min1.thm1.tptp
2017-02-06 16:47
356
rewrite1__1988_21.min1.thm1
2017-02-06 12:46
784
rewrite1__1990_25.min1.thm1
2017-02-06 12:46
410
rewrite1__1990_25.min1.thm1.tptp
2017-02-06 16:47
356
rewrite1__1991_21.min1.thm1
2017-02-06 12:46
569
rewrite1__1993_24.min1.thm1
2017-02-06 12:46
615
rewrite1__1994_24.min1.thm1
2017-02-06 12:46
371
rewrite1__1994_24.min1.thm1.tptp
2017-02-06 16:47
292
rewrite1__1995_23.min1.thm1
2017-02-06 12:46
858
rewrite1__2004_43.min1.thm1
2017-02-06 12:46
309
rewrite1__2004_43.min1.thm1.tptp
2017-02-06 16:47
229
rewrite1__2006_15.min1.thm1
2017-02-06 12:46
647
rewrite1__2010_22.min1.thm1
2017-02-06 12:46
254
rewrite1__2015_25.min1.thm1
2017-02-06 12:46
665
rewrite1__2016_23.min1.thm1
2017-02-06 12:46
704
rewrite1__2021_22.min1.thm1
2017-02-06 12:46
1.3K
rewrite1__2024_23.min1.thm1
2017-02-06 12:46
1.2K
rewrite1__2033_22.min1.thm1
2017-02-06 12:46
627
rewrite1__2034_19.min1.thm1
2017-02-06 12:46
486
rewrite1__2037_19.min1.thm1
2017-02-06 12:46
531
rewrite1__2056_18.min1.thm1
2017-02-06 12:46
888
rewrite1__2063_15.min1.thm1
2017-02-06 12:46
1.5K
rewrite1__2066_52.min1.thm1
2017-02-06 12:46
1.8K
rewrite1__2070_20.min1.thm1
2017-02-06 12:46
1.9K
rewrite1__2073_29.min1.thm1
2017-02-06 12:46
1.9K
rewrite1__2076_22.min1.thm1
2017-02-06 12:46
1.0K
rewrite1__2079_21.min1.thm1
2017-02-06 12:46
1.7K
rewrite1__2082_51.min1.thm1
2017-02-06 12:46
1.0K
rewrite1__2088_22.min1.thm1
2017-02-06 12:46
2.0K
rewrite1__2089_19.min1.thm1
2017-02-06 12:46
1.6K
rewrite1__2092_45.min1.thm1
2017-02-06 12:46
706
rewrite1__2093_69.min1.thm1
2017-02-06 12:46
2.4K
rewrite1__2097_43.min1.thm1
2017-02-06 12:46
1.1K
rewrite1__2097_43.min1.thm1.tptp
2017-02-06 16:47
1.0K
rewrite1__2103_49.min1.thm1
2017-02-06 12:46
2.4K
rewrite1__2108_30.min1.thm1
2017-02-06 12:46
1.1K
rewrite1__2110_35.min1.thm1
2017-02-06 12:46
1.0K
rewrite1__2112_35.min1.thm1
2017-02-06 12:46
1.7K
rewrite1__2116_51.min1.thm1
2017-02-06 12:46
855
rewrite1__2117_52.min1.thm1
2017-02-06 12:46
795
rewrite1__2120_36.min1.thm1
2017-02-06 12:46
743
rewrite1__2122_35.min1.thm1
2017-02-06 12:46
1.1K
rewrite1__2124_35.min1.thm1
2017-02-06 12:46
1.7K
rewrite1__2128_51.min1.thm1
2017-02-06 12:46
855
rewrite1__2129_52.min1.thm1
2017-02-06 12:46
795
rewrite1__2132_36.min1.thm1
2017-02-06 12:46
743
rewrite1__2134_35.min1.thm1
2017-02-06 12:46
1.0K
rewrite1__2136_35.min1.thm1
2017-02-06 12:46
1.7K
rewrite1__2142_30.min1.thm1
2017-02-06 12:46
1.3K
rewrite1__2144_35.min1.thm1
2017-02-06 12:46
1.1K
rewrite1__2146_35.min1.thm1
2017-02-06 12:46
1.7K
rewrite1__2148_25.min1.thm1
2017-02-06 12:46
1.7K
rewrite1__2150_60.min1.thm1
2017-02-06 12:46
1.0K
rewrite1__2157_55.min1.thm1
2017-02-06 12:46
1.7K
rewrite1__2158_17.min1.thm1
2017-02-06 12:46
1.6K
rewrite1__2162_27.min1.thm1
2017-02-06 12:46
1.0K
rewrite1__2165_43.min1.thm1
2017-02-06 12:46
1.8K
rewrite1__2167_31.min1.thm1
2017-02-06 12:46
1.0K
rewrite1__2168_25.min1.thm1
2017-02-06 12:46
1.3K
rewrite1__2173_52.min1.thm1
2017-02-06 12:46
931
rewrite1__2174_22.min1.thm1
2017-02-06 12:46
1.0K
rewrite1__2175_14.min1.thm1
2017-02-06 12:46
1.9K
rewrite1__2177_19.min1.thm1
2017-02-06 12:46
1.4K
rewrite1__2179_14.min1.thm1
2017-02-06 12:46
692
rewrite1__2193_43.min1.thm1
2017-02-06 12:46
797
rewrite1__2194_37.min1.thm1
2017-02-06 12:46
580
rewrite1__2195_38.min1.thm1
2017-02-06 12:46
563
rewrite1__2197_38.min1.thm1
2017-02-06 12:46
552
rewrite1__2199_20.min1.thm1
2017-02-06 12:46
664
rewrite1__2209_29.min1.thm1
2017-02-06 12:46
642
rewrite1__2210_27.min1.thm1
2017-02-06 12:46
642
rewrite1__2211_77.min1.thm1
2017-02-06 12:46
1.3K
rewrite1__2213_37.min1.thm1
2017-02-06 12:46
807
rewrite1__2215_42.min1.thm1
2017-02-06 12:46
657
rewrite1__2217_16.min1.thm1
2017-02-06 12:46
626
rewrite1__2231_43.min1.thm1
2017-02-06 12:46
797
rewrite1__2232_37.min1.thm1
2017-02-06 12:46
580
rewrite1__2233_38.min1.thm1
2017-02-06 12:46
563
rewrite1__2235_38.min1.thm1
2017-02-06 12:46
552
rewrite1__2237_20.min1.thm1
2017-02-06 12:46
968
rewrite1__2247_29.min1.thm1
2017-02-06 12:46
642
rewrite1__2248_27.min1.thm1
2017-02-06 12:46
642
rewrite1__2249_40.min1.thm1
2017-02-06 12:46
1.1K
rewrite1__2250_37.min1.thm1
2017-02-06 12:46
569
rewrite1__2252_42.min1.thm1
2017-02-06 12:46
657
rewrite1__2254_16.min1.thm1
2017-02-06 12:46
626
rewrite1__2264_10.min1.thm1
2017-02-06 12:46
296
rewrite1__2283_16.min1.thm1
2017-02-06 12:46
592
rewrite1__2295_33.min1.thm1
2017-02-06 12:46
699
rewrite1__2296_31.min1.thm1
2017-02-06 12:46
272
rewrite1__2297_17.min1.thm1
2017-02-06 12:46
582
rewrite1__2308_18.min1.thm1
2017-02-06 12:46
269
rewrite1__2313_22.min1.thm1
2017-02-06 12:46
827
rewrite1__2318_31.min1.thm1
2017-02-06 12:46
528
rewrite1__2319_45.min1.thm1
2017-02-06 12:46
1.4K
rewrite1__2320_43.min1.thm1
2017-02-06 12:46
786
rewrite1__2332_13.min1.thm1
2017-02-06 12:46
1.5K
rewrite1__2335_46.min1.thm1
2017-02-06 12:46
1.3K
rewrite1__2339_24.min1.thm1
2017-02-06 12:46
1.5K
rewrite1__2341_67.min1.thm1
2017-02-06 12:46
1.1K
rewrite1__2346_26.min1.thm1
2017-02-06 12:46
1.4K
rewrite1__2349_47.min1.thm1
2017-02-06 12:46
758
rewrite1__2350_46.min1.thm1
2017-02-06 12:46
2.0K
rewrite1__2354_52.min1.thm1
2017-02-06 12:46
787
rewrite1__2355_22.min1.thm1
2017-02-06 12:46
1.1K
rewrite1__2356_14.min1.thm1
2017-02-06 12:46
1.5K
rewrite1__2358_17.min1.thm1
2017-02-06 12:46
1.4K
rewrite1__2367_11.min1.thm1
2017-02-06 12:46
189
rewrite1__2371_30.min1.thm1
2017-02-06 12:46
866
rewrite1__2373_42.min1.thm1
2017-02-06 12:46
533
rewrite1__2374_19.min1.thm1
2017-02-06 12:46
840
rewrite1__2378_48.min1.thm1
2017-02-06 12:46
387
rewrite1__2381_19.min1.thm1
2017-02-06 12:46
814
rewrite1__2383_47.min1.thm1
2017-02-06 12:46
389
rewrite1__2383_47.min1.thm1.tptp
2017-02-06 16:47
328
rewrite1__2384_58.min1.thm1
2017-02-06 12:46
462
rewrite1__2384_58.min1.thm1.tptp
2017-02-06 16:47
415
rewrite1__2385_41.min1.thm1
2017-02-06 12:46
359
rewrite1__2385_41.min1.thm1.tptp
2017-02-06 16:47
288
rewrite1__2391_20.min1.thm1
2017-02-06 12:46
1.0K
rewrite1__2392_34.min1.thm1
2017-02-06 12:46
1.6K
rewrite1__2405_21.min1.thm1
2017-02-06 12:46
685
rewrite1__2406_35.min1.thm1
2017-02-06 12:46
1.6K
rewrite1__2408_30.min1.thm1
2017-02-06 12:46
1.3K
rewrite1__2409_49.min1.thm1
2017-02-06 12:46
760
rewrite1__2410_24.min1.thm1
2017-02-06 12:46
812
rewrite1__2411_24.min1.thm1
2017-02-06 12:46
1.0K
rewrite1__2413_24.min1.thm1
2017-02-06 12:46
1.0K
rewrite1__2414_15.min1.thm1
2017-02-06 12:46
678
rewrite1__2415_22.min1.thm1
2017-02-06 12:46
1.4K
rewrite1__2417_14.min1.thm1
2017-02-06 12:46
373
rewrite1__2417_14.min1.thm1.tptp
2017-02-06 16:47
308
rewrite1__2418_49.min1.thm1
2017-02-06 12:46
761
rewrite1__2419_24.min1.thm1
2017-02-06 12:46
814
rewrite1__2420_24.min1.thm1
2017-02-06 12:46
1.0K
rewrite1__2422_24.min1.thm1
2017-02-06 12:46
1.0K
rewrite1__2424_15.min1.thm1
2017-02-06 12:46
678
rewrite1__2425_22.min1.thm1
2017-02-06 12:46
1.4K
rewrite1__2426_19.min1.thm1
2017-02-06 12:46
373
rewrite1__2426_19.min1.thm1.tptp
2017-02-06 16:47
308
rewrite1__2427_21.min1.thm1
2017-02-06 12:46
608
rewrite1__2441_20.min1.thm1
2017-02-06 12:46
1.7K
rewrite1__2442_17.min1.thm1
2017-02-06 12:46
1.6K
rewrite1__2445_50.min1.thm1
2017-02-06 12:46
1.4K
rewrite1__2449_28.min1.thm1
2017-02-06 12:46
1.5K
rewrite1__2451_51.min1.thm1
2017-02-06 12:46
972
rewrite1__2452_50.min1.thm1
2017-02-06 12:46
2.1K
rewrite1__2456_53.min1.thm1
2017-02-06 12:46
871
rewrite1__2457_23.min1.thm1
2017-02-06 12:46
801
rewrite1__2458_15.min1.thm1
2017-02-06 12:46
1.6K
rewrite1__2460_21.min1.thm1
2017-02-06 12:46
1.2K
rewrite1__2465_15.min1.thm1
2017-02-06 12:46
533
rewrite1__2468_20.min1.thm1
2017-02-06 12:46
1.0K
rewrite1__2473_19.min1.thm1
2017-02-06 12:46
1.7K
rewrite1__2477_25.min1.thm1
2017-02-06 12:46
1.8K
rewrite1__2478_39.min1.thm1
2017-02-06 12:46
1.6K
rewrite1__2481_65.min1.thm1
2017-02-06 12:46
2.1K
rewrite1__2482_34.min1.thm1
2017-02-06 12:46
1.2K
rewrite1__2483_34.min1.thm1
2017-02-06 12:46
2.2K
rewrite1__2486_30.min1.thm1
2017-02-06 12:46
1.4K
rewrite1__2489_18.min1.thm1
2017-02-06 12:46
926
rewrite1__2490_23.min1.thm1
2017-02-06 12:46
1.9K
rewrite1__2492_27.min1.thm1
2017-02-06 12:46
958
rewrite1__2496_75.min1.thm1
2017-02-06 12:46
444
rewrite1__2503_38.min1.thm1
2017-02-06 12:46
759
rewrite1__2504_56.min1.thm1
2017-02-06 12:46
904
rewrite1__2506_21.min1.thm1
2017-02-06 12:46
923
rewrite1__2511_15.min1.thm1
2017-02-06 12:46
221
rewrite1__2514_23.min1.thm1
2017-02-06 12:46
759
rewrite1__2522_25.min1.thm1
2017-02-06 12:46
620
rewrite1__2523_39.min1.thm1
2017-02-06 12:46
1.6K
rewrite1__2525_34.min1.thm1
2017-02-06 12:46
1.3K
rewrite1__2526_25.min1.thm1
2017-02-06 12:46
619
rewrite1__2528_23.min1.thm1
2017-02-06 12:46
864
rewrite1__2532_23.min1.thm1
2017-02-06 12:46
308
rewrite1__2535_30.min1.thm1
2017-02-06 12:46
1.3K
rewrite1__2536_30.min1.thm1
2017-02-06 12:46
1.0K
rewrite1__2537_30.min1.thm1
2017-02-06 12:46
1.0K
rewrite1__2538_45.min1.thm1
2017-02-06 12:46
675
rewrite1__2541_30.min1.thm1
2017-02-06 12:46
1.0K
rewrite1__2543_45.min1.thm1
2017-02-06 12:46
674
rewrite1__2545_27.min1.thm1
2017-02-06 12:46
1.2K
rewrite1__2550_64.min1.thm1
2017-02-06 12:46
874
rewrite1__2551_23.min1.thm1
2017-02-06 12:46
606
rewrite1__2566_67.min1.thm1
2017-02-06 12:46
561
rewrite1__2566_67.min1.thm1.tptp
2017-02-06 16:47
514
rewrite1__2567_16.min1.thm1
2017-02-06 12:46
450
rewrite1__2575_59.min1.thm1
2017-02-06 12:46
692
rewrite1__2576_17.min1.thm1
2017-02-06 12:46
1.2K
rewrite1__2587_60.min1.thm1
2017-02-06 12:46
368
rewrite1__2588_17.min1.thm1
2017-02-06 12:46
1.0K
rewrite1__2596_36.min1.thm1
2017-02-06 12:46
1.1K
rewrite1__2598_26.min1.thm1
2017-02-06 12:46
733
rewrite1__2599_63.min1.thm1
2017-02-06 12:46
648
rewrite1__2600_62.min1.thm1
2017-02-06 12:46
1.6K
rewrite1__2601_36.min1.thm1
2017-02-06 12:46
1.1K
rewrite1__2603_26.min1.thm1
2017-02-06 12:46
733
rewrite1__2604_59.min1.thm1
2017-02-06 12:46
692
rewrite1__2605_17.min1.thm1
2017-02-06 12:46
1.1K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80