Returned 98 matches
(100 formulae, 76 docs)
Lookup 7.920 ms, Re-ranking 1735.132 ms
Found 102191 tuple postings, 57433 formulae, 13001 documents
1.0000
|
|
|
0.4015
|
|
|
0.2411
|
|
|
0.2339
|
|
|
0.2203
|
|
|
0.2171
|
|
|
0.2067
|
|
|
0.2022
|
|
|
0.1994
|
|
|
0.1774
|
|
|
0.1751
|
|
|
0.1742
|
|
|
0.1726
|
|
|
0.1681
|
|
|
0.1667
|
|
|
0.1625
|
|
|
0.1618
|
|
|
0.1590
|
|
|
0.1573
|
|
|
0.1553
|
|
|
0.1538
|
|
|
0.1528
|
|
|
0.1514
|
|
|
0.1512
|
|
|
0.1511
|
|
|
0.1458
|
|
|
0.1443
|
|
|
0.1429
|
|
|
0.1423
|
|
|
0.1406
|
|
|
0.1378
|
|
|
0.1373
|
|
|
0.1361
|
|
|
0.1346
|
|
|
0.1341
|
|
|
0.1340
|
|
|
0.1330
|
|
|
0.1330
|
|
|
0.1321
|
|
|
0.1316
|
|
|
0.1303
|
|
|
0.1300
|
|
|
0.1283
|
|
|
0.1262
|
|
|
0.1250
|
|
|
0.1242
|
|
|
0.1226
|
|
|
0.1215
|
|
|
0.1192
|
|
|
0.1189
|
|
|
0.1187
|
|
|
0.1179
|
|
|
0.1179
|
|
|
0.1179
|
|
|
0.1159
|
|
|
0.1159
|
|
|
0.1149
|
|
|
0.1149
|
|
|
0.1149
|
|
|
0.1146
|
|
|
0.1145
|
|
|
0.1137
|
|
|
0.1093
|
|
|
0.1084
|
|
|
0.1071
|
|
|
0.1067
|
|
|
0.1059
|
|
|
0.1037
|
|
|
0.1034
|
|
|
0.1034
|
|
|
0.1030
|
|
|
0.1027
|
|
|
0.1020
|
|
|
0.1017
|
|
|
0.1016
|
|
|
0.1016
|
|
|
0.1014
|
|
|
0.1000
|
|
|
0.0996
|
|
|
0.0992
|
|
|
0.0935
|
|
|
0.0928
|
|
|
0.0924
|
|
|
0.0913
|
|
|
0.0897
|
|
|
0.0826
|
|
|
0.0826
|
|
|
0.0814
|
|
|
0.0800
|
|
|
0.0781
|
|
|
0.0731
|
|
|
0.0717
|
|
|
0.0711
|
|
|
0.0667
|
|
|
0.0631
|
|
|
0.0585
|
|
|
0.0583
|
|
|
0.0546
|
|
|