Returned 53 matches (100 formulae, 253 docs)
    Lookup 426.495 ms, Re-ranking 66.265 ms
    Found 6101135 tuple postings, 3292687 formulae, 2369155 documents
[ formulas ] [ documents ] [ documents-by-formula ]

KX^C=KXC=0
Doc 1
0.6931, -5.0000, 7.0000, 0.6931
testing/NTCIR/xhtml5/2/math0111089/math0111089_1_67.xhtml
KXC=0
Doc 2
0.6452, 0.0000, 6.0000, 1.9475
testing/NTCIR/xhtml5/3/hep-th0406039/hep-th0406039_1_50.xhtml
Doc 3
0.6452, 0.0000, 6.0000, 1.2166
testing/NTCIR/xhtml5/1/math0006205/math0006205_1_108.xhtml
Doc 4
0.6452, 0.0000, 6.0000, 1.0929
testing/NTCIR/xhtml5/8/1210.0218/1210.0218_1_15.xhtml
Doc 5
0.6452, 0.0000, 6.0000, 1.0929
testing/NTCIR/xhtml5/8/1210.0218/1210.0218_1_12.xhtml
Doc 6
0.6452, 0.0000, 6.0000, 1.0519
testing/NTCIR/xhtml5/8/1210.0218/1210.0218_1_137.xhtml
Doc 7
0.6452, 0.0000, 6.0000, 0.6452
testing/NTCIR/xhtml5/11/math9908022/math9908022_1_103.xhtml
Doc 8
0.6452, 0.0000, 6.0000, 0.6452
testing/NTCIR/xhtml5/8/1210.0218/1210.0218_1_167.xhtml
Doc 9
0.6452, 0.0000, 6.0000, 0.6452
testing/NTCIR/xhtml5/8/1210.0218/1210.0218_1_164.xhtml
Doc 10
0.6452, 0.0000, 6.0000, 0.6452
testing/NTCIR/xhtml5/8/1210.0218/1210.0218_1_165.xhtml
Doc 11
0.6452, 0.0000, 6.0000, 0.6452
testing/NTCIR/xhtml5/4/math0602088/math0602088_1_42.xhtml
Doc 12
0.6452, 0.0000, 6.0000, 0.6452
testing/NTCIR/xhtml5/11/math9908022/math9908022_1_10.xhtml
Doc 13
0.6452, 0.0000, 6.0000, 0.6452
testing/NTCIR/xhtml5/8/1210.0218/1210.0218_1_168.xhtml
Doc 14
0.6452, 0.0000, 6.0000, 0.6452
testing/NTCIR/xhtml5/10/math9802024/math9802024_1_37.xhtml
KYC=0
Doc 15
0.6452, 0.0000, 5.0000, 1.2903
testing/NTCIR/xhtml5/3/math0310484/math0310484_1_137.xhtml
Doc 18
0.6452, 0.0000, 5.0000, 0.6452
testing/NTCIR/xhtml5/3/math0310484/math0310484_1_46.xhtml
KSC=0
Doc 17
0.6452, 0.0000, 5.0000, 0.6452
testing/NTCIR/xhtml5/3/math0408062/math0408062_1_34.xhtml
KFC=0
Doc 20
0.6452, 0.0000, 5.0000, 0.6452
testing/NTCIR/xhtml5/2/math0212082/math0212082_1_76.xhtml
Doc 22
0.6452, 0.0000, 5.0000, 0.6452
testing/NTCIR/xhtml5/10/math9802024/math9802024_1_90.xhtml
KXB=0
Doc 19
0.6452, 0.0000, 5.0000, 0.6452
testing/NTCIR/xhtml5/3/math0310484/math0310484_1_67.xhtml
KXA=0
Doc 21
0.6452, 0.0000, 5.0000, 0.6452
testing/NTCIR/xhtml5/10/math9804034/math9804034_1_74.xhtml
KXF=0
Doc 16
0.6452, 0.0000, 5.0000, 1.2903
testing/NTCIR/xhtml5/6/0907.4151/0907.4151_1_91.xhtml
KXCb=0
Doc 37
0.6452, -1.0000, 6.0000, 0.6452
testing/NTCIR/xhtml5/3/math0310484/math0310484_1_87.xhtml
KXCt=0
Doc 26
0.6452, -1.0000, 6.0000, 0.6452
testing/NTCIR/xhtml5/3/math0405285/math0405285_1_201.xhtml
Doc 27
0.6452, -1.0000, 6.0000, 0.6452
testing/NTCIR/xhtml5/3/math0405285/math0405285_1_219.xhtml
Doc 28
0.6452, -1.0000, 6.0000, 0.6452
testing/NTCIR/xhtml5/3/math0405285/math0405285_1_217.xhtml
Doc 29
0.6452, -1.0000, 6.0000, 0.6452
testing/NTCIR/xhtml5/3/math0405285/math0405285_1_243.xhtml
Doc 30
0.6452, -1.0000, 6.0000, 0.6452
testing/NTCIR/xhtml5/3/math0405285/math0405285_1_182.xhtml
Doc 34
0.6452, -1.0000, 6.0000, 0.6452
testing/NTCIR/xhtml5/3/math0405285/math0405285_1_20.xhtml
Doc 35
0.6452, -1.0000, 6.0000, 0.6452
testing/NTCIR/xhtml5/3/math0405285/math0405285_1_84.xhtml
-KXC=0
Doc 23
0.6452, -1.0000, 6.0000, 3.2258
testing/NTCIR/xhtml5/3/math0310484/math0310484_1_145.xhtml
Doc 25
0.6452, -1.0000, 6.0000, 1.2903
testing/NTCIR/xhtml5/3/math0310484/math0310484_1_143.xhtml
Doc 31
0.6452, -1.0000, 6.0000, 0.6452
testing/NTCIR/xhtml5/3/math0302360/math0302360_1_85.xhtml
Doc 32
0.6452, -1.0000, 6.0000, 0.6452
testing/NTCIR/xhtml5/3/math0302360/math0302360_1_7.xhtml
Doc 33
0.6452, -1.0000, 6.0000, 0.6452
testing/NTCIR/xhtml5/3/math0302360/math0302360_1_83.xhtml
Doc 36
0.6452, -1.0000, 6.0000, 0.6452
testing/NTCIR/xhtml5/7/1102.1093/1102.1093_1_134.xhtml
KXC=0,
Doc 24
0.6452, -1.0000, 6.0000, 1.2903
testing/NTCIR/xhtml5/3/math0310484/math0310484_1_66.xhtml
KXF¯2=0
Doc 46
0.6452, -1.0000, 5.0000, 0.6452
testing/NTCIR/xhtml5/2/math0110012/math0110012_1_101.xhtml
Doc 52
0.6452, -1.0000, 5.0000, 0.6452
testing/NTCIR/xhtml5/10/math9901031/math9901031_1_47.xhtml
Doc 53
0.6452, -1.0000, 5.0000, 0.6452
testing/NTCIR/xhtml5/10/math9901031/math9901031_1_44.xhtml
KWC0=0
Doc 39
0.6452, -1.0000, 5.0000, 1.8166
testing/NTCIR/xhtml5/3/math0310484/math0310484_1_71.xhtml
K𝒞Cs=0
Doc 48
0.6452, -1.0000, 5.0000, 0.6452
testing/NTCIR/xhtml5/3/math0405285/math0405285_1_246.xhtml
KXEB=0
Doc 42
0.6452, -1.0000, 5.0000, 0.6452
testing/NTCIR/xhtml5/4/math0601327/math0601327_1_85.xhtml
-KXC=6
Doc 38
0.6452, -1.0000, 5.0000, 1.9355
testing/NTCIR/xhtml5/7/1006.2486/1006.2486_1_131.xhtml
Doc 58
0.6452, -1.0000, 5.0000, 0.6452
testing/NTCIR/xhtml5/7/1006.2486/1006.2486_1_134.xhtml
-KXC=4
Doc 38
0.6452, -1.0000, 5.0000, 1.9355
testing/NTCIR/xhtml5/7/1006.2486/1006.2486_1_131.xhtml
Doc 44
0.6452, -1.0000, 5.0000, 0.6452
testing/NTCIR/xhtml5/7/1006.2486/1006.2486_1_120.xhtml
Doc 47
0.6452, -1.0000, 5.0000, 0.6452
testing/NTCIR/xhtml5/7/1006.2486/1006.2486_1_132.xhtml
-KXC=2
Doc 40
0.6452, -1.0000, 5.0000, 1.1715
testing/NTCIR/xhtml5/7/1006.2486/1006.2486_1_220.xhtml
Doc 41
0.6452, -1.0000, 5.0000, 0.6452
testing/NTCIR/xhtml5/7/1006.2486/1006.2486_1_122.xhtml
-KXC=3
Doc 50
0.6452, -1.0000, 5.0000, 0.6452
testing/NTCIR/xhtml5/4/math0701889/math0701889_1_127.xhtml
Doc 61
0.6452, -1.0000, 5.0000, 0.6452
testing/NTCIR/xhtml5/7/1006.2486/1006.2486_1_121.xhtml
-KXC=1
Doc 45
0.6452, -1.0000, 5.0000, 0.6452
testing/NTCIR/xhtml5/1/math0601225/math0601225_1_24.xhtml
-KXC=5
Doc 38
0.6452, -1.0000, 5.0000, 1.9355
testing/NTCIR/xhtml5/7/1006.2486/1006.2486_1_131.xhtml
Doc 56
0.6452, -1.0000, 5.0000, 0.6452
testing/NTCIR/xhtml5/7/1006.2486/1006.2486_1_133.xhtml
-KXτ=0
Doc 49
0.6452, -1.0000, 5.0000, 0.6452
testing/NTCIR/xhtml5/3/math0402338/math0402338_1_57.xhtml
-KXF=0
Doc 16
0.6452, 0.0000, 5.0000, 1.2903
testing/NTCIR/xhtml5/6/0907.4151/0907.4151_1_91.xhtml
Doc 51
0.6452, -1.0000, 5.0000, 0.6452
testing/NTCIR/xhtml5/6/0907.4151/0907.4151_1_72.xhtml
Doc 54
0.6452, -1.0000, 5.0000, 0.6452
testing/NTCIR/xhtml5/6/0907.4151/0907.4151_1_89.xhtml
Doc 55
0.6452, -1.0000, 5.0000, 0.6452
testing/NTCIR/xhtml5/6/0907.4151/0907.4151_1_87.xhtml
-KXD=0
Doc 43
0.6452, -1.0000, 5.0000, 0.6452
testing/NTCIR/xhtml5/5/0803.4113/0803.4113_1_142.xhtml
Doc 57
0.6452, -1.0000, 5.0000, 0.6452
testing/NTCIR/xhtml5/7/1006.2486/1006.2486_1_199.xhtml
KX2F=0
Doc 59
0.6452, -1.0000, 5.0000, 0.6452
testing/NTCIR/xhtml5/10/math9802024/math9802024_1_99.xhtml
KX0F=0
Doc 60
0.6452, -1.0000, 5.0000, 0.6452
testing/NTCIR/xhtml5/10/math9803121/math9803121_1_190.xhtml
KXCt=0.
Doc 25
0.6452, -1.0000, 6.0000, 1.2903
testing/NTCIR/xhtml5/3/math0310484/math0310484_1_143.xhtml
KX¯Cγ=0
Doc 62
0.6452, -2.0000, 6.0000, 0.6452
testing/NTCIR/xhtml5/9/alg-geom9305003/alg-geom9305003_1_93.xhtml
-KXCt=0
Doc 24
0.6452, -1.0000, 6.0000, 1.2903
testing/NTCIR/xhtml5/3/math0310484/math0310484_1_66.xhtml
-KXC=0
Doc 23
0.6452, -1.0000, 6.0000, 3.2258
testing/NTCIR/xhtml5/3/math0310484/math0310484_1_145.xhtml
-KXC0=0.
Doc 15
0.6452, 0.0000, 5.0000, 1.2903
testing/NTCIR/xhtml5/3/math0310484/math0310484_1_137.xhtml
-KXCn=4
Doc 65
0.6452, -2.0000, 5.0000, 0.6452
testing/NTCIR/xhtml5/7/1006.2486/1006.2486_1_222.xhtml
Doc 66
0.6452, -2.0000, 5.0000, 0.6452
testing/NTCIR/xhtml5/7/1006.2486/1006.2486_1_223.xhtml
-KYCe=0
Doc 63
0.6452, -2.0000, 5.0000, 0.6452
testing/NTCIR/xhtml5/7/1006.2486/1006.2486_1_167.xhtml
Doc 64
0.6452, -2.0000, 5.0000, 0.6452
testing/NTCIR/xhtml5/7/1006.2486/1006.2486_1_170.xhtml
-KXA2=0
Doc 23
0.6452, -1.0000, 6.0000, 3.2258
testing/NTCIR/xhtml5/3/math0310484/math0310484_1_145.xhtml
-KXB2=0
Doc 23
0.6452, -1.0000, 6.0000, 3.2258
testing/NTCIR/xhtml5/3/math0310484/math0310484_1_145.xhtml
-KX2A=0
Doc 23
0.6452, -1.0000, 6.0000, 3.2258
testing/NTCIR/xhtml5/3/math0310484/math0310484_1_145.xhtml
-KXC=0,
Doc 39
0.6452, -1.0000, 5.0000, 1.8166
testing/NTCIR/xhtml5/3/math0310484/math0310484_1_71.xhtml
KXC=KCC=0
Doc 3
0.6452, 0.0000, 6.0000, 1.2166
testing/NTCIR/xhtml5/1/math0006205/math0006205_1_108.xhtml
FC=0
Doc 67
0.5263, 0.0000, 4.0000, 1.0526
testing/NTCIR/xhtml5/6/0907.4151/0907.4151_1_157.xhtml
Doc 74
0.5263, 0.0000, 4.0000, 0.5263
testing/NTCIR/xhtml5/10/math9803131/math9803131_1_121.xhtml
Doc 82
0.5263, 0.0000, 4.0000, 0.5263
testing/NTCIR/xhtml5/10/math9803131/math9803131_1_32.xhtml
Doc 105
0.5263, 0.0000, 4.0000, 0.5263
testing/NTCIR/xhtml5/6/0907.4151/0907.4151_1_192.xhtml
Doc 111
0.5263, 0.0000, 4.0000, 0.5263
testing/NTCIR/xhtml5/6/0907.4151/0907.4151_1_110.xhtml
Doc 112
0.5263, 0.0000, 4.0000, 0.5263
testing/NTCIR/xhtml5/6/0907.4151/0907.4151_1_117.xhtml
Doc 130
0.5263, 0.0000, 4.0000, 0.5263
testing/NTCIR/xhtml5/6/0907.4151/0907.4151_1_113.xhtml
Doc 136
0.5263, 0.0000, 4.0000, 0.5263
testing/NTCIR/xhtml5/6/0907.4151/0907.4151_1_44.xhtml
Doc 139
0.5263, 0.0000, 4.0000, 0.5263
testing/NTCIR/xhtml5/6/0907.4151/0907.4151_1_178.xhtml
GC=0
Doc 117
0.5263, 0.0000, 4.0000, 0.5263
testing/NTCIR/xhtml5/8/1201.5699/1201.5699_1_172.xhtml
Doc 120
0.5263, 0.0000, 4.0000, 0.5263
testing/NTCIR/xhtml5/8/1201.5699/1201.5699_1_299.xhtml
Doc 134
0.5263, 0.0000, 4.0000, 0.5263
testing/NTCIR/xhtml5/8/1201.5699/1201.5699_1_181.xhtml
MC=0
Doc 92
0.5263, 0.0000, 4.0000, 0.5263
testing/NTCIR/xhtml5/9/1304.3538/1304.3538_1_262.xhtml
αC=0
Doc 85
0.5263, 0.0000, 4.0000, 0.5263
testing/NTCIR/xhtml5/6/0905.4114/0905.4114_1_32.xhtml
Doc 108
0.5263, 0.0000, 4.0000, 0.5263
testing/NTCIR/xhtml5/2/math0106147/math0106147_1_29.xhtml
HC=0
Doc 67
0.5263, 0.0000, 4.0000, 1.0526
testing/NTCIR/xhtml5/6/0907.4151/0907.4151_1_157.xhtml
Doc 94
0.5263, 0.0000, 4.0000, 0.5263
testing/NTCIR/xhtml5/5/0801.1396/0801.1396_1_56.xhtml
LC=0
Doc 68
0.5263, 0.0000, 4.0000, 0.5263
testing/NTCIR/xhtml5/9/1304.3538/1304.3538_1_258.xhtml
Doc 70
0.5263, 0.0000, 4.0000, 0.5263
testing/NTCIR/xhtml5/8/1201.5699/1201.5699_1_394.xhtml
Doc 73
0.5263, 0.0000, 4.0000, 0.5263
testing/NTCIR/xhtml5/8/1201.5699/1201.5699_1_316.xhtml
Doc 78
0.5263, 0.0000, 4.0000, 0.5263
testing/NTCIR/xhtml5/8/1201.5699/1201.5699_1_319.xhtml
Doc 79
0.5263, 0.0000, 4.0000, 0.5263
testing/NTCIR/xhtml5/8/1201.5699/1201.5699_1_51.xhtml
Doc 80
0.5263, 0.0000, 4.0000, 0.5263
testing/NTCIR/xhtml5/2/math0204243/math0204243_1_2.xhtml
Doc 83
0.5263, 0.0000, 4.0000, 0.5263
testing/NTCIR/xhtml5/8/1201.5699/1201.5699_1_161.xhtml
Doc 86
0.5263, 0.0000, 4.0000, 0.5263
testing/NTCIR/xhtml5/8/1201.5699/1201.5699_1_193.xhtml
Doc 88
0.5263, 0.0000, 4.0000, 0.5263
testing/NTCIR/xhtml5/2/math0106147/math0106147_1_13.xhtml
Doc 90
0.5263, 0.0000, 4.0000, 0.5263
testing/NTCIR/xhtml5/4/math0603064/math0603064_1_100.xhtml
Doc 98
0.5263, 0.0000, 4.0000, 0.5263
testing/NTCIR/xhtml5/8/1201.5699/1201.5699_1_391.xhtml
Doc 99
0.5263, 0.0000, 4.0000, 0.5263
testing/NTCIR/xhtml5/4/math0603064/math0603064_1_104.xhtml
Doc 100
0.5263, 0.0000, 4.0000, 0.5263
testing/NTCIR/xhtml5/8/1201.5699/1201.5699_1_442.xhtml
Doc 103
0.5263, 0.0000, 4.0000, 0.5263
testing/NTCIR/xhtml5/8/1201.5699/1201.5699_1_183.xhtml
Doc 110
0.5263, 0.0000, 4.0000, 0.5263
testing/NTCIR/xhtml5/2/math0106147/math0106147_1_39.xhtml
Doc 113
0.5263, 0.0000, 4.0000, 0.5263
testing/NTCIR/xhtml5/3/math0302360/math0302360_1_31.xhtml
Doc 114
0.5263, 0.0000, 4.0000, 0.5263
testing/NTCIR/xhtml5/2/math0106147/math0106147_1_28.xhtml
Doc 115
0.5263, 0.0000, 4.0000, 0.5263
testing/NTCIR/xhtml5/2/math0106147/math0106147_1_26.xhtml
Doc 116
0.5263, 0.0000, 4.0000, 0.5263
testing/NTCIR/xhtml5/2/math0106147/math0106147_1_9.xhtml
Doc 119
0.5263, 0.0000, 4.0000, 0.5263
testing/NTCIR/xhtml5/8/1201.5699/1201.5699_1_192.xhtml
Doc 121
0.5263, 0.0000, 4.0000, 0.5263
testing/NTCIR/xhtml5/1/1109.4382/1109.4382_1_35.xhtml
Doc 122
0.5263, 0.0000, 4.0000, 0.5263
testing/NTCIR/xhtml5/1/1109.4382/1109.4382_1_76.xhtml
Doc 123
0.5263, 0.0000, 4.0000, 0.5263
testing/NTCIR/xhtml5/6/0912.0576/0912.0576_1_95.xhtml
Doc 125
0.5263, 0.0000, 4.0000, 0.5263
testing/NTCIR/xhtml5/1/1109.4382/1109.4382_1_74.xhtml
Doc 126
0.5263, 0.0000, 4.0000, 0.5263
testing/NTCIR/xhtml5/8/1201.5699/1201.5699_1_164.xhtml
Doc 131
0.5263, 0.0000, 4.0000, 0.5263
testing/NTCIR/xhtml5/5/0801.1396/0801.1396_1_60.xhtml
Doc 133
0.5263, 0.0000, 4.0000, 0.5263
testing/NTCIR/xhtml5/1/1109.4382/1109.4382_1_87.xhtml
Doc 135
0.5263, 0.0000, 4.0000, 0.5263
testing/NTCIR/xhtml5/8/1201.5699/1201.5699_1_436.xhtml
Doc 137
0.5263, 0.0000, 4.0000, 0.5263
testing/NTCIR/xhtml5/8/1201.5699/1201.5699_1_177.xhtml
Doc 138
0.5263, 0.0000, 4.0000, 0.5263
testing/NTCIR/xhtml5/10/math9803010/math9803010_1_46.xhtml
BC=0
Doc 77
0.5263, 0.0000, 4.0000, 0.5263
testing/NTCIR/xhtml5/1/math0007189/math0007189_1_68.xhtml
Doc 91
0.5263, 0.0000, 4.0000, 0.5263
testing/NTCIR/xhtml5/3/hep-th0401175/hep-th0401175_1_110.xhtml
Doc 132
0.5263, 0.0000, 4.0000, 0.5263
testing/NTCIR/xhtml5/8/1208.0815/1208.0815_1_67.xhtml
EC=0
Doc 40
0.6452, -1.0000, 5.0000, 1.1715
testing/NTCIR/xhtml5/7/1006.2486/1006.2486_1_220.xhtml
Doc 69
0.5263, 0.0000, 4.0000, 0.5263
testing/NTCIR/xhtml5/5/0801.1396/0801.1396_1_63.xhtml
Doc 93
0.5263, 0.0000, 4.0000, 0.5263
testing/NTCIR/xhtml5/9/1302.3134/1302.3134_1_189.xhtml
Doc 107
0.5263, 0.0000, 4.0000, 0.5263
testing/NTCIR/xhtml5/9/1302.3134/1302.3134_1_186.xhtml
ωC=0
Doc 89
0.5263, 0.0000, 4.0000, 0.5263
testing/NTCIR/xhtml5/10/hep-th9807057/hep-th9807057_1_9.xhtml
C=0
Doc 127
0.5263, 0.0000, 4.0000, 0.5263
testing/NTCIR/xhtml5/8/1201.0188/1201.0188_1_65.xhtml
ΔC=0
Doc 102
0.5263, 0.0000, 4.0000, 0.5263
testing/NTCIR/xhtml5/9/1301.5972/1301.5972_1_59.xhtml
DC=0
Doc 71
0.5263, 0.0000, 4.0000, 0.5263
testing/NTCIR/xhtml5/2/math0204243/math0204243_1_131.xhtml
Doc 72
0.5263, 0.0000, 4.0000, 0.5263
testing/NTCIR/xhtml5/3/math0307180/math0307180_1_70.xhtml
Doc 76
0.5263, 0.0000, 4.0000, 0.5263
testing/NTCIR/xhtml5/8/1201.5699/1201.5699_1_490.xhtml
Doc 84
0.5263, 0.0000, 4.0000, 0.5263
testing/NTCIR/xhtml5/3/math0307180/math0307180_1_72.xhtml
Doc 87
0.5263, 0.0000, 4.0000, 0.5263
testing/NTCIR/xhtml5/3/math0406494/math0406494_1_146.xhtml
Doc 101
0.5263, 0.0000, 4.0000, 0.5263
testing/NTCIR/xhtml5/3/math0406494/math0406494_1_144.xhtml
Doc 104
0.5263, 0.0000, 4.0000, 0.5263
testing/NTCIR/xhtml5/1/math0009155/math0009155_1_40.xhtml
Doc 106
0.5263, 0.0000, 4.0000, 0.5263
testing/NTCIR/xhtml5/8/1201.5699/1201.5699_1_500.xhtml
Doc 109
0.5263, 0.0000, 4.0000, 0.5263
testing/NTCIR/xhtml5/8/1201.5699/1201.5699_1_325.xhtml
Doc 118
0.5263, 0.0000, 4.0000, 0.5263
testing/NTCIR/xhtml5/11/math9909093/math9909093_1_20.xhtml
Doc 129
0.5263, 0.0000, 4.0000, 0.5263
testing/NTCIR/xhtml5/5/0801.1396/0801.1396_1_72.xhtml
θC=0
Doc 96
0.5263, 0.0000, 4.0000, 0.5263
testing/NTCIR/xhtml5/4/math0505014/math0505014_1_14.xhtml
PC=0
Doc 81
0.5263, 0.0000, 4.0000, 0.5263
testing/NTCIR/xhtml5/5/0810.0728/0810.0728_1_35.xhtml
Doc 97
0.5263, 0.0000, 4.0000, 0.5263
testing/NTCIR/xhtml5/5/0807.2809/0807.2809_1_2.xhtml
Doc 124
0.5263, 0.0000, 4.0000, 0.5263
testing/NTCIR/xhtml5/4/math0610884/math0610884_1_87.xhtml
Doc 128
0.5263, 0.0000, 4.0000, 0.5263
testing/NTCIR/xhtml5/5/0810.0728/0810.0728_1_32.xhtml
C=0
Doc 75
0.5263, 0.0000, 4.0000, 0.5263
testing/NTCIR/xhtml5/10/math9905076/math9905076_1_7.xhtml
Doc 95
0.5263, 0.0000, 4.0000, 0.5263
testing/NTCIR/xhtml5/10/alg-geom9702015/alg-geom9702015_1_213.xhtml
DCX=0
Doc 140
0.5263, -1.0000, 4.0000, 0.5263
testing/NTCIR/xhtml5/9/1401.2386/1401.2386_1_88.xhtml
KXC=-n
Doc 142
0.5263, -2.0000, 5.0000, 0.5263
testing/NTCIR/xhtml5/9/alg-geom9206004/alg-geom9206004_1_115.xhtml
KXC=-1
Doc 141
0.5263, -2.0000, 5.0000, 0.5263
testing/NTCIR/xhtml5/6/0907.4151/0907.4151_1_38.xhtml
-KXC=-1
Doc 144
0.5263, -3.0000, 5.0000, 0.5263
testing/NTCIR/xhtml5/1/math0601225/math0601225_1_35.xhtml
KXC0=-2.
Doc 143
0.5263, -3.0000, 5.0000, 0.9741
testing/NTCIR/xhtml5/1/math0006205/math0006205_1_192.xhtml
KXC=-2
Doc 145
0.5263, -3.0000, 5.0000, 0.5263
testing/NTCIR/xhtml5/5/0801.1396/0801.1396_1_61.xhtml
KXC=c1(NC)=0
Doc 39
0.6452, -1.0000, 5.0000, 1.8166
testing/NTCIR/xhtml5/3/math0310484/math0310484_1_71.xhtml
KXC0
Doc 4
0.6452, 0.0000, 6.0000, 1.0929
testing/NTCIR/xhtml5/8/1210.0218/1210.0218_1_15.xhtml
Doc 5
0.6452, 0.0000, 6.0000, 1.0929
testing/NTCIR/xhtml5/8/1210.0218/1210.0218_1_12.xhtml
Doc 146
0.4478, -1.0000, 5.0000, 2.5636
testing/NTCIR/xhtml5/8/1210.0218/1210.0218_1_122.xhtml
Doc 157
0.4478, -1.0000, 5.0000, 0.4478
testing/NTCIR/xhtml5/10/math9902149/math9902149_1_69.xhtml
Doc 167
0.4478, -1.0000, 5.0000, 0.4478
testing/NTCIR/xhtml5/10/math9902047/math9902047_1_14.xhtml
Doc 171
0.4478, -1.0000, 5.0000, 0.4478
testing/NTCIR/xhtml5/2/math0103084/math0103084_1_45.xhtml
KXC0
Doc 148
0.4478, -1.0000, 5.0000, 0.8545
testing/NTCIR/xhtml5/8/1210.0218/1210.0218_1_126.xhtml
Doc 149
0.4478, -1.0000, 5.0000, 0.8545
testing/NTCIR/xhtml5/8/1210.0218/1210.0218_1_200.xhtml
Doc 150
0.4478, -1.0000, 5.0000, 0.8545
testing/NTCIR/xhtml5/8/1210.0218/1210.0218_1_128.xhtml
Doc 151
0.4478, -1.0000, 5.0000, 0.8545
testing/NTCIR/xhtml5/8/1210.0218/1210.0218_1_10.xhtml
Doc 156
0.4478, -1.0000, 5.0000, 0.8545
testing/NTCIR/xhtml5/8/1210.0218/1210.0218_1_7.xhtml
KXC>0
Doc 2
0.6452, 0.0000, 6.0000, 1.9475
testing/NTCIR/xhtml5/3/hep-th0406039/hep-th0406039_1_50.xhtml
Doc 166
0.4478, -1.0000, 5.0000, 0.4478
testing/NTCIR/xhtml5/3/math0405285/math0405285_1_244.xhtml
KXC<0
Doc 2
0.6452, 0.0000, 6.0000, 1.9475
testing/NTCIR/xhtml5/3/hep-th0406039/hep-th0406039_1_50.xhtml
Doc 146
0.4478, -1.0000, 5.0000, 2.5636
testing/NTCIR/xhtml5/8/1210.0218/1210.0218_1_122.xhtml
Doc 147
0.4478, -1.0000, 5.0000, 1.3433
testing/NTCIR/xhtml5/10/math9902149/math9902149_1_47.xhtml
Doc 152
0.4478, -1.0000, 5.0000, 0.8545
testing/NTCIR/xhtml5/8/1210.0218/1210.0218_1_121.xhtml
Doc 153
0.4478, -1.0000, 5.0000, 0.8545
testing/NTCIR/xhtml5/8/1210.0218/1210.0218_1_198.xhtml
Doc 154
0.4478, -1.0000, 5.0000, 0.8545
testing/NTCIR/xhtml5/8/1210.0218/1210.0218_1_134.xhtml
Doc 155
0.4478, -1.0000, 5.0000, 0.8545
testing/NTCIR/xhtml5/8/1210.0218/1210.0218_1_197.xhtml
Doc 159
0.4478, -1.0000, 5.0000, 0.4478
testing/NTCIR/xhtml5/10/math9902149/math9902149_1_51.xhtml
Doc 160
0.4478, -1.0000, 5.0000, 0.4478
testing/NTCIR/xhtml5/10/math9902149/math9902149_1_50.xhtml
Doc 161
0.4478, -1.0000, 5.0000, 0.4478
testing/NTCIR/xhtml5/4/math0505043/math0505043_1_85.xhtml
Doc 162
0.4478, -1.0000, 5.0000, 0.4478
testing/NTCIR/xhtml5/3/hep-th0406039/hep-th0406039_1_51.xhtml
Doc 163
0.4478, -1.0000, 5.0000, 0.4478
testing/NTCIR/xhtml5/1/math0006205/math0006205_1_264.xhtml
Doc 165
0.4478, -1.0000, 5.0000, 0.4478
testing/NTCIR/xhtml5/3/hep-th0406039/hep-th0406039_1_52.xhtml
Doc 168
0.4478, -1.0000, 5.0000, 0.4478
testing/NTCIR/xhtml5/10/math9902149/math9902149_1_14.xhtml
Doc 172
0.4478, -1.0000, 5.0000, 0.4478
testing/NTCIR/xhtml5/10/math9902149/math9902149_1_49.xhtml
Doc 173
0.4478, -1.0000, 5.0000, 0.4478
testing/NTCIR/xhtml5/8/1201.5699/1201.5699_1_174.xhtml
Doc 174
0.4478, -1.0000, 5.0000, 0.4478
testing/NTCIR/xhtml5/10/math9902149/math9902149_1_9.xhtml
Doc 175
0.4478, -1.0000, 5.0000, 0.4478
testing/NTCIR/xhtml5/10/math9902149/math9902149_1_60.xhtml
Doc 176
0.4478, -1.0000, 5.0000, 0.4478
testing/NTCIR/xhtml5/10/math9902149/math9902149_1_62.xhtml
Doc 177
0.4478, -1.0000, 5.0000, 0.4478
testing/NTCIR/xhtml5/8/1210.0218/1210.0218_1_141.xhtml
KX.C=0
Doc 164
0.4478, -1.0000, 5.0000, 0.4478
testing/NTCIR/xhtml5/9/alg-geom9210009/alg-geom9210009_1_91.xhtml
KX+C=0
Doc 169
0.4478, -1.0000, 5.0000, 0.4478
testing/NTCIR/xhtml5/8/1201.5699/1201.5699_1_503.xhtml
Doc 170
0.4478, -1.0000, 5.0000, 0.4478
testing/NTCIR/xhtml5/8/1201.5699/1201.5699_1_502.xhtml
KX|C=0
Doc 158
0.4478, -1.0000, 5.0000, 0.4478
testing/NTCIR/xhtml5/2/math0101198/math0101198_1_118.xhtml
KXC′′<0
Doc 147
0.4478, -1.0000, 5.0000, 1.3433
testing/NTCIR/xhtml5/10/math9902149/math9902149_1_47.xhtml
KXC>0
Doc 194
0.4478, -2.0000, 5.0000, 0.4478
testing/NTCIR/xhtml5/10/math9802024/math9802024_1_52.xhtml
-KXC0
Doc 179
0.4478, -2.0000, 5.0000, 0.4478
testing/NTCIR/xhtml5/10/math9802024/math9802024_1_5.xhtml
Doc 189
0.4478, -2.0000, 5.0000, 0.4478
testing/NTCIR/xhtml5/6/0908.4502/0908.4502_1_44.xhtml
Doc 193
0.4478, -2.0000, 5.0000, 0.4478
testing/NTCIR/xhtml5/10/math9802024/math9802024_1_11.xhtml
-KXC<0
Doc 191
0.4478, -2.0000, 5.0000, 0.4478
testing/NTCIR/xhtml5/6/0907.4151/0907.4151_1_119.xhtml
-KXC>0
Doc 180
0.4478, -2.0000, 5.0000, 0.4478
testing/NTCIR/xhtml5/1/math0012229/math0012229_1_14.xhtml
Doc 187
0.4478, -2.0000, 5.0000, 0.4478
testing/NTCIR/xhtml5/5/0804.0960/0804.0960_1_2.xhtml
Doc 188
0.4478, -2.0000, 5.0000, 0.4478
testing/NTCIR/xhtml5/5/0804.0960/0804.0960_1_43.xhtml
Doc 190
0.4478, -2.0000, 5.0000, 0.4478
testing/NTCIR/xhtml5/10/math9803131/math9803131_1_33.xhtml
KXCX0
Doc 181
0.4478, -2.0000, 5.0000, 0.4478
testing/NTCIR/xhtml5/9/1401.2386/1401.2386_1_91.xhtml
Doc 182
0.4478, -2.0000, 5.0000, 0.4478
testing/NTCIR/xhtml5/9/1401.2386/1401.2386_1_84.xhtml
Doc 183
0.4478, -2.0000, 5.0000, 0.4478
testing/NTCIR/xhtml5/9/1401.2386/1401.2386_1_90.xhtml
KXCi0
Doc 146
0.4478, -1.0000, 5.0000, 2.5636
testing/NTCIR/xhtml5/8/1210.0218/1210.0218_1_122.xhtml
KXCΓ<0
Doc 184
0.4478, -2.0000, 5.0000, 0.4478
testing/NTCIR/xhtml5/9/alg-geom9305003/alg-geom9305003_1_95.xhtml
KXCi<0
Doc 178
0.4478, -2.0000, 5.0000, 0.4478
testing/NTCIR/xhtml5/4/math0505043/math0505043_1_3.xhtml
KXCt<0
Doc 147
0.4478, -1.0000, 5.0000, 1.3433
testing/NTCIR/xhtml5/10/math9902149/math9902149_1_47.xhtml
Doc 185
0.4478, -2.0000, 5.0000, 0.4478
testing/NTCIR/xhtml5/3/math0405285/math0405285_1_17.xhtml
KX[C]=0
Doc 186
0.4478, -2.0000, 5.0000, 0.4478
testing/NTCIR/xhtml5/4/math0602088/math0602088_1_22.xhtml
KX2C<0
Doc 192
0.4478, -2.0000, 5.0000, 0.4478
testing/NTCIR/xhtml5/11/math9908022/math9908022_1_111.xhtml
KXC0<0.
Doc 143
0.5263, -3.0000, 5.0000, 0.9741
testing/NTCIR/xhtml5/1/math0006205/math0006205_1_192.xhtml
-mKXC0
Doc 195
0.4478, -3.0000, 5.0000, 0.8955
testing/NTCIR/xhtml5/6/0907.4151/0907.4151_1_29.xhtml
-mKXC<0
Doc 195
0.4478, -3.0000, 5.0000, 0.8955
testing/NTCIR/xhtml5/6/0907.4151/0907.4151_1_29.xhtml
KXC
Doc 2
0.6452, 0.0000, 6.0000, 1.9475
testing/NTCIR/xhtml5/3/hep-th0406039/hep-th0406039_1_50.xhtml
CC=0
Doc 196
0.4068, -1.0000, 4.0000, 0.4068
testing/NTCIR/xhtml5/2/math0212082/math0212082_1_63.xhtml
Doc 197
0.4068, -1.0000, 4.0000, 0.4068
testing/NTCIR/xhtml5/2/math0212082/math0212082_1_57.xhtml
Doc 198
0.4068, -1.0000, 4.0000, 0.4068
testing/NTCIR/xhtml5/9/1308.0909/1308.0909_1_192.xhtml
Doc 199
0.4068, -1.0000, 4.0000, 0.4068
testing/NTCIR/xhtml5/9/1308.0909/1308.0909_1_170.xhtml
Doc 200
0.4068, -1.0000, 4.0000, 0.4068
testing/NTCIR/xhtml5/5/0805.1240/0805.1240_1_193.xhtml
Doc 201
0.4068, -1.0000, 4.0000, 0.4068
testing/NTCIR/xhtml5/9/1308.0909/1308.0909_1_209.xhtml
Doc 202
0.4068, -1.0000, 4.0000, 0.4068
testing/NTCIR/xhtml5/9/1308.0909/1308.0909_1_32.xhtml
(KXC)<0
Doc 205
0.4068, -3.0000, 4.0000, 0.4068
testing/NTCIR/xhtml5/1/math0205287/math0205287_1_56.xhtml
(KXC)=0
Doc 204
0.4068, -3.0000, 4.0000, 0.4068
testing/NTCIR/xhtml5/7/1009.1160/1009.1160_1_52.xhtml
(KXC)0
Doc 203
0.4068, -3.0000, 4.0000, 0.4068
testing/NTCIR/xhtml5/8/1202.2696/1202.2696_1_58.xhtml
(KX+Δ)C=0
Doc 209
0.4068, -5.0000, 4.0000, 0.4068
testing/NTCIR/xhtml5/8/1202.2497/1202.2497_1_102.xhtml
Doc 212
0.4068, -5.0000, 4.0000, 0.4068
testing/NTCIR/xhtml5/8/1201.5699/1201.5699_1_343.xhtml
Doc 213
0.4068, -5.0000, 4.0000, 0.4068
testing/NTCIR/xhtml5/8/1201.5699/1201.5699_1_525.xhtml
(KX+D)C=0
Doc 6
0.6452, 0.0000, 6.0000, 1.0519
testing/NTCIR/xhtml5/8/1210.0218/1210.0218_1_137.xhtml
Doc 146
0.4478, -1.0000, 5.0000, 2.5636
testing/NTCIR/xhtml5/8/1210.0218/1210.0218_1_122.xhtml
Doc 148
0.4478, -1.0000, 5.0000, 0.8545
testing/NTCIR/xhtml5/8/1210.0218/1210.0218_1_126.xhtml
Doc 149
0.4478, -1.0000, 5.0000, 0.8545
testing/NTCIR/xhtml5/8/1210.0218/1210.0218_1_200.xhtml
Doc 150
0.4478, -1.0000, 5.0000, 0.8545
testing/NTCIR/xhtml5/8/1210.0218/1210.0218_1_128.xhtml
Doc 151
0.4478, -1.0000, 5.0000, 0.8545
testing/NTCIR/xhtml5/8/1210.0218/1210.0218_1_10.xhtml
Doc 152
0.4478, -1.0000, 5.0000, 0.8545
testing/NTCIR/xhtml5/8/1210.0218/1210.0218_1_121.xhtml
Doc 153
0.4478, -1.0000, 5.0000, 0.8545
testing/NTCIR/xhtml5/8/1210.0218/1210.0218_1_198.xhtml
Doc 154
0.4478, -1.0000, 5.0000, 0.8545
testing/NTCIR/xhtml5/8/1210.0218/1210.0218_1_134.xhtml
Doc 155
0.4478, -1.0000, 5.0000, 0.8545
testing/NTCIR/xhtml5/8/1210.0218/1210.0218_1_197.xhtml
Doc 156
0.4478, -1.0000, 5.0000, 0.8545
testing/NTCIR/xhtml5/8/1210.0218/1210.0218_1_7.xhtml
Doc 207
0.4068, -5.0000, 4.0000, 0.4068
testing/NTCIR/xhtml5/8/1210.0218/1210.0218_1_81.xhtml
Doc 210
0.4068, -5.0000, 4.0000, 0.4068
testing/NTCIR/xhtml5/8/1210.0218/1210.0218_1_129.xhtml
(KX+C)C=0
Doc 206
0.4068, -5.0000, 4.0000, 0.4068
testing/NTCIR/xhtml5/8/1201.5699/1201.5699_1_209.xhtml
Doc 208
0.4068, -5.0000, 4.0000, 0.4068
testing/NTCIR/xhtml5/8/1201.5699/1201.5699_1_213.xhtml
Doc 211
0.4068, -5.0000, 4.0000, 0.4068
testing/NTCIR/xhtml5/8/1201.5699/1201.5699_1_212.xhtml
DC=-KXC
Doc 146
0.4478, -1.0000, 5.0000, 2.5636
testing/NTCIR/xhtml5/8/1210.0218/1210.0218_1_122.xhtml
(KX+D)Ci=0
Doc 146
0.4478, -1.0000, 5.0000, 2.5636
testing/NTCIR/xhtml5/8/1210.0218/1210.0218_1_122.xhtml
KX=0
Doc 214
0.2857, -1.0000, 2.0000, 0.2857
testing/NTCIR/xhtml5/4/math0701466/math0701466_1_115.xhtml
Doc 215
0.2857, -1.0000, 2.0000, 0.2857
testing/NTCIR/xhtml5/9/1308.4228/1308.4228_1_12.xhtml
Doc 216
0.2857, -1.0000, 2.0000, 0.2857
testing/NTCIR/xhtml5/9/1308.4228/1308.4228_1_23.xhtml
Doc 217
0.2857, -1.0000, 2.0000, 0.2857
testing/NTCIR/xhtml5/9/1308.4228/1308.4228_1_5.xhtml
Doc 218
0.2857, -1.0000, 2.0000, 0.2857
testing/NTCIR/xhtml5/1/math0001077/math0001077_1_9.xhtml
Doc 219
0.2857, -1.0000, 2.0000, 0.2857
testing/NTCIR/xhtml5/9/1308.4228/1308.4228_1_4.xhtml
Doc 220
0.2857, -1.0000, 2.0000, 0.2857
testing/NTCIR/xhtml5/1/math0001077/math0001077_1_4.xhtml
Doc 221
0.2857, -1.0000, 2.0000, 0.2857
testing/NTCIR/xhtml5/2/hep-th0109159/hep-th0109159_1_7.xhtml
Doc 222
0.2857, -1.0000, 2.0000, 0.2857
testing/NTCIR/xhtml5/4/math0605362/math0605362_1_14.xhtml
Doc 223
0.2857, -1.0000, 2.0000, 0.2857
testing/NTCIR/xhtml5/4/math0604222/math0604222_1_2.xhtml
Doc 224
0.2857, -1.0000, 2.0000, 0.2857
testing/NTCIR/xhtml5/2/math0103010/math0103010_1_23.xhtml
Doc 225
0.2857, -1.0000, 2.0000, 0.2857
testing/NTCIR/xhtml5/4/math0601120/math0601120_1_56.xhtml
Doc 226
0.2857, -1.0000, 2.0000, 0.2857
testing/NTCIR/xhtml5/8/1206.1649/1206.1649_1_126.xhtml
Doc 227
0.2857, -1.0000, 2.0000, 0.2857
testing/NTCIR/xhtml5/4/math0606239/math0606239_1_23.xhtml
Doc 228
0.2857, -1.0000, 2.0000, 0.2857
testing/NTCIR/xhtml5/9/1401.0516/1401.0516_1_50.xhtml
Doc 229
0.2857, -1.0000, 2.0000, 0.2857
testing/NTCIR/xhtml5/4/math0601120/math0601120_1_257.xhtml
Doc 230
0.2857, -1.0000, 2.0000, 0.2857
testing/NTCIR/xhtml5/8/1206.1649/1206.1649_1_47.xhtml
Doc 231
0.2857, -1.0000, 2.0000, 0.2857
testing/NTCIR/xhtml5/8/1206.0755/1206.0755_1_27.xhtml
Doc 232
0.2857, -1.0000, 2.0000, 0.2857
testing/NTCIR/xhtml5/3/math0407415/math0407415_1_53.xhtml
Doc 233
0.2857, -1.0000, 2.0000, 0.2857
testing/NTCIR/xhtml5/4/math0508133/math0508133_1_56.xhtml
Doc 234
0.2857, -1.0000, 2.0000, 0.2857
testing/NTCIR/xhtml5/4/math0606289/math0606289_1_6.xhtml
Doc 235
0.2857, -1.0000, 2.0000, 0.2857
testing/NTCIR/xhtml5/3/math0407415/math0407415_1_58.xhtml
Doc 236
0.2857, -1.0000, 2.0000, 0.2857
testing/NTCIR/xhtml5/4/math0508133/math0508133_1_31.xhtml
Doc 237
0.2857, -1.0000, 2.0000, 0.2857
testing/NTCIR/xhtml5/2/hep-th0012242/hep-th0012242_1_9.xhtml
Doc 238
0.2857, -1.0000, 2.0000, 0.2857
testing/NTCIR/xhtml5/4/math0508133/math0508133_1_33.xhtml
Doc 239
0.2857, -1.0000, 2.0000, 0.2857
testing/NTCIR/xhtml5/3/math0501153/math0501153_1_19.xhtml
Doc 240
0.2857, -1.0000, 2.0000, 0.2857
testing/NTCIR/xhtml5/8/1206.1649/1206.1649_1_117.xhtml
Doc 241
0.2857, -1.0000, 2.0000, 0.2857
testing/NTCIR/xhtml5/9/1308.4228/1308.4228_1_39.xhtml
{detC=0}
Doc 242
0.2857, -2.0000, 3.0000, 0.2857
testing/NTCIR/xhtml5/3/math0403036/math0403036_1_205.xhtml
Doc 244
0.2857, -2.0000, 3.0000, 0.2857
testing/NTCIR/xhtml5/3/math0403036/math0403036_1_148.xhtml
Doc 246
0.2857, -2.0000, 3.0000, 0.2857
testing/NTCIR/xhtml5/3/math0403036/math0403036_1_152.xhtml
Doc 247
0.2857, -2.0000, 3.0000, 0.2857
testing/NTCIR/xhtml5/3/math0403036/math0403036_1_74.xhtml
{Ct=0}
Doc 243
0.2857, -2.0000, 3.0000, 0.2857
testing/NTCIR/xhtml5/8/1211.4513/1211.4513_1_92.xhtml
Doc 245
0.2857, -2.0000, 3.0000, 0.2857
testing/NTCIR/xhtml5/8/1211.4513/1211.4513_1_82.xhtml
KXE=0
Doc 248
0.2857, -2.0000, 2.0000, 0.2857
testing/NTCIR/xhtml5/3/math0401190/math0401190_1_40.xhtml
12KX=0
Doc 249
0.2857, -2.0000, 2.0000, 0.2857
testing/NTCIR/xhtml5/4/math0611302/math0611302_1_240.xhtml
Doc 250
0.2857, -2.0000, 2.0000, 0.2857
testing/NTCIR/xhtml5/4/math0611302/math0611302_1_309.xhtml
Doc 251
0.2857, -2.0000, 2.0000, 0.2857
testing/NTCIR/xhtml5/4/math0611302/math0611302_1_438.xhtml
K{Ch=0}
Doc 252
0.2857, -4.0000, 3.0000, 0.2857
testing/NTCIR/xhtml5/4/math0702151/math0702151_1_240.xhtml
CX={x=0}
Doc 253
0.2857, -4.0000, 2.0000, 0.2857
testing/NTCIR/xhtml5/9/1308.2567/1308.2567_1_185.xhtml