Returned 53 matches
(100 formulae, 333 docs)
Lookup 3.674 ms, Re-ranking 53.553 ms
Found 66382 tuple postings, 48419 formulae, 11976 documents
1.0000 0.0000 9.0000
|
|
|
0.4478 -3.0000 2.0000
|
|
|
0.4068 -1.0000 4.0000
|
|
|
0.4068 -1.0000 4.0000
|
|
|
0.4068 -3.0000 3.0000
|
|
|
0.4068 -4.0000 2.0000
|
|
|
0.4068 -9.0000 4.0000
|
|
|
0.3200 -1.0000 3.0000
|
|
|
0.3200 -3.0000 3.0000
|
|
|
0.2857 0.0000 3.0000
|
|
|
0.2857 0.0000 2.0000
|
|
|
0.2857 -1.0000 3.0000
|
|
|
0.2857 -1.0000 2.0000
|
|
|
0.2857 -2.0000 3.0000
|
|
|
0.2857 -2.0000 2.0000
|
|
|
0.2857 -2.0000 2.0000
|
|
|
0.2857 -3.0000 3.0000
|
|
|
0.2857 -3.0000 3.0000
|
|
|
0.2857 -3.0000 3.0000
|
|
|
0.2857 -3.0000 3.0000
|
|
|
0.2857 -3.0000 2.0000
|
|
|
0.2857 -4.0000 3.0000
|
|
|
0.2857 -4.0000 3.0000
|
|
|
0.2857 -4.0000 3.0000
|
|
|
0.2857 -4.0000 3.0000
|
|
|
0.2857 -4.0000 2.0000
|
|
|
0.2857 -4.0000 2.0000
|
|
|
0.2857 -4.0000 2.0000
|
|
|
0.2857 -4.0000 2.0000
|
|
|
0.2857 -4.0000 2.0000
|
|
|
0.2857 -4.0000 2.0000
|
|
|
0.2857 -4.0000 2.0000
|
|
|
0.2857 -5.0000 3.0000
|
|
|
0.2857 -5.0000 3.0000
|
|
|
0.2857 -5.0000 3.0000
|
|
|
0.2857 -5.0000 2.0000
|
|
|
0.2857 -6.0000 3.0000
|
|
|
0.2857 -6.0000 2.0000
|
|
|
0.1818 -4.0000 0.0000
|
|
|
0.1818 -5.0000 1.0000
|
|
|
0.1818 -5.0000 0.0000
|
|
|
0.1600 0.0000 2.0000
|
|
|
0.1600 -3.0000 2.0000
|
|
|
0.1600 -3.0000 2.0000
|
|
|
0.1600 -4.0000 2.0000
|
|
|
0.1600 -4.0000 2.0000
|
|
|
0.1600 -4.0000 2.0000
|
|
|
0.1600 -4.0000 2.0000
|
|
|
0.1600 -4.0000 1.0000
|
|
|
0.1600 -5.0000 2.0000
|
|
|
0.1600 -5.0000 2.0000
|
|
|
0.1600 -5.0000 2.0000
|
|
|
0.1600 -6.0000 2.0000
|
|
|