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 ]

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_168.xhtml
Doc 9
0.6452, 0.0000, 6.0000, 0.6452
testing/NTCIR/xhtml5/8/1210.0218/1210.0218_1_167.xhtml
Doc 10
0.6452, 0.0000, 6.0000, 0.6452
testing/NTCIR/xhtml5/8/1210.0218/1210.0218_1_164.xhtml
Doc 11
0.6452, 0.0000, 6.0000, 0.6452
testing/NTCIR/xhtml5/8/1210.0218/1210.0218_1_165.xhtml
Doc 12
0.6452, 0.0000, 6.0000, 0.6452
testing/NTCIR/xhtml5/10/math9802024/math9802024_1_37.xhtml
Doc 13
0.6452, 0.0000, 6.0000, 0.6452
testing/NTCIR/xhtml5/4/math0602088/math0602088_1_42.xhtml
Doc 14
0.6452, 0.0000, 6.0000, 0.6452
testing/NTCIR/xhtml5/11/math9908022/math9908022_1_10.xhtml
KXF=0
Doc 22
0.6452, 0.0000, 5.0000, 0.6452
testing/NTCIR/xhtml5/6/0907.4151/0907.4151_1_91.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 20
0.6452, 0.0000, 5.0000, 0.6452
testing/NTCIR/xhtml5/10/math9804034/math9804034_1_74.xhtml
KSC=0
Doc 18
0.6452, 0.0000, 5.0000, 0.6452
testing/NTCIR/xhtml5/3/math0408062/math0408062_1_34.xhtml
KFC=0
Doc 16
0.6452, 0.0000, 5.0000, 1.2903
testing/NTCIR/xhtml5/10/math9802024/math9802024_1_90.xhtml
Doc 21
0.6452, 0.0000, 5.0000, 0.6452
testing/NTCIR/xhtml5/2/math0212082/math0212082_1_76.xhtml
KYC=0
Doc 15
0.6452, 0.0000, 5.0000, 1.2903
testing/NTCIR/xhtml5/3/math0310484/math0310484_1_137.xhtml
Doc 17
0.6452, 0.0000, 5.0000, 1.1715
testing/NTCIR/xhtml5/3/math0310484/math0310484_1_46.xhtml
KSC=1
Doc 23
0.6452, 0.0000, 4.0000, 1.2903
testing/NTCIR/xhtml5/5/0810.0728/0810.0728_1_237.xhtml
Doc 24
0.6452, 0.0000, 4.0000, 1.2903
testing/NTCIR/xhtml5/5/0810.0728/0810.0728_1_234.xhtml
Doc 26
0.6452, 0.0000, 4.0000, 0.6452
testing/NTCIR/xhtml5/5/0810.0728/0810.0728_1_238.xhtml
KYC=0.
Doc 16
0.6452, 0.0000, 5.0000, 1.2903
testing/NTCIR/xhtml5/10/math9802024/math9802024_1_90.xhtml
KSC=2
Doc 23
0.6452, 0.0000, 4.0000, 1.2903
testing/NTCIR/xhtml5/5/0810.0728/0810.0728_1_237.xhtml
Doc 24
0.6452, 0.0000, 4.0000, 1.2903
testing/NTCIR/xhtml5/5/0810.0728/0810.0728_1_234.xhtml
Doc 28
0.6452, 0.0000, 4.0000, 0.6452
testing/NTCIR/xhtml5/2/math0110012/math0110012_1_137.xhtml
Doc 31
0.6452, 0.0000, 4.0000, 0.6452
testing/NTCIR/xhtml5/5/0810.0728/0810.0728_1_239.xhtml
DnC=0
Doc 25
0.6452, 0.0000, 4.0000, 0.6452
testing/NTCIR/xhtml5/1/math0305357/math0305357_1_26.xhtml
DdC=0
Doc 29
0.6452, 0.0000, 4.0000, 0.6452
testing/NTCIR/xhtml5/3/math0302360/math0302360_1_76.xhtml
Doc 30
0.6452, 0.0000, 4.0000, 0.6452
testing/NTCIR/xhtml5/3/math0302360/math0302360_1_42.xhtml
LjC=0
Doc 27
0.6452, 0.0000, 4.0000, 0.6452
testing/NTCIR/xhtml5/2/math0101198/math0101198_1_48.xhtml
-KXC=0
Doc 33
0.6452, -1.0000, 6.0000, 1.2903
testing/NTCIR/xhtml5/3/math0310484/math0310484_1_143.xhtml
Doc 34
0.6452, -1.0000, 6.0000, 1.2903
testing/NTCIR/xhtml5/3/math0310484/math0310484_1_145.xhtml
Doc 37
0.6452, -1.0000, 6.0000, 0.6452
testing/NTCIR/xhtml5/3/math0302360/math0302360_1_85.xhtml
Doc 38
0.6452, -1.0000, 6.0000, 0.6452
testing/NTCIR/xhtml5/7/1102.1093/1102.1093_1_134.xhtml
Doc 40
0.6452, -1.0000, 6.0000, 0.6452
testing/NTCIR/xhtml5/3/math0302360/math0302360_1_83.xhtml
Doc 44
0.6452, -1.0000, 6.0000, 0.6452
testing/NTCIR/xhtml5/3/math0302360/math0302360_1_7.xhtml
KXCb=0
Doc 46
0.6452, -1.0000, 6.0000, 0.6452
testing/NTCIR/xhtml5/3/math0310484/math0310484_1_87.xhtml
KXCt=0
Doc 35
0.6452, -1.0000, 6.0000, 0.6452
testing/NTCIR/xhtml5/3/math0405285/math0405285_1_182.xhtml
Doc 36
0.6452, -1.0000, 6.0000, 0.6452
testing/NTCIR/xhtml5/3/math0405285/math0405285_1_243.xhtml
Doc 39
0.6452, -1.0000, 6.0000, 0.6452
testing/NTCIR/xhtml5/3/math0405285/math0405285_1_201.xhtml
Doc 41
0.6452, -1.0000, 6.0000, 0.6452
testing/NTCIR/xhtml5/3/math0405285/math0405285_1_20.xhtml
Doc 42
0.6452, -1.0000, 6.0000, 0.6452
testing/NTCIR/xhtml5/3/math0405285/math0405285_1_219.xhtml
Doc 43
0.6452, -1.0000, 6.0000, 0.6452
testing/NTCIR/xhtml5/3/math0405285/math0405285_1_84.xhtml
Doc 45
0.6452, -1.0000, 6.0000, 0.6452
testing/NTCIR/xhtml5/3/math0405285/math0405285_1_217.xhtml
KXC=0,
Doc 32
0.6452, -1.0000, 6.0000, 1.2903
testing/NTCIR/xhtml5/3/math0310484/math0310484_1_66.xhtml
-KXC=3
Doc 54
0.6452, -1.0000, 5.0000, 0.6452
testing/NTCIR/xhtml5/4/math0701889/math0701889_1_127.xhtml
Doc 58
0.6452, -1.0000, 5.0000, 0.6452
testing/NTCIR/xhtml5/7/1006.2486/1006.2486_1_121.xhtml
-KXC=4
Doc 48
0.6452, -1.0000, 5.0000, 1.9355
testing/NTCIR/xhtml5/7/1006.2486/1006.2486_1_131.xhtml
Doc 51
0.6452, -1.0000, 5.0000, 0.6452
testing/NTCIR/xhtml5/7/1006.2486/1006.2486_1_120.xhtml
Doc 52
0.6452, -1.0000, 5.0000, 0.6452
testing/NTCIR/xhtml5/7/1006.2486/1006.2486_1_132.xhtml
-KXC=5
Doc 48
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
-KXC=6
Doc 48
0.6452, -1.0000, 5.0000, 1.9355
testing/NTCIR/xhtml5/7/1006.2486/1006.2486_1_131.xhtml
Doc 57
0.6452, -1.0000, 5.0000, 0.6452
testing/NTCIR/xhtml5/7/1006.2486/1006.2486_1_134.xhtml
-KXC=1
Doc 55
0.6452, -1.0000, 5.0000, 0.6452
testing/NTCIR/xhtml5/1/math0601225/math0601225_1_24.xhtml
-KXC=2
Doc 49
0.6452, -1.0000, 5.0000, 1.1715
testing/NTCIR/xhtml5/7/1006.2486/1006.2486_1_220.xhtml
Doc 50
0.6452, -1.0000, 5.0000, 0.6452
testing/NTCIR/xhtml5/7/1006.2486/1006.2486_1_122.xhtml
KWC0=0
Doc 47
0.6452, -1.0000, 5.0000, 2.3430
testing/NTCIR/xhtml5/3/math0310484/math0310484_1_71.xhtml
K𝒞Cs=0
Doc 53
0.6452, -1.0000, 5.0000, 0.6452
testing/NTCIR/xhtml5/3/math0405285/math0405285_1_246.xhtml
KXCt=0.
Doc 33
0.6452, -1.0000, 6.0000, 1.2903
testing/NTCIR/xhtml5/3/math0310484/math0310484_1_143.xhtml
-KXCt=0
Doc 32
0.6452, -1.0000, 6.0000, 1.2903
testing/NTCIR/xhtml5/3/math0310484/math0310484_1_66.xhtml
-KXC=0
Doc 34
0.6452, -1.0000, 6.0000, 1.2903
testing/NTCIR/xhtml5/3/math0310484/math0310484_1_145.xhtml
KX¯Cγ=0
Doc 59
0.6452, -2.0000, 6.0000, 0.6452
testing/NTCIR/xhtml5/9/alg-geom9305003/alg-geom9305003_1_93.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 62
0.6452, -2.0000, 5.0000, 0.6452
testing/NTCIR/xhtml5/7/1006.2486/1006.2486_1_223.xhtml
Doc 63
0.6452, -2.0000, 5.0000, 0.6452
testing/NTCIR/xhtml5/7/1006.2486/1006.2486_1_222.xhtml
-KYCe=0
Doc 60
0.6452, -2.0000, 5.0000, 0.6452
testing/NTCIR/xhtml5/7/1006.2486/1006.2486_1_170.xhtml
Doc 61
0.6452, -2.0000, 5.0000, 0.6452
testing/NTCIR/xhtml5/7/1006.2486/1006.2486_1_167.xhtml
-KXC=0,
Doc 47
0.6452, -1.0000, 5.0000, 2.3430
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
ΔC=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 74
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
ωC=0
Doc 98
0.5263, 0.0000, 4.0000, 0.5263
testing/NTCIR/xhtml5/10/hep-th9807057/hep-th9807057_1_9.xhtml
BC=0
Doc 75
0.5263, 0.0000, 4.0000, 0.5263
testing/NTCIR/xhtml5/1/math0007189/math0007189_1_68.xhtml
Doc 88
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
θC=0
Doc 96
0.5263, 0.0000, 4.0000, 0.5263
testing/NTCIR/xhtml5/4/math0505014/math0505014_1_14.xhtml
C=0
Doc 129
0.5263, 0.0000, 4.0000, 0.5263
testing/NTCIR/xhtml5/8/1201.0188/1201.0188_1_65.xhtml
DC=0
Doc 70
0.5263, 0.0000, 4.0000, 0.5263
testing/NTCIR/xhtml5/2/math0204243/math0204243_1_131.xhtml
Doc 83
0.5263, 0.0000, 4.0000, 0.5263
testing/NTCIR/xhtml5/3/math0307180/math0307180_1_72.xhtml
Doc 89
0.5263, 0.0000, 4.0000, 0.5263
testing/NTCIR/xhtml5/3/math0307180/math0307180_1_70.xhtml
Doc 100
0.5263, 0.0000, 4.0000, 0.5263
testing/NTCIR/xhtml5/3/math0406494/math0406494_1_144.xhtml
Doc 103
0.5263, 0.0000, 4.0000, 0.5263
testing/NTCIR/xhtml5/1/math0009155/math0009155_1_40.xhtml
Doc 105
0.5263, 0.0000, 4.0000, 0.5263
testing/NTCIR/xhtml5/8/1201.5699/1201.5699_1_500.xhtml
Doc 108
0.5263, 0.0000, 4.0000, 0.5263
testing/NTCIR/xhtml5/8/1201.5699/1201.5699_1_325.xhtml
Doc 116
0.5263, 0.0000, 4.0000, 0.5263
testing/NTCIR/xhtml5/8/1201.5699/1201.5699_1_490.xhtml
Doc 118
0.5263, 0.0000, 4.0000, 0.5263
testing/NTCIR/xhtml5/11/math9909093/math9909093_1_20.xhtml
Doc 120
0.5263, 0.0000, 4.0000, 0.5263
testing/NTCIR/xhtml5/3/math0406494/math0406494_1_146.xhtml
Doc 137
0.5263, 0.0000, 4.0000, 0.5263
testing/NTCIR/xhtml5/5/0801.1396/0801.1396_1_72.xhtml
PC=0
Doc 80
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 125
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
FC=0
Doc 64
0.5263, 0.0000, 4.0000, 1.0526
testing/NTCIR/xhtml5/6/0907.4151/0907.4151_1_157.xhtml
Doc 72
0.5263, 0.0000, 4.0000, 0.5263
testing/NTCIR/xhtml5/10/math9803131/math9803131_1_121.xhtml
Doc 81
0.5263, 0.0000, 4.0000, 0.5263
testing/NTCIR/xhtml5/10/math9803131/math9803131_1_32.xhtml
Doc 104
0.5263, 0.0000, 4.0000, 0.5263
testing/NTCIR/xhtml5/6/0907.4151/0907.4151_1_192.xhtml
Doc 110
0.5263, 0.0000, 4.0000, 0.5263
testing/NTCIR/xhtml5/6/0907.4151/0907.4151_1_110.xhtml
Doc 111
0.5263, 0.0000, 4.0000, 0.5263
testing/NTCIR/xhtml5/6/0907.4151/0907.4151_1_117.xhtml
Doc 131
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 138
0.5263, 0.0000, 4.0000, 0.5263
testing/NTCIR/xhtml5/6/0907.4151/0907.4151_1_178.xhtml
αC=0
Doc 77
0.5263, 0.0000, 4.0000, 0.5263
testing/NTCIR/xhtml5/6/0905.4114/0905.4114_1_32.xhtml
Doc 107
0.5263, 0.0000, 4.0000, 0.5263
testing/NTCIR/xhtml5/2/math0106147/math0106147_1_29.xhtml
LC=0
Doc 67
0.5263, 0.0000, 4.0000, 0.5263
testing/NTCIR/xhtml5/9/1304.3538/1304.3538_1_258.xhtml
Doc 68
0.5263, 0.0000, 4.0000, 0.5263
testing/NTCIR/xhtml5/8/1201.5699/1201.5699_1_394.xhtml
Doc 69
0.5263, 0.0000, 4.0000, 0.5263
testing/NTCIR/xhtml5/2/math0204243/math0204243_1_2.xhtml
Doc 71
0.5263, 0.0000, 4.0000, 0.5263
testing/NTCIR/xhtml5/8/1201.5699/1201.5699_1_316.xhtml
Doc 73
0.5263, 0.0000, 4.0000, 0.5263
testing/NTCIR/xhtml5/2/math0106147/math0106147_1_26.xhtml
Doc 76
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 82
0.5263, 0.0000, 4.0000, 0.5263
testing/NTCIR/xhtml5/8/1201.5699/1201.5699_1_161.xhtml
Doc 84
0.5263, 0.0000, 4.0000, 0.5263
testing/NTCIR/xhtml5/8/1201.5699/1201.5699_1_193.xhtml
Doc 85
0.5263, 0.0000, 4.0000, 0.5263
testing/NTCIR/xhtml5/4/math0603064/math0603064_1_104.xhtml
Doc 86
0.5263, 0.0000, 4.0000, 0.5263
testing/NTCIR/xhtml5/2/math0106147/math0106147_1_13.xhtml
Doc 87
0.5263, 0.0000, 4.0000, 0.5263
testing/NTCIR/xhtml5/4/math0603064/math0603064_1_100.xhtml
Doc 90
0.5263, 0.0000, 4.0000, 0.5263
testing/NTCIR/xhtml5/5/0801.1396/0801.1396_1_60.xhtml
Doc 91
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/8/1201.5699/1201.5699_1_442.xhtml
Doc 102
0.5263, 0.0000, 4.0000, 0.5263
testing/NTCIR/xhtml5/8/1201.5699/1201.5699_1_183.xhtml
Doc 109
0.5263, 0.0000, 4.0000, 0.5263
testing/NTCIR/xhtml5/2/math0106147/math0106147_1_39.xhtml
Doc 112
0.5263, 0.0000, 4.0000, 0.5263
testing/NTCIR/xhtml5/3/math0302360/math0302360_1_31.xhtml
Doc 113
0.5263, 0.0000, 4.0000, 0.5263
testing/NTCIR/xhtml5/2/math0106147/math0106147_1_9.xhtml
Doc 117
0.5263, 0.0000, 4.0000, 0.5263
testing/NTCIR/xhtml5/8/1201.5699/1201.5699_1_177.xhtml
Doc 119
0.5263, 0.0000, 4.0000, 0.5263
testing/NTCIR/xhtml5/8/1201.5699/1201.5699_1_192.xhtml
Doc 122
0.5263, 0.0000, 4.0000, 0.5263
testing/NTCIR/xhtml5/1/1109.4382/1109.4382_1_35.xhtml
Doc 123
0.5263, 0.0000, 4.0000, 0.5263
testing/NTCIR/xhtml5/1/1109.4382/1109.4382_1_76.xhtml
Doc 124
0.5263, 0.0000, 4.0000, 0.5263
testing/NTCIR/xhtml5/6/0912.0576/0912.0576_1_95.xhtml
Doc 126
0.5263, 0.0000, 4.0000, 0.5263
testing/NTCIR/xhtml5/1/1109.4382/1109.4382_1_74.xhtml
Doc 127
0.5263, 0.0000, 4.0000, 0.5263
testing/NTCIR/xhtml5/8/1201.5699/1201.5699_1_164.xhtml
Doc 130
0.5263, 0.0000, 4.0000, 0.5263
testing/NTCIR/xhtml5/10/math9803010/math9803010_1_46.xhtml
Doc 133
0.5263, 0.0000, 4.0000, 0.5263
testing/NTCIR/xhtml5/1/1109.4382/1109.4382_1_87.xhtml
Doc 134
0.5263, 0.0000, 4.0000, 0.5263
testing/NTCIR/xhtml5/8/1201.5699/1201.5699_1_436.xhtml
Doc 135
0.5263, 0.0000, 4.0000, 0.5263
testing/NTCIR/xhtml5/2/math0106147/math0106147_1_28.xhtml
GC=0
Doc 65
0.5263, 0.0000, 4.0000, 1.0526
testing/NTCIR/xhtml5/8/1201.5699/1201.5699_1_181.xhtml
Doc 115
0.5263, 0.0000, 4.0000, 0.5263
testing/NTCIR/xhtml5/8/1201.5699/1201.5699_1_172.xhtml
Doc 121
0.5263, 0.0000, 4.0000, 0.5263
testing/NTCIR/xhtml5/8/1201.5699/1201.5699_1_299.xhtml
EC=0
Doc 49
0.6452, -1.0000, 5.0000, 1.1715
testing/NTCIR/xhtml5/7/1006.2486/1006.2486_1_220.xhtml
Doc 66
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 106
0.5263, 0.0000, 4.0000, 0.5263
testing/NTCIR/xhtml5/9/1302.3134/1302.3134_1_186.xhtml
MC=0
Doc 114
0.5263, 0.0000, 4.0000, 0.5263
testing/NTCIR/xhtml5/9/1304.3538/1304.3538_1_262.xhtml
HC=0
Doc 64
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
KC=6
Doc 92
0.5263, 0.0000, 4.0000, 0.5263
testing/NTCIR/xhtml5/8/1109.6705/1109.6705_1_239.xhtml
KC=7
Doc 78
0.5263, 0.0000, 4.0000, 0.5263
testing/NTCIR/xhtml5/8/1109.6705/1109.6705_1_177.xhtml
KC=0,
Doc 139
0.5263, -1.0000, 5.0000, 0.5263
testing/NTCIR/xhtml5/2/math0112242/math0112242_1_31.xhtml
x0C=0
Doc 144
0.5263, -1.0000, 4.0000, 0.5263
testing/NTCIR/xhtml5/3/math0311233/math0311233_1_137.xhtml
L1C=0
Doc 142
0.5263, -1.0000, 4.0000, 0.5263
testing/NTCIR/xhtml5/2/math0101198/math0101198_1_101.xhtml
L12C=0
Doc 158
0.5263, -1.0000, 4.0000, 0.5263
testing/NTCIR/xhtml5/8/1206.5903/1206.5903_1_135.xhtml
G1C=0
Doc 143
0.5263, -1.0000, 4.0000, 0.5263
testing/NTCIR/xhtml5/5/0805.2534/0805.2534_1_80.xhtml
GC=0
Doc 65
0.5263, 0.0000, 4.0000, 1.0526
testing/NTCIR/xhtml5/8/1201.5699/1201.5699_1_181.xhtml
Doc 140
0.5263, -1.0000, 4.0000, 0.5263
testing/NTCIR/xhtml5/8/1201.5699/1201.5699_1_296.xhtml
Doc 147
0.5263, -1.0000, 4.0000, 0.5263
testing/NTCIR/xhtml5/8/1201.5699/1201.5699_1_179.xhtml
Doc 162
0.5263, -1.0000, 4.0000, 0.5263
testing/NTCIR/xhtml5/8/1201.5699/1201.5699_1_295.xhtml
SC0=0
Doc 47
0.6452, -1.0000, 5.0000, 2.3430
testing/NTCIR/xhtml5/3/math0310484/math0310484_1_71.xhtml
HCi=0
Doc 149
0.5263, -1.0000, 4.0000, 0.5263
testing/NTCIR/xhtml5/5/0706.2588/0706.2588_1_102.xhtml
Doc 157
0.5263, -1.0000, 4.0000, 0.5263
testing/NTCIR/xhtml5/7/1006.2486/1006.2486_1_127.xhtml
LCt=0
Doc 146
0.5263, -1.0000, 4.0000, 0.5263
testing/NTCIR/xhtml5/3/math0405285/math0405285_1_225.xhtml
Doc 148
0.5263, -1.0000, 4.0000, 0.5263
testing/NTCIR/xhtml5/3/math0405285/math0405285_1_175.xhtml
Doc 150
0.5263, -1.0000, 4.0000, 0.5263
testing/NTCIR/xhtml5/3/math0405285/math0405285_1_218.xhtml
Doc 155
0.5263, -1.0000, 4.0000, 0.5263
testing/NTCIR/xhtml5/3/math0405285/math0405285_1_172.xhtml
Doc 156
0.5263, -1.0000, 4.0000, 0.5263
testing/NTCIR/xhtml5/3/math0405285/math0405285_1_174.xhtml
Doc 159
0.5263, -1.0000, 4.0000, 0.5263
testing/NTCIR/xhtml5/3/math0405285/math0405285_1_191.xhtml
Doc 160
0.5263, -1.0000, 4.0000, 0.5263
testing/NTCIR/xhtml5/3/math0405285/math0405285_1_180.xhtml
Doc 161
0.5263, -1.0000, 4.0000, 0.5263
testing/NTCIR/xhtml5/3/math0405285/math0405285_1_173.xhtml
PCj=0
Doc 152
0.5263, -1.0000, 4.0000, 0.5263
testing/NTCIR/xhtml5/2/math0212082/math0212082_1_51.xhtml
BCj=0
Doc 145
0.5263, -1.0000, 4.0000, 0.5263
testing/NTCIR/xhtml5/10/hep-th9903172/hep-th9903172_1_41.xhtml
ECt=0
Doc 153
0.5263, -1.0000, 4.0000, 0.5263
testing/NTCIR/xhtml5/3/math0405285/math0405285_1_192.xhtml
DCX=0
Doc 141
0.5263, -1.0000, 4.0000, 0.5263
testing/NTCIR/xhtml5/9/1401.2386/1401.2386_1_88.xhtml
αC=0,
Doc 151
0.5263, -1.0000, 4.0000, 0.5263
testing/NTCIR/xhtml5/2/math0106147/math0106147_1_34.xhtml
detVC=0
Doc 17
0.6452, 0.0000, 5.0000, 1.1715
testing/NTCIR/xhtml5/3/math0310484/math0310484_1_46.xhtml
QxC=0
Doc 154
0.5263, -1.0000, 4.0000, 0.5263
testing/NTCIR/xhtml5/3/math0311233/math0311233_1_136.xhtml
KXC=-1
Doc 163
0.5263, -2.0000, 5.0000, 0.5263
testing/NTCIR/xhtml5/6/0907.4151/0907.4151_1_38.xhtml
KXC=-n
Doc 164
0.5263, -2.0000, 5.0000, 0.5263
testing/NTCIR/xhtml5/9/alg-geom9206004/alg-geom9206004_1_115.xhtml
KXC=-2
Doc 167
0.5263, -3.0000, 5.0000, 0.5263
testing/NTCIR/xhtml5/5/0801.1396/0801.1396_1_61.xhtml
KXC0=-2.
Doc 166
0.5263, -3.0000, 5.0000, 0.5263
testing/NTCIR/xhtml5/1/math0006205/math0006205_1_192.xhtml
-KXC=-1
Doc 165
0.5263, -3.0000, 5.0000, 0.5263
testing/NTCIR/xhtml5/1/math0601225/math0601225_1_35.xhtml
KXCt=-1,
Doc 168
0.5263, -4.0000, 5.0000, 0.9741
testing/NTCIR/xhtml5/10/math9902149/math9902149_1_39.xhtml
-KXCt=-1.
Doc 169
0.5263, -4.0000, 5.0000, 0.5263
testing/NTCIR/xhtml5/10/math9902149/math9902149_1_41.xhtml
-KXC=n+δ.
Doc 171
0.5263, -5.0000, 5.0000, 0.5263
testing/NTCIR/xhtml5/4/math0701889/math0701889_1_39.xhtml
Doc 172
0.5263, -5.0000, 5.0000, 0.5263
testing/NTCIR/xhtml5/4/math0701889/math0701889_1_44.xhtml
KXCi=-nqi
Doc 170
0.5263, -5.0000, 5.0000, 0.5263
testing/NTCIR/xhtml5/3/math0501056/math0501056_1_33.xhtml
KXC=c1(NC)=0
Doc 47
0.6452, -1.0000, 5.0000, 2.3430
testing/NTCIR/xhtml5/3/math0310484/math0310484_1_71.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 173
0.4478, -1.0000, 5.0000, 2.1159
testing/NTCIR/xhtml5/8/1210.0218/1210.0218_1_122.xhtml
Doc 174
0.4478, -1.0000, 5.0000, 0.8955
testing/NTCIR/xhtml5/10/math9902149/math9902149_1_51.xhtml
Doc 175
0.4478, -1.0000, 5.0000, 0.8955
testing/NTCIR/xhtml5/10/math9902149/math9902149_1_9.xhtml
Doc 176
0.4478, -1.0000, 5.0000, 0.8955
testing/NTCIR/xhtml5/10/math9902149/math9902149_1_60.xhtml
Doc 177
0.4478, -1.0000, 5.0000, 0.8955
testing/NTCIR/xhtml5/10/math9902149/math9902149_1_14.xhtml
Doc 182
0.4478, -1.0000, 5.0000, 0.8545
testing/NTCIR/xhtml5/8/1210.0218/1210.0218_1_121.xhtml
Doc 183
0.4478, -1.0000, 5.0000, 0.8545
testing/NTCIR/xhtml5/8/1210.0218/1210.0218_1_198.xhtml
Doc 184
0.4478, -1.0000, 5.0000, 0.8545
testing/NTCIR/xhtml5/8/1210.0218/1210.0218_1_134.xhtml
Doc 185
0.4478, -1.0000, 5.0000, 0.8545
testing/NTCIR/xhtml5/8/1210.0218/1210.0218_1_197.xhtml
Doc 187
0.4478, -1.0000, 5.0000, 0.4478
testing/NTCIR/xhtml5/10/math9902149/math9902149_1_50.xhtml
Doc 189
0.4478, -1.0000, 5.0000, 0.4478
testing/NTCIR/xhtml5/10/math9902149/math9902149_1_47.xhtml
Doc 191
0.4478, -1.0000, 5.0000, 0.4478
testing/NTCIR/xhtml5/10/math9902149/math9902149_1_62.xhtml
Doc 194
0.4478, -1.0000, 5.0000, 0.4478
testing/NTCIR/xhtml5/4/math0505043/math0505043_1_85.xhtml
Doc 195
0.4478, -1.0000, 5.0000, 0.4478
testing/NTCIR/xhtml5/3/hep-th0406039/hep-th0406039_1_51.xhtml
Doc 196
0.4478, -1.0000, 5.0000, 0.4478
testing/NTCIR/xhtml5/1/math0006205/math0006205_1_264.xhtml
Doc 197
0.4478, -1.0000, 5.0000, 0.4478
testing/NTCIR/xhtml5/3/hep-th0406039/hep-th0406039_1_52.xhtml
Doc 201
0.4478, -1.0000, 5.0000, 0.4478
testing/NTCIR/xhtml5/10/math9902149/math9902149_1_49.xhtml
Doc 202
0.4478, -1.0000, 5.0000, 0.4478
testing/NTCIR/xhtml5/8/1201.5699/1201.5699_1_174.xhtml
Doc 203
0.4478, -1.0000, 5.0000, 0.4478
testing/NTCIR/xhtml5/8/1210.0218/1210.0218_1_141.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 173
0.4478, -1.0000, 5.0000, 2.1159
testing/NTCIR/xhtml5/8/1210.0218/1210.0218_1_122.xhtml
Doc 193
0.4478, -1.0000, 5.0000, 0.4478
testing/NTCIR/xhtml5/10/math9902149/math9902149_1_69.xhtml
Doc 199
0.4478, -1.0000, 5.0000, 0.4478
testing/NTCIR/xhtml5/10/math9902047/math9902047_1_14.xhtml
Doc 200
0.4478, -1.0000, 5.0000, 0.4478
testing/NTCIR/xhtml5/2/math0103084/math0103084_1_45.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 198
0.4478, -1.0000, 5.0000, 0.4478
testing/NTCIR/xhtml5/3/math0405285/math0405285_1_244.xhtml
KXC0
Doc 178
0.4478, -1.0000, 5.0000, 0.8545
testing/NTCIR/xhtml5/8/1210.0218/1210.0218_1_126.xhtml
Doc 179
0.4478, -1.0000, 5.0000, 0.8545
testing/NTCIR/xhtml5/8/1210.0218/1210.0218_1_200.xhtml
Doc 180
0.4478, -1.0000, 5.0000, 0.8545
testing/NTCIR/xhtml5/8/1210.0218/1210.0218_1_128.xhtml
Doc 181
0.4478, -1.0000, 5.0000, 0.8545
testing/NTCIR/xhtml5/8/1210.0218/1210.0218_1_10.xhtml
Doc 186
0.4478, -1.0000, 5.0000, 0.8545
testing/NTCIR/xhtml5/8/1210.0218/1210.0218_1_7.xhtml
KX|C=0
Doc 188
0.4478, -1.0000, 5.0000, 0.4478
testing/NTCIR/xhtml5/2/math0101198/math0101198_1_118.xhtml
KX+C=0
Doc 190
0.4478, -1.0000, 5.0000, 0.4478
testing/NTCIR/xhtml5/8/1201.5699/1201.5699_1_502.xhtml
Doc 192
0.4478, -1.0000, 5.0000, 0.4478
testing/NTCIR/xhtml5/8/1201.5699/1201.5699_1_503.xhtml
CxC=0
Doc 204
0.4478, -1.0000, 4.0000, 0.4478
testing/NTCIR/xhtml5/1/math0007189/math0007189_1_70.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 168
0.5263, -4.0000, 5.0000, 0.9741
testing/NTCIR/xhtml5/10/math9902149/math9902149_1_39.xhtml
Doc 174
0.4478, -1.0000, 5.0000, 0.8955
testing/NTCIR/xhtml5/10/math9902149/math9902149_1_51.xhtml
Doc 175
0.4478, -1.0000, 5.0000, 0.8955
testing/NTCIR/xhtml5/10/math9902149/math9902149_1_9.xhtml
Doc 176
0.4478, -1.0000, 5.0000, 0.8955
testing/NTCIR/xhtml5/10/math9902149/math9902149_1_60.xhtml
Doc 177
0.4478, -1.0000, 5.0000, 0.8955
testing/NTCIR/xhtml5/10/math9902149/math9902149_1_14.xhtml
Doc 205
0.4478, -1.0000, 4.0000, 0.4478
testing/NTCIR/xhtml5/10/math9902149/math9902149_1_46.xhtml
Doc 206
0.4478, -1.0000, 4.0000, 0.4478
testing/NTCIR/xhtml5/10/math9902149/math9902149_1_58.xhtml
Doc 207
0.4478, -1.0000, 4.0000, 0.4478
testing/NTCIR/xhtml5/1/math0006205/math0006205_1_13.xhtml
Doc 208
0.4478, -1.0000, 4.0000, 0.4478
testing/NTCIR/xhtml5/1/math0006205/math0006205_1_262.xhtml
Doc 209
0.4478, -1.0000, 4.0000, 0.4478
testing/NTCIR/xhtml5/10/math9902149/math9902149_1_40.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 213
0.4068, -1.0000, 4.0000, 0.4068
testing/NTCIR/xhtml5/9/1308.0909/1308.0909_1_209.xhtml
Doc 215
0.4068, -1.0000, 4.0000, 0.4068
testing/NTCIR/xhtml5/2/math0212082/math0212082_1_57.xhtml
Doc 217
0.4068, -1.0000, 4.0000, 0.4068
testing/NTCIR/xhtml5/9/1308.0909/1308.0909_1_192.xhtml
Doc 219
0.4068, -1.0000, 4.0000, 0.4068
testing/NTCIR/xhtml5/9/1308.0909/1308.0909_1_170.xhtml
Doc 220
0.4068, -1.0000, 4.0000, 0.4068
testing/NTCIR/xhtml5/5/0805.1240/0805.1240_1_193.xhtml
Doc 221
0.4068, -1.0000, 4.0000, 0.4068
testing/NTCIR/xhtml5/2/math0212082/math0212082_1_63.xhtml
Doc 222
0.4068, -1.0000, 4.0000, 0.4068
testing/NTCIR/xhtml5/9/1308.0909/1308.0909_1_32.xhtml
KXCX
Doc 216
0.4068, -1.0000, 4.0000, 0.4068
testing/NTCIR/xhtml5/9/1401.2386/1401.2386_1_90.xhtml
(KXC)
Doc 214
0.4068, -1.0000, 4.0000, 0.4068
testing/NTCIR/xhtml5/1/alg-geom9310002/alg-geom9310002_1_1.xhtml
-KXC
Doc 211
0.4068, -1.0000, 4.0000, 0.4068
testing/NTCIR/xhtml5/7/1006.2486/1006.2486_1_195.xhtml
Doc 212
0.4068, -1.0000, 4.0000, 0.4068
testing/NTCIR/xhtml5/6/0907.4151/0907.4151_1_82.xhtml
Doc 218
0.4068, -1.0000, 4.0000, 0.4068
testing/NTCIR/xhtml5/1/0912.1638/0912.1638_1_51.xhtml
(-KXC)
Doc 223
0.4068, -2.0000, 4.0000, 0.4068
testing/NTCIR/xhtml5/5/0710.1719/0710.1719_1_39.xhtml
(KXC)=0
Doc 224
0.4068, -3.0000, 4.0000, 0.4068
testing/NTCIR/xhtml5/7/1009.1160/1009.1160_1_52.xhtml
(KX+C)C=0
Doc 225
0.4068, -5.0000, 4.0000, 0.4068
testing/NTCIR/xhtml5/8/1201.5699/1201.5699_1_209.xhtml
Doc 227
0.4068, -5.0000, 4.0000, 0.4068
testing/NTCIR/xhtml5/8/1201.5699/1201.5699_1_213.xhtml
Doc 231
0.4068, -5.0000, 4.0000, 0.4068
testing/NTCIR/xhtml5/8/1201.5699/1201.5699_1_212.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 173
0.4478, -1.0000, 5.0000, 2.1159
testing/NTCIR/xhtml5/8/1210.0218/1210.0218_1_122.xhtml
Doc 178
0.4478, -1.0000, 5.0000, 0.8545
testing/NTCIR/xhtml5/8/1210.0218/1210.0218_1_126.xhtml
Doc 179
0.4478, -1.0000, 5.0000, 0.8545
testing/NTCIR/xhtml5/8/1210.0218/1210.0218_1_200.xhtml
Doc 180
0.4478, -1.0000, 5.0000, 0.8545
testing/NTCIR/xhtml5/8/1210.0218/1210.0218_1_128.xhtml
Doc 181
0.4478, -1.0000, 5.0000, 0.8545
testing/NTCIR/xhtml5/8/1210.0218/1210.0218_1_10.xhtml
Doc 182
0.4478, -1.0000, 5.0000, 0.8545
testing/NTCIR/xhtml5/8/1210.0218/1210.0218_1_121.xhtml
Doc 183
0.4478, -1.0000, 5.0000, 0.8545
testing/NTCIR/xhtml5/8/1210.0218/1210.0218_1_198.xhtml
Doc 184
0.4478, -1.0000, 5.0000, 0.8545
testing/NTCIR/xhtml5/8/1210.0218/1210.0218_1_134.xhtml
Doc 185
0.4478, -1.0000, 5.0000, 0.8545
testing/NTCIR/xhtml5/8/1210.0218/1210.0218_1_197.xhtml
Doc 186
0.4478, -1.0000, 5.0000, 0.8545
testing/NTCIR/xhtml5/8/1210.0218/1210.0218_1_7.xhtml
Doc 226
0.4068, -5.0000, 4.0000, 0.4068
testing/NTCIR/xhtml5/8/1210.0218/1210.0218_1_81.xhtml
Doc 229
0.4068, -5.0000, 4.0000, 0.4068
testing/NTCIR/xhtml5/8/1210.0218/1210.0218_1_129.xhtml
(KX+Δ)C=0
Doc 228
0.4068, -5.0000, 4.0000, 0.4068
testing/NTCIR/xhtml5/8/1202.2497/1202.2497_1_102.xhtml
Doc 230
0.4068, -5.0000, 4.0000, 0.4068
testing/NTCIR/xhtml5/8/1201.5699/1201.5699_1_343.xhtml
Doc 232
0.4068, -5.0000, 4.0000, 0.4068
testing/NTCIR/xhtml5/8/1201.5699/1201.5699_1_525.xhtml
DC=-KXC
Doc 173
0.4478, -1.0000, 5.0000, 2.1159
testing/NTCIR/xhtml5/8/1210.0218/1210.0218_1_122.xhtml
(KX+D)Ci=0
Doc 173
0.4478, -1.0000, 5.0000, 2.1159
testing/NTCIR/xhtml5/8/1210.0218/1210.0218_1_122.xhtml
{Ct=0}
Doc 233
0.2857, -2.0000, 3.0000, 0.2857
testing/NTCIR/xhtml5/8/1211.4513/1211.4513_1_92.xhtml
Doc 234
0.2857, -2.0000, 3.0000, 0.2857
testing/NTCIR/xhtml5/8/1211.4513/1211.4513_1_82.xhtml