Returned 94 matches
(100 formulae, 58 docs)
Lookup 5.111 ms, Re-ranking 698.854 ms
Found 40064 tuple postings, 23814 formulae, 7117 documents
1.0000
|
|
|
0.2019
|
|
|
0.1849
|
|
|
0.1818
|
|
|
0.1759
|
|
|
0.1544
|
|
|
0.1538
|
|
|
0.1395
|
|
|
0.1339
|
|
|
0.1308
|
|
|
0.1283
|
|
|
0.1273
|
|
|
0.1111
|
|
|
0.1107
|
|
|
0.1088
|
|
|
0.1028
|
|
|
0.1014
|
|
|
0.1013
|
|
|
0.0982
|
|
|
0.0976
|
|
|
0.0930
|
|
|
0.0926
|
|
|
0.0849
|
|
|
0.0824
|
|
|
0.0800
|
|
|
0.0797
|
|
|
0.0797
|
|
|
0.0761
|
|
|
0.0757
|
|
|
0.0748
|
|
|
0.0733
|
|
|
0.0711
|
|
|
0.0707
|
|
|
0.0697
|
|
|
0.0692
|
|
|
0.0690
|
|
|
0.0664
|
|
|
0.0660
|
|
|
0.0655
|
|
|
0.0653
|
|
|
0.0648
|
|
|
0.0648
|
|
|
0.0645
|
|
|
0.0633
|
|
|
0.0618
|
|
|
0.0606
|
|
|
0.0596
|
|
|
0.0594
|
|
|
0.0588
|
|
|
0.0586
|
|
|
0.0574
|
|
|
0.0567
|
|
|
0.0566
|
|
|
0.0560
|
|
|
0.0548
|
|
|
0.0534
|
|
|
0.0529
|
|
|
0.0529
|
|
|
0.0509
|
|
|
0.0508
|
|
|
0.0504
|
|
|
0.0484
|
|
|
0.0476
|
|
|
0.0468
|
|
|
0.0459
|
|
|
0.0453
|
|
|
0.0452
|
|
|
0.0447
|
|
|
0.0438
|
|
|
0.0437
|
|
|
0.0435
|
|
|
0.0427
|
|
|
0.0426
|
|
|
0.0418
|
|
|
0.0413
|
|
|
0.0413
|
|
|
0.0410
|
|
|
0.0407
|
|
|
0.0407
|
|
|
0.0405
|
|
|
0.0403
|
|
|
0.0398
|
|
|
0.0398
|
|
|
0.0398
|
|
|
0.0398
|
|
|
0.0398
|
|
|
0.0398
|
|
|
0.0388
|
|
|
0.0357
|
|
|
0.0350
|
|
|
0.0348
|
|
|
0.0338
|
|
|
0.0335
|
|
|
0.0295
|
|
|