Index of /~mptp/7.13.01_4.181.1147/MPTP2/ilp0/monoid_1

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