Returned 20 matches (100 formulae, 151 docs)
    Lookup 1.763 ms, Re-ranking 22.785 ms
    Found 70015 tuple postings, 16413 formulae, 6965 documents
[ formulas ] [ documents ] [ documents-by-formula ]

1.0000
0.0000
4.0000
( X , Σ )

1.0000
0.0000
3.0000
( X , p )
( X , Y )
( X , π )
( X ,  𝔉 )
( X , 𝒜 )
( X , Z )
( X , τ )
( X , ρ )
( X , f )
( X , U )
( X , ω )
( X , 𝒯 )
( X ,  )
( X , P )
( X , 𝒪 )
( X , A )
( X , μ )
( X , D )
( X , Ω )
( X , d )
( X , )
1.0000
-1.0000
4.0000
( X , Σ ) .
( X , Σ ) ,

1.0000
-1.0000
4.0000
( X , Σ X )

1.0000
-1.0000
3.0000
S ( X , Y )
Q ( X , Y )
( X , )
P ( X , t )
𝒫 ( X , 𝒜 )
D ( X , Y )
F ( X , Y )
( X , Δ )
L ( X , )
P ( X , ε )
σ ( X , Y )
I ( X , Y )
g ( X , θ )
( X , Y )
ρ ( X , t )
T ( X , Y )
Hom ( X , Y )
𝒦 ( X , K )
P ( X , Y )
𝒞 ( X , )
L ( X , Y )
τ ( X , Z )
C ( X , M )
Z ( X , t )
G ( X , Φ )
p ( X , Y )
g ( X , Y )
Γ ( X , )
ψ ( X , t )
d ( X , Y )
H ( X , Y )
P ( X , x )
Sh ( X , 𝒞 )
NWScore ( X , Y )

1.0000
-1.0000
3.0000
( X , c l )

1.0000
-1.0000
3.0000
( X , x 0 )
( X , τ 2 )
( X , τ 1 )
( X , 𝒪 X )
( X , R i )
( X , d X )
1.0000
-1.0000
3.0000
( X , τ )
( X , 𝒯 )

1.0000
-1.0000
3.0000
( X , τ )

1.0000
-2.0000
4.0000
( X 1 , Σ 1 )
( X 2 , Σ 2 )

1.0000
-2.0000
3.0000
S = ( X , δ )
H = ( X , E )
M B ( X , J )
G = ( X , E )
I I ( X , Y )
M = ( X , d )
R = ( X , Y )

1.0000
-2.0000
3.0000
Γ ( X , T X )

1.0000
-7.0000
4.0000
f : ( X , Σ ) ( Y , T )

0.7059
-1.0000
3.0000
( X , cl )
( X , )
( X , )
( X , = )
( X , < )
( X , X )
0.7059
-2.0000
3.0000
( X , X )

0.7059
-2.0000
3.0000
Hom ( X , - )
Γ ( X , )
cov ( X , X )
Hom ( X , X )

0.7059
-2.0000
3.0000
( X * , )
( X ω , )

0.7059
-2.0000
3.0000
( X , X * )
( X , X )
( X , X n )
0.7059
-3.0000
3.0000
( X , )

0.7059
-3.0000
3.0000
P = ( X , < )
A = ( X , )
P = ( X , )