Class information for:
Level 1: PROOF COMPLEXITY//BOUNDED ARITHMETIC//PROPOSITIONAL PROOF COMPLEXITY

Basic class information
Bar chart of Publication_year

Last years might be incomplete

Hierarchy of classes
The table includes all classes above and classes immediately below the current class.


Cluster id Level Cluster label #P
12 4 COMPUTER SCIENCE, THEORY & METHODS//COMPUTER SCIENCE, INFORMATION SYSTEMS//COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE 1181119
149 3       COMPUTER SCIENCE, THEORY & METHODS//LECTURE NOTES IN COMPUTER SCIENCE//COMPUTER SCIENCE, SOFTWARE ENGINEERING 65076
2527 2             CONSTRAINTS//PROOF COMPLEXITY//BOUNDED ARITHMETIC 4040
13794 1                   PROOF COMPLEXITY//BOUNDED ARITHMETIC//PROPOSITIONAL PROOF COMPLEXITY 842

Terms with highest relevance score


rank Category termType chi_square shrOfCwithTerm shrOfTermInClass termInClass
1 PROOF COMPLEXITY authKW 2649132 11% 78% 91
2 BOUNDED ARITHMETIC authKW 2458891 9% 83% 79
3 PROPOSITIONAL PROOF COMPLEXITY authKW 743418 3% 83% 24
4 POLYNOMIAL CALCULUS authKW 598871 2% 100% 16
5 INTERPRETABILITY LOGIC authKW 451825 2% 93% 13
6 LOGIC WoSSC 423850 49% 3% 415
7 PIGEONHOLE PRINCIPLE authKW 317042 1% 71% 12
8 WEAK PIGEONHOLE PRINCIPLE authKW 299436 1% 100% 8
9 FREGE PROOFS authKW 262006 1% 100% 7
10 ANNALS OF PURE AND APPLIED LOGIC journal 235499 14% 5% 115

Web of Science journal categories


chi_square_rank Category chi_square shrOfCwithTerm shrOfTermInClass termInClass
1 Logic 423850 49% 3% 415
2 Mathematics 16017 59% 0% 500
3 Computer Science, Theory & Methods 10705 31% 0% 262
4 Mathematics, Applied 3669 27% 0% 226
5 Computer Science, Artificial Intelligence 350 6% 0% 50
6 Philosophy 350 3% 0% 29
7 Computer Science, Hardware & Architecture 245 3% 0% 28
8 Computer Science, Software Engineering 150 4% 0% 30
9 Computer Science, Information Systems 125 4% 0% 32
10 History & Philosophy of Science 36 1% 0% 7

Address terms


chi_square_rank term chi_square shrOfCwithTerm shrOfTermInClass termInClass
1 COMP LANGUAGES E185 192493 1% 86% 6
2 PREUVES PROGRAMMES SYST PPS 187147 1% 100% 5
3 DISCRETE MATH GEOMETRY E104 85550 0% 57% 4
4 ALGEBRA COMPUTAT MATH 49901 0% 33% 4
5 ABT TEORET INFORMAT 37429 0% 100% 1
6 ALEGBRA 37429 0% 100% 1
7 ALGEBRA COMP MATH 118 37429 0% 100% 1
8 ALGEBRA DISKRETE MATH 118 37429 0% 100% 1
9 ALGEBRA DISKRETE MATH 118 2 37429 0% 100% 1
10 CIENCIAS COMPUTAC E1A 37429 0% 100% 1

Journals


chi_square_rank term chi_square shrOfCwithTerm shrOfTermInClass termInClass
1 ANNALS OF PURE AND APPLIED LOGIC 235499 14% 5% 115
2 ARCHIVE FOR MATHEMATICAL LOGIC 150244 7% 6% 63
3 JOURNAL OF SYMBOLIC LOGIC 142989 13% 4% 106
4 MATHEMATICAL LOGIC QUARTERLY 50290 5% 3% 40
5 COMPUTATIONAL COMPLEXITY 38680 2% 5% 19
6 ACM TRANSACTIONS ON COMPUTATIONAL LOGIC 27346 2% 5% 16
7 ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK 21732 2% 3% 17
8 NOTRE DAME JOURNAL OF FORMAL LOGIC 11599 1% 3% 9
9 LOGIC JOURNAL OF THE IGPL 9736 2% 2% 13
10 LOGICAL METHODS IN COMPUTER SCIENCE 9544 2% 2% 13

Author Key Words


chi_square_rank term chi_square shrOfCwithTerm shrOfTermInClass termInClass LCSH search Wikipedia search
1 PROOF COMPLEXITY 2649132 11% 78% 91 Search PROOF+COMPLEXITY Search PROOF+COMPLEXITY
2 BOUNDED ARITHMETIC 2458891 9% 83% 79 Search BOUNDED+ARITHMETIC Search BOUNDED+ARITHMETIC
3 PROPOSITIONAL PROOF COMPLEXITY 743418 3% 83% 24 Search PROPOSITIONAL+PROOF+COMPLEXITY Search PROPOSITIONAL+PROOF+COMPLEXITY
4 POLYNOMIAL CALCULUS 598871 2% 100% 16 Search POLYNOMIAL+CALCULUS Search POLYNOMIAL+CALCULUS
5 INTERPRETABILITY LOGIC 451825 2% 93% 13 Search INTERPRETABILITY+LOGIC Search INTERPRETABILITY+LOGIC
6 PIGEONHOLE PRINCIPLE 317042 1% 71% 12 Search PIGEONHOLE+PRINCIPLE Search PIGEONHOLE+PRINCIPLE
7 WEAK PIGEONHOLE PRINCIPLE 299436 1% 100% 8 Search WEAK+PIGEONHOLE+PRINCIPLE Search WEAK+PIGEONHOLE+PRINCIPLE
8 FREGE PROOFS 262006 1% 100% 7 Search FREGE+PROOFS Search FREGE+PROOFS
9 PROVABILITY LOGIC 227594 2% 41% 15 Search PROVABILITY+LOGIC Search PROVABILITY+LOGIC
10 CUT ELIMINATION 195469 3% 18% 29 Search CUT+ELIMINATION Search CUT+ELIMINATION

Core articles
The table includes core articles in the class. The following variables is taken into account for the relevance score of an article in a cluster c:
(1) Number of references referring to publications in the class.
(2) Share of total number of active references referring to publications in the class.
(3) Age of the article. New articles get higher score than old articles.
(4) Citation rate, normalized to year.

Classes with closest relation at Level 1


rank cluster_id2 link
1 14585 SATISFIABILITY//QUANTIFIED BOOLEAN FORMULAS//MAX SAT
2 13883 REVERSE MATHEMATICS//PROOF MINING//FUNCTIONAL INTERPRETATION
3 31908 JUSTIFICATION LOGIC//LOGIC OF PROOFS//REALIZATION THEOREM
4 36701 RECURSIVE SATURATION//BOUNDED SATURATION//MODELS OF ARITHMETIC
5 16415 COMMUNICATION COMPLEXITY//NEGATION LIMITED CIRCUIT//EXTENSION COMPLEXITY
6 11837 ARITHMETIC CIRCUITS//POLYNOMIAL IDENTITY TESTING//COMPUTATIONAL COMPLEXITY
7 8954 RESOURCE BOUNDED MEASURE//BOOLEAN HIERARCHY//SPARSE SETS
8 9932 CAVITY AND REPLICA METHOD//MESSAGE PASSING ALGORITHMS//NEURAL COMP GRP
9 14163 CUTTING PLANES//LIFT AND PROJECT//SPLIT CUTS
10 14844 CONSTRUCTIVE MATHEMATICS//CONSTRUCTIVE SET THEORY//CONSTRUCTIVE

Go to start page