Returned 51 matches (100 formulae, 234 docs)
    Lookup 116.344 ms, Re-ranking 57.401 ms
    Found 1148753 tuple postings, 768458 formulae, 817017 documents
[ formulas ] [ documents ] [ documents-by-formula ]

Doc 1
0.6931
-5.0000
7.0000
0.6931
testing/NTCIR/xhtml5/2/math0111089/math0111089_1_67.xhtml
KX^C=KXC=0

Doc 2
0.6452
0.0000
6.0000
1.9475
testing/NTCIR/xhtml5/3/hep-th0406039/hep-th0406039_1_50.xhtml
KXC=0
KXC<0
KXC>0
KXC

Doc 3
0.6452
0.0000
6.0000
1.2166
testing/NTCIR/xhtml5/1/math0006205/math0006205_1_108.xhtml
KXC=0
KXC=KCC=0

Doc 4
0.6452
0.0000
6.0000
1.0929
testing/NTCIR/xhtml5/8/1210.0218/1210.0218_1_15.xhtml
KXC=0
KXC0

Doc 5
0.6452
0.0000
6.0000
1.0929
testing/NTCIR/xhtml5/8/1210.0218/1210.0218_1_12.xhtml
KXC=0
KXC0

Doc 6
0.6452
0.0000
6.0000
1.0519
testing/NTCIR/xhtml5/8/1210.0218/1210.0218_1_137.xhtml
KXC=0
(KX+D)C=0

Doc 7
0.6452
0.0000
6.0000
0.6452
testing/NTCIR/xhtml5/11/math9908022/math9908022_1_103.xhtml
KXC=0

Doc 8
0.6452
0.0000
6.0000
0.6452
testing/NTCIR/xhtml5/8/1210.0218/1210.0218_1_168.xhtml
KXC=0

Doc 9
0.6452
0.0000
6.0000
0.6452
testing/NTCIR/xhtml5/8/1210.0218/1210.0218_1_167.xhtml
KXC=0

Doc 10
0.6452
0.0000
6.0000
0.6452
testing/NTCIR/xhtml5/8/1210.0218/1210.0218_1_164.xhtml
KXC=0

Doc 11
0.6452
0.0000
6.0000
0.6452
testing/NTCIR/xhtml5/8/1210.0218/1210.0218_1_165.xhtml
KXC=0

Doc 12
0.6452
0.0000
6.0000
0.6452
testing/NTCIR/xhtml5/10/math9802024/math9802024_1_37.xhtml
KXC=0

Doc 13
0.6452
0.0000
6.0000
0.6452
testing/NTCIR/xhtml5/4/math0602088/math0602088_1_42.xhtml
KXC=0

Doc 14
0.6452
0.0000
6.0000
0.6452
testing/NTCIR/xhtml5/11/math9908022/math9908022_1_10.xhtml
KXC=0

Doc 15
0.6452
0.0000
5.0000
1.2903
testing/NTCIR/xhtml5/3/math0310484/math0310484_1_137.xhtml
KYC=0
-KXC0=0.

Doc 16
0.6452
0.0000
5.0000
1.2903
testing/NTCIR/xhtml5/10/math9802024/math9802024_1_90.xhtml
KFC=0
KYC=0.

Doc 17
0.6452
0.0000
5.0000
1.1715
testing/NTCIR/xhtml5/3/math0310484/math0310484_1_46.xhtml
KYC=0
detVC=0

Doc 18
0.6452
0.0000
5.0000
0.6452
testing/NTCIR/xhtml5/3/math0408062/math0408062_1_34.xhtml
KSC=0

Doc 19
0.6452
0.0000
5.0000
0.6452
testing/NTCIR/xhtml5/3/math0310484/math0310484_1_67.xhtml
KXB=0

Doc 20
0.6452
0.0000
5.0000
0.6452
testing/NTCIR/xhtml5/10/math9804034/math9804034_1_74.xhtml
KXA=0

Doc 21
0.6452
0.0000
5.0000
0.6452
testing/NTCIR/xhtml5/2/math0212082/math0212082_1_76.xhtml
KFC=0

Doc 22
0.6452
0.0000
5.0000
0.6452
testing/NTCIR/xhtml5/6/0907.4151/0907.4151_1_91.xhtml
KXF=0

Doc 23
0.6452
0.0000
4.0000
1.2903
testing/NTCIR/xhtml5/5/0810.0728/0810.0728_1_237.xhtml
KSC=1
KSC=2

Doc 24
0.6452
0.0000
4.0000
1.2903
testing/NTCIR/xhtml5/5/0810.0728/0810.0728_1_234.xhtml
KSC=1
KSC=2

Doc 25
0.6452
0.0000
4.0000
0.6452
testing/NTCIR/xhtml5/1/math0305357/math0305357_1_26.xhtml
DnC=0

Doc 26
0.6452
0.0000
4.0000
0.6452
testing/NTCIR/xhtml5/5/0810.0728/0810.0728_1_238.xhtml
KSC=1

Doc 27
0.6452
0.0000
4.0000
0.6452
testing/NTCIR/xhtml5/2/math0101198/math0101198_1_48.xhtml
LjC=0

Doc 28
0.6452
0.0000
4.0000
0.6452
testing/NTCIR/xhtml5/2/math0110012/math0110012_1_137.xhtml
KSC=2

Doc 29
0.6452
0.0000
4.0000
0.6452
testing/NTCIR/xhtml5/3/math0302360/math0302360_1_76.xhtml
DdC=0

Doc 30
0.6452
0.0000
4.0000
0.6452
testing/NTCIR/xhtml5/3/math0302360/math0302360_1_42.xhtml
DdC=0

Doc 31
0.6452
0.0000
4.0000
0.6452
testing/NTCIR/xhtml5/5/0810.0728/0810.0728_1_239.xhtml
KSC=2

Doc 32
0.6452
-1.0000
6.0000
1.2903
testing/NTCIR/xhtml5/3/math0310484/math0310484_1_66.xhtml
KXC=0,
-KXCt=0

Doc 33
0.6452
-1.0000
6.0000
1.2903
testing/NTCIR/xhtml5/3/math0310484/math0310484_1_143.xhtml
-KXC=0
KXCt=0.

Doc 34
0.6452
-1.0000
6.0000
1.2903
testing/NTCIR/xhtml5/3/math0310484/math0310484_1_145.xhtml
-KXC=0
-KXC=0

Doc 35
0.6452
-1.0000
6.0000
0.6452
testing/NTCIR/xhtml5/3/math0405285/math0405285_1_182.xhtml
KXCt=0

Doc 36
0.6452
-1.0000
6.0000
0.6452
testing/NTCIR/xhtml5/3/math0405285/math0405285_1_243.xhtml
KXCt=0

Doc 37
0.6452
-1.0000
6.0000
0.6452
testing/NTCIR/xhtml5/3/math0302360/math0302360_1_85.xhtml
-KXC=0

Doc 38
0.6452
-1.0000
6.0000
0.6452
testing/NTCIR/xhtml5/7/1102.1093/1102.1093_1_134.xhtml
-KXC=0

Doc 39
0.6452
-1.0000
6.0000
0.6452
testing/NTCIR/xhtml5/3/math0405285/math0405285_1_201.xhtml
KXCt=0

Doc 40
0.6452
-1.0000
6.0000
0.6452
testing/NTCIR/xhtml5/3/math0302360/math0302360_1_83.xhtml
-KXC=0

Doc 41
0.6452
-1.0000
6.0000
0.6452
testing/NTCIR/xhtml5/3/math0405285/math0405285_1_20.xhtml
KXCt=0

Doc 42
0.6452
-1.0000
6.0000
0.6452
testing/NTCIR/xhtml5/3/math0405285/math0405285_1_219.xhtml
KXCt=0

Doc 43
0.6452
-1.0000
6.0000
0.6452
testing/NTCIR/xhtml5/3/math0405285/math0405285_1_84.xhtml
KXCt=0

Doc 44
0.6452
-1.0000
6.0000
0.6452
testing/NTCIR/xhtml5/3/math0302360/math0302360_1_7.xhtml
-KXC=0

Doc 45
0.6452
-1.0000
6.0000
0.6452
testing/NTCIR/xhtml5/3/math0405285/math0405285_1_217.xhtml
KXCt=0

Doc 46
0.6452
-1.0000
6.0000
0.6452
testing/NTCIR/xhtml5/3/math0310484/math0310484_1_87.xhtml
KXCb=0

Doc 47
0.6452
-1.0000
5.0000
2.3430
testing/NTCIR/xhtml5/3/math0310484/math0310484_1_71.xhtml
KWC0=0
-KXC=0,
SC0=0
KXC=c1(NC)=0

Doc 48
0.6452
-1.0000
5.0000
1.9355
testing/NTCIR/xhtml5/7/1006.2486/1006.2486_1_131.xhtml
-KXC=4
-KXC=5
-KXC=6
Doc 49
0.6452
-1.0000
5.0000
1.1715
testing/NTCIR/xhtml5/7/1006.2486/1006.2486_1_220.xhtml
-KXC=2
EC=0

Doc 50
0.6452
-1.0000
5.0000
0.6452
testing/NTCIR/xhtml5/7/1006.2486/1006.2486_1_122.xhtml
-KXC=2

Doc 51
0.6452
-1.0000
5.0000
0.6452
testing/NTCIR/xhtml5/7/1006.2486/1006.2486_1_120.xhtml
-KXC=4

Doc 52
0.6452
-1.0000
5.0000
0.6452
testing/NTCIR/xhtml5/7/1006.2486/1006.2486_1_132.xhtml
-KXC=4

Doc 53
0.6452
-1.0000
5.0000
0.6452
testing/NTCIR/xhtml5/3/math0405285/math0405285_1_246.xhtml
K𝒞Cs=0

Doc 54
0.6452
-1.0000
5.0000
0.6452
testing/NTCIR/xhtml5/4/math0701889/math0701889_1_127.xhtml
-KXC=3

Doc 55
0.6452
-1.0000
5.0000
0.6452
testing/NTCIR/xhtml5/1/math0601225/math0601225_1_24.xhtml
-KXC=1

Doc 56
0.6452
-1.0000
5.0000
0.6452
testing/NTCIR/xhtml5/7/1006.2486/1006.2486_1_133.xhtml
-KXC=5

Doc 57
0.6452
-1.0000
5.0000
0.6452
testing/NTCIR/xhtml5/7/1006.2486/1006.2486_1_134.xhtml
-KXC=6

Doc 58
0.6452
-1.0000
5.0000
0.6452
testing/NTCIR/xhtml5/7/1006.2486/1006.2486_1_121.xhtml
-KXC=3

Doc 59
0.6452
-2.0000
6.0000
0.6452
testing/NTCIR/xhtml5/9/alg-geom9305003/alg-geom9305003_1_93.xhtml
KX¯Cγ=0

Doc 60
0.6452
-2.0000
5.0000
0.6452
testing/NTCIR/xhtml5/7/1006.2486/1006.2486_1_170.xhtml
-KYCe=0

Doc 61
0.6452
-2.0000
5.0000
0.6452
testing/NTCIR/xhtml5/7/1006.2486/1006.2486_1_167.xhtml
-KYCe=0

Doc 62
0.6452
-2.0000
5.0000
0.6452
testing/NTCIR/xhtml5/7/1006.2486/1006.2486_1_223.xhtml
-KXCn=4

Doc 63
0.6452
-2.0000
5.0000
0.6452
testing/NTCIR/xhtml5/7/1006.2486/1006.2486_1_222.xhtml
-KXCn=4

Doc 64
0.5263
0.0000
4.0000
1.0526
testing/NTCIR/xhtml5/6/0907.4151/0907.4151_1_157.xhtml
FC=0
HC=0

Doc 65
0.5263
0.0000
4.0000
1.0526
testing/NTCIR/xhtml5/8/1201.5699/1201.5699_1_181.xhtml
GC=0
GC=0

Doc 66
0.5263
0.0000
4.0000
0.5263
testing/NTCIR/xhtml5/5/0801.1396/0801.1396_1_63.xhtml
EC=0

Doc 67
0.5263
0.0000
4.0000
0.5263
testing/NTCIR/xhtml5/9/1304.3538/1304.3538_1_258.xhtml
LC=0

Doc 68
0.5263
0.0000
4.0000
0.5263
testing/NTCIR/xhtml5/8/1201.5699/1201.5699_1_394.xhtml
LC=0

Doc 69
0.5263
0.0000
4.0000
0.5263
testing/NTCIR/xhtml5/2/math0204243/math0204243_1_2.xhtml
LC=0

Doc 70
0.5263
0.0000
4.0000
0.5263
testing/NTCIR/xhtml5/2/math0204243/math0204243_1_131.xhtml
DC=0

Doc 71
0.5263
0.0000
4.0000
0.5263
testing/NTCIR/xhtml5/8/1201.5699/1201.5699_1_316.xhtml
LC=0

Doc 72
0.5263
0.0000
4.0000
0.5263
testing/NTCIR/xhtml5/10/math9803131/math9803131_1_121.xhtml
FC=0

Doc 73
0.5263
0.0000
4.0000
0.5263
testing/NTCIR/xhtml5/2/math0106147/math0106147_1_26.xhtml
LC=0

Doc 74
0.5263
0.0000
4.0000
0.5263
testing/NTCIR/xhtml5/10/math9905076/math9905076_1_7.xhtml
C=0

Doc 75
0.5263
0.0000
4.0000
0.5263
testing/NTCIR/xhtml5/1/math0007189/math0007189_1_68.xhtml
BC=0

Doc 76
0.5263
0.0000
4.0000
0.5263
testing/NTCIR/xhtml5/8/1201.5699/1201.5699_1_319.xhtml
LC=0

Doc 77
0.5263
0.0000
4.0000
0.5263
testing/NTCIR/xhtml5/6/0905.4114/0905.4114_1_32.xhtml
αC=0

Doc 78
0.5263
0.0000
4.0000
0.5263
testing/NTCIR/xhtml5/8/1109.6705/1109.6705_1_177.xhtml
KC=7

Doc 79
0.5263
0.0000
4.0000
0.5263
testing/NTCIR/xhtml5/8/1201.5699/1201.5699_1_51.xhtml
LC=0

Doc 80
0.5263
0.0000
4.0000
0.5263
testing/NTCIR/xhtml5/5/0810.0728/0810.0728_1_35.xhtml
PC=0

Doc 81
0.5263
0.0000
4.0000
0.5263
testing/NTCIR/xhtml5/10/math9803131/math9803131_1_32.xhtml
FC=0

Doc 82
0.5263
0.0000
4.0000
0.5263
testing/NTCIR/xhtml5/8/1201.5699/1201.5699_1_161.xhtml
LC=0

Doc 83
0.5263
0.0000
4.0000
0.5263
testing/NTCIR/xhtml5/3/math0307180/math0307180_1_72.xhtml
DC=0

Doc 84
0.5263
0.0000
4.0000
0.5263
testing/NTCIR/xhtml5/8/1201.5699/1201.5699_1_193.xhtml
LC=0

Doc 85
0.5263
0.0000
4.0000
0.5263
testing/NTCIR/xhtml5/4/math0603064/math0603064_1_104.xhtml
LC=0

Doc 86
0.5263
0.0000
4.0000
0.5263
testing/NTCIR/xhtml5/2/math0106147/math0106147_1_13.xhtml
LC=0

Doc 87
0.5263
0.0000
4.0000
0.5263
testing/NTCIR/xhtml5/4/math0603064/math0603064_1_100.xhtml
LC=0

Doc 88
0.5263
0.0000
4.0000
0.5263
testing/NTCIR/xhtml5/3/hep-th0401175/hep-th0401175_1_110.xhtml
BC=0

Doc 89
0.5263
0.0000
4.0000
0.5263
testing/NTCIR/xhtml5/3/math0307180/math0307180_1_70.xhtml
DC=0

Doc 90
0.5263
0.0000
4.0000
0.5263
testing/NTCIR/xhtml5/5/0801.1396/0801.1396_1_60.xhtml
LC=0

Doc 91
0.5263
0.0000
4.0000
0.5263
testing/NTCIR/xhtml5/8/1201.5699/1201.5699_1_391.xhtml
LC=0

Doc 92
0.5263
0.0000
4.0000
0.5263
testing/NTCIR/xhtml5/8/1109.6705/1109.6705_1_239.xhtml
KC=6

Doc 93
0.5263
0.0000
4.0000
0.5263
testing/NTCIR/xhtml5/9/1302.3134/1302.3134_1_189.xhtml
EC=0

Doc 94
0.5263
0.0000
4.0000
0.5263
testing/NTCIR/xhtml5/5/0801.1396/0801.1396_1_56.xhtml
HC=0

Doc 95
0.5263
0.0000
4.0000
0.5263
testing/NTCIR/xhtml5/10/alg-geom9702015/alg-geom9702015_1_213.xhtml
C=0

Doc 96
0.5263
0.0000
4.0000
0.5263
testing/NTCIR/xhtml5/4/math0505014/math0505014_1_14.xhtml
θC=0

Doc 97
0.5263
0.0000
4.0000
0.5263
testing/NTCIR/xhtml5/5/0807.2809/0807.2809_1_2.xhtml
PC=0

Doc 98
0.5263
0.0000
4.0000
0.5263
testing/NTCIR/xhtml5/10/hep-th9807057/hep-th9807057_1_9.xhtml
ωC=0

Doc 99
0.5263
0.0000
4.0000
0.5263
testing/NTCIR/xhtml5/8/1201.5699/1201.5699_1_442.xhtml
LC=0

Doc 100
0.5263
0.0000
4.0000
0.5263
testing/NTCIR/xhtml5/3/math0406494/math0406494_1_144.xhtml
DC=0

Doc 101
0.5263
0.0000
4.0000
0.5263
testing/NTCIR/xhtml5/9/1301.5972/1301.5972_1_59.xhtml
ΔC=0

Doc 102
0.5263
0.0000
4.0000
0.5263
testing/NTCIR/xhtml5/8/1201.5699/1201.5699_1_183.xhtml
LC=0

Doc 103
0.5263
0.0000
4.0000
0.5263
testing/NTCIR/xhtml5/1/math0009155/math0009155_1_40.xhtml
DC=0

Doc 104
0.5263
0.0000
4.0000
0.5263
testing/NTCIR/xhtml5/6/0907.4151/0907.4151_1_192.xhtml
FC=0

Doc 105
0.5263
0.0000
4.0000
0.5263
testing/NTCIR/xhtml5/8/1201.5699/1201.5699_1_500.xhtml
DC=0

Doc 106
0.5263
0.0000
4.0000
0.5263
testing/NTCIR/xhtml5/9/1302.3134/1302.3134_1_186.xhtml
EC=0

Doc 107
0.5263
0.0000
4.0000
0.5263
testing/NTCIR/xhtml5/2/math0106147/math0106147_1_29.xhtml
αC=0

Doc 108
0.5263
0.0000
4.0000
0.5263
testing/NTCIR/xhtml5/8/1201.5699/1201.5699_1_325.xhtml
DC=0

Doc 109
0.5263
0.0000
4.0000
0.5263
testing/NTCIR/xhtml5/2/math0106147/math0106147_1_39.xhtml
LC=0

Doc 110
0.5263
0.0000
4.0000
0.5263
testing/NTCIR/xhtml5/6/0907.4151/0907.4151_1_110.xhtml
FC=0

Doc 111
0.5263
0.0000
4.0000
0.5263
testing/NTCIR/xhtml5/6/0907.4151/0907.4151_1_117.xhtml
FC=0

Doc 112
0.5263
0.0000
4.0000
0.5263
testing/NTCIR/xhtml5/3/math0302360/math0302360_1_31.xhtml
LC=0

Doc 113
0.5263
0.0000
4.0000
0.5263
testing/NTCIR/xhtml5/2/math0106147/math0106147_1_9.xhtml
LC=0

Doc 114
0.5263
0.0000
4.0000
0.5263
testing/NTCIR/xhtml5/9/1304.3538/1304.3538_1_262.xhtml
MC=0

Doc 115
0.5263
0.0000
4.0000
0.5263
testing/NTCIR/xhtml5/8/1201.5699/1201.5699_1_172.xhtml
GC=0

Doc 116
0.5263
0.0000
4.0000
0.5263
testing/NTCIR/xhtml5/8/1201.5699/1201.5699_1_490.xhtml
DC=0

Doc 117
0.5263
0.0000
4.0000
0.5263
testing/NTCIR/xhtml5/8/1201.5699/1201.5699_1_177.xhtml
LC=0

Doc 118
0.5263
0.0000
4.0000
0.5263
testing/NTCIR/xhtml5/11/math9909093/math9909093_1_20.xhtml
DC=0

Doc 119
0.5263
0.0000
4.0000
0.5263
testing/NTCIR/xhtml5/8/1201.5699/1201.5699_1_192.xhtml
LC=0

Doc 120
0.5263
0.0000
4.0000
0.5263
testing/NTCIR/xhtml5/3/math0406494/math0406494_1_146.xhtml
DC=0

Doc 121
0.5263
0.0000
4.0000
0.5263
testing/NTCIR/xhtml5/8/1201.5699/1201.5699_1_299.xhtml
GC=0

Doc 122
0.5263
0.0000
4.0000
0.5263
testing/NTCIR/xhtml5/1/1109.4382/1109.4382_1_35.xhtml
LC=0

Doc 123
0.5263
0.0000
4.0000
0.5263
testing/NTCIR/xhtml5/1/1109.4382/1109.4382_1_76.xhtml
LC=0

Doc 124
0.5263
0.0000
4.0000
0.5263
testing/NTCIR/xhtml5/6/0912.0576/0912.0576_1_95.xhtml
LC=0

Doc 125
0.5263
0.0000
4.0000
0.5263
testing/NTCIR/xhtml5/4/math0610884/math0610884_1_87.xhtml
PC=0

Doc 126
0.5263
0.0000
4.0000
0.5263
testing/NTCIR/xhtml5/1/1109.4382/1109.4382_1_74.xhtml
LC=0

Doc 127
0.5263
0.0000
4.0000
0.5263
testing/NTCIR/xhtml5/8/1201.5699/1201.5699_1_164.xhtml
LC=0

Doc 128
0.5263
0.0000
4.0000
0.5263
testing/NTCIR/xhtml5/5/0810.0728/0810.0728_1_32.xhtml
PC=0

Doc 129
0.5263
0.0000
4.0000
0.5263
testing/NTCIR/xhtml5/8/1201.0188/1201.0188_1_65.xhtml
C=0

Doc 130
0.5263
0.0000
4.0000
0.5263
testing/NTCIR/xhtml5/10/math9803010/math9803010_1_46.xhtml
LC=0

Doc 131
0.5263
0.0000
4.0000
0.5263
testing/NTCIR/xhtml5/6/0907.4151/0907.4151_1_113.xhtml
FC=0

Doc 132
0.5263
0.0000
4.0000
0.5263
testing/NTCIR/xhtml5/8/1208.0815/1208.0815_1_67.xhtml
BC=0

Doc 133
0.5263
0.0000
4.0000
0.5263
testing/NTCIR/xhtml5/1/1109.4382/1109.4382_1_87.xhtml
LC=0

Doc 134
0.5263
0.0000
4.0000
0.5263
testing/NTCIR/xhtml5/8/1201.5699/1201.5699_1_436.xhtml
LC=0

Doc 135
0.5263
0.0000
4.0000
0.5263
testing/NTCIR/xhtml5/2/math0106147/math0106147_1_28.xhtml
LC=0

Doc 136
0.5263
0.0000
4.0000
0.5263
testing/NTCIR/xhtml5/6/0907.4151/0907.4151_1_44.xhtml
FC=0

Doc 137
0.5263
0.0000
4.0000
0.5263
testing/NTCIR/xhtml5/5/0801.1396/0801.1396_1_72.xhtml
DC=0

Doc 138
0.5263
0.0000
4.0000
0.5263
testing/NTCIR/xhtml5/6/0907.4151/0907.4151_1_178.xhtml
FC=0

Doc 139
0.5263
-1.0000
5.0000
0.5263
testing/NTCIR/xhtml5/2/math0112242/math0112242_1_31.xhtml
KC=0,

Doc 140
0.5263
-1.0000
4.0000
0.5263
testing/NTCIR/xhtml5/8/1201.5699/1201.5699_1_296.xhtml
GC=0

Doc 141
0.5263
-1.0000
4.0000
0.5263
testing/NTCIR/xhtml5/9/1401.2386/1401.2386_1_88.xhtml
DCX=0

Doc 142
0.5263
-1.0000
4.0000
0.5263
testing/NTCIR/xhtml5/2/math0101198/math0101198_1_101.xhtml
L1C=0

Doc 143
0.5263
-1.0000
4.0000
0.5263
testing/NTCIR/xhtml5/5/0805.2534/0805.2534_1_80.xhtml
G1C=0

Doc 144
0.5263
-1.0000
4.0000
0.5263
testing/NTCIR/xhtml5/3/math0311233/math0311233_1_137.xhtml
x0C=0

Doc 145
0.5263
-1.0000
4.0000
0.5263
testing/NTCIR/xhtml5/10/hep-th9903172/hep-th9903172_1_41.xhtml
BCj=0

Doc 146
0.5263
-1.0000
4.0000
0.5263
testing/NTCIR/xhtml5/3/math0405285/math0405285_1_225.xhtml
LCt=0

Doc 147
0.5263
-1.0000
4.0000
0.5263
testing/NTCIR/xhtml5/8/1201.5699/1201.5699_1_179.xhtml
GC=0

Doc 148
0.5263
-1.0000
4.0000
0.5263
testing/NTCIR/xhtml5/3/math0405285/math0405285_1_175.xhtml
LCt=0

Doc 149
0.5263
-1.0000
4.0000
0.5263
testing/NTCIR/xhtml5/5/0706.2588/0706.2588_1_102.xhtml
HCi=0

Doc 150
0.5263
-1.0000
4.0000
0.5263
testing/NTCIR/xhtml5/3/math0405285/math0405285_1_218.xhtml
LCt=0

Doc 151
0.5263
-1.0000
4.0000
0.5263
testing/NTCIR/xhtml5/2/math0106147/math0106147_1_34.xhtml
αC=0,

Doc 152
0.5263
-1.0000
4.0000
0.5263
testing/NTCIR/xhtml5/2/math0212082/math0212082_1_51.xhtml
PCj=0

Doc 153
0.5263
-1.0000
4.0000
0.5263
testing/NTCIR/xhtml5/3/math0405285/math0405285_1_192.xhtml
ECt=0

Doc 154
0.5263
-1.0000
4.0000
0.5263
testing/NTCIR/xhtml5/3/math0311233/math0311233_1_136.xhtml
QxC=0

Doc 155
0.5263
-1.0000
4.0000
0.5263
testing/NTCIR/xhtml5/3/math0405285/math0405285_1_172.xhtml
LCt=0

Doc 156
0.5263
-1.0000
4.0000
0.5263
testing/NTCIR/xhtml5/3/math0405285/math0405285_1_174.xhtml
LCt=0

Doc 157
0.5263
-1.0000
4.0000
0.5263
testing/NTCIR/xhtml5/7/1006.2486/1006.2486_1_127.xhtml
HCi=0

Doc 158
0.5263
-1.0000
4.0000
0.5263
testing/NTCIR/xhtml5/8/1206.5903/1206.5903_1_135.xhtml
L12C=0

Doc 159
0.5263
-1.0000
4.0000
0.5263
testing/NTCIR/xhtml5/3/math0405285/math0405285_1_191.xhtml
LCt=0

Doc 160
0.5263
-1.0000
4.0000
0.5263
testing/NTCIR/xhtml5/3/math0405285/math0405285_1_180.xhtml
LCt=0

Doc 161
0.5263
-1.0000
4.0000
0.5263
testing/NTCIR/xhtml5/3/math0405285/math0405285_1_173.xhtml
LCt=0

Doc 162
0.5263
-1.0000
4.0000
0.5263
testing/NTCIR/xhtml5/8/1201.5699/1201.5699_1_295.xhtml
GC=0

Doc 163
0.5263
-2.0000
5.0000
0.5263
testing/NTCIR/xhtml5/6/0907.4151/0907.4151_1_38.xhtml
KXC=-1

Doc 164
0.5263
-2.0000
5.0000
0.5263
testing/NTCIR/xhtml5/9/alg-geom9206004/alg-geom9206004_1_115.xhtml
KXC=-n

Doc 165
0.5263
-3.0000
5.0000
0.5263
testing/NTCIR/xhtml5/1/math0601225/math0601225_1_35.xhtml
-KXC=-1

Doc 166
0.5263
-3.0000
5.0000
0.5263
testing/NTCIR/xhtml5/1/math0006205/math0006205_1_192.xhtml
KXC0=-2.

Doc 167
0.5263
-3.0000
5.0000
0.5263
testing/NTCIR/xhtml5/5/0801.1396/0801.1396_1_61.xhtml
KXC=-2

Doc 168
0.5263
-4.0000
5.0000
0.9741
testing/NTCIR/xhtml5/10/math9902149/math9902149_1_39.xhtml
KXCt=-1,
KXC<0.

Doc 169
0.5263
-4.0000
5.0000
0.5263
testing/NTCIR/xhtml5/10/math9902149/math9902149_1_41.xhtml
-KXCt=-1.

Doc 170
0.5263
-5.0000
5.0000
0.5263
testing/NTCIR/xhtml5/3/math0501056/math0501056_1_33.xhtml
KXCi=-nqi

Doc 171
0.5263
-5.0000
5.0000
0.5263
testing/NTCIR/xhtml5/4/math0701889/math0701889_1_39.xhtml
-KXC=n+δ.

Doc 172
0.5263
-5.0000
5.0000
0.5263
testing/NTCIR/xhtml5/4/math0701889/math0701889_1_44.xhtml
-KXC=n+δ.

Doc 173
0.4478
-1.0000
5.0000
2.1159
testing/NTCIR/xhtml5/8/1210.0218/1210.0218_1_122.xhtml
KXC<0
KXC0
(KX+D)C=0
DC=-KXC
(KX+D)Ci=0

Doc 174
0.4478
-1.0000
5.0000
0.8955
testing/NTCIR/xhtml5/10/math9902149/math9902149_1_51.xhtml
KXC<0
KXC<0.

Doc 175
0.4478
-1.0000
5.0000
0.8955
testing/NTCIR/xhtml5/10/math9902149/math9902149_1_9.xhtml
KXC<0
KXC<0.

Doc 176
0.4478
-1.0000
5.0000
0.8955
testing/NTCIR/xhtml5/10/math9902149/math9902149_1_60.xhtml
KXC<0
KXC<0.

Doc 177
0.4478
-1.0000
5.0000
0.8955
testing/NTCIR/xhtml5/10/math9902149/math9902149_1_14.xhtml
KXC<0
KXC<0.

Doc 178
0.4478
-1.0000
5.0000
0.8545
testing/NTCIR/xhtml5/8/1210.0218/1210.0218_1_126.xhtml
KXC0
(KX+D)C=0

Doc 179
0.4478
-1.0000
5.0000
0.8545
testing/NTCIR/xhtml5/8/1210.0218/1210.0218_1_200.xhtml
KXC0
(KX+D)C=0

Doc 180
0.4478
-1.0000
5.0000
0.8545
testing/NTCIR/xhtml5/8/1210.0218/1210.0218_1_128.xhtml
KXC0
(KX+D)C=0

Doc 181
0.4478
-1.0000
5.0000
0.8545
testing/NTCIR/xhtml5/8/1210.0218/1210.0218_1_10.xhtml
KXC0
(KX+D)C=0

Doc 182
0.4478
-1.0000
5.0000
0.8545
testing/NTCIR/xhtml5/8/1210.0218/1210.0218_1_121.xhtml
KXC<0
(KX+D)C=0

Doc 183
0.4478
-1.0000
5.0000
0.8545
testing/NTCIR/xhtml5/8/1210.0218/1210.0218_1_198.xhtml
KXC<0
(KX+D)C=0

Doc 184
0.4478
-1.0000
5.0000
0.8545
testing/NTCIR/xhtml5/8/1210.0218/1210.0218_1_134.xhtml
KXC<0
(KX+D)C=0

Doc 185
0.4478
-1.0000
5.0000
0.8545
testing/NTCIR/xhtml5/8/1210.0218/1210.0218_1_197.xhtml
KXC<0
(KX+D)C=0

Doc 186
0.4478
-1.0000
5.0000
0.8545
testing/NTCIR/xhtml5/8/1210.0218/1210.0218_1_7.xhtml
KXC0
(KX+D)C=0

Doc 187
0.4478
-1.0000
5.0000
0.4478
testing/NTCIR/xhtml5/10/math9902149/math9902149_1_50.xhtml
KXC<0

Doc 188
0.4478
-1.0000
5.0000
0.4478
testing/NTCIR/xhtml5/2/math0101198/math0101198_1_118.xhtml
KX|C=0

Doc 189
0.4478
-1.0000
5.0000
0.4478
testing/NTCIR/xhtml5/10/math9902149/math9902149_1_47.xhtml
KXC<0

Doc 190
0.4478
-1.0000
5.0000
0.4478
testing/NTCIR/xhtml5/8/1201.5699/1201.5699_1_502.xhtml
KX+C=0

Doc 191
0.4478
-1.0000
5.0000
0.4478
testing/NTCIR/xhtml5/10/math9902149/math9902149_1_62.xhtml
KXC<0

Doc 192
0.4478
-1.0000
5.0000
0.4478
testing/NTCIR/xhtml5/8/1201.5699/1201.5699_1_503.xhtml
KX+C=0

Doc 193
0.4478
-1.0000
5.0000
0.4478
testing/NTCIR/xhtml5/10/math9902149/math9902149_1_69.xhtml
KXC0

Doc 194
0.4478
-1.0000
5.0000
0.4478
testing/NTCIR/xhtml5/4/math0505043/math0505043_1_85.xhtml
KXC<0

Doc 195
0.4478
-1.0000
5.0000
0.4478
testing/NTCIR/xhtml5/3/hep-th0406039/hep-th0406039_1_51.xhtml
KXC<0

Doc 196
0.4478
-1.0000
5.0000
0.4478
testing/NTCIR/xhtml5/1/math0006205/math0006205_1_264.xhtml
KXC<0

Doc 197
0.4478
-1.0000
5.0000
0.4478
testing/NTCIR/xhtml5/3/hep-th0406039/hep-th0406039_1_52.xhtml
KXC<0

Doc 198
0.4478
-1.0000
5.0000
0.4478
testing/NTCIR/xhtml5/3/math0405285/math0405285_1_244.xhtml
KXC>0

Doc 199
0.4478
-1.0000
5.0000
0.4478
testing/NTCIR/xhtml5/10/math9902047/math9902047_1_14.xhtml
KXC0

Doc 200
0.4478
-1.0000
5.0000
0.4478
testing/NTCIR/xhtml5/2/math0103084/math0103084_1_45.xhtml
KXC0

Doc 201
0.4478
-1.0000
5.0000
0.4478
testing/NTCIR/xhtml5/10/math9902149/math9902149_1_49.xhtml
KXC<0

Doc 202
0.4478
-1.0000
5.0000
0.4478
testing/NTCIR/xhtml5/8/1201.5699/1201.5699_1_174.xhtml
KXC<0

Doc 203
0.4478
-1.0000
5.0000
0.4478
testing/NTCIR/xhtml5/8/1210.0218/1210.0218_1_141.xhtml
KXC<0

Doc 204
0.4478
-1.0000
4.0000
0.4478
testing/NTCIR/xhtml5/1/math0007189/math0007189_1_70.xhtml
CxC=0

Doc 205
0.4478
-1.0000
4.0000
0.4478
testing/NTCIR/xhtml5/10/math9902149/math9902149_1_46.xhtml
KXC<0.

Doc 206
0.4478
-1.0000
4.0000
0.4478
testing/NTCIR/xhtml5/10/math9902149/math9902149_1_58.xhtml
KXC<0.

Doc 207
0.4478
-1.0000
4.0000
0.4478
testing/NTCIR/xhtml5/1/math0006205/math0006205_1_13.xhtml
KXC<0.

Doc 208
0.4478
-1.0000
4.0000
0.4478
testing/NTCIR/xhtml5/1/math0006205/math0006205_1_262.xhtml
KXC<0.

Doc 209
0.4478
-1.0000
4.0000
0.4478
testing/NTCIR/xhtml5/10/math9902149/math9902149_1_40.xhtml
KXC<0.

Doc 210
0.4478
-1.0000
4.0000
0.4478
testing/NTCIR/xhtml5/10/math9802024/math9802024_1_86.xhtml
KXC>0.

Doc 211
0.4068
-1.0000
4.0000
0.4068
testing/NTCIR/xhtml5/7/1006.2486/1006.2486_1_195.xhtml
-KXC

Doc 212
0.4068
-1.0000
4.0000
0.4068
testing/NTCIR/xhtml5/6/0907.4151/0907.4151_1_82.xhtml
-KXC

Doc 213
0.4068
-1.0000
4.0000
0.4068
testing/NTCIR/xhtml5/9/1308.0909/1308.0909_1_209.xhtml
CC=0

Doc 214
0.4068
-1.0000
4.0000
0.4068
testing/NTCIR/xhtml5/1/alg-geom9310002/alg-geom9310002_1_1.xhtml
(KXC)

Doc 215
0.4068
-1.0000
4.0000
0.4068
testing/NTCIR/xhtml5/2/math0212082/math0212082_1_57.xhtml
CC=0

Doc 216
0.4068
-1.0000
4.0000
0.4068
testing/NTCIR/xhtml5/9/1401.2386/1401.2386_1_90.xhtml
KXCX

Doc 217
0.4068
-1.0000
4.0000
0.4068
testing/NTCIR/xhtml5/9/1308.0909/1308.0909_1_192.xhtml
CC=0

Doc 218
0.4068
-1.0000
4.0000
0.4068
testing/NTCIR/xhtml5/1/0912.1638/0912.1638_1_51.xhtml
-KXC

Doc 219
0.4068
-1.0000
4.0000
0.4068
testing/NTCIR/xhtml5/9/1308.0909/1308.0909_1_170.xhtml
CC=0

Doc 220
0.4068
-1.0000
4.0000
0.4068
testing/NTCIR/xhtml5/5/0805.1240/0805.1240_1_193.xhtml
CC=0

Doc 221
0.4068
-1.0000
4.0000
0.4068
testing/NTCIR/xhtml5/2/math0212082/math0212082_1_63.xhtml
CC=0

Doc 222
0.4068
-1.0000
4.0000
0.4068
testing/NTCIR/xhtml5/9/1308.0909/1308.0909_1_32.xhtml
CC=0

Doc 223
0.4068
-2.0000
4.0000
0.4068
testing/NTCIR/xhtml5/5/0710.1719/0710.1719_1_39.xhtml
(-KXC)

Doc 224
0.4068
-3.0000
4.0000
0.4068
testing/NTCIR/xhtml5/7/1009.1160/1009.1160_1_52.xhtml
(KXC)=0

Doc 225
0.4068
-5.0000
4.0000
0.4068
testing/NTCIR/xhtml5/8/1201.5699/1201.5699_1_209.xhtml
(KX+C)C=0

Doc 226
0.4068
-5.0000
4.0000
0.4068
testing/NTCIR/xhtml5/8/1210.0218/1210.0218_1_81.xhtml
(KX+D)C=0

Doc 227
0.4068
-5.0000
4.0000
0.4068
testing/NTCIR/xhtml5/8/1201.5699/1201.5699_1_213.xhtml
(KX+C)C=0

Doc 228
0.4068
-5.0000
4.0000
0.4068
testing/NTCIR/xhtml5/8/1202.2497/1202.2497_1_102.xhtml
(KX+Δ)C=0

Doc 229
0.4068
-5.0000
4.0000
0.4068
testing/NTCIR/xhtml5/8/1210.0218/1210.0218_1_129.xhtml
(KX+D)C=0

Doc 230
0.4068
-5.0000
4.0000
0.4068
testing/NTCIR/xhtml5/8/1201.5699/1201.5699_1_343.xhtml
(KX+Δ)C=0

Doc 231
0.4068
-5.0000
4.0000
0.4068
testing/NTCIR/xhtml5/8/1201.5699/1201.5699_1_212.xhtml
(KX+C)C=0

Doc 232
0.4068
-5.0000
4.0000
0.4068
testing/NTCIR/xhtml5/8/1201.5699/1201.5699_1_525.xhtml
(KX+Δ)C=0

Doc 233
0.2857
-2.0000
3.0000
0.2857
testing/NTCIR/xhtml5/8/1211.4513/1211.4513_1_92.xhtml
{Ct=0}

Doc 234
0.2857
-2.0000
3.0000
0.2857
testing/NTCIR/xhtml5/8/1211.4513/1211.4513_1_82.xhtml
{Ct=0}