Search Statistics

	Search Term	Searches	% of Total
1	has_content_in_original_bundle_keyword:true	453	36,71%
2	dateIssued_keyword:2025	336	27,23%
3	subject_keyword:normalization theorem	285	23,10%
4	author_authority:(97c450b1-b4d3-4f2e-81ae-a81b9fc3d889)	275	22,29%
5	subject_keyword:linear-time temporal logic	236	19,12%
6	author_authority:(132c09d1-d767-4848-a9e2-58613591ebb4)	208	16,86%
7	subject_keyword:intuitionistic linear-time temporal logic	191	15,48%
8	subject_keyword:cut-elimination theorem	172	13,94%
9	subject_keyword:sequent calculus	156	12,64%
10	subject_keyword:natural deduction	153	12,40%

Searches	% of Total	Pageviews / Search
1234	100,00%	0,00

Search Statistics for Bulletin of the Section of Logic 54/2 (2025)