Index of /~mptp/1147/mptp/ilp0/monoid_1
Name
Last modified
Size
Description
Parent Directory
-
monoid_1__2018_59.min1.thm1.tptp
2017-02-06 16:47
1.1K
monoid_1__2018_59.min1.thm1
2017-02-06 12:45
1.2K
monoid_1__2007_74.min1.thm1
2017-02-06 12:45
1.2K
monoid_1__1998_59.min1.thm1.tptp
2017-02-06 16:47
1.1K
monoid_1__1998_59.min1.thm1
2017-02-06 12:45
1.2K
monoid_1__1987_53.min1.thm1
2017-02-06 12:45
1.5K
monoid_1__1985_30.min1.thm1.tptp
2017-02-06 16:47
392
monoid_1__1985_30.min1.thm1
2017-02-06 12:45
467
monoid_1__1972_74.min1.thm1
2017-02-06 12:45
1.0K
monoid_1__1966_42.min1.thm1
2017-02-06 12:45
1.1K
monoid_1__1961_13.min1.thm1
2017-02-06 12:45
193
monoid_1__1943_17.min1.thm1
2017-02-06 12:45
1.7K
monoid_1__1942_17.min1.thm1
2017-02-06 12:45
635
monoid_1__1941_14.min1.thm1
2017-02-06 12:45
1.1K
monoid_1__1940_15.min1.thm1
2017-02-06 12:45
739
monoid_1__1938_19.min1.thm1
2017-02-06 12:45
774
monoid_1__1937_17.min1.thm1
2017-02-06 12:45
777
monoid_1__1936_24.min1.thm1
2017-02-06 12:45
1.2K
monoid_1__1934_41.min1.thm1
2017-02-06 12:45
464
monoid_1__1927_19.min1.thm1
2017-02-06 12:45
840
monoid_1__1926_18.min1.thm1
2017-02-06 12:45
749
monoid_1__1925_24.min1.thm1
2017-02-06 12:45
1.2K
monoid_1__1923_41.min1.thm1
2017-02-06 12:45
464
monoid_1__1917_14.min1.thm1
2017-02-06 12:45
767
monoid_1__1915_20.min1.thm1
2017-02-06 12:45
1.2K
monoid_1__1912_16.min1.thm1
2017-02-06 12:45
1.1K
monoid_1__1911_42.min1.thm1
2017-02-06 12:45
1.1K
monoid_1__1910_14.min1.thm1.tptp
2017-02-06 16:47
289
monoid_1__1910_14.min1.thm1
2017-02-06 12:45
357
monoid_1__1909_14.min1.thm1.tptp
2017-02-06 16:47
289
monoid_1__1909_14.min1.thm1
2017-02-06 12:45
357
monoid_1__1907_17.min1.thm1
2017-02-06 12:45
1.0K
monoid_1__1905_32.min1.thm1
2017-02-06 12:45
1.6K
monoid_1__1904_29.min1.thm1
2017-02-06 12:45
2.6K
monoid_1__1901_32.min1.thm1
2017-02-06 12:45
1.2K
monoid_1__1897_33.min1.thm1
2017-02-06 12:45
1.1K
monoid_1__1888_17.min1.thm1
2017-02-06 12:45
1.6K
monoid_1__1887_24.min1.thm1
2017-02-06 12:45
918
monoid_1__1877_56.min1.thm1
2017-02-06 12:45
779
monoid_1__1873_13.min1.thm1
2017-02-06 12:45
711
monoid_1__1872_18.min1.thm1
2017-02-06 12:45
1.7K
monoid_1__1870_13.min1.thm1
2017-02-06 12:45
711
monoid_1__1869_18.min1.thm1
2017-02-06 12:45
1.7K
monoid_1__1854_13.min1.thm1.tptp
2017-02-06 16:47
353
monoid_1__1854_13.min1.thm1
2017-02-06 12:45
415
monoid_1__1851_44.min1.thm1
2017-02-06 12:45
495
monoid_1__1848_16.min1.thm1
2017-02-06 12:45
569
monoid_1__1843_19.min1.thm1
2017-02-06 12:45
1.4K
monoid_1__1842_15.min1.thm1
2017-02-06 12:45
1.7K
monoid_1__1840_15.min1.thm1
2017-02-06 12:45
731
monoid_1__1835_41.min1.thm1
2017-02-06 12:45
1.1K
monoid_1__1823_13.min1.thm1.tptp
2017-02-06 16:47
353
monoid_1__1823_13.min1.thm1
2017-02-06 12:45
415
monoid_1__1820_44.min1.thm1
2017-02-06 12:45
495
monoid_1__1817_16.min1.thm1
2017-02-06 12:45
569
monoid_1__1813_22.min1.thm1
2017-02-06 12:45
863
monoid_1__1811_19.min1.thm1
2017-02-06 12:45
1.4K
monoid_1__1810_15.min1.thm1
2017-02-06 12:45
1.7K
monoid_1__1808_14.min1.thm1
2017-02-06 12:45
731
monoid_1__1803_41.min1.thm1
2017-02-06 12:45
1.1K
monoid_1__1773_20.min1.thm1
2017-02-06 12:45
1.3K
monoid_1__1758_13.min1.thm1
2017-02-06 12:45
1.6K
monoid_1__1754_18.min1.thm1
2017-02-06 12:45
1.6K
monoid_1__1751_39.min1.thm1
2017-02-06 12:45
1.1K
monoid_1__1750_17.min1.thm1
2017-02-06 12:45
1.7K
monoid_1__1742_39.min1.thm1
2017-02-06 12:45
1.1K
monoid_1__1729_15.min1.thm1
2017-02-06 12:45
1.6K
monoid_1__1725_20.min1.thm1
2017-02-06 12:45
1.6K
monoid_1__1722_41.min1.thm1
2017-02-06 12:45
1.1K
monoid_1__1721_17.min1.thm1
2017-02-06 12:45
1.7K
monoid_1__1713_41.min1.thm1
2017-02-06 12:45
1.1K
monoid_1__1702_22.min1.thm1
2017-02-06 12:45
863
monoid_1__1696_59.min1.thm1
2017-02-06 12:45
961
monoid_1__1691_53.min1.thm1
2017-02-06 12:45
2.3K
monoid_1__1688_33.min1.thm1
2017-02-06 12:45
2.0K
monoid_1__1686_43.min1.thm1
2017-02-06 12:45
1.1K
monoid_1__1685_16.min1.thm1
2017-02-06 12:45
1.6K
monoid_1__1660_37.min1.thm1
2017-02-06 12:45
465
monoid_1__1659_37.min1.thm1
2017-02-06 12:45
465
monoid_1__1631_39.min1.thm1
2017-02-06 12:45
456
monoid_1__1630_39.min1.thm1
2017-02-06 12:45
456
monoid_1__1603_18.min1.thm1.tptp
2017-02-06 16:47
1.1K
monoid_1__1603_18.min1.thm1
2017-02-06 12:45
1.2K
monoid_1__1602_35.min1.thm1.tptp
2017-02-06 16:47
1.1K
monoid_1__1602_35.min1.thm1
2017-02-06 12:45
1.2K
monoid_1__1571_17.min1.thm1
2017-02-06 12:45
683
monoid_1__1569_24.min1.thm1
2017-02-06 12:45
573
monoid_1__1568_25.min1.thm1
2017-02-06 12:45
954
monoid_1__1567_20.min1.thm1
2017-02-06 12:45
1.3K
monoid_1__1566_22.min1.thm1
2017-02-06 12:45
1.6K
monoid_1__1564_17.min1.thm1
2017-02-06 12:45
517
monoid_1__1563_21.min1.thm1
2017-02-06 12:45
1.0K
monoid_1__1561_34.min1.thm1
2017-02-06 12:45
1.2K
monoid_1__1560_16.min1.thm1
2017-02-06 12:45
720
monoid_1__1555_35.min1.thm1
2017-02-06 12:45
1.8K
monoid_1__1554_26.min1.thm1
2017-02-06 12:45
1.0K
monoid_1__1553_17.min1.thm1
2017-02-06 12:45
655
monoid_1__1551_46.min1.thm1
2017-02-06 12:45
1.6K
monoid_1__1531_68.min1.thm1.tptp
2017-02-06 16:47
464
monoid_1__1531_68.min1.thm1
2017-02-06 12:45
533
monoid_1__1526_20.min1.thm1
2017-02-06 12:45
694
monoid_1__1521_24.min1.thm1
2017-02-06 12:45
1.0K
monoid_1__1520_20.min1.thm1
2017-02-06 12:45
662
monoid_1__1519_21.min1.thm1
2017-02-06 12:45
667
monoid_1__1509_21.min1.thm1
2017-02-06 12:45
1.5K
monoid_1__1508_23.min1.thm1
2017-02-06 12:45
670
monoid_1__1505_19.min1.thm1
2017-02-06 12:45
873
monoid_1__1502_25.min1.thm1
2017-02-06 12:45
879
monoid_1__1501_48.min1.thm1
2017-02-06 12:45
1.3K
monoid_1__1493_36.min1.thm1
2017-02-06 12:45
690
monoid_1__1492_45.min1.thm1
2017-02-06 12:45
1.7K
monoid_1__1489_25.min1.thm1
2017-02-06 12:45
1.5K
monoid_1__1488_37.min1.thm1
2017-02-06 12:45
640
monoid_1__1487_16.min1.thm1
2017-02-06 12:45
618
monoid_1__1475_16.min1.thm1
2017-02-06 12:45
516
monoid_1__1474_19.min1.thm1
2017-02-06 12:45
701
monoid_1__1472_46.min1.thm1
2017-02-06 12:45
1.6K
monoid_1__1460_70.min1.thm1
2017-02-06 12:45
443
monoid_1__1458_28.min1.thm1
2017-02-06 12:45
1.6K
monoid_1__1456_60.min1.thm1
2017-02-06 12:45
300
monoid_1__1444_16.min1.thm1
2017-02-06 12:45
1.2K
monoid_1__1443_38.min1.thm1
2017-02-06 12:45
1.2K
monoid_1__1442_31.min1.thm1
2017-02-06 12:45
1.3K
monoid_1__1441_27.min1.thm1
2017-02-06 12:45
1.2K
monoid_1__1440_18.min1.thm1
2017-02-06 12:45
1.6K
monoid_1__1434_16.min1.thm1
2017-02-06 12:45
1.5K
monoid_1__1431_37.min1.thm1
2017-02-06 12:45
956
monoid_1__1429_20.min1.thm1
2017-02-06 12:45
1.1K
monoid_1__1428_35.min1.thm1
2017-02-06 12:45
433
monoid_1__1427_20.min1.thm1
2017-02-06 12:45
581
monoid_1__1426_39.min1.thm1
2017-02-06 12:45
1.0K
monoid_1__1425_15.min1.thm1
2017-02-06 12:45
1.0K
monoid_1__1423_24.min1.thm1
2017-02-06 12:45
1.5K
monoid_1__1422_22.min1.thm1
2017-02-06 12:45
611
monoid_1__1421_18.min1.thm1
2017-02-06 12:45
1.0K
monoid_1__1419_16.min1.thm1
2017-02-06 12:45
1.6K
monoid_1__1410_17.min1.thm1
2017-02-06 12:45
181
monoid_1__1399_14.min1.thm1.tptp
2017-02-06 16:47
476
monoid_1__1399_14.min1.thm1
2017-02-06 12:45
553
monoid_1__1397_11.min1.thm1
2017-02-06 12:45
793
monoid_1__1393_13.min1.thm1
2017-02-06 12:45
1.4K
monoid_1__1391_36.min1.thm1
2017-02-06 12:45
1.2K
monoid_1__1382_26.min1.thm1.tptp
2017-02-06 16:47
471
monoid_1__1382_26.min1.thm1
2017-02-06 12:45
548
monoid_1__1380_11.min1.thm1
2017-02-06 12:45
792
monoid_1__1376_15.min1.thm1
2017-02-06 12:45
655
monoid_1__1374_36.min1.thm1
2017-02-06 12:45
1.2K
monoid_1__1368_30.min1.thm1
2017-02-06 12:45
956
monoid_1__1356_19.min1.thm1
2017-02-06 12:45
1.5K
monoid_1__1355_11.min1.thm1
2017-02-06 12:45
1.1K
monoid_1__1352_53.min1.thm1
2017-02-06 12:45
1.7K
monoid_1__1342_35.min1.thm1
2017-02-06 12:45
433
monoid_1__1339_20.min1.thm1
2017-02-06 12:45
581
monoid_1__1338_39.min1.thm1
2017-02-06 12:45
1.0K
monoid_1__1337_15.min1.thm1
2017-02-06 12:45
1.0K
monoid_1__1335_24.min1.thm1
2017-02-06 12:45
1.5K
monoid_1__1334_22.min1.thm1
2017-02-06 12:45
611
monoid_1__1333_18.min1.thm1
2017-02-06 12:45
1.0K
monoid_1__1331_16.min1.thm1
2017-02-06 12:45
1.6K
monoid_1__1323_17.min1.thm1
2017-02-06 12:45
181
monoid_1__1302_47.min1.thm1
2017-02-06 12:45
1.0K
monoid_1__1288_29.min1.thm1
2017-02-06 12:45
1.7K
monoid_1__1287_41.min1.thm1
2017-02-06 12:45
2.2K
monoid_1__1286_35.min1.thm1
2017-02-06 12:45
1.4K
monoid_1__1284_36.min1.thm1
2017-02-06 12:45
934
monoid_1__1283_41.min1.thm1
2017-02-06 12:45
2.0K
monoid_1__1279_22.min1.thm1
2017-02-06 12:45
1.5K
monoid_1__1270_13.min1.thm1
2017-02-06 12:45
1.4K
monoid_1__1268_41.min1.thm1.tptp
2017-02-06 16:47
252
monoid_1__1268_41.min1.thm1
2017-02-06 12:45
330
monoid_1__1258_28.min1.thm1
2017-02-06 12:45
1.4K
monoid_1__1257_28.min1.thm1
2017-02-06 12:45
2.1K
monoid_1__1248_18.min1.thm1.tptp
2017-02-06 16:47
615
monoid_1__1248_18.min1.thm1
2017-02-06 12:45
692
monoid_1__1247_38.min1.thm1.tptp
2017-02-06 16:47
615
monoid_1__1247_38.min1.thm1
2017-02-06 12:45
692
monoid_1__1237_25.min1.thm1
2017-02-06 12:45
701
monoid_1__1223_22.min1.thm1
2017-02-06 12:45
2.4K
monoid_1__1214_18.min1.thm1
2017-02-06 12:45
576
monoid_1__1205_45.min1.thm1
2017-02-06 12:45
1.1K
monoid_1__1194_24.min1.thm1
2017-02-06 12:45
1.3K
monoid_1__1193_20.min1.thm1
2017-02-06 12:45
578
monoid_1__1181_41.min1.thm1
2017-02-06 12:45
2.3K
monoid_1__1166_18.min1.thm1
2017-02-06 12:45
576
monoid_1__1161_43.min1.thm1
2017-02-06 12:45
2.4K
monoid_1__1150_24.min1.thm1
2017-02-06 12:45
1.3K
monoid_1__1149_20.min1.thm1
2017-02-06 12:45
578
monoid_1__1138_19.min1.thm1
2017-02-06 12:45
714
monoid_1__1136_26.min1.thm1
2017-02-06 12:45
913
monoid_1__1134_27.min1.thm1
2017-02-06 12:45
1.1K
monoid_1__1133_44.min1.thm1
2017-02-06 12:45
1.0K
monoid_1__1132_26.min1.thm1
2017-02-06 12:45
1.1K
monoid_1__1118_21.min1.thm1
2017-02-06 12:45
892
monoid_1__1117_30.min1.thm1
2017-02-06 12:45
892
monoid_1__1116_47.min1.thm1
2017-02-06 12:45
727
monoid_1__1111_23.min1.thm1
2017-02-06 12:45
910
monoid_1__1110_32.min1.thm1
2017-02-06 12:45
910
monoid_1__1109_49.min1.thm1
2017-02-06 12:45
735
monoid_1__1101_27.min1.thm1
2017-02-06 12:45
1.3K
monoid_1__1100_27.min1.thm1
2017-02-06 12:45
1.3K
monoid_1__1091_19.min1.thm1
2017-02-06 12:45
1.3K
monoid_1__1090_30.min1.thm1
2017-02-06 12:45
885
monoid_1__1088_44.min1.thm1
2017-02-06 12:45
702
monoid_1__1086_18.min1.thm1.tptp
2017-02-06 16:47
671
monoid_1__1086_18.min1.thm1
2017-02-06 12:45
732
monoid_1__1078_70.min1.thm1.tptp
2017-02-06 16:47
437
monoid_1__1078_70.min1.thm1
2017-02-06 12:45
522
monoid_1__1073_28.min1.thm1
2017-02-06 12:45
2.1K
monoid_1__1069_21.min1.thm1
2017-02-06 12:45
865
monoid_1__1067_23.min1.thm1
2017-02-06 12:45
820
monoid_1__1060_16.min1.thm1
2017-02-06 12:45
1.4K
monoid_1__1054_44.min1.thm1
2017-02-06 12:45
1.3K
monoid_1__1053_44.min1.thm1
2017-02-06 12:45
894
monoid_1__1052_32.min1.thm1
2017-02-06 12:45
1.4K
monoid_1__1050_58.min1.thm1
2017-02-06 12:45
1.6K
monoid_1__1048_25.min1.thm1
2017-02-06 12:45
772
monoid_1__1046_30.min1.thm1
2017-02-06 12:45
1.3K
monoid_1__1040_30.min1.thm1
2017-02-06 12:45
1.3K
monoid_1__1032_52.min1.thm1
2017-02-06 12:45
1.6K
monoid_1__1001_17.min1.thm1
2017-02-06 12:45
1.9K
monoid_1__1000_13.min1.thm1
2017-02-06 12:45
567
monoid_1__999_34.min1.thm1
2017-02-06 12:45
607
monoid_1__991_11.min1.thm1.tptp
2017-02-06 16:47
368
monoid_1__991_11.min1.thm1
2017-02-06 12:45
445
monoid_1__974_14.min1.thm1
2017-02-06 12:45
498
monoid_1__966_60.min1.thm1
2017-02-06 12:45
1.7K
monoid_1__965_26.min1.thm1
2017-02-06 12:45
1.4K
monoid_1__955_51.min1.thm1
2017-02-06 12:45
3.3K
monoid_1__953_49.min1.thm1
2017-02-06 12:45
1.3K
monoid_1__945_19.min1.thm1
2017-02-06 12:45
616
monoid_1__943_19.min1.thm1
2017-02-06 12:45
1.5K
monoid_1__929_17.min1.thm1
2017-02-06 12:45
1.4K
monoid_1__928_27.min1.thm1
2017-02-06 12:45
677
monoid_1__921_17.min1.thm1
2017-02-06 12:45
1.3K
monoid_1__917_31.min1.thm1
2017-02-06 12:45
1.5K
monoid_1__902_73.min1.thm1
2017-02-06 12:45
1.9K
monoid_1__895_13.min1.thm1
2017-02-06 12:45
3.7K
monoid_1__884_19.min1.thm1
2017-02-06 12:45
1.9K
monoid_1__883_40.min1.thm1
2017-02-06 12:45
1.0K
monoid_1__871_25.min1.thm1
2017-02-06 12:45
1.1K
monoid_1__866_40.min1.thm1
2017-02-06 12:45
1.5K
monoid_1__865_50.min1.thm1
2017-02-06 12:45
1.2K
monoid_1__863_65.min1.thm1
2017-02-06 12:45
1.1K
monoid_1__851_55.min1.thm1
2017-02-06 12:45
2.2K
monoid_1__850_40.min1.thm1
2017-02-06 12:45
1.5K
monoid_1__815_76.min1.thm1.tptp
2017-02-06 16:47
1.3K
monoid_1__815_76.min1.thm1
2017-02-06 12:45
1.4K
monoid_1__801_29.min1.thm1
2017-02-06 12:45
1.2K
monoid_1__785_30.min1.thm1.tptp
2017-02-06 16:47
392
monoid_1__785_30.min1.thm1
2017-02-06 12:45
467
monoid_1__771_37.min1.thm1.tptp
2017-02-06 16:47
1.2K
monoid_1__771_37.min1.thm1
2017-02-06 12:45
1.3K
monoid_1__761_16.min1.thm1.tptp
2017-02-06 16:47
341
monoid_1__761_16.min1.thm1
2017-02-06 12:45
421
monoid_1__760_24.min1.thm1
2017-02-06 12:45
1.7K
monoid_1__759_16.min1.thm1
2017-02-06 12:45
598
monoid_1__748_19.min1.thm1
2017-02-06 12:45
652
monoid_1__747_23.min1.thm1
2017-02-06 12:45
623
monoid_1__746_19.min1.thm1
2017-02-06 12:45
1.4K
monoid_1__744_16.min1.thm1
2017-02-06 12:45
598
monoid_1__734_17.min1.thm1
2017-02-06 12:45
1.4K
monoid_1__733_26.min1.thm1
2017-02-06 12:45
764
monoid_1__724_7.min1.thm1
2017-02-06 12:45
1.2K
monoid_1__716_14.min1.thm1.tptp
2017-02-06 16:47
320
monoid_1__716_14.min1.thm1
2017-02-06 12:45
396
monoid_1__710_14.min1.thm1
2017-02-06 12:45
1.4K
monoid_1__703_17.min1.thm1
2017-02-06 12:45
2.1K
monoid_1__702_50.min1.thm1
2017-02-06 12:45
1.6K
monoid_1__701_20.min1.thm1
2017-02-06 12:45
1.0K
monoid_1__700_49.min1.thm1
2017-02-06 12:45
566
monoid_1__698_67.min1.thm1
2017-02-06 12:45
1.2K
monoid_1__690_49.min1.thm1.tptp
2017-02-06 16:47
1.0K
monoid_1__690_49.min1.thm1
2017-02-06 12:45
1.1K
monoid_1__688_20.min1.thm1.tptp
2017-02-06 16:47
940
monoid_1__688_20.min1.thm1
2017-02-06 12:45
1.0K
monoid_1__673_34.min1.thm1
2017-02-06 12:45
1.0K
monoid_1__666_72.min1.thm1
2017-02-06 12:45
1.1K
monoid_1__661_13.min1.thm1
2017-02-06 12:45
193
monoid_1__634_6.min1.thm1
2017-02-06 12:45
4.3K
monoid_1__618_49.min1.thm1
2017-02-06 12:45
1.1K
monoid_1__617_52.min1.thm1
2017-02-06 12:45
1.6K
monoid_1__616_49.min1.thm1
2017-02-06 12:45
1.1K
monoid_1__615_52.min1.thm1
2017-02-06 12:45
1.6K
monoid_1__610_33.min1.thm1
2017-02-06 12:45
659
monoid_1__608_13.min1.thm1
2017-02-06 12:45
1.5K
monoid_1__607_33.min1.thm1
2017-02-06 12:45
659
monoid_1__605_18.min1.thm1
2017-02-06 12:45
1.5K
monoid_1__604_25.min1.thm1
2017-02-06 12:45
863
monoid_1__603_23.min1.thm1
2017-02-06 12:45
1.9K
monoid_1__599_25.min1.thm1
2017-02-06 12:45
863
monoid_1__581_55.min1.thm1
2017-02-06 12:45
1.3K
monoid_1__560_44.min1.thm1
2017-02-06 12:45
2.2K
monoid_1__557_55.min1.thm1
2017-02-06 12:45
1.3K
monoid_1__551_22.min1.thm1
2017-02-06 12:45
2.2K
monoid_1__548_55.min1.thm1
2017-02-06 12:45
1.3K
monoid_1__539_36.min1.thm1
2017-02-06 12:45
1.0K
monoid_1__538_53.min1.thm1
2017-02-06 12:45
1.1K
monoid_1__523_64.min1.thm1
2017-02-06 12:45
1.5K
monoid_1__502_15.min1.thm1
2017-02-06 12:45
634
monoid_1__492_15.min1.thm1
2017-02-06 12:45
634
monoid_1__482_27.min1.thm1
2017-02-06 12:45
1.2K
monoid_1__481_30.min1.thm1
2017-02-06 12:45
1.0K
monoid_1__472_55.min1.thm1
2017-02-06 12:45
1.3K
monoid_1__458_55.min1.thm1
2017-02-06 12:45
1.3K
monoid_1__434_16.min1.thm1
2017-02-06 12:45
1.1K
monoid_1__430_58.min1.thm1
2017-02-06 12:45
1.5K
monoid_1__374_14.min1.thm1
2017-02-06 12:45
747
monoid_1__372_15.min1.thm1
2017-02-06 12:45
567
monoid_1__370_46.min1.thm1
2017-02-06 12:45
908
monoid_1__353_43.min1.thm1
2017-02-06 12:45
1.1K
monoid_1__352_24.min1.thm1
2017-02-06 12:45
1.3K
monoid_1__342_43.min1.thm1
2017-02-06 12:45
1.1K
monoid_1__341_24.min1.thm1
2017-02-06 12:45
1.3K
monoid_1__335_16.min1.thm1
2017-02-06 12:45
747
monoid_1__320_64.min1.thm1
2017-02-06 12:45
1.9K
monoid_1__319_34.min1.thm1
2017-02-06 12:45
1.7K
monoid_1__318_19.min1.thm1
2017-02-06 12:45
1.3K
monoid_1__309_16.min1.thm1
2017-02-06 12:45
747
monoid_1__307_28.min1.thm1
2017-02-06 12:45
1.0K
monoid_1__296_19.min1.thm1
2017-02-06 12:45
672
monoid_1__294_52.min1.thm1
2017-02-06 12:45
1.5K
monoid_1__293_39.min1.thm1
2017-02-06 12:45
1.7K
monoid_1__285_28.min1.thm1
2017-02-06 12:45
1.0K
monoid_1__267_58.min1.thm1
2017-02-06 12:45
2.8K
monoid_1__264_30.min1.thm1
2017-02-06 12:45
1.3K
monoid_1__262_30.min1.thm1
2017-02-06 12:45
1.3K
monoid_1__248_24.min1.thm1
2017-02-06 12:45
1.3K
monoid_1__247_37.min1.thm1
2017-02-06 12:45
1.3K
monoid_1__235_18.min1.thm1
2017-02-06 12:45
1.2K
monoid_1__212_16.min1.thm1.tptp
2017-02-06 16:47
452
monoid_1__212_16.min1.thm1
2017-02-06 12:45
522
monoid_1__210_41.min1.thm1
2017-02-06 12:45
1.5K
monoid_1__205_18.min1.thm1
2017-02-06 12:45
574
monoid_1__203_13.min1.thm1.tptp
2017-02-06 16:47
357
monoid_1__203_13.min1.thm1
2017-02-06 12:45
426
monoid_1__187_39.min1.thm1
2017-02-06 12:45
1.4K
monoid_1__185_29.min1.thm1
2017-02-06 12:45
907
monoid_1__183_56.min1.thm1
2017-02-06 12:45
1.4K
monoid_1__177_19.min1.thm1
2017-02-06 12:45
1.1K
monoid_1__176_28.min1.thm1
2017-02-06 12:45
827
monoid_1__175_15.min1.thm1
2017-02-06 12:45
954
monoid_1__174_20.min1.thm1
2017-02-06 12:45
1.1K
monoid_1__172_24.min1.thm1
2017-02-06 12:45
1.0K
monoid_1__171_18.min1.thm1
2017-02-06 12:45
940
monoid_1__169_22.min1.thm1
2017-02-06 12:45
1.0K
monoid_1__163_21.min1.thm1
2017-02-06 12:45
1.3K
monoid_1__162_28.min1.thm1
2017-02-06 12:45
1.0K
monoid_1__161_24.min1.thm1
2017-02-06 12:45
1.0K
monoid_1__159_17.min1.thm1
2017-02-06 12:45
718
monoid_1__158_21.min1.thm1
2017-02-06 12:45
638
monoid_1__156_25.min1.thm1
2017-02-06 12:45
1.0K
monoid_1__155_19.min1.thm1
2017-02-06 12:45
1.0K
monoid_1__146_29.min1.thm1
2017-02-06 12:45
539
monoid_1__134_16.min1.thm1
2017-02-06 12:45
737
monoid_1__118_16.min1.thm1
2017-02-06 12:45
737
monoid_1__105_47.min1.thm1
2017-02-06 12:45
1.5K
monoid_1__97_14.min1.thm1
2017-02-06 12:45
706
monoid_1__66_36.min1.thm1
2017-02-06 12:45
1.5K
monoid_1__52_13.min1.thm1
2017-02-06 12:45
130
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80