Index of /1.01/exa/DatalogPlus/datalogplus_min/

      Name                                                                             Last modified         Size  Description 
   
up Parent Directory 25-Jan-2018 19:55 - unknown datalogplus_min_part1.ruleml 25-Jan-2018 19:55 8k unknown datalogplus_min_part1.tptp 25-Jan-2018 19:55 4k unknown datalogplus_min_part2.ruleml 25-Jan-2018 19:55 4k unknown datalogplus_min_part2.tptp 25-Jan-2018 19:55 4k unknown datalogplus_min_part3.ruleml 25-Jan-2018 19:55 4k unknown datalogplus_min_part3.tptp 25-Jan-2018 19:55 4k

Proudly Served by LiteSpeed Web Server at deliberation.ruleml.org Port 80