Returned 94 matches
(100 formulae, 58 docs)
Lookup 5.111 ms, Re-ranking 776.941 ms
Found 40064 tuple postings, 23814 formulae, 7117 documents
1.0000
|
|
|
0.2089
|
|
|
0.2019
|
|
|
0.1818
|
|
|
0.1779
|
|
|
0.1759
|
|
|
0.1623
|
|
|
0.1544
|
|
|
0.1475
|
|
|
0.1429
|
|
|
0.1395
|
|
|
0.1339
|
|
|
0.1319
|
|
|
0.1308
|
|
|
0.1293
|
|
|
0.1273
|
|
|
0.1215
|
|
|
0.1203
|
|
|
0.1160
|
|
|
0.1122
|
|
|
0.1111
|
|
|
0.1107
|
|
|
0.1100
|
|
|
0.1076
|
|
|
0.1060
|
|
|
0.1049
|
|
|
0.1014
|
|
|
0.0978
|
|
|
0.0945
|
|
|
0.0926
|
|
|
0.0887
|
|
|
0.0881
|
|
|
0.0863
|
|
|
0.0849
|
|
|
0.0846
|
|
|
0.0825
|
|
|
0.0792
|
|
|
0.0787
|
|
|
0.0782
|
|
|
0.0772
|
|
|
0.0768
|
|
|
0.0766
|
|
|
0.0761
|
|
|
0.0759
|
|
|
0.0757
|
|
|
0.0749
|
|
|
0.0720
|
|
|
0.0707
|
|
|
0.0697
|
|
|
0.0687
|
|
|
0.0660
|
|
|
0.0655
|
|
|
0.0652
|
|
|
0.0648
|
|
|
0.0648
|
|
|
0.0647
|
|
|
0.0645
|
|
|
0.0641
|
|
|
0.0637
|
|
|
0.0633
|
|
|
0.0630
|
|
|
0.0628
|
|
|
0.0615
|
|
|
0.0610
|
|
|
0.0606
|
|
|
0.0598
|
|
|
0.0596
|
|
|
0.0588
|
|
|
0.0583
|
|
|
0.0575
|
|
|
0.0529
|
|
|
0.0529
|
|
|
0.0509
|
|
|
0.0500
|
|
|
0.0480
|
|
|
0.0468
|
|
|
0.0468
|
|
|
0.0459
|
|
|
0.0455
|
|
|
0.0455
|
|
|
0.0450
|
|
|
0.0447
|
|
|
0.0447
|
|
|
0.0445
|
|
|
0.0438
|
|
|
0.0438
|
|
|
0.0438
|
|
|
0.0438
|
|
|
0.0426
|
|
|
0.0398
|
|
|
0.0372
|
|
|
0.0348
|
|
|
0.0335
|
|
|
0.0295
|
|
|