Returned 94 matches
(100 formulae, 81 docs)
Lookup 13.759 ms, Re-ranking 0.277 ms
Found 173014 tuple postings, 81772 formulae, 15774 documents
1.0000
|
|
|
0.4675
|
|
|
0.3097
|
|
|
0.2871
|
|
|
0.2832
|
|
|
0.2830
|
|
|
0.2581
|
|
|
0.2549
|
|
|
0.2475
|
|
|
0.2245
|
|
|
0.2232
|
|
|
0.2194
|
|
|
0.2167
|
|
|
0.2132
|
|
|
0.2109
|
|
|
0.2099
|
|
|
0.2073
|
|
|
0.1991
|
|
|
0.1981
|
|
|
0.1981
|
|
|
0.1963
|
|
|
0.1925
|
|
|
0.1918
|
|
|
0.1878
|
|
|
0.1868
|
|
|
0.1863
|
|
|
0.1844
|
|
|
0.1837
|
|
|
0.1835
|
|
|
0.1827
|
|
|
0.1789
|
|
|
0.1784
|
|
|
0.1771
|
|
|
0.1762
|
|
|
0.1753
|
|
|
0.1731
|
|
|
0.1722
|
|
|
0.1717
|
|
|
0.1709
|
|
|
0.1698
|
|
|
0.1684
|
|
|
0.1674
|
|
|
0.1667
|
|
|
0.1659
|
|
|
0.1644
|
|
|
0.1643
|
|
|
0.1635
|
|
|
0.1634
|
|
|
0.1633
|
|
|
0.1633
|
|
|
0.1629
|
|
|
0.1628
|
|
|
0.1627
|
|
|
0.1624
|
|
|
0.1614
|
|
|
0.1609
|
|
|
0.1593
|
|
|
0.1591
|
|
|
0.1591
|
|
|
0.1590
|
|
|
0.1589
|
|
|
0.1586
|
|
|
0.1581
|
|
|
0.1573
|
|
|
0.1567
|
|
|
0.1565
|
|
|
0.1564
|
|
|
0.1564
|
|
|
0.1561
|
|
|
0.1554
|
|
|
0.1553
|
|
|
0.1553
|
|
|
0.1547
|
|
|
0.1538
|
|
|
0.1538
|
|
|
0.1538
|
|
|
0.1532
|
|
|
0.1529
|
|
|
0.1527
|
|
|
0.1524
|
|
|
0.1522
|
|
|
0.1517
|
|
|
0.1515
|
|
|
0.1514
|
|
|
0.1509
|
|
|
0.1504
|
|
|
0.1498
|
|
|
0.1494
|
|
|
0.1493
|
|
|
0.1489
|
|
|
0.1479
|
|
|
0.1471
|
|
|
0.1468
|
|
|
0.1467
|
|
|