Index of /~mptp/7.13.01_4.181.1147/MPTP2/ilp1/t7_boole
Name
Last modified
Size
Description
Parent Directory
-
asympt_0__2908_27.min1.thm1.tptp
2017-02-06 16:57
343
arrow__300_16.min1.thm1.tptp
2017-02-06 16:57
248
armstrng__3841_37.min1.thm1.tptp
2017-02-06 16:57
347
armstrng__3381_56.min1.thm1.tptp
2017-02-06 16:57
316
armstrng__2481_58.min1.thm1.tptp
2017-02-06 16:57
316
aofa_000__6435_65.min1.thm1.tptp
2017-02-06 16:57
266
aofa_000__6257_65.min1.thm1.tptp
2017-02-06 16:57
266
algstr_4__1204_60.min1.thm1.tptp
2017-02-06 16:57
443
afproj__604_16.min1.thm1.tptp
2017-02-06 16:57
412
afproj__585_16.min1.thm1.tptp
2017-02-06 16:57
454
afinsq_1__1205_16.min1.thm1.tptp
2017-02-06 16:57
277
abian__927_32.min1.thm1.tptp
2017-02-06 16:57
349
abcmiz_1__4517_36.min1.thm1.tptp
2017-02-06 16:57
239
abcmiz_1__4478_38.min1.thm1.tptp
2017-02-06 16:57
247
abcmiz_1__4463_36.min1.thm1.tptp
2017-02-06 16:57
239
abcmiz_1__4443_36.min1.thm1.tptp
2017-02-06 16:57
239
abcmiz_1__4429_38.min1.thm1.tptp
2017-02-06 16:57
247
abcmiz_0__782_78.min1.thm1.tptp
2017-02-06 16:57
372
finseq_3__3086_47.min1.thm1.tptp
2017-02-06 16:57
284
finseq_2__2257_34.min1.thm1.tptp
2017-02-06 16:57
232
finseq_2__2218_34.min1.thm1.tptp
2017-02-06 16:57
232
finseq_2__2180_34.min1.thm1.tptp
2017-02-06 16:57
232
finseq_1__1676_16.min1.thm1.tptp
2017-02-06 16:57
279
finance1__283_14.min1.thm1.tptp
2017-02-06 16:57
361
filter_2__1419_38.min1.thm1.tptp
2017-02-06 16:57
331
filter_2__1039_38.min1.thm1.tptp
2017-02-06 16:57
440
filter_2__731_38.min1.thm1.tptp
2017-02-06 16:57
299
filter_0__952_40.min1.thm1.tptp
2017-02-06 16:57
368
filter_0__840_71.min1.thm1.tptp
2017-02-06 16:57
384
filter_0__253_42.min1.thm1.tptp
2017-02-06 16:57
299
facirc_2__89_18.min1.thm1.tptp
2017-02-06 16:57
679
facirc_2__86_20.min1.thm1.tptp
2017-02-06 16:57
412
facirc_1__97_18.min1.thm1.tptp
2017-02-06 16:57
242
extens_1__368_34.min1.thm1.tptp
2017-02-06 16:57
227
exchsort__1444_38.min1.thm1.tptp
2017-02-06 16:57
313
euclidlp__2007_16.min1.thm1.tptp
2017-02-06 16:57
270
euclidlp__1714_16.min1.thm1.tptp
2017-02-06 16:57
357
euclidlp__839_16.min1.thm1.tptp
2017-02-06 16:57
265
euclid_9__931_40.min1.thm1.tptp
2017-02-06 16:57
348
euclid_7__862_22.min1.thm1.tptp
2017-02-06 16:57
323
euclid_7__561_18.min1.thm1.tptp
2017-02-06 16:57
288
euclid_7__515_18.min1.thm1.tptp
2017-02-06 16:57
460
euclid_4__822_16.min1.thm1.tptp
2017-02-06 16:57
325
euclid_4__132_16.min1.thm1.tptp
2017-02-06 16:57
316
equation__918_25.min1.thm1.tptp
2017-02-06 16:57
495
equation__809_36.min1.thm1.tptp
2017-02-06 16:57
355
equation__278_40.min1.thm1.tptp
2017-02-06 16:57
222
equation__262_40.min1.thm1.tptp
2017-02-06 16:57
222
equation__122_40.min1.thm1.tptp
2017-02-06 16:57
222
eqrel_1__1827_22.min1.thm1.tptp
2017-02-06 16:57
409
eqrel_1__1727_24.min1.thm1.tptp
2017-02-06 16:57
415
eqrel_1__1718_24.min1.thm1.tptp
2017-02-06 16:57
415
eqrel_1__1317_16.min1.thm1.tptp
2017-02-06 16:57
285
dynkin__914_16.min1.thm1.tptp
2017-02-06 16:57
288
dtconstr__2269_54.min1.thm1.tptp
2017-02-06 16:57
257
dist_1__287_16.min1.thm1.tptp
2017-02-06 16:57
286
dist_1__205_16.min1.thm1.tptp
2017-02-06 16:57
275
dickson__3305_61.min1.thm1.tptp
2017-02-06 16:57
331
dickson__2195_36.min1.thm1.tptp
2017-02-06 16:57
284
dickson__1563_14.min1.thm1.tptp
2017-02-06 16:57
347
dickson__1551_13.min1.thm1.tptp
2017-02-06 16:57
439
convex4__2335_57.min1.thm1.tptp
2017-02-06 16:57
656
convex4__1717_40.min1.thm1.tptp
2017-02-06 16:57
602
convex4__1326_16.min1.thm1.tptp
2017-02-06 16:57
271
convex3__1113_76.min1.thm1.tptp
2017-02-06 16:57
400
convex3__1029_22.min1.thm1.tptp
2017-02-06 16:57
276
convex1__651_30.min1.thm1.tptp
2017-02-06 16:57
595
conlat_1__2205_18.min1.thm1.tptp
2017-02-06 16:57
328
comput_1__1132_26.min1.thm1.tptp
2017-02-06 16:57
267
combgras__530_38.min1.thm1.tptp
2017-02-06 16:57
305
combgras__523_38.min1.thm1.tptp
2017-02-06 16:57
303
cohsp_1__4663_16.min1.thm1.tptp
2017-02-06 16:57
352
cohsp_1__3447_30.min1.thm1.tptp
2017-02-06 16:57
265
cohsp_1__3288_24.min1.thm1.tptp
2017-02-06 16:57
369
cohsp_1__2513_24.min1.thm1.tptp
2017-02-06 16:57
356
cohsp_1__1186_77.min1.thm1.tptp
2017-02-06 16:57
328
cohsp_1__415_41.min1.thm1.tptp
2017-02-06 16:57
260
cohsp_1__298_16.min1.thm1.tptp
2017-02-06 16:57
320
cohsp_1__288_16.min1.thm1.tptp
2017-02-06 16:57
298
coh_sp__1269_16.min1.thm1.tptp
2017-02-06 16:57
263
closure2__472_16.min1.thm1.tptp
2017-02-06 16:57
425
classes2__1688_10.min1.thm1.tptp
2017-02-06 16:57
294
classes2__139_38.min1.thm1.tptp
2017-02-06 16:57
222
chord__5601_68.min1.thm1.tptp
2017-02-06 16:57
322
cgames_1__2789_37.min1.thm1.tptp
2017-02-06 16:57
311
cc0sp2__2047_18.min1.thm1.tptp
2017-02-06 16:57
263
cc0sp1__313_16.min1.thm1.tptp
2017-02-06 16:57
258
cayley__110_38.min1.thm1.tptp
2017-02-06 16:57
256
catalg_1__391_40.min1.thm1.tptp
2017-02-06 16:57
241
catalg_1__364_44.min1.thm1.tptp
2017-02-06 16:57
245
cat_5__2334_36.min1.thm1.tptp
2017-02-06 16:57
274
cat_5__2119_36.min1.thm1.tptp
2017-02-06 16:57
262
cat_5__1261_50.min1.thm1.tptp
2017-02-06 16:57
496
cat_3__2592_45.min1.thm1.tptp
2017-02-06 16:57
394
cat_3__1342_45.min1.thm1.tptp
2017-02-06 16:57
394
cat_2__126_16.min1.thm1.tptp
2017-02-06 16:57
284
card_lar__263_14.min1.thm1.tptp
2017-02-06 16:57
295
card_fil__1596_18.min1.thm1.tptp
2017-02-06 16:57
471
card_fil__972_16.min1.thm1.tptp
2017-02-06 16:57
387
card_1__697_10.min1.thm1.tptp
2017-02-06 16:57
286
c0sp2__1496_16.min1.thm1.tptp
2017-02-06 16:57
256
c0sp1__719_18.min1.thm1.tptp
2017-02-06 16:57
256
brouwer__122_18.min1.thm1.tptp
2017-02-06 16:57
359
brouwer__117_18.min1.thm1.tptp
2017-02-06 16:57
359
brouwer__99_18.min1.thm1.tptp
2017-02-06 16:57
359
brouwer__94_18.min1.thm1.tptp
2017-02-06 16:57
359
birkhoff__842_37.min1.thm1.tptp
2017-02-06 16:57
228
birkhoff__147_78.min1.thm1.tptp
2017-02-06 16:57
329
bilinear__1866_16.min1.thm1.tptp
2017-02-06 16:57
340
bilinear__1849_16.min1.thm1.tptp
2017-02-06 16:57
340
bilinear__1833_16.min1.thm1.tptp
2017-02-06 16:57
340
bilinear__1819_16.min1.thm1.tptp
2017-02-06 16:57
340
bilinear__1805_16.min1.thm1.tptp
2017-02-06 16:57
372
bilinear__1784_16.min1.thm1.tptp
2017-02-06 16:57
372
bilinear__1765_16.min1.thm1.tptp
2017-02-06 16:57
372
bilinear__1744_16.min1.thm1.tptp
2017-02-06 16:57
372
bhsp_5__426_27.min1.thm1.tptp
2017-02-06 16:57
304
bhsp_5__396_46.min1.thm1.tptp
2017-02-06 16:57
414
bcialg_6__1425_16.min1.thm1.tptp
2017-02-06 16:57
338
bcialg_2__1962_16.min1.thm1.tptp
2017-02-06 16:57
416
bagorder__3924_37.min1.thm1.tptp
2017-02-06 16:57
259
bagorder__312_16.min1.thm1.tptp
2017-02-06 16:57
338
asympt_0__3446_27.min1.thm1.tptp
2017-02-06 16:57
311
asympt_0__2960_27.min1.thm1.tptp
2017-02-06 16:57
343
member_1__2093_16.min1.thm1.tptp
2017-02-06 16:57
363
member_1__1847_16.min1.thm1.tptp
2017-02-06 16:57
364
member_1__1224_16.min1.thm1.tptp
2017-02-06 16:57
353
member_1__1052_16.min1.thm1.tptp
2017-02-06 16:57
354
member_1__785_16.min1.thm1.tptp
2017-02-06 16:57
289
member_1__595_16.min1.thm1.tptp
2017-02-06 16:57
290
member_1__356_16.min1.thm1.tptp
2017-02-06 16:57
289
member_1__148_16.min1.thm1.tptp
2017-02-06 16:57
285
measure5__165_35.min1.thm1.tptp
2017-02-06 16:57
251
measure5__156_35.min1.thm1.tptp
2017-02-06 16:57
266
measure5__112_40.min1.thm1.tptp
2017-02-06 16:57
270
matrix15__4797_16.min1.thm1.tptp
2017-02-06 16:57
499
matrix15__4783_16.min1.thm1.tptp
2017-02-06 16:57
497
margrel1__334_75.min1.thm1.tptp
2017-02-06 16:57
374
margrel1__249_32.min1.thm1.tptp
2017-02-06 16:57
312
margrel1__243_33.min1.thm1.tptp
2017-02-06 16:57
322
margrel1__236_15.min1.thm1.tptp
2017-02-06 16:57
326
margrel1__225_15.min1.thm1.tptp
2017-02-06 16:57
316
margrel1__176_68.min1.thm1.tptp
2017-02-06 16:57
444
margrel1__86_56.min1.thm1.tptp
2017-02-06 16:57
515
lopclset__1028_16.min1.thm1.tptp
2017-02-06 16:57
299
lopclset__574_22.min1.thm1.tptp
2017-02-06 16:57
1.0K
lopban_5__379_18.min1.thm1.tptp
2017-02-06 16:57
535
lmod_7__531_38.min1.thm1.tptp
2017-02-06 16:57
285
lmod_7__428_38.min1.thm1.tptp
2017-02-06 16:57
285
lfuzzy_0__83_18.min1.thm1.tptp
2017-02-06 16:57
458
lattices__906_17.min1.thm1.tptp
2017-02-06 16:57
405
lattices__903_19.min1.thm1.tptp
2017-02-06 16:57
411
lattice7__1063_16.min1.thm1.tptp
2017-02-06 16:57
280
lattice6__1945_63.min1.thm1.tptp
2017-02-06 16:57
270
lattice6__1420_57.min1.thm1.tptp
2017-02-06 16:57
330
lattice6__1376_54.min1.thm1.tptp
2017-02-06 16:57
330
lattice4__949_38.min1.thm1.tptp
2017-02-06 16:57
352
lattice3__1982_17.min1.thm1.tptp
2017-02-06 16:57
363
kolmog01__1174_16.min1.thm1.tptp
2017-02-06 16:57
389
jordan16__565_14.min1.thm1.tptp
2017-02-06 16:57
379
jgraph_6__1417_16.min1.thm1.tptp
2017-02-06 16:57
382
jct_misc__54_14.min1.thm1.tptp
2017-02-06 16:57
244
interva1__2385_65.min1.thm1.tptp
2017-02-06 16:57
381
interva1__2030_16.min1.thm1.tptp
2017-02-06 16:57
279
integra1__228_16.min1.thm1.tptp
2017-02-06 16:57
277
incproj__74_16.min1.thm1.tptp
2017-02-06 16:57
264
ideal_1__5055_18.min1.thm1.tptp
2017-02-06 16:57
335
ideal_1__3369_18.min1.thm1.tptp
2017-02-06 16:57
442
ideal_1__3329_75.min1.thm1.tptp
2017-02-06 16:57
397
ideal_1__3315_75.min1.thm1.tptp
2017-02-06 16:57
397
ideal_1__3160_71.min1.thm1.tptp
2017-02-06 16:57
376
hilbasis__1624_51.min1.thm1.tptp
2017-02-06 16:57
540
heyting3__1274_16.min1.thm1.tptp
2017-02-06 16:57
292
heyting3__820_16.min1.thm1.tptp
2017-02-06 16:57
360
heyting3__247_66.min1.thm1.tptp
2017-02-06 16:57
344
hermitan__1862_16.min1.thm1.tptp
2017-02-06 16:57
339
henmodel__269_57.min1.thm1.tptp
2017-02-06 16:57
335
hahnban1__633_20.min1.thm1.tptp
2017-02-06 16:57
328
group_9__5812_38.min1.thm1.tptp
2017-02-06 16:57
423
group_9__5511_36.min1.thm1.tptp
2017-02-06 16:57
483
group_9__5374_36.min1.thm1.tptp
2017-02-06 16:57
397
group_9__2274_36.min1.thm1.tptp
2017-02-06 16:57
467
group_9__1967_11.min1.thm1.tptp
2017-02-06 16:57
679
group_9__937_16.min1.thm1.tptp
2017-02-06 16:57
311
group_7__1323_17.min1.thm1.tptp
2017-02-06 16:57
488
group_7__450_45.min1.thm1.tptp
2017-02-06 16:57
240
group_7__425_43.min1.thm1.tptp
2017-02-06 16:57
234
group_7__414_45.min1.thm1.tptp
2017-02-06 16:57
240
group_7__403_45.min1.thm1.tptp
2017-02-06 16:57
240
group_7__160_47.min1.thm1.tptp
2017-02-06 16:57
241
group_3__240_16.min1.thm1.tptp
2017-02-06 16:57
269
groeb_1__3891_36.min1.thm1.tptp
2017-02-06 16:57
452
groeb_1__3000_38.min1.thm1.tptp
2017-02-06 16:57
469
grnilp_1__455_16.min1.thm1.tptp
2017-02-06 16:57
277
grcat_1__1663_39.min1.thm1.tptp
2017-02-06 16:57
261
grcat_1__868_38.min1.thm1.tptp
2017-02-06 16:57
336
grcat_1__817_15.min1.thm1.tptp
2017-02-06 16:57
412
graph_3__3436_41.min1.thm1.tptp
2017-02-06 16:57
234
graph_3__3149_29.min1.thm1.tptp
2017-02-06 16:57
324
graph_3__3143_29.min1.thm1.tptp
2017-02-06 16:57
324
graph_3__2396_22.min1.thm1.tptp
2017-02-06 16:57
260
graph_3__2390_22.min1.thm1.tptp
2017-02-06 16:57
245
graph_3__634_39.min1.thm1.tptp
2017-02-06 16:57
326
graph_3__611_14.min1.thm1.tptp
2017-02-06 16:57
276
goedelcp__1592_63.min1.thm1.tptp
2017-02-06 16:57
360
goedelcp__1494_22.min1.thm1.tptp
2017-02-06 16:57
361
goedelcp__1435_61.min1.thm1.tptp
2017-02-06 16:57
318
goedelcp__753_29.min1.thm1.tptp
2017-02-06 16:57
331
gcd_1__772_22.min1.thm1.tptp
2017-02-06 16:57
356
gcd_1__706_16.min1.thm1.tptp
2017-02-06 16:57
276
fuzzy_4__51_16.min1.thm1.tptp
2017-02-06 16:57
301
functor2__973_51.min1.thm1.tptp
2017-02-06 16:57
299
functor2__911_18.min1.thm1.tptp
2017-02-06 16:57
329
functor2__854_51.min1.thm1.tptp
2017-02-06 16:57
304
functor2__636_40.min1.thm1.tptp
2017-02-06 16:57
372
funct_1__2999_18.min1.thm1.tptp
2017-02-06 16:57
318
fraenkel__888_36.min1.thm1.tptp
2017-02-06 16:57
249
fraenkel__748_14.min1.thm1.tptp
2017-02-06 16:57
608
fomodel4__2121_56.min1.thm1.tptp
2017-02-06 16:57
232
fomodel4__109_49.min1.thm1.tptp
2017-02-06 16:57
436
fomodel3__1671_55.min1.thm1.tptp
2017-02-06 16:57
253
fomodel3__145_38.min1.thm1.tptp
2017-02-06 16:57
338
fomodel2__3728_62.min1.thm1.tptp
2017-02-06 16:57
308
fomodel2__2486_35.min1.thm1.tptp
2017-02-06 16:57
531
fomodel2__2475_38.min1.thm1.tptp
2017-02-06 16:57
454
fomodel2__1630_65.min1.thm1.tptp
2017-02-06 16:57
279
fomodel2__1572_31.min1.thm1.tptp
2017-02-06 16:57
327
fomodel2__854_42.min1.thm1.tptp
2017-02-06 16:57
369
fomodel1__1159_55.min1.thm1.tptp
2017-02-06 16:57
279
fomodel0__2747_64.min1.thm1.tptp
2017-02-06 16:57
266
fomodel0__2727_70.min1.thm1.tptp
2017-02-06 16:57
284
flang_2__1615_16.min1.thm1.tptp
2017-02-06 16:57
296
fintopo6__1591_76.min1.thm1.tptp
2017-02-06 16:57
637
finset_1__1541_17.min1.thm1.tptp
2017-02-06 16:57
281
finseq_3__91_42.min1.thm1.tptp
2017-02-06 16:57
278
sgraph1__479_14.min1.thm1.tptp
2017-02-06 16:57
288
setwiseo__1747_45.min1.thm1.tptp
2017-02-06 16:57
245
setfam_1__1442_16.min1.thm1.tptp
2017-02-06 16:57
263
scmyciel__1374_22.min1.thm1.tptp
2017-02-06 16:57
375
scmpds_8__2667_39.min1.thm1.tptp
2017-02-06 16:57
453
scmpds_8__2521_39.min1.thm1.tptp
2017-02-06 16:57
453
rusub_2__919_16.min1.thm1.tptp
2017-02-06 16:57
269
rmod_3__920_16.min1.thm1.tptp
2017-02-06 16:57
303
rlvect_2__2180_16.min1.thm1.tptp
2017-02-06 16:57
279
rltopsp1__2321_37.min1.thm1.tptp
2017-02-06 16:57
445
rltopsp1__630_32.min1.thm1.tptp
2017-02-06 16:57
325
rlsub_2__821_16.min1.thm1.tptp
2017-02-06 16:57
269
ringcat1__747_38.min1.thm1.tptp
2017-02-06 16:57
348
ring_1__1104_22.min1.thm1.tptp
2017-02-06 16:57
345
rewrite1__1349_48.min1.thm1.tptp
2017-02-06 16:57
271
rewrite1__1187_46.min1.thm1.tptp
2017-02-06 16:57
255
relset_2__1189_38.min1.thm1.tptp
2017-02-06 16:57
233
relset_2__68_39.min1.thm1.tptp
2017-02-06 16:57
222
relat_2__130_18.min1.thm1.tptp
2017-02-06 16:57
540
relat_2__117_20.min1.thm1.tptp
2017-02-06 16:57
442
relat_2__112_20.min1.thm1.tptp
2017-02-06 16:57
472
relat_2__107_20.min1.thm1.tptp
2017-02-06 16:57
445
relat_2__102_20.min1.thm1.tptp
2017-02-06 16:57
339
relat_1__43_55.min1.thm1.tptp
2017-02-06 16:57
278
rcomp_3__2525_31.min1.thm1.tptp
2017-02-06 16:57
407
rcomp_3__2508_31.min1.thm1.tptp
2017-02-06 16:57
407
rcomp_3__2056_24.min1.thm1.tptp
2017-02-06 16:57
334
random_2__2212_18.min1.thm1.tptp
2017-02-06 16:57
335
ramsey_1__331_71.min1.thm1.tptp
2017-02-06 16:57
297
quofield__348_14.min1.thm1.tptp
2017-02-06 16:57
282
quofield__94_14.min1.thm1.tptp
2017-02-06 16:57
358
quantal1__574_40.min1.thm1.tptp
2017-02-06 16:57
264
quantal1__167_14.min1.thm1.tptp
2017-02-06 16:57
359
qmax_1__80_16.min1.thm1.tptp
2017-02-06 16:57
295
qc_lang1__659_23.min1.thm1.tptp
2017-02-06 16:57
242
projred1__989_56.min1.thm1.tptp
2017-02-06 16:57
763
pralg_1__1132_40.min1.thm1.tptp
2017-02-06 16:57
240
poset_1__779_18.min1.thm1.tptp
2017-02-06 16:57
300
poset_1__264_18.min1.thm1.tptp
2017-02-06 16:57
324
polyred__3416_40.min1.thm1.tptp
2017-02-06 16:57
399
polyred__2328_37.min1.thm1.tptp
2017-02-06 16:57
399
polynom3__2964_13.min1.thm1.tptp
2017-02-06 16:57
280
polyalg1__180_22.min1.thm1.tptp
2017-02-06 16:57
275
pnproc_1__3322_16.min1.thm1.tptp
2017-02-06 16:57
376
pnproc_1__1300_16.min1.thm1.tptp
2017-02-06 16:57
412
petri_2__76_28.min1.thm1.tptp
2017-02-06 16:57
363
petri_2__53_28.min1.thm1.tptp
2017-02-06 16:57
380
pencil_4__1528_16.min1.thm1.tptp
2017-02-06 16:57
332
pencil_4__1442_16.min1.thm1.tptp
2017-02-06 16:57
324
pencil_4__1389_16.min1.thm1.tptp
2017-02-06 16:57
296
pencil_4__985_14.min1.thm1.tptp
2017-02-06 16:57
394
pencil_4__352_14.min1.thm1.tptp
2017-02-06 16:57
396
pcs_0__4193_16.min1.thm1.tptp
2017-02-06 16:57
260
pcs_0__3727_18.min1.thm1.tptp
2017-02-06 16:57
384
pcs_0__1932_39.min1.thm1.tptp
2017-02-06 16:57
218
pcs_0__1861_39.min1.thm1.tptp
2017-02-06 16:57
218
pcs_0__1292_56.min1.thm1.tptp
2017-02-06 16:57
250
pcs_0__1272_56.min1.thm1.tptp
2017-02-06 16:57
250
pcs_0__1032_40.min1.thm1.tptp
2017-02-06 16:57
230
pcs_0__516_40.min1.thm1.tptp
2017-02-06 16:57
230
pboole__1632_13.min1.thm1.tptp
2017-02-06 16:57
326
partit_2__68_65.min1.thm1.tptp
2017-02-06 16:57
311
partit1__1148_13.min1.thm1.tptp
2017-02-06 16:57
349
osalg_4__1160_16.min1.thm1.tptp
2017-02-06 16:57
683
osalg_2__1658_16.min1.thm1.tptp
2017-02-06 16:57
316
ordinal4__1385_11.min1.thm1.tptp
2017-02-06 16:57
326
ordinal4__1234_10.min1.thm1.tptp
2017-02-06 16:57
373
ordinal4__1093_15.min1.thm1.tptp
2017-02-06 16:57
590
ordinal4__1056_19.min1.thm1.tptp
2017-02-06 16:57
602
ordinal1__1561_17.min1.thm1.tptp
2017-02-06 16:57
337
ordinal1__1388_14.min1.thm1.tptp
2017-02-06 16:57
412
ordinal1__122_58.min1.thm1.tptp
2017-02-06 16:57
306
ordinal1__121_30.min1.thm1.tptp
2017-02-06 16:57
243
orders_2__1469_16.min1.thm1.tptp
2017-02-06 16:57
325
orders_1__1856_15.min1.thm1.tptp
2017-02-06 16:57
470
oposet_1__258_63.min1.thm1.tptp
2017-02-06 16:57
341
openlatt__733_46.min1.thm1.tptp
2017-02-06 16:57
1.1K
openlatt__548_14.min1.thm1.tptp
2017-02-06 16:57
772
openlatt__471_20.min1.thm1.tptp
2017-02-06 16:57
1.1K
neckla_2__505_16.min1.thm1.tptp
2017-02-06 16:57
266
neckla_2__346_16.min1.thm1.tptp
2017-02-06 16:57
273
msualg_8__480_56.min1.thm1.tptp
2017-02-06 16:57
679
msualg_8__399_39.min1.thm1.tptp
2017-02-06 16:57
227
msualg_8__210_63.min1.thm1.tptp
2017-02-06 16:57
369
msualg_7__988_56.min1.thm1.tptp
2017-02-06 16:57
412
msualg_7__425_63.min1.thm1.tptp
2017-02-06 16:57
408
msualg_5__1827_38.min1.thm1.tptp
2017-02-06 16:57
275
msualg_5__99_38.min1.thm1.tptp
2017-02-06 16:57
275
msualg_2__1969_16.min1.thm1.tptp
2017-02-06 16:57
327
msualg_2__1278_38.min1.thm1.tptp
2017-02-06 16:57
301
msualg_2__346_16.min1.thm1.tptp
2017-02-06 16:57
331
mssubfam__112_57.min1.thm1.tptp
2017-02-06 16:57
368
msscyc_1__335_54.min1.thm1.tptp
2017-02-06 16:57
253
msalimit__1262_24.min1.thm1.tptp
2017-02-06 16:57
384
monoid_1__761_16.min1.thm1.tptp
2017-02-06 16:57
341
monoid_0__2736_3.min1.thm1.tptp
2017-02-06 16:57
921
modelc_3__4218_16.min1.thm1.tptp
2017-02-06 16:57
286
modelc_2__2907_16.min1.thm1.tptp
2017-02-06 16:57
344
modelc_2__147_38.min1.thm1.tptp
2017-02-06 16:57
268
modelc_1__1683_16.min1.thm1.tptp
2017-02-06 16:57
335
modelc_1__178_38.min1.thm1.tptp
2017-02-06 16:57
272
modcat_1__173_38.min1.thm1.tptp
2017-02-06 16:57
393
midsp_1__741_16.min1.thm1.tptp
2017-02-06 16:57
268
membered__1561_18.min1.thm1.tptp
2017-02-06 16:57
399
membered__570_18.min1.thm1.tptp
2017-02-06 16:57
281
zfmisc_1__2152_18.min1.thm1.tptp
2017-02-06 16:57
356
zf_lang__195_38.min1.thm1.tptp
2017-02-06 16:57
268
yellow_6__1555_36.min1.thm1.tptp
2017-02-06 16:57
304
yellow_1__1308_42.min1.thm1.tptp
2017-02-06 16:57
251
yellow_1__1127_47.min1.thm1.tptp
2017-02-06 16:57
494
yellow_0__301_13.min1.thm1.tptp
2017-02-06 16:57
285
yellow_0__298_15.min1.thm1.tptp
2017-02-06 16:57
291
yellow21__2082_16.min1.thm1.tptp
2017-02-06 16:57
399
yellow21__2070_16.min1.thm1.tptp
2017-02-06 16:57
399
yellow21__1792_16.min1.thm1.tptp
2017-02-06 16:57
399
yellow19__97_43.min1.thm1.tptp
2017-02-06 16:57
317
yellow16__1547_16.min1.thm1.tptp
2017-02-06 16:57
321
yellow16__1494_16.min1.thm1.tptp
2017-02-06 16:57
321
yellow13__723_14.min1.thm1.tptp
2017-02-06 16:57
391
yellow12__874_14.min1.thm1.tptp
2017-02-06 16:57
332
xxreal_2__2604_15.min1.thm1.tptp
2017-02-06 16:57
265
xxreal_2__2598_15.min1.thm1.tptp
2017-02-06 16:57
265
xxreal_2__1805_18.min1.thm1.tptp
2017-02-06 16:57
399
xxreal_2__1147_13.min1.thm1.tptp
2017-02-06 16:57
262
xxreal_2__1140_13.min1.thm1.tptp
2017-02-06 16:57
262
xxreal_2__622_20.min1.thm1.tptp
2017-02-06 16:57
308
xxreal_2__618_22.min1.thm1.tptp
2017-02-06 16:57
314
xxreal_1__464_13.min1.thm1.tptp
2017-02-06 16:57
296
xxreal_1__451_13.min1.thm1.tptp
2017-02-06 16:57
296
xboole_1__46_13.min1.thm1.tptp
2017-02-06 16:57
263
weddwitt__2055_40.min1.thm1.tptp
2017-02-06 16:57
312
weddwitt__1538_40.min1.thm1.tptp
2017-02-06 16:57
280
waybel_9__1674_37.min1.thm1.tptp
2017-02-06 16:57
471
waybel_9__1534_38.min1.thm1.tptp
2017-02-06 16:57
299
waybel_5__1748_40.min1.thm1.tptp
2017-02-06 16:57
316
waybel_5__964_38.min1.thm1.tptp
2017-02-06 16:57
345
waybel_4__2768_16.min1.thm1.tptp
2017-02-06 16:57
279
waybel_4__874_16.min1.thm1.tptp
2017-02-06 16:57
338
waybel_0__2287_16.min1.thm1.tptp
2017-02-06 16:57
328
waybel_0__2278_16.min1.thm1.tptp
2017-02-06 16:57
328
waybel_0__2264_16.min1.thm1.tptp
2017-02-06 16:57
337
waybel_0__2252_16.min1.thm1.tptp
2017-02-06 16:57
337
waybel_0__176_22.min1.thm1.tptp
2017-02-06 16:57
314
waybel_0__105_22.min1.thm1.tptp
2017-02-06 16:57
314
waybel32__477_22.min1.thm1.tptp
2017-02-06 16:57
288
waybel31__1060_46.min1.thm1.tptp
2017-02-06 16:57
349
waybel22__1480_27.min1.thm1.tptp
2017-02-06 16:57
407
waybel22__636_30.min1.thm1.tptp
2017-02-06 16:57
361
waybel22__543_25.min1.thm1.tptp
2017-02-06 16:57
397
waybel12__513_14.min1.thm1.tptp
2017-02-06 16:57
304
waybel11__1429_22.min1.thm1.tptp
2017-02-06 16:57
289
waybel10__728_38.min1.thm1.tptp
2017-02-06 16:57
309
vectsp_8__172_14.min1.thm1.tptp
2017-02-06 16:57
641
vectsp_8__56_15.min1.thm1.tptp
2017-02-06 16:57
266
vectsp_5__959_16.min1.thm1.tptp
2017-02-06 16:57
325
vectsp10__1669_16.min1.thm1.tptp
2017-02-06 16:57
338
valued_2__154_18.min1.thm1.tptp
2017-02-06 16:57
353
uproots__941_27.min1.thm1.tptp
2017-02-06 16:57
271
unialg_3__416_14.min1.thm1.tptp
2017-02-06 16:57
565
unialg_3__49_15.min1.thm1.tptp
2017-02-06 16:57
251
unialg_2__1458_16.min1.thm1.tptp
2017-02-06 16:57
277
trees_9__1316_30.min1.thm1.tptp
2017-02-06 16:57
313
trees_9__1150_38.min1.thm1.tptp
2017-02-06 16:57
317
trees_9__1037_27.min1.thm1.tptp
2017-02-06 16:57
307
trees_9__839_38.min1.thm1.tptp
2017-02-06 16:57
302
trees_3__392_52.min1.thm1.tptp
2017-02-06 16:57
293
trees_3__391_50.min1.thm1.tptp
2017-02-06 16:57
297
trees_3__390_41.min1.thm1.tptp
2017-02-06 16:57
279
trees_3__141_16.min1.thm1.tptp
2017-02-06 16:57
219
trees_3__93_16.min1.thm1.tptp
2017-02-06 16:57
219
trees_2__778_51.min1.thm1.tptp
2017-02-06 16:57
368
trees_1__1663_15.min1.thm1.tptp
2017-02-06 16:57
352
trees_1__1661_48.min1.thm1.tptp
2017-02-06 16:57
272
trees_1__1603_15.min1.thm1.tptp
2017-02-06 16:57
366
trees_1__1601_48.min1.thm1.tptp
2017-02-06 16:57
274
toprealc__1446_40.min1.thm1.tptp
2017-02-06 16:57
233
toprealc__1423_40.min1.thm1.tptp
2017-02-06 16:57
233
toprealc__1400_40.min1.thm1.tptp
2017-02-06 16:57
233
toprealc__1377_40.min1.thm1.tptp
2017-02-06 16:57
233
toprealc__1354_40.min1.thm1.tptp
2017-02-06 16:57
233
toprealc__1331_40.min1.thm1.tptp
2017-02-06 16:57
233
toprealc__1307_40.min1.thm1.tptp
2017-02-06 16:57
233
toprealc__1283_40.min1.thm1.tptp
2017-02-06 16:57
233
toprealc__1255_40.min1.thm1.tptp
2017-02-06 16:57
233
toprealc__1229_40.min1.thm1.tptp
2017-02-06 16:57
233
toprealc__1185_40.min1.thm1.tptp
2017-02-06 16:57
233
toprealb__177_16.min1.thm1.tptp
2017-02-06 16:57
357
topreal9__776_16.min1.thm1.tptp
2017-02-06 16:57
503
topreal6__811_16.min1.thm1.tptp
2017-02-06 16:57
425
topreal6__802_16.min1.thm1.tptp
2017-02-06 16:57
425
topreal1__2432_16.min1.thm1.tptp
2017-02-06 16:57
313
topreal1__2424_16.min1.thm1.tptp
2017-02-06 16:57
313
topreal1__2416_16.min1.thm1.tptp
2017-02-06 16:57
313
topreal1__2408_16.min1.thm1.tptp
2017-02-06 16:57
313
topgen_4__644_48.min1.thm1.tptp
2017-02-06 16:57
490
topgen_2__1638_41.min1.thm1.tptp
2017-02-06 16:57
362
topgen_2__1574_41.min1.thm1.tptp
2017-02-06 16:57
394
topalg_5__1015_43.min1.thm1.tptp
2017-02-06 16:57
549
topalg_1__1568_16.min1.thm1.tptp
2017-02-06 16:57
373
toler_1__40_31.min1.thm1.tptp
2017-02-06 16:57
259
taxonom2__265_78.min1.thm1.tptp
2017-02-06 16:57
326
taxonom1__864_14.min1.thm1.tptp
2017-02-06 16:57
285
t_1topsp__181_18.min1.thm1.tptp
2017-02-06 16:57
358
supinf_1__129_16.min1.thm1.tptp
2017-02-06 16:57
272
supinf_1__79_16.min1.thm1.tptp
2017-02-06 16:57
272
substut1__2809_16.min1.thm1.tptp
2017-02-06 16:57
379
substut1__1380_16.min1.thm1.tptp
2017-02-06 16:57
237
substlat__110_14.min1.thm1.tptp
2017-02-06 16:57
279
substlat__80_69.min1.thm1.tptp
2017-02-06 16:57
476
subset__67_73.min1.thm1.tptp
2017-02-06 16:57
342
subset__34_57.min1.thm1.tptp
2017-02-06 16:57
363
subset_1__60_14.min1.thm1.tptp
2017-02-06 16:57
650
subset_1__57_14.min1.thm1.tptp
2017-02-06 16:57
607
subset_1__48_14.min1.thm1.tptp
2017-02-06 16:57
479
subset_1__39_14.min1.thm1.tptp
2017-02-06 16:57
365
sppol_2__3331_16.min1.thm1.tptp
2017-02-06 16:57
396
simplex0__61_45.min1.thm1.tptp
2017-02-06 16:57
305
zmodul01__2750_16.min1.thm1.tptp
2017-02-06 16:57
282
zfrefle1__124_13.min1.thm1.tptp
2017-02-06 16:57
284
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80