Returned 72 matches
(100 formulae, 60 docs)
Lookup 2.050 ms, Re-ranking 0.156 ms
Found 20787 tuple postings, 16604 formulae, 6491 documents
1.0000
|
|
|
0.6383
|
|
|
0.5116
|
|
|
0.4731
|
|
|
0.4186
|
|
|
0.3871
|
|
|
0.3333
|
|
|
0.3191
|
|
|
0.2881
|
|
|
0.2727
|
|
|
0.2564
|
|
|
0.2151
|
|
|
0.2128
|
|
|
0.2041
|
|
|
0.2020
|
|
|
0.2000
|
|
|
0.1944
|
|
|
0.1942
|
|
|
0.1935
|
|
|
0.1935
|
|
|
0.1905
|
|
|
0.1887
|
|
|
0.1818
|
|
|
0.1818
|
|
|
0.1786
|
|
|
0.1786
|
|
|
0.1765
|
|
|
0.1687
|
|
|
0.1667
|
|
|
0.1649
|
|
|
0.1639
|
|
|
0.1613
|
|
|
0.1600
|
|
|
0.1550
|
|
|
0.1538
|
|
|
0.1500
|
|
|
0.1500
|
|
|
0.1481
|
|
|
0.1446
|
|
|
0.1446
|
|
|
0.1446
|
|
|
0.1429
|
|
|
0.1412
|
|
|
0.1404
|
|
|
0.1395
|
|
|
0.1358
|
|
|
0.1353
|
|
|
0.1351
|
|
|
0.1333
|
|
|
0.1319
|
|
|
0.1304
|
|
|
0.1304
|
|
|
0.1290
|
|
|
0.1263
|
|
|
0.1231
|
|
|
0.1224
|
|
|
0.1212
|
|
|
0.1212
|
|
|
0.1200
|
|
|
0.1176
|
|
|
0.1176
|
|
|
0.1159
|
|
|
0.1149
|
|
|
0.1132
|
|
|
0.1132
|
|
|
0.1132
|
|
|
0.1121
|
|
|
0.1121
|
|
|
0.1111
|
|
|
0.1111
|
|
|
0.1111
|
|
|
0.1111
|
|
|