Najczęściej wyszukiwane

Wyszukiwane frazyWyszukiwania% wszystkichOdwiedziny stron / Wyszukiwania
1dateIssued_keyword:20191173861,38%0,00
2has_content_in_original_bundle_keyword:true1147259,98%0,00
3author_authority:(0be26de6-c13d-4da9-8d87-26344f753785)692636,21%0,00
4subject_keyword:sequent calculus640933,51%0,00
5subject_keyword:automated deduction592430,98%0,00
6subject_keyword:automated rules generation555929,07%0,00
7author_authority:(78f1e80a-38e3-4e29-9bd0-ff6457942c9d)531727,80%0,00
8subject_keyword:classical propositional logic520027,19%0,00
9subject_keyword:functional completeness507926,56%0,00
10author_authority:(ad79061d-b826-4669-99fd-08fc45b74485)498026,04%0,00

Suma

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