Index of /Teaching/DD-SS20/Datalog

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[TXT]aggregation.P2021-02-23 00:59 547  
[   ]aggregation.xwam2014-01-24 18:16 1.3M 
[TXT]aggregation2.P2021-02-23 00:59 454  
[TXT]aggrsubsumpt.P2021-02-23 00:59 162  
[TXT]aggs.P2014-01-24 18:18 864  
[TXT]arithmetics.P2021-02-23 00:59 91  
[   ]bl2.s2018-07-05 11:21 3.3K 
[   ]bl3.s2018-07-05 11:21 3.4K 
[TXT]bla.P2018-07-05 11:21 11  
[   ]bla.s2018-07-05 11:21 11  
[   ]bla.s.xwam2014-01-24 18:16 155  
[   ]bla.xwam2014-01-24 18:16 155  
[   ]bundesligatabelle.s2021-02-23 00:59 3.2K 
[TXT]cwithbigcity.P2021-02-23 00:59 119  
[   ]disj.s2021-02-23 00:59 36  
[   ]escherstairs.s2021-02-23 00:59 501  
[   ]farmer.s2021-02-23 00:59 1.1K 
[   ]fishpuzzle.s2021-02-23 00:59 5.5K 
[TXT]headquartercaps.P2021-02-23 00:59 415  
[   ]headquartercaps.xwam2015-05-08 15:39 1.3M 
[TXT]headquartercapsbig.P2021-02-23 00:59 298  
[   ]headquartercapsbig.xwam2014-01-24 18:16 1.3M 
[   ]houses.s2021-02-23 00:59 2.2K 
[   ]italians-english.s2021-02-23 00:59 602  
[TXT]landlocked.P2014-01-24 18:18 304  
[TXT]landlocked2.P2014-01-24 18:18 384  
[TXT]lowesthighestmountain.P2021-02-23 00:59 365  
[   ]meals-disj.s2021-02-23 00:59 446  
[TXT]meals.P2021-02-23 00:59 531  
[   ]meals.s2021-02-23 00:59 741  
[TXT]mondial.P2021-02-23 00:59 2.3M 
[   ]mondial.xwam2014-01-24 18:16 1.3M 
[TXT]neighbourcount.P2014-01-24 18:18 1.4K 
[TXT]orgOnContsDiv.P2021-02-23 00:59 340  
[   ]orgOnContsDiv.xwam2019-06-04 15:15 2.8M 
[   ]parricide.s2021-02-23 00:59 727  
[   ]pnotp.s2021-02-23 00:59 18  
[   ]porq-denial.s2021-02-23 00:59 45  
[   ]porq.s2021-02-23 00:59 36  
[   ]pporq-choice.s2021-02-23 00:59 22  
[   ]pporq.s2021-02-23 00:59 42  
[TXT]pq.P2021-02-23 00:59 67  
[   ]pq.s2021-02-23 00:59 90  
[TXT]prologask.P2021-02-23 00:59 597  
[   ]prologask.xwam2014-01-24 18:16 1.3M 
[TXT]prologbrussels.P2021-02-23 00:59 344  
[   ]prologbrussels.xwam2014-01-24 18:16 1.3M 
[TXT]prologcut.P2021-02-23 00:59 294  
[TXT]prologparis.P2021-02-23 00:59 347  
[   ]qnotp.s2021-02-23 00:59 18  
[   ]refint-del-b1.s2021-02-23 00:59 424  
[   ]refint-del-b2.s2021-02-23 00:59 507  
[   ]refint-del-d.s2021-02-23 00:59 408  
[   ]refint.s2021-02-23 00:59 924  
[   ]refint1.s2021-02-23 00:59 665  
[   ]refint1b.s2021-02-23 00:59 850  
[   ]refint2.s2021-02-23 00:59 360  
[   ]refint3.s2021-02-23 00:59 625  
[   ]refint4.s2021-02-23 00:59 771  
[   ]refint4b.s2021-02-23 00:59 771  
[TXT]schweizersprachen.P2014-01-24 18:18 513  
[   ]sudoku.s2021-02-23 00:59 957  
[   ]sudoku2.s2021-02-23 00:59 1.3K 
[TXT]tcRivers.P2021-02-23 00:59 153  
[TXT]transitiveclosure.P2021-02-23 00:59 213  
[   ]transitiveclosure.xwam2014-01-24 18:16 1.3M 
[TXT]transitiveclosure2.P2021-02-23 00:59 319  
[   ]tweety-circ.s2021-02-23 00:59 79  
[   ]tweety.s2021-02-23 00:59 51  
[   ]tweety2.s2021-02-23 00:59 68  
[   ]winmove-small.s2021-02-23 00:59 144  
[TXT]winmove.P2021-02-23 00:59 387  
[   ]winmove.s2021-02-23 00:59 352  
[   ]winmove.xwam2014-01-24 18:16 1.3K 
[TXT]winmovebug.P2021-02-23 00:59 251  
[   ]winmovebug.xwam2014-01-24 18:16 873  
[TXT]winmovesmall.P2021-02-23 00:59 173  

Apache Server at www.dbis.informatik.uni-goettingen.de Port 80