Najczęściej wyszukiwane

Wyszukiwane frazyWyszukiwania% wszystkichOdwiedziny stron / Wyszukiwania
1has_content_in_original_bundle_keyword:true1345852,53%0,00
2dateIssued_keyword:20191345652,52%0,00
3subject_keyword:sequent calculus748629,22%0,00
4author_authority:(0be26de6-c13d-4da9-8d87-26344f753785)735128,69%0,00
5subject_keyword:automated deduction660425,78%0,00
6subject_keyword:automated rules generation630024,59%0,00
7subject_keyword:classical propositional logic598623,36%0,00
8author_authority:(78f1e80a-38e3-4e29-9bd0-ff6457942c9d)569422,22%0,00
9subject_keyword:functional completeness560121,86%0,00
10author_authority:(ad79061d-b826-4669-99fd-08fc45b74485)536020,92%0,00

Suma

Wyszukiwania% wszystkichOdwiedziny stron / Wyszukiwania
25620100,00%0,00