Returned 97 matches
(100 formulae, 81 docs)
Lookup 3.594 ms, Re-ranking 111.069 ms
Found 41415 tuple postings, 32272 formulae, 9946 documents
1.0000
|
|
|
0.1983
|
|
|
0.1840
|
|
|
0.1720
|
|
|
0.1702
|
|
|
0.1633
|
|
|
0.1609
|
|
|
0.1554
|
|
|
0.1538
|
|
|
0.1528
|
|
|
0.1500
|
|
|
0.1500
|
|
|
0.1489
|
|
|
0.1489
|
|
|
0.1481
|
|
|
0.1468
|
|
|
0.1458
|
|
|
0.1455
|
|
|
0.1445
|
|
|
0.1440
|
|
|
0.1429
|
|
|
0.1392
|
|
|
0.1389
|
|
|
0.1382
|
|
|
0.1375
|
|
|
0.1374
|
|
|
0.1374
|
|
|
0.1351
|
|
|
0.1322
|
|
|
0.1322
|
|
|
0.1313
|
|
|
0.1304
|
|
|
0.1299
|
|
|
0.1284
|
|
|
0.1282
|
|
|
0.1237
|
|
|
0.1231
|
|
|
0.1231
|
|
|
0.1224
|
|
|
0.1207
|
|
|
0.1205
|
|
|
0.1184
|
|
|
0.1176
|
|
|
0.1176
|
|
|
0.1176
|
|
|
0.1176
|
|
|
0.1167
|
|
|
0.1161
|
|
|
0.1146
|
|
|
0.1143
|
|
|
0.1136
|
|
|
0.1127
|
|
|
0.1127
|
|
|
0.1111
|
|
|
0.1111
|
|
|
0.1111
|
|
|
0.1099
|
|
|
0.1098
|
|
|
0.1098
|
|
|
0.1096
|
|
|
0.1096
|
|
|
0.1096
|
|
|
0.1092
|
|
|
0.1081
|
|
|
0.1067
|
|
|
0.1064
|
|
|
0.1053
|
|
|
0.1042
|
|
|
0.1039
|
|
|
0.1039
|
|
|
0.1034
|
|
|
0.1019
|
|
|
0.1013
|
|
|
0.1000
|
|
|
0.1000
|
|
|
0.0988
|
|
|
0.0986
|
|
|
0.0979
|
|
|
0.0976
|
|
|
0.0976
|
|
|
0.0971
|
|
|
0.0964
|
|
|
0.0964
|
|
|
0.0947
|
|
|
0.0938
|
|
|
0.0926
|
|
|
0.0909
|
|
|
0.0896
|
|
|
0.0851
|
|
|
0.0847
|
|
|
0.0841
|
|
|
0.0833
|
|
|
0.0822
|
|
|
0.0789
|
|
|
0.0784
|
|
|
0.0781
|
|
|
0.0769
|
|
|