Class information for: |
Basic class information |
Hierarchy of classes |
The table includes all classes above and classes immediately below the current class. |
Terms with highest relevance score |
| rank | Category | termType | chi_square | shrOfCwithTerm | shrOfTermInClass | termInClass |
|---|---|---|---|---|---|---|
| 1 | NEW FOUNDATIONS | authKW | 896874 | 5% | 62% | 8 |
| 2 | CONDENSED DETACHMENT | authKW | 409901 | 2% | 75% | 3 |
| 3 | ELEGANT PROOFS | authKW | 364358 | 1% | 100% | 2 |
| 4 | G SPENCER BROWN | authKW | 364358 | 1% | 100% | 2 |
| 5 | HOT LIST STRATEGY | authKW | 364358 | 1% | 100% | 2 |
| 6 | LINKED UR RESOLUTION | authKW | 364358 | 1% | 100% | 2 |
| 7 | PRIMARY ALGEBRA | authKW | 364358 | 1% | 100% | 2 |
| 8 | PROOF FINDING | authKW | 364358 | 1% | 100% | 2 |
| 9 | RESONANCE STRATEGY | authKW | 364358 | 1% | 100% | 2 |
| 10 | SHORTEST SINGLE AXIOMS | authKW | 364358 | 1% | 100% | 2 |
Web of Science journal categories |
| chi_square_rank | Category | chi_square | shrOfCwithTerm | shrOfTermInClass | termInClass |
|---|---|---|---|---|---|
| 1 | Logic | 7451 | 14% | 0% | 25 |
| 2 | Mathematics | 1962 | 46% | 0% | 80 |
| 3 | Computer Science, Artificial Intelligence | 1665 | 26% | 0% | 45 |
| 4 | Computer Science, Theory & Methods | 487 | 15% | 0% | 26 |
| 5 | History & Philosophy of Science | 224 | 4% | 0% | 7 |
| 6 | Mathematics, Applied | 93 | 10% | 0% | 18 |
| 7 | Philosophy | 73 | 3% | 0% | 6 |
| 8 | COMPUTER APPLICATIONS & CYBERNETICS | 68 | 1% | 0% | 1 |
| 9 | Computer Science, Hardware & Architecture | 22 | 2% | 0% | 4 |
| 10 | Mathematics, Interdisciplinary Applications | 20 | 3% | 0% | 5 |
Address terms |
| chi_square_rank | term | chi_square | shrOfCwithTerm | shrOfTermInClass | termInClass |
|---|---|---|---|---|---|
| 1 | KARL SUDHOFF GE ICHTE MED NAT WISSEN | 182179 | 1% | 100% | 1 |
| 2 | AUTOMATED REASONING PROJECT | 126119 | 2% | 23% | 3 |
| 3 | SECURE DEPENDABLE SOFTWARE | 60725 | 1% | 33% | 1 |
| 4 | R ESCOLA POLITECN | 52048 | 1% | 14% | 2 |
| 5 | LEARNING SYST PLICAT | 20240 | 1% | 11% | 1 |
| 6 | RICHARD W RILEY EDUC | 20240 | 1% | 11% | 1 |
| 7 | STATE INTELLIGENCE TECHNOL SYST | 10119 | 1% | 6% | 1 |
| 8 | SCI 371 | 7005 | 1% | 4% | 1 |
| 9 | DISCRETE MATH COMP | 6333 | 1% | 2% | 2 |
| 10 | RSISE | 5780 | 1% | 2% | 2 |
Journals |
| chi_square_rank | term | chi_square | shrOfCwithTerm | shrOfTermInClass | termInClass |
|---|---|---|---|---|---|
| 1 | JOURNAL OF AUTOMATED REASONING | 230225 | 17% | 4% | 30 |
| 2 | JOURNAL OF SYMBOLIC LOGIC | 6183 | 6% | 0% | 10 |
| 3 | ANNALS OF PURE AND APPLIED LOGIC | 4237 | 4% | 0% | 7 |
| 4 | ABACUS-NEW YORK | 4046 | 1% | 2% | 1 |
| 5 | ALGEBRA UNIVERSALIS | 3613 | 3% | 0% | 6 |
| 6 | RUSSELL-THE JOURNAL OF THE BERTRAND RUSSELL STUDIES | 3194 | 1% | 2% | 1 |
| 7 | ARS COMBINATORIA | 3069 | 5% | 0% | 8 |
| 8 | INTERNATIONAL JOURNAL OF GENERAL SYSTEMS | 2664 | 2% | 0% | 4 |
| 9 | MATHEMATICAL INTELLIGENCER | 2647 | 2% | 0% | 3 |
| 10 | ARCHIVE FOR HISTORY OF EXACT SCIENCES | 2639 | 2% | 0% | 3 |
Author Key Words |
| chi_square_rank | term | chi_square | shrOfCwithTerm | shrOfTermInClass | termInClass | LCSH search | Wikipedia search |
|---|---|---|---|---|---|---|---|
| 1 | NEW FOUNDATIONS | 896874 | 5% | 62% | 8 | Search NEW+FOUNDATIONS | Search NEW+FOUNDATIONS |
| 2 | CONDENSED DETACHMENT | 409901 | 2% | 75% | 3 | Search CONDENSED+DETACHMENT | Search CONDENSED+DETACHMENT |
| 3 | ELEGANT PROOFS | 364358 | 1% | 100% | 2 | Search ELEGANT+PROOFS | Search ELEGANT+PROOFS |
| 4 | G SPENCER BROWN | 364358 | 1% | 100% | 2 | Search G+SPENCER+BROWN | Search G+SPENCER+BROWN |
| 5 | HOT LIST STRATEGY | 364358 | 1% | 100% | 2 | Search HOT+LIST+STRATEGY | Search HOT+LIST+STRATEGY |
| 6 | LINKED UR RESOLUTION | 364358 | 1% | 100% | 2 | Search LINKED+UR+RESOLUTION | Search LINKED+UR+RESOLUTION |
| 7 | PRIMARY ALGEBRA | 364358 | 1% | 100% | 2 | Search PRIMARY+ALGEBRA | Search PRIMARY+ALGEBRA |
| 8 | PROOF FINDING | 364358 | 1% | 100% | 2 | Search PROOF+FINDING | Search PROOF+FINDING |
| 9 | RESONANCE STRATEGY | 364358 | 1% | 100% | 2 | Search RESONANCE+STRATEGY | Search RESONANCE+STRATEGY |
| 10 | SHORTEST SINGLE AXIOMS | 364358 | 1% | 100% | 2 | Search SHORTEST+SINGLE+AXIOMS | Search SHORTEST+SINGLE+AXIOMS |
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 |