Name | Last modified | Size | Description | |
---|---|---|---|---|
Parent Directory | - | |||
subset__34_57.min1.thm1 | 2017-02-06 12:46 | 407 | ||
subset__34_57.min1.thm1.tptp | 2017-02-06 16:47 | 363 | ||
subset__38_4.min1.thm1 | 2017-02-06 12:46 | 349 | ||
subset__46_23.min1.thm1 | 2017-02-06 12:46 | 487 | ||
subset__47_19.min1.thm1 | 2017-02-06 12:46 | 349 | ||
subset__47_19.min1.thm1.tptp | 2017-02-06 16:47 | 280 | ||
subset__50_21.min1.thm1 | 2017-02-06 12:46 | 345 | ||
subset__50_21.min1.thm1.tptp | 2017-02-06 16:47 | 276 | ||
subset__51_17.min1.thm1 | 2017-02-06 12:46 | 491 | ||
subset__61_11.min1.thm1 | 2017-02-06 12:46 | 331 | ||
subset__61_11.min1.thm1.tptp | 2017-02-06 16:47 | 253 | ||
subset__62_16.min1.thm1 | 2017-02-06 12:46 | 394 | ||
subset__63_17.min1.thm1 | 2017-02-06 12:46 | 465 | ||
subset__67_73.min1.thm1 | 2017-02-06 12:46 | 395 | ||
subset__67_73.min1.thm1.tptp | 2017-02-06 16:47 | 342 | ||