Returned 21 matches (100 formulae, 125 docs)
    Lookup 40.866 ms, Re-ranking 15.857 ms
    Found 1179647 tuple postings, 120947 formulae, 24480 documents
[ formulas ] [ documents ] [ documents-by-formula ]

Doc 1
1.0000
0.0000
1.0000
4.0000
testing/wikipedia/v3/13589.html
q ^
q
q ^ c
q ^ w

Doc 2
1.0000
0.0000
1.0000
3.0000
testing/wikipedia/v3/12348.html
q ¯
x q 2
y q 2
Doc 3
1.0000
0.0000
1.0000
3.0000
testing/wikipedia/v3/01726.html
q II
q I
q k
Doc 4
1.0000
0.0000
1.0000
3.0000
testing/wikipedia/v3/29417.html
q k
q 2 l
q n - r
Doc 5
1.0000
0.0000
1.0000
3.0000
testing/wikipedia/v3/01625.html
q ~
q v
𝐔 q v
Doc 6
1.0000
0.0000
1.0000
2.0000
testing/wikipedia/v3/15214.html
q n
C q k n

Doc 7
1.0000
0.0000
1.0000
2.0000
testing/wikipedia/v3/04889.html
q ˙
q ˙ ext

Doc 8
1.0000
0.0000
1.0000
2.0000
testing/wikipedia/v3/27741.html
q 2
q 3

Doc 9
1.0000
0.0000
1.0000
2.0000
testing/wikipedia/v3/08585.html
q m
q 1

Doc 10
1.0000
0.0000
1.0000
2.0000
testing/wikipedia/v3/15692.html
q α
q 1 = q

Doc 11
1.0000
0.0000
1.0000
2.0000
testing/wikipedia/v3/05147.html
q
T q M

Doc 12
1.0000
0.0000
1.0000
2.0000
testing/wikipedia/v3/04716.html
q
q q

Doc 13
1.0000
0.0000
1.0000
2.0000
testing/wikipedia/v3/21731.html
q k
q n - k

Doc 14
1.0000
0.0000
1.0000
2.0000
testing/wikipedia/v3/06303.html
q i
/ q i

Doc 15
1.0000
0.0000
1.0000
2.0000
testing/wikipedia/v3/05562.html
q g
𝔽 q k

Doc 16
1.0000
0.0000
1.0000
2.0000
testing/wikipedia/v3/24500.html
q ˙ T
q ˙

Doc 17
1.0000
0.0000
1.0000
2.0000
testing/wikipedia/v3/25587.html
q R
q ¯ i

Doc 18
1.0000
0.0000
1.0000
2.0000
testing/wikipedia/v3/03188.html
q 4
4 p q 3

Doc 19
1.0000
0.0000
1.0000
1.0000
testing/wikipedia/v3/26643.html
q ^

Doc 20
1.0000
0.0000
1.0000
1.0000
testing/wikipedia/v3/22147.html
q ^

Doc 21
1.0000
0.0000
1.0000
1.0000
testing/wikipedia/v3/01102.html
q ˙

Doc 22
1.0000
0.0000
1.0000
1.0000
testing/wikipedia/v3/27738.html
q s

Doc 23
1.0000
0.0000
1.0000
1.0000
testing/wikipedia/v3/01993.html
q

Doc 24
1.0000
0.0000
1.0000
1.0000
testing/wikipedia/v3/00759.html
q ˙

Doc 25
1.0000
0.0000
1.0000
1.0000
testing/wikipedia/v3/25695.html
q ¯

Doc 26
1.0000
0.0000
1.0000
1.0000
testing/wikipedia/v3/11163.html
q ^

Doc 27
1.0000
0.0000
1.0000
1.0000
testing/wikipedia/v3/11345.html
q b

Doc 28
1.0000
0.0000
1.0000
1.0000
testing/wikipedia/v3/16349.html
q ¯

Doc 29
1.0000
0.0000
1.0000
1.0000
testing/wikipedia/v3/10379.html
q a

Doc 30
1.0000
0.0000
1.0000
1.0000
testing/wikipedia/v3/03674.html
q μ

Doc 31
1.0000
0.0000
1.0000
1.0000
testing/wikipedia/v3/01139.html
q

Doc 32
1.0000
0.0000
1.0000
1.0000
testing/wikipedia/v3/14056.html
q i

Doc 33
1.0000
0.0000
1.0000
1.0000
testing/wikipedia/v3/29429.html
q

Doc 34
1.0000
0.0000
1.0000
1.0000
testing/wikipedia/v3/25302.html
q

Doc 35
1.0000
0.0000
1.0000
1.0000
testing/wikipedia/v3/01456.html
q k

Doc 36
1.0000
0.0000
1.0000
1.0000
testing/wikipedia/v3/03545.html
q 42

Doc 37
1.0000
0.0000
1.0000
1.0000
testing/wikipedia/v3/24724.html
q

Doc 38
1.0000
0.0000
1.0000
1.0000
testing/wikipedia/v3/12837.html
q n

Doc 39
1.0000
0.0000
1.0000
1.0000
testing/wikipedia/v3/14621.html
q ¨

Doc 40
1.0000
0.0000
1.0000
1.0000
testing/wikipedia/v3/05523.html
q ˙

Doc 41
1.0000
0.0000
1.0000
1.0000
testing/wikipedia/v3/04913.html
q n

Doc 42
1.0000
0.0000
1.0000
1.0000
testing/wikipedia/v3/03729.html
q ˙

Doc 43
1.0000
0.0000
1.0000
1.0000
testing/wikipedia/v3/14549.html
q d

Doc 44
1.0000
0.0000
1.0000
1.0000
testing/wikipedia/v3/03944.html
q ′′

Doc 45
1.0000
0.0000
1.0000
1.0000
testing/wikipedia/v3/24901.html
q r

Doc 46
1.0000
0.0000
1.0000
1.0000
testing/wikipedia/v3/14518.html
q μ

Doc 47
1.0000
0.0000
1.0000
1.0000
testing/wikipedia/v3/05959.html
q ^

Doc 48
1.0000
0.0000
1.0000
1.0000
testing/wikipedia/v3/14400.html
q

Doc 49
1.0000
0.0000
1.0000
1.0000
testing/wikipedia/v3/23222.html
q ^

Doc 50
1.0000
0.0000
1.0000
1.0000
testing/wikipedia/v3/14495.html
q ˙

Doc 51
1.0000
0.0000
1.0000
1.0000
testing/wikipedia/v3/24303.html
q

Doc 52
1.0000
0.0000
1.0000
1.0000
testing/wikipedia/v3/09510.html
q n

Doc 53
1.0000
0.0000
1.0000
1.0000
testing/wikipedia/v3/14960.html
q ¯

Doc 54
1.0000
0.0000
1.0000
1.0000
testing/wikipedia/v3/00170.html
q ¯

Doc 55
1.0000
0.0000
1.0000
1.0000
testing/wikipedia/v3/06127.html
q i

Doc 56
1.0000
0.0000
1.0000
1.0000
testing/wikipedia/v3/30074.html
q

Doc 57
1.0000
0.0000
1.0000
1.0000
testing/wikipedia/v3/01805.html
q

Doc 58
1.0000
0.0000
1.0000
1.0000
testing/wikipedia/v3/03901.html
q i

Doc 59
1.0000
0.0000
1.0000
1.0000
testing/wikipedia/v3/00231.html
q

Doc 60
1.0000
0.0000
1.0000
1.0000
testing/wikipedia/v3/15967.html
q ^

Doc 61
1.0000
0.0000
1.0000
1.0000
testing/wikipedia/v3/26393.html
q

Doc 62
1.0000
0.0000
1.0000
1.0000
testing/wikipedia/v3/05332.html
q i

Doc 63
1.0000
0.0000
1.0000
1.0000
testing/wikipedia/v3/09789.html
q ¯

Doc 64
1.0000
0.0000
1.0000
1.0000
testing/wikipedia/v3/04545.html
q

Doc 65
1.0000
0.0000
1.0000
1.0000
testing/wikipedia/v3/02844.html
q i

Doc 66
1.0000
0.0000
1.0000
1.0000
testing/wikipedia/v3/15671.html
q +

Doc 67
1.0000
0.0000
1.0000
1.0000
testing/wikipedia/v3/05804.html
q ~

Doc 68
1.0000
-1.0000
1.0000
2.0000
testing/wikipedia/v3/07564.html
q 1 T
q 2 T

Doc 69
1.0000
-1.0000
1.0000
2.0000
testing/wikipedia/v3/28201.html
F q n
F q s

Doc 70
1.0000
-1.0000
1.0000
2.0000
testing/wikipedia/v3/23323.html
q ˙ m
q ˙ p

Doc 71
1.0000
-1.0000
1.0000
2.0000
testing/wikipedia/v3/03739.html
q ¯ q
q ¯ q

Doc 72
1.0000
-1.0000
1.0000
2.0000
testing/wikipedia/v3/10342.html
𝔽 q m
𝔽 q n

Doc 73
1.0000
-1.0000
1.0000
1.0000
testing/wikipedia/v3/02400.html
q a b

Doc 74
1.0000
-1.0000
1.0000
1.0000
testing/wikipedia/v3/27184.html
q θ *

Doc 75
1.0000
-1.0000
1.0000
1.0000
testing/wikipedia/v3/06172.html
q a b

Doc 76
1.0000
-1.0000
1.0000
1.0000
testing/wikipedia/v3/26675.html
𝔽 q k

Doc 77
1.0000
-1.0000
1.0000
1.0000
testing/wikipedia/v3/01814.html
q - 1

Doc 78
1.0000
-1.0000
1.0000
1.0000
testing/wikipedia/v3/26683.html
q ˙ i

Doc 79
1.0000
-1.0000
1.0000
1.0000
testing/wikipedia/v3/21845.html
𝔽 q n

Doc 80
1.0000
-1.0000
1.0000
1.0000
testing/wikipedia/v3/24328.html
q j ˙

Doc 81
1.0000
-1.0000
1.0000
1.0000
testing/wikipedia/v3/26850.html
ln q

Doc 82
1.0000
-1.0000
1.0000
1.0000
testing/wikipedia/v3/30233.html
q ~ i

Doc 83
1.0000
-1.0000
1.0000
1.0000
testing/wikipedia/v3/08918.html
q 1 *

Doc 84
1.0000
-1.0000
1.0000
1.0000
testing/wikipedia/v3/07435.html
q P

Doc 85
1.0000
-1.0000
1.0000
1.0000
testing/wikipedia/v3/09750.html
q e 4

Doc 86
1.0000
-1.0000
1.0000
1.0000
testing/wikipedia/v3/13199.html
𝐅 q 2

Doc 87
1.0000
-1.0000
1.0000
1.0000
testing/wikipedia/v3/12337.html
q i e

Doc 88
1.0000
-1.0000
1.0000
1.0000
testing/wikipedia/v3/07914.html
q j *

Doc 89
1.0000
-1.0000
1.0000
1.0000
testing/wikipedia/v3/13487.html
q 2 t

Doc 90
1.0000
-1.0000
1.0000
1.0000
testing/wikipedia/v3/06698.html
q n 2

Doc 91
1.0000
-1.0000
1.0000
1.0000
testing/wikipedia/v3/07517.html
𝐅 q f

Doc 92
1.0000
-1.0000
1.0000
1.0000
testing/wikipedia/v3/20298.html
q ˙ i

Doc 93
1.0000
-1.0000
1.0000
1.0000
testing/wikipedia/v3/22578.html
𝔽 q k

Doc 94
1.0000
-1.0000
1.0000
1.0000
testing/wikipedia/v3/00018.html
q t h

Doc 95
1.0000
-1.0000
1.0000
1.0000
testing/wikipedia/v3/02863.html
q ˙ i

Doc 96
1.0000
-1.0000
1.0000
1.0000
testing/wikipedia/v3/15862.html
q r A

Doc 97
1.0000
-1.0000
1.0000
1.0000
testing/wikipedia/v3/22291.html
q t h

Doc 98
1.0000
-1.0000
1.0000
1.0000
testing/wikipedia/v3/02864.html
q ˙ i

Doc 99
1.0000
-1.0000
1.0000
1.0000
testing/wikipedia/v3/03896.html
q q ¯

Doc 100
1.0000
-1.0000
1.0000
1.0000
testing/wikipedia/v3/08258.html
q - 1

Doc 101
1.0000
-1.0000
1.0000
1.0000
testing/wikipedia/v3/09889.html
q ^ θ

Doc 102
1.0000
-1.0000
1.0000
1.0000
testing/wikipedia/v3/27966.html
n q ¯

Doc 103
1.0000
-1.0000
1.0000
1.0000
testing/wikipedia/v3/25159.html
S q 1

Doc 104
1.0000
-1.0000
1.0000
1.0000
testing/wikipedia/v3/15579.html
q - 1

Doc 105
1.0000
-1.0000
1.0000
1.0000
testing/wikipedia/v3/00840.html
( q 2 )

Doc 106
1.0000
-1.0000
1.0000
1.0000
testing/wikipedia/v3/23054.html
q ˙ i

Doc 107
1.0000
-2.0000
1.0000
2.0000
testing/wikipedia/v3/25589.html
n = q k
t = q 2

Doc 108
1.0000
-2.0000
1.0000
2.0000
testing/wikipedia/v3/26685.html
Q = q k
q O ( n )

Doc 109
1.0000
-2.0000
1.0000
2.0000
testing/wikipedia/v3/01234.html
GF ( q m )
GF ( q p )

Doc 110
1.0000
-2.0000
1.0000
1.0000
testing/wikipedia/v3/09583.html
p a q b

Doc 111
1.0000
-2.0000
1.0000
1.0000
testing/wikipedia/v3/13326.html
q , q ˙

Doc 112
1.0000
-2.0000
1.0000
1.0000
testing/wikipedia/v3/00867.html
q * .

Doc 113
1.0000
-2.0000
1.0000
1.0000
testing/wikipedia/v3/04627.html
q 1 - s

Doc 114
1.0000
-2.0000
1.0000
1.0000
testing/wikipedia/v3/21855.html
q n - m

Doc 115
1.0000
-2.0000
1.0000
1.0000
testing/wikipedia/v3/04883.html
q 1 / 24

Doc 116
1.0000
-2.0000
1.0000
1.0000
testing/wikipedia/v3/12874.html
q r + 1

Doc 117
1.0000
-2.0000
1.0000
1.0000
testing/wikipedia/v3/23365.html
V ( q ^ )

Doc 118
1.0000
-2.0000
1.0000
1.0000
testing/wikipedia/v3/14589.html
M = q k

Doc 119
1.0000
-2.0000
1.0000
1.0000
testing/wikipedia/v3/02221.html
p a q b

Doc 120
1.0000
-2.0000
1.0000
1.0000
testing/wikipedia/v3/10082.html
S q 2 i

Doc 121
1.0000
-2.0000
1.0000
1.0000
testing/wikipedia/v3/25571.html
d / q t

Doc 122
1.0000
-2.0000
1.0000
1.0000
testing/wikipedia/v3/24322.html
log q μ 2

Doc 123
1.0000
-2.0000
1.0000
1.0000
testing/wikipedia/v3/07659.html
M = q k

Doc 124
1.0000
-3.0000
1.0000
1.0000
testing/wikipedia/v3/03717.html
/ q i

Doc 125
1.0000
-3.0000
1.0000
1.0000
testing/wikipedia/v3/15673.html
t = q - s