Returned 49 matches
(100 formulae, 509 docs)
Lookup 3.757 ms, Re-ranking 62.046 ms
Found 15119 tuple postings, 14498 formulae, 6097 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 -9.0000 4.0000
|
|
|
0.3448 -4.0000 4.0000
|
|
|
0.3200 -1.0000 3.0000
|
|
|
0.3200 -4.0000 3.0000
|
|
|
0.3200 -6.0000 3.0000
|
|
|
0.3200 -6.0000 3.0000
|
|
|
0.3200 -8.0000 4.0000
|
|
|
0.2857 0.0000 3.0000
|
|
|
0.2857 0.0000 2.0000
|
|
|
0.2857 -1.0000 3.0000
|
|
|
0.2857 -2.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 3.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 -5.0000 3.0000
|
|
|
0.2857 -5.0000 3.0000
|
|
|
0.2857 -5.0000 3.0000
|
|
|
0.2857 -5.0000 3.0000
|
|
|
0.2857 -5.0000 3.0000
|
|
|
0.2857 -6.0000 3.0000
|
|
|
0.2857 -6.0000 3.0000
|
|
|
0.2857 -7.0000 3.0000
|
|
|
0.2857 -7.0000 3.0000
|
|
|
0.2857 -7.0000 2.0000
|
|
|
0.2857 -7.0000 2.0000
|
|
|
0.2857 -8.0000 3.0000
|
|
|
0.2857 -8.0000 3.0000
|
|
|
0.2857 -8.0000 2.0000
|
|
|
0.2857 -8.0000 2.0000
|
|
|
0.2857 -8.0000 2.0000
|
|
|
0.2857 -9.0000 3.0000
|
|
|
0.1951 -4.0000 3.0000
|
|
|
0.1600 0.0000 2.0000
|
|
|
0.1600 0.0000 2.0000
|
|
|
0.1600 0.0000 2.0000
|
|
|
0.1600 -3.0000 2.0000
|
|
|
0.1600 -4.0000 2.0000
|
|
|
0.1600 -5.0000 2.0000
|
|
|
0.1600 -6.0000 2.0000
|
|
|