Top Search Terms

Search TermSearches% of TotalPageviews / Search
1has_content_in_original_bundle_keyword:true4087867,67%0,00
2dateIssued_keyword:20194083967,61%0,00
3author_authority:(0be26de6-c13d-4da9-8d87-26344f753785)2522241,75%0,00
4subject_keyword:sequent calculus2471340,91%0,00
5subject_keyword:automated rules generation2265037,50%0,00
6subject_keyword:automated deduction2260937,43%0,00
7author_authority:(78f1e80a-38e3-4e29-9bd0-ff6457942c9d)2169335,91%0,00
8subject_keyword:classical propositional logic2129935,26%0,00
9author_authority:(ad79061d-b826-4669-99fd-08fc45b74485)2075434,36%0,00
10subject_keyword:functional completeness2073034,32%0,00

Total

Searches% of TotalPageviews / Search
60406100,00%0,00