| Name | Last modified | Size | Description | |
|---|---|---|---|---|
| Parent Directory | - | |||
| badmeta.n3 | 18-Dec-2009 14:12 | 1.4K | ||
| biP.n3 | 20-Oct-2009 15:44 | 5.9K | ||
| biQ.n3 | 21-Dec-2007 20:13 | 85 | ||
| biR.n3 | 20-Apr-2008 00:04 | 64K | ||
| contradiction.n3 | 17-Dec-2009 05:56 | 108 | ||
| cro_8_2.in | 19-Nov-2008 21:01 | 2.9K | ||
| data1.n3 | 20-Jun-2009 12:40 | 608 | ||
| data2.n3 | 20-Jun-2009 12:40 | 608 | ||
| data3.n3 | 20-Jun-2009 13:22 | 1.8K | ||
| dpe.in | 19-Nov-2008 21:02 | 1.0K | ||
| drinker.in | 19-Nov-2008 21:02 | 1.0K | ||
| equalities1.n3 | 20-Jun-2009 13:20 | 577 | ||
| etc | 25-Mar-2009 10:27 | 1.7K | ||
| etc.ref | 19-Aug-2009 10:03 | 33M | ||
| fdlP020.n3 | 07-Jul-2009 09:44 | 1.2K | ||
| fdlQ001.n3 | 04-Jul-2009 12:38 | 558 | ||
| gmpbnode.n3 | 09-Sep-2007 14:57 | 152 | ||
| gmpbnode2.n3 | 09-Sep-2007 14:57 | 189 | ||
| gmpbnodeE1.n3 | 09-Sep-2007 15:13 | 2.8K | ||
| gmpbnodeE2.n3 | 12-Mar-2009 21:08 | 1.6K | ||
| gmpbnodeF.n3 | 09-Sep-2007 14:57 | 111 | ||
| httpspeech.n3 | 18-Dec-2009 14:07 | 1.7K | ||
| inf.in | 19-Nov-2008 21:02 | 368 | ||
| irP.n3 | 04-Jan-2008 12:40 | 827 | ||
| irQ.n3 | 04-Aug-2007 10:48 | 173 | ||
| irR.n3 | 04-Jan-2008 12:44 | 17K | ||
| latt_assoc.in | 19-Nov-2008 21:02 | 795 | ||
| latt_comm.in | 19-Nov-2008 21:02 | 705 | ||
| m3bP.n3 | 10-Dec-2007 22:49 | 541 | ||
| m3bQ.n3 | 06-Dec-2007 12:47 | 232 | ||
| mb.in | 19-Nov-2008 21:02 | 647 | ||
| nincl.n3 | 08-Jul-2008 23:07 | 328 | ||
| ninclQ.n3 | 08-Jul-2008 21:24 | 24 | ||
| nl.in | 19-Nov-2008 21:02 | 825 | ||
| orP.n3 | 29-Jan-2008 12:55 | 640 | ||
| orQ.n3 | 01-Feb-2008 13:57 | 173 | ||
| owl2.n3 | 18-Dec-2009 13:21 | 491 | ||
| owlth.n3 | 18-Dec-2009 14:22 | 5.1K | ||
| p2p1.in | 19-Nov-2008 21:02 | 2.6K | ||
| pd_hes.in | 29-Mar-2009 19:15 | 5.3K | ||
| pd_hes_proof.n3 | 18-Dec-2009 22:22 | 42M | ||
| pd_hes_query.n3 | 11-Jan-2009 22:02 | 395 | ||
| pd_hes_tactic.n3 | 10-Jan-2009 14:27 | 2.1K | ||
| pd_hes_theory.n3 | 10-Jan-2009 14:25 | 2.1K | ||
| plfnP.n3 | 24-Aug-2009 20:21 | 1.3K | ||
| plfnQ.n3 | 24-Aug-2009 12:24 | 288 | ||
| plugin.yap | 12-Jul-2009 14:33 | 210 | ||
| pluginQ.n3 | 19-Jul-2009 19:09 | 193 | ||
| ptP.n3 | 12-Dec-2007 21:15 | 4.2K | ||
| ptQ.n3 | 19-Jul-2007 09:55 | 173 | ||
| query1.n3 | 20-Jun-2009 13:23 | 904 | ||
| r3_5.in | 14-Dec-2008 14:31 | 539 | ||
| rdfs-nice.n3 | 18-Dec-2009 13:32 | 2.2K | ||
| rifE.n3 | 03-Nov-2009 10:00 | 17K | ||
| rifP.n3 | 27-Oct-2009 10:36 | 28K | ||
| rifQ.n3 | 06-Aug-2009 21:12 | 285 | ||
| rsP.n3 | 11-Dec-2007 14:35 | 680 | ||
| rsQ.n3 | 26-Jul-2007 14:02 | 175 | ||
| sd.in | 19-Nov-2008 21:05 | 2.2K | ||
| ser.in | 19-Nov-2008 21:06 | 764 | ||
| shubert.n3 | 11-Jan-2009 18:17 | 1.1K | ||
| shubertE.n3 | 11-Jan-2009 20:53 | 78K | ||
| shubertQ.n3 | 11-Jan-2009 21:46 | 494 | ||
| socrates.n3 | 12-Jun-2009 14:43 | 919 | ||
| socratesE.n3 | 12-Jun-2009 19:18 | 18K | ||
| socratesQ.n3 | 15-Jun-2009 11:54 | 707 | ||
| speech.n3 | 18-Dec-2009 14:06 | 2.9K | ||
| swP.n3 | 28-Apr-2008 12:06 | 386 | ||
| swQ.n3 | 28-Jul-2007 22:18 | 157 | ||
| theory1.n3 | 20-Jun-2009 12:41 | 556 | ||
| time.n3 | 18-Dec-2009 13:23 | 2.7K | ||
| unf.in | 19-Nov-2008 21:03 | 922 | ||
| witchE.n3 | 12-Jan-2009 00:10 | 2.8K | ||