Index of /Teaching/DD-SS22/Datalog

[ICO]NameLast modifiedSizeDescription

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

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