Index of /~mptp/7.13.01_4.181.1147/mptp/ilp1/t90_zfmisc_1

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]algstr_4__2024_18.min1.thm1.tptp2017-02-06 16:58 498  
[ ]algstr_4__2026_18.min1.thm1.tptp2017-02-06 16:58 422  
[ ]algstr_4__2202_40.min1.thm1.tptp2017-02-06 16:58 304  
[ ]altcat_2__1211_61.min1.thm1.tptp2017-02-06 16:58 667  
[ ]altcat_2__1215_61.min1.thm1.tptp2017-02-06 16:58 675  
[ ]card_4__762_39.min1.thm1.tptp2017-02-06 16:58 519  
[ ]card_4__765_39.min1.thm1.tptp2017-02-06 16:58 520  
[ ]cohsp_1__3767_25.min1.thm1.tptp2017-02-06 16:58 408  
[ ]fsm_1__4551_14.min1.thm1.tptp2017-02-06 16:58 389  
[ ]funct_3__2135_32.min1.thm1.tptp2017-02-06 16:58 334  
[ ]funct_3__2138_32.min1.thm1.tptp2017-02-06 16:58 334  
[ ]funct_3__2147_36.min1.thm1.tptp2017-02-06 16:58 444  
[ ]funct_3__2229_14.min1.thm1.tptp2017-02-06 16:58 434  
[ ]funct_5__68_14.min1.thm1.tptp2017-02-06 16:58 370  
[ ]funct_5__671_12.min1.thm1.tptp2017-02-06 16:58 283  
[ ]funct_5__786_20.min1.thm1.tptp2017-02-06 16:58 316  
[ ]funct_5__1683_16.min1.thm1.tptp2017-02-06 16:58 290  
[ ]functor0__568_26.min1.thm1.tptp2017-02-06 16:58 302  
[ ]functor0__2055_18.min1.thm1.tptp2017-02-06 16:58 347  
[ ]isocat_2__434_17.min1.thm1.tptp2017-02-06 16:58 899  
[ ]matrix13__2420_42.min1.thm1.tptp2017-02-06 16:58 370  
[ ]matrix13__3057_19.min1.thm1.tptp2017-02-06 16:58 294  
[ ]matrix13__3058_19.min1.thm1.tptp2017-02-06 16:58 294  
[ ]matrix15__2702_59.min1.thm1.tptp2017-02-06 16:58 529  
[ ]mcart_1__949_27.min1.thm1.tptp2017-02-06 16:58 315  
[ ]metrizts__300_24.min1.thm1.tptp2017-02-06 16:58 340  
[ ]monoid_1__1909_14.min1.thm1.tptp2017-02-06 16:58 289  
[ ]monoid_1__1910_14.min1.thm1.tptp2017-02-06 16:58 289  
[ ]polyform__734_56.min1.thm1.tptp2017-02-06 16:58 427  
[ ]polyform__748_56.min1.thm1.tptp2017-02-06 16:58 408  
[ ]pua2mss1__424_23.min1.thm1.tptp2017-02-06 16:58 685  
[ ]pzfmisc1__1460_16.min1.thm1.tptp2017-02-06 16:58 402  
[ ]pzfmisc1__1473_16.min1.thm1.tptp2017-02-06 16:58 402  
[ ]relset_2__1256_28.min1.thm1.tptp2017-02-06 16:58 310  
[ ]sysrel__309_12.min1.thm1.tptp2017-02-06 16:58 373  
[ ]waybel19__909_43.min1.thm1.tptp2017-02-06 16:58 462  
[ ]yellow18__394_24.min1.thm1.tptp2017-02-06 16:58 454  
[ ]yellow18__395_24.min1.thm1.tptp2017-02-06 16:58 454  
[ ]yellow20__764_30.min1.thm1.tptp2017-02-06 16:58 461  
[ ]zfmisc_1__1695_15.min1.thm1.tptp2017-02-06 16:58 293  
[ ]zfmisc_1__1711_15.min1.thm1.tptp2017-02-06 16:58 294  
[ ]zfmisc_1__1871_24.min1.thm1.tptp2017-02-06 16:58 327  
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80