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