Returned 95 matches
(100 formulae, 111 docs)
Lookup 928.272 ms, Re-ranking 449.232 ms
Found 18280374 tuple postings, 10740789 formulae, 4293125 documents
0.4878 -17.0000 11.0000
|
|
|
0.4412 -6.0000 8.0000
|
|
|
0.4412 -9.0000 9.0000
|
|
|
0.3200 -3.0000 6.0000
|
|
|
0.3200 -4.0000 8.0000
|
|
|
0.3200 -8.0000 8.0000
|
|
|
0.3200 -8.0000 7.0000
|
|
|
0.3200 -8.0000 5.0000
|
|
|
0.3200 -9.0000 8.0000
|
|
|
0.3200 -13.0000 8.0000
|
|
|
0.3011 0.0000 7.0000
|
|
|
0.3011 -3.0000 4.0000
|
|
|
0.3011 -10.0000 6.0000
|
|
|
0.2724 -2.0000 6.0000
|
|
|
0.2724 -7.0000 6.0000
|
|
|
0.2724 -10.0000 4.0000
|
|
|
0.2724 -11.0000 7.0000
|
|
|
0.2724 -11.0000 4.0000
|
|
|
0.2724 -15.0000 4.0000
|
|
|
0.2542 -2.0000 6.0000
|
|
|
0.2542 -3.0000 6.0000
|
|
|
0.2542 -4.0000 4.0000
|
|
|
0.2542 -6.0000 6.0000
|
|
|
0.2542 -7.0000 4.0000
|
|
|
0.2542 -8.0000 6.0000
|
|
|
0.2542 -8.0000 5.0000
|
|
|
0.2542 -8.0000 3.0000
|
|
|
0.2542 -8.0000 3.0000
|
|
|
0.2542 -10.0000 4.0000
|
|
|
0.2542 -14.0000 4.0000
|
|
|
0.2243 -4.0000 4.0000
|
|
|
0.2243 -12.0000 5.0000
|
|
|
0.2243 -15.0000 4.0000
|
|
|
0.2073 -1.0000 3.0000
|
|
|
0.2073 -3.0000 5.0000
|
|
|
0.2073 -3.0000 3.0000
|
|
|
0.2073 -4.0000 5.0000
|
|
|
0.2073 -4.0000 5.0000
|
|
|
0.2073 -4.0000 5.0000
|
|
|
0.2073 -6.0000 5.0000
|
|
|
0.2073 -7.0000 4.0000
|
|
|
0.2073 -7.0000 3.0000
|
|
|
0.2073 -8.0000 3.0000
|
|
|
0.2073 -9.0000 5.0000
|
|
|
0.2073 -9.0000 5.0000
|
|
|
0.2073 -9.0000 5.0000
|
|
|
0.2073 -10.0000 5.0000
|
|
|
0.2073 -10.0000 5.0000
|
|
|
0.2073 -11.0000 5.0000
|
|
|
0.2073 -12.0000 5.0000
|
|
|
0.2073 -12.0000 4.0000
|
|
|
0.2073 -13.0000 5.0000
|
|
|
0.2073 -14.0000 5.0000
|
|
|
0.2073 -14.0000 5.0000
|
|
|
0.2073 -19.0000 3.0000
|
|
|
0.2073 -20.0000 5.0000
|
|
|
0.2073 -20.0000 3.0000
|
|
|
0.1754 -5.0000 2.0000
|
|
|
0.1754 -6.0000 4.0000
|
|
|
0.1754 -8.0000 4.0000
|
|
|
0.1754 -11.0000 3.0000
|
|
|
0.1754 -12.0000 3.0000
|
|
|
0.1754 -16.0000 4.0000
|
|
|
0.1600 -5.0000 4.0000
|
|
|
0.1600 -5.0000 4.0000
|
|
|
0.1600 -5.0000 4.0000
|
|
|
0.1600 -6.0000 4.0000
|
|
|
0.1600 -6.0000 4.0000
|
|
|
0.1600 -6.0000 3.0000
|
|
|
0.1600 -7.0000 4.0000
|
|
|
0.1600 -7.0000 4.0000
|
|
|
0.1600 -7.0000 4.0000
|
|
|
0.1600 -8.0000 4.0000
|
|
|
0.1600 -8.0000 4.0000
|
|
|
0.1600 -8.0000 4.0000
|
|
|
0.1600 -9.0000 4.0000
|
|
|
0.1600 -9.0000 4.0000
|
|
|
0.1600 -10.0000 4.0000
|
|
|
0.1600 -11.0000 4.0000
|
|
|
0.1600 -11.0000 4.0000
|
|
|
0.1600 -11.0000 4.0000
|
|
|
0.1600 -12.0000 4.0000
|
|
|
0.1600 -12.0000 4.0000
|
|
|
0.1600 -12.0000 4.0000
|
|
|
0.1600 -12.0000 4.0000
|
|
|
0.1600 -12.0000 4.0000
|
|
|
0.1600 -13.0000 4.0000
|
|
|
0.1600 -13.0000 4.0000
|
|
|
0.1600 -13.0000 4.0000
|
|
|
0.1600 -14.0000 4.0000
|
|
|
0.1600 -15.0000 4.0000
|
|
|
0.1600 -15.0000 4.0000
|
|
|
0.1600 -15.0000 3.0000
|
|
|
0.1600 -16.0000 4.0000
|
|
|
0.1600 -16.0000 4.0000
|
|
|