| URI |
DAML Statements |
Bytes |
Crawled |
|
http://ksl.stanford.edu/people/sam/
|
12
|
6,935
|
2002-02-11T07:38:09
|
|
http://ksl.stanford.edu/~sam
|
12
|
7,486
|
2003-02-19T01:43:46
|
|
http://www.ksl.stanford.edu/DAML/query-answer/wines-query1.daml
|
24
|
1,578
|
2003-02-20T19:20:39
|
|
http://www.ksl.stanford.edu/DAML/query-answer/wines-query2.daml
|
24
|
1,579
|
2003-02-20T19:21:14
|
|
http://www.ksl.stanford.edu/DAML/query-answer/wines-query3.daml
|
21
|
1,353
|
2003-02-20T19:21:46
|
|
http://www.ksl.stanford.edu/DAML/query-answer/wines-query4.daml
|
21
|
1,355
|
2003-02-20T19:23:07
|
|
http://www.ksl.stanford.edu/DAML/query-answer/wines-query5.daml
|
24
|
1,599
|
2003-02-20T19:24:21
|
|
http://www.ksl.stanford.edu/DAML/query-answer/wines-query6.daml
|
21
|
1,365
|
2003-02-20T19:25:17
|
|
http://www.ksl.stanford.edu/DAML/query-answer/wines-query7.daml
|
24
|
1,605
|
2003-02-20T19:27:09
|
|
http://www.ksl.stanford.edu/DAML/query-answer/wines-query8.daml
|
24
|
1,560
|
2003-02-20T19:27:43
|
|
http://www.ksl.stanford.edu/DAML/query-answer/wines-short3.daml
|
4
|
464
|
2003-02-20T19:22:20
|
|
http://www.ksl.stanford.edu/DAML/query-answer/wines-short4.daml
|
9
|
733
|
2003-02-20T19:23:46
|
|
http://www.ksl.stanford.edu/DAML/query-answer/wines-short6.daml
|
16
|
1,104
|
2003-02-20T19:26:21
|
|
http://www.ksl.stanford.edu/projects/DAML/damls.shtml
|
20
|
8,963
|
2003-02-18T21:05:59
|
|
http://www.ksl.Stanford.EDU/projects/DAML/Proof/sample/AquaintDec2002/IW1.daml
|
24
|
2,935
|
2003-02-20T23:56:07
|
|
http://www.ksl.Stanford.EDU/projects/DAML/Proof/sample/AquaintDec2002/IW10.daml
|
19
|
2,117
|
2003-02-20T23:56:46
|
|
http://www.ksl.Stanford.EDU/projects/DAML/Proof/sample/AquaintDec2002/IW11.daml
|
23
|
2,994
|
2003-02-20T23:57:46
|
|
http://www.ksl.Stanford.EDU/projects/DAML/Proof/sample/AquaintDec2002/IW12.daml
|
28
|
4,387
|
2003-02-20T23:58:37
|
|
http://www.ksl.Stanford.EDU/projects/DAML/Proof/sample/AquaintDec2002/IW13.daml
|
24
|
4,139
|
2003-02-20T23:59:18
|
|
http://www.ksl.Stanford.EDU/projects/DAML/Proof/sample/AquaintDec2002/IW14.daml
|
19
|
2,111
|
2003-02-20T23:59:58
|
|
http://www.ksl.Stanford.EDU/projects/DAML/Proof/sample/AquaintDec2002/IW15.daml
|
19
|
2,082
|
2003-02-21T00:00:34
|
|
http://www.ksl.Stanford.EDU/projects/DAML/Proof/sample/AquaintDec2002/IW16.daml
|
19
|
2,102
|
2003-02-21T00:01:16
|
|
http://www.ksl.Stanford.EDU/projects/DAML/Proof/sample/AquaintDec2002/IW17.daml
|
19
|
2,071
|
2003-02-21T00:02:32
|
|
http://www.ksl.Stanford.EDU/projects/DAML/Proof/sample/AquaintDec2002/IW18.daml
|
19
|
2,092
|
2003-02-21T00:05:33
|
|
http://www.ksl.Stanford.EDU/projects/DAML/Proof/sample/AquaintDec2002/IW2.daml
|
23
|
3,073
|
2003-02-21T00:06:33
|
|
http://www.ksl.Stanford.EDU/projects/DAML/Proof/sample/AquaintDec2002/IW3.daml
|
28
|
5,065
|
2003-02-21T00:07:12
|
|
http://www.ksl.Stanford.EDU/projects/DAML/Proof/sample/AquaintDec2002/IW4.daml
|
24
|
4,825
|
2003-02-21T00:07:46
|
|
http://www.ksl.Stanford.EDU/projects/DAML/Proof/sample/AquaintDec2002/IW5.daml
|
19
|
2,090
|
2003-02-21T00:08:23
|
|
http://www.ksl.Stanford.EDU/projects/DAML/Proof/sample/AquaintDec2002/IW6.daml
|
23
|
2,975
|
2003-02-21T00:08:56
|
|
http://www.ksl.Stanford.EDU/projects/DAML/Proof/sample/AquaintDec2002/IW7.daml
|
28
|
4,487
|
2003-02-21T00:09:40
|
|
http://www.ksl.Stanford.EDU/projects/DAML/Proof/sample/AquaintDec2002/IW8.daml
|
28
|
5,778
|
2003-02-21T00:10:12
|
|
http://www.ksl.Stanford.EDU/projects/DAML/Proof/sample/AquaintDec2002/IW9.daml
|
24
|
5,496
|
2003-02-21T00:10:53
|
|
http://www.ksl.Stanford.EDU/projects/DAML/Proof/sample/CADE/IW1.daml
|
23
|
3,462
|
2003-02-21T00:14:02
|
|
http://www.ksl.Stanford.EDU/projects/DAML/Proof/sample/CADE/IW2.daml
|
22
|
3,658
|
2003-02-21T00:16:29
|
|
http://www.ksl.Stanford.EDU/projects/DAML/Proof/sample/CADE/IW4.daml
|
22
|
3,577
|
2003-02-21T00:18:03
|
|
http://www.ksl.Stanford.EDU/projects/DAML/Proof/sample/CADE/IW5.daml
|
27
|
5,144
|
2003-02-21T00:18:50
|
|
http://www.ksl.Stanford.EDU/projects/DAML/Proof/sample/CADE/IW7.daml
|
22
|
3,592
|
2003-02-21T00:22:09
|
|
http://www.ksl.Stanford.EDU/projects/DAML/Proof/sample/IJCAIFlavor/IW1.daml
|
23
|
3,464
|
2003-02-21T00:32:12
|
|
http://www.ksl.Stanford.EDU/projects/DAML/Proof/sample/IJCAIFlavor/IW2.daml
|
22
|
3,664
|
2003-02-21T00:39:13
|
|
http://www.ksl.Stanford.EDU/projects/DAML/Proof/sample/IJCAIFlavor/IW4.daml
|
22
|
3,583
|
2003-02-21T00:41:53
|
|
http://www.ksl.Stanford.EDU/projects/DAML/Proof/sample/IJCAIFlavor/IW5.daml
|
27
|
5,150
|
2003-02-21T00:45:05
|
|
http://www.ksl.Stanford.EDU/projects/DAML/Proof/sample/IJCAIFlavor/IW7.daml
|
22
|
3,598
|
2003-02-21T00:47:50
|
|
http://www.ksl.Stanford.EDU/projects/DAML/Proof/sample/IW1.daml
|
19
|
2,714
|
2003-02-20T20:46:21
|
|
http://www.ksl.Stanford.EDU/projects/DAML/Proof/sample/IW11.daml
|
19
|
2,849
|
2003-02-20T20:51:04
|
|
http://www.ksl.Stanford.EDU/projects/DAML/Proof/sample/IW12.daml
|
19
|
2,892
|
2003-02-20T20:51:38
|
|
http://www.ksl.Stanford.EDU/projects/DAML/Proof/sample/IW2.daml
|
19
|
2,911
|
2003-02-20T20:55:58
|
|
http://www.ksl.Stanford.EDU/projects/DAML/Proof/sample/IW3.daml
|
19
|
2,925
|
2003-02-20T20:56:34
|
|
http://www.ksl.Stanford.EDU/projects/DAML/Proof/sample/IW6.daml
|
19
|
2,830
|
2003-02-20T20:58:31
|
|
http://www.ksl.Stanford.EDU/projects/DAML/Proof/sample/IW7.daml
|
19
|
2,975
|
2003-02-20T20:59:08
|
|
http://www.ksl.Stanford.EDU/projects/DAML/Proof/sample/IW8.daml
|
19
|
2,987
|
2003-02-20T20:59:42
|
|
http://www.ksl.Stanford.EDU/projects/DAML/Proof/sample/old/IW1.daml
|
26
|
3,542
|
2003-02-21T01:14:04
|
|
http://www.ksl.Stanford.EDU/projects/DAML/Proof/sample/old/IW10.daml
|
23
|
2,811
|
2003-02-21T01:15:51
|
|
http://www.ksl.Stanford.EDU/projects/DAML/Proof/sample/old/IW11.daml
|
26
|
3,550
|
2003-02-21T01:16:33
|
|
http://www.ksl.Stanford.EDU/projects/DAML/Proof/sample/old/IW12.daml
|
23
|
2,855
|
2003-02-21T01:17:24
|
|
http://www.ksl.Stanford.EDU/projects/DAML/Proof/sample/old/IW13.daml
|
26
|
3,547
|
2003-02-21T01:18:03
|
|
http://www.ksl.Stanford.EDU/projects/DAML/Proof/sample/old/IW14.daml
|
22
|
2,738
|
2003-02-21T01:18:37
|
|
http://www.ksl.Stanford.EDU/projects/DAML/Proof/sample/old/IW15.daml
|
26
|
3,540
|
2003-02-21T01:19:19
|
|
http://www.ksl.Stanford.EDU/projects/DAML/Proof/sample/old/IW16.daml
|
23
|
2,845
|
2003-02-21T01:19:54
|
|
http://www.ksl.Stanford.EDU/projects/DAML/Proof/sample/old/IW2.daml
|
26
|
3,666
|
2003-02-21T01:20:27
|
|
http://www.ksl.Stanford.EDU/projects/DAML/Proof/sample/old/IW3.daml
|
31
|
5,389
|
2003-02-21T01:21:15
|
|
http://www.ksl.Stanford.EDU/projects/DAML/Proof/sample/old/IW4.daml
|
27
|
5,020
|
2003-02-21T01:21:50
|
|
http://www.ksl.Stanford.EDU/projects/DAML/Proof/sample/old/IW5.daml
|
26
|
3,544
|
2003-02-21T01:22:28
|
|
http://www.ksl.Stanford.EDU/projects/DAML/Proof/sample/old/IW6.daml
|
26
|
3,792
|
2003-02-21T01:23:06
|
|
http://www.ksl.Stanford.EDU/projects/DAML/Proof/sample/old/IW7.daml
|
31
|
5,941
|
2003-02-21T01:23:45
|
|
http://www.ksl.Stanford.EDU/projects/DAML/Proof/sample/old/IW8.daml
|
27
|
5,615
|
2003-02-21T01:24:31
|
|
http://www.ksl.Stanford.EDU/projects/DAML/Proof/sample/old/IW9.daml
|
26
|
3,506
|
2003-02-21T01:25:12
|
|
http://www.ksl.Stanford.EDU/projects/DAML/Proof/sample/old2/IW12.daml
|
25
|
2,991
|
2003-02-21T01:30:04
|
|
http://www.ksl.Stanford.EDU/projects/DAML/Proof/sample/old2/IW6.daml
|
25
|
2,994
|
2003-02-21T01:34:08
|
|
http://www.ksl.Stanford.EDU/projects/DAML/Proof/sample/old3/IW1.daml
|
23
|
2,965
|
2003-02-21T01:38:57
|
|
http://www.ksl.Stanford.EDU/projects/DAML/Proof/sample/old3/IW10.daml
|
23
|
2,974
|
2003-02-21T01:39:30
|
|
http://www.ksl.Stanford.EDU/projects/DAML/Proof/sample/old3/IW11.daml
|
19
|
2,165
|
2003-02-21T01:40:04
|
|
http://www.ksl.Stanford.EDU/projects/DAML/Proof/sample/old3/IW12.daml
|
23
|
2,963
|
2003-02-21T01:40:37
|
|
http://www.ksl.Stanford.EDU/projects/DAML/Proof/sample/old3/IW13.daml
|
19
|
2,154
|
2003-02-21T01:41:09
|
|
http://www.ksl.Stanford.EDU/projects/DAML/Proof/sample/old3/IW2.daml
|
23
|
3,089
|
2003-02-21T01:41:44
|
|
http://www.ksl.Stanford.EDU/projects/DAML/Proof/sample/old3/IW3.daml
|
28
|
4,501
|
2003-02-21T01:42:16
|
|
http://www.ksl.Stanford.EDU/projects/DAML/Proof/sample/old3/IW4.daml
|
24
|
4,251
|
2003-02-21T01:42:49
|
|
http://www.ksl.Stanford.EDU/projects/DAML/Proof/sample/old3/IW5.daml
|
23
|
2,971
|
2003-02-21T01:43:22
|
|
http://www.ksl.Stanford.EDU/projects/DAML/Proof/sample/old3/IW6.daml
|
23
|
3,218
|
2003-02-21T01:43:57
|
|
http://www.ksl.Stanford.EDU/projects/DAML/Proof/sample/old3/IW7.daml
|
24
|
4,249
|
2003-02-21T01:44:29
|
|
http://www.ksl.Stanford.EDU/projects/DAML/Proof/sample/old3/IW8.daml
|
23
|
2,976
|
2003-02-21T01:45:04
|
|
http://www.ksl.Stanford.EDU/projects/DAML/Proof/sample/old3/IW9.daml
|
19
|
2,168
|
2003-02-21T01:45:36
|
|
http://www.ksl.Stanford.EDU/projects/DAML/Proof/sample/original/IW1.daml
|
22
|
3,610
|
2003-02-21T01:48:36
|
|
http://www.ksl.Stanford.EDU/projects/DAML/Proof/sample/original/IW2.daml
|
27
|
5,071
|
2003-02-21T01:49:09
|
|
http://www.ksl.Stanford.EDU/projects/DAML/Proof/sample/original/IW4.daml
|
22
|
3,714
|
2003-02-21T01:50:16
|
|
http://www.ksl.Stanford.EDU/projects/DAML/Proof/sample/RKFNov2002/IW1.daml
|
23
|
2,960
|
2003-02-21T00:53:07
|
|
http://www.ksl.Stanford.EDU/projects/DAML/Proof/sample/RKFNov2002/IW2.daml
|
28
|
4,349
|
2003-02-21T00:53:43
|
|
http://www.ksl.Stanford.EDU/projects/DAML/Proof/sample/RKFNov2002/IW3.daml
|
24
|
4,139
|
2003-02-21T00:54:41
|
|
http://www.ksl.Stanford.EDU/projects/DAML/Proof/sample/RKFNov2002/IW4.daml
|
23
|
3,081
|
2003-02-21T00:55:31
|
|
http://www.ksl.Stanford.EDU/projects/DAML/Proof/sample/RKFNov2002/IW5.daml
|
24
|
4,137
|
2003-02-21T00:56:07
|
|
http://www.ksl.Stanford.EDU/projects/DAML/Proof/sample/RKFNov2002/IW6.daml
|
19
|
2,080
|
2003-02-21T00:56:41
|
|
http://www.ksl.Stanford.EDU/projects/DAML/Proof/sample/RKFNov2002/IW7.daml
|
19
|
2,077
|
2003-02-21T00:57:22
|
|
http://www.ksl.Stanford.EDU/projects/DAML/Proof/sample/RKFNov2002/IW8.daml
|
19
|
2,066
|
2003-02-21T00:58:18
|
|
http://www.ksl.Stanford.EDU/projects/DAML/Proof/sample/TS/IW1.daml
|
19
|
2,821
|
2003-02-21T01:01:10
|
|
http://www.ksl.Stanford.EDU/projects/DAML/Proof/sample/TS/IW2.daml
|
19
|
2,860
|
2003-02-21T01:01:43
|
|
http://www.ksl.Stanford.EDU/projects/DAML/Proof/sample/TS/IW4.daml
|
19
|
2,928
|
2003-02-21T01:02:49
|
|
http://www.ksl.Stanford.EDU/projects/DAML/Proof/sample/TSExpl/IW1.daml
|
19
|
2,840
|
2003-02-21T01:08:42
|
|
http://www.ksl.Stanford.EDU/projects/DAML/Proof/sample/TSExpl/IW4.daml
|
19
|
2,842
|
2003-02-21T01:09:14
|
|
http://www.ksl.stanford.edu/projects/dql/
|
19
|
4,453
|
2002-09-15T08:45:04
|
|
http://www.ksl.Stanford.EDU/software/IW/registry/IE/JTP.daml
|
22
|
2,913
|
2003-02-20T22:52:04
|
|
http://www.ksl.Stanford.EDU/software/IW/registry/IE/OTTER.daml
|
22
|
3,008
|
2003-02-20T22:52:42
|
|
http://www.ksl.Stanford.EDU/software/IW/registry/IE/SNARK.daml
|
22
|
2,401
|
2003-02-20T22:53:49
|
|
http://www.ksl.Stanford.EDU/software/IW/registry/IR/Demod.daml
|
29
|
3,234
|
2003-02-20T22:57:49
|
|
http://www.ksl.Stanford.EDU/software/IW/registry/IR/GMP.daml
|
29
|
3,446
|
2003-02-20T22:59:32
|
|
http://www.ksl.Stanford.EDU/software/IW/registry/IR/MP.daml
|
27
|
2,748
|
2003-02-20T23:00:40
|
|
http://www.ksl.Stanford.EDU/software/IW/registry/ONT/UNSPSC.daml
|
21
|
3,283
|
2003-02-20T23:07:45
|
|
http://www.ksl.Stanford.EDU/software/IW/registry/ONT/WINES.daml
|
21
|
2,183
|
2003-02-20T23:08:23
|
|
http://www.ksl.Stanford.EDU/software/IW/registry/ORG/ACM.daml
|
12
|
1,263
|
2003-02-20T23:11:08
|
|
http://www.ksl.Stanford.EDU/software/IW/registry/ORG/ADDISON-WESLEY.daml
|
12
|
1,242
|
2003-02-20T23:11:41
|
|
http://www.ksl.Stanford.EDU/software/IW/registry/ORG/AI-ISI.daml
|
12
|
1,299
|
2003-02-20T23:12:16
|
|
http://www.ksl.Stanford.EDU/software/IW/registry/ORG/AIC_SRI.daml
|
12
|
1,281
|
2003-02-20T23:12:54
|
|
http://www.ksl.Stanford.EDU/software/IW/registry/ORG/CAMBRIDGEPRESS.daml
|
12
|
1,263
|
2003-02-20T23:13:58
|
|
http://www.ksl.Stanford.EDU/software/IW/registry/ORG/CSBERKELEY.daml
|
12
|
1,301
|
2003-02-20T23:14:51
|
|
http://www.ksl.Stanford.EDU/software/IW/registry/ORG/DAML-ORG.daml
|
12
|
1,259
|
2003-02-20T23:15:39
|
|
http://www.ksl.Stanford.EDU/software/IW/registry/ORG/ELSEVIER.daml
|
12
|
1,254
|
2003-02-20T23:16:14
|
|
http://www.ksl.Stanford.EDU/software/IW/registry/ORG/KSL.daml
|
12
|
1,285
|
2003-02-20T23:16:46
|
|
http://www.ksl.Stanford.EDU/software/IW/registry/ORG/MCS-ARGONNE.daml
|
12
|
1,345
|
2003-02-20T23:17:20
|
|
http://www.ksl.Stanford.EDU/software/IW/registry/ORG/PRENTICEHALL.daml
|
12
|
1,291
|
2003-02-20T23:17:53
|
|
http://www.ksl.Stanford.EDU/software/IW/registry/ORG/SANDIA.daml
|
12
|
1,276
|
2003-02-20T23:18:27
|
|
http://www.ksl.Stanford.EDU/software/IW/registry/ORG/SPRINGER-VERLAG.daml
|
12
|
1,258
|
2003-02-20T23:18:59
|
|
http://www.ksl.Stanford.EDU/software/IW/registry/ORG/STANFORD.daml
|
12
|
1,251
|
2003-02-20T23:19:34
|
|
http://www.ksl.Stanford.EDU/software/IW/registry/SC/DAML.daml
|
20
|
2,217
|
2003-02-20T23:22:57
|
|
http://www.ksl.Stanford.EDU/software/IW/registry/SCA/subClassOf.daml
|
18
|
2,001
|
2003-02-20T23:25:45
|
|
http://www.ksl.Stanford.EDU/software/IW/registry/SRC/BUSS1998.daml
|
21
|
2,034
|
2003-02-20T23:29:54
|
|
http://www.ksl.Stanford.EDU/software/IW/registry/SRC/DAML-TEAM.daml
|
21
|
2,073
|
2003-02-20T23:30:50
|
|
http://www.ksl.Stanford.EDU/software/IW/registry/SRC/DLM.daml
|
21
|
2,006
|
2003-02-20T23:31:24
|
|
http://www.ksl.Stanford.EDU/software/IW/registry/SRC/EFH.daml
|
21
|
2,012
|
2003-02-20T23:32:05
|
|
http://www.ksl.Stanford.EDU/software/IW/registry/SRC/IW-TEAM.daml
|
21
|
2,075
|
2003-02-20T23:32:36
|
|
http://www.ksl.Stanford.EDU/software/IW/registry/SRC/JTP-TEAM.daml
|
11
|
1,237
|
2003-02-20T23:33:39
|
|
http://www.ksl.Stanford.EDU/software/IW/registry/SRC/OTTER-TEAM.daml
|
21
|
2,058
|
2003-02-20T23:34:13
|
|
http://www.ksl.Stanford.EDU/software/IW/registry/SRC/PL-TEAM.daml
|
21
|
2,018
|
2003-02-20T23:34:50
|
|
http://www.ksl.Stanford.EDU/software/IW/registry/SRC/PPS.daml
|
21
|
2,008
|
2003-02-20T23:35:31
|
|
http://www.ksl.Stanford.EDU/software/IW/registry/SRC/ROBINSON1965.daml
|
21
|
2,099
|
2003-02-20T23:36:04
|
|
http://www.ksl.Stanford.EDU/software/IW/registry/SRC/RUSSELLNORVIG1995.daml
|
21
|
2,072
|
2003-02-20T23:36:38
|
|
http://www.ksl.Stanford.EDU/software/IW/registry/SRC/SNARK-TEAM.daml
|
21
|
2,053
|
2003-02-20T23:37:10
|
|
http://www.ksl.Stanford.EDU/software/IW/registry/SRC/TROELSTRA2000.daml
|
21
|
2,057
|
2003-02-20T23:38:04
|
|
http://www.ksl.Stanford.EDU/software/IW/registry/SRC/WOSMcCUNE1986.daml
|
21
|
2,116
|
2003-02-20T23:39:08
|
|
http://www.ksl.Stanford.EDU/software/IW/registry/SRC/WRCS1967.daml
|
21
|
2,146
|
2003-02-20T23:39:53
|
|
http://www.ksl.Stanford.EDU/software/IW/registry/ST/ClassTransStep1.daml
|
19
|
2,972
|
2003-02-20T23:44:19
|
|
http://www.ksl.Stanford.EDU/software/IW/registry/ST/SuperClassInstStep1.daml
|
19
|
2,857
|
2003-02-20T23:47:40
|
|
http://www.ksl.Stanford.EDU/software/IW/registry/ST/SuperClassInstStep2.daml
|
19
|
2,895
|
2003-02-20T23:48:11
|
|
http://www.ksl.Stanford.EDU/software/iw/sample/IW1.daml
|
19
|
2,714
|
2003-02-20T22:29:48
|
|
http://www.ksl.Stanford.EDU/software/iw/sample/IW11.daml
|
19
|
2,849
|
2003-02-20T22:30:55
|
|
http://www.ksl.Stanford.EDU/software/iw/sample/IW12.daml
|
19
|
2,892
|
2003-02-20T22:31:29
|
|
http://www.ksl.Stanford.EDU/software/iw/sample/IW2.daml
|
19
|
2,911
|
2003-02-20T22:35:49
|
|
http://www.ksl.Stanford.EDU/software/iw/sample/IW3.daml
|
19
|
2,925
|
2003-02-20T22:36:24
|
|
http://www.ksl.Stanford.EDU/software/iw/sample/IW6.daml
|
19
|
2,830
|
2003-02-20T22:38:02
|
|
http://www.ksl.Stanford.EDU/software/iw/sample/IW7.daml
|
19
|
2,975
|
2003-02-20T22:38:37
|
|
http://www.ksl.Stanford.EDU/software/iw/sample/IW8.daml
|
19
|
2,987
|
2003-02-20T22:39:10
|
|
http://www.ksl.Stanford.EDU/software/IW/spec/fopl.daml
|
202
|
14,056
|
2003-02-19T01:52:50
|
|
http://www.ksl.Stanford.EDU/software/JTP/default-cfg.daml
|
81
|
3,437
|
2002-09-17T23:50:48
|