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 | ALGEBRAIC SPECIFICATION | authKW | 1109438 | 7% | 54% | 73 |
| 2 | REWRITING LOGIC | authKW | 1084196 | 5% | 70% | 55 |
| 3 | CAFEOBJ | authKW | 509677 | 2% | 100% | 18 |
| 4 | MAUDE | authKW | 490049 | 3% | 58% | 30 |
| 5 | EQUIVALENT DEDUCTIVE SYSTEMS | authKW | 198208 | 1% | 100% | 7 |
| 6 | EQUIVALENT INSTITUTIONS | authKW | 198208 | 1% | 100% | 7 |
| 7 | BISS | address | 179011 | 1% | 45% | 14 |
| 8 | ALGEBRAIZABLE INSTITUTIONS | authKW | 169892 | 1% | 100% | 6 |
| 9 | INSTITUTION THEORY | authKW | 152896 | 1% | 60% | 9 |
| 10 | ALGEBRAIZABLE LOGICS | authKW | 149019 | 1% | 53% | 10 |
Web of Science journal categories |
| chi_square_rank | Category | chi_square | shrOfCwithTerm | shrOfTermInClass | termInClass |
|---|---|---|---|---|---|
| 1 | Computer Science, Theory & Methods | 71237 | 69% | 0% | 767 |
| 2 | Logic | 14931 | 8% | 1% | 90 |
| 3 | Computer Science, Software Engineering | 10079 | 22% | 0% | 247 |
| 4 | Computer Science, Information Systems | 1908 | 11% | 0% | 126 |
| 5 | Mathematics, Applied | 799 | 12% | 0% | 131 |
| 6 | Computer Science, Artificial Intelligence | 769 | 7% | 0% | 83 |
| 7 | Computer Science, Hardware & Architecture | 521 | 4% | 0% | 46 |
| 8 | COMPUTER APPLICATIONS & CYBERNETICS | 377 | 1% | 0% | 6 |
| 9 | Mathematics | 208 | 7% | 0% | 83 |
| 10 | Mathematics, Interdisciplinary Applications | 67 | 2% | 0% | 25 |
Address terms |
| chi_square_rank | term | chi_square | shrOfCwithTerm | shrOfTermInClass | termInClass |
|---|---|---|---|---|---|
| 1 | BISS | 179011 | 1% | 45% | 14 |
| 2 | BREMEN SAFE SYST | 138741 | 1% | 70% | 7 |
| 3 | GRP PROJECT ID 3 0439 | 84946 | 0% | 100% | 3 |
| 4 | SECT THEORY COMP SCI | 64718 | 0% | 57% | 4 |
| 5 | DSIC ELP | 64348 | 0% | 45% | 5 |
| 6 | FORMAL SYST | 63708 | 0% | 75% | 3 |
| 7 | ABT DATENBANKEN | 56631 | 0% | 100% | 2 |
| 8 | DATENBANKEN ABT | 56631 | 0% | 100% | 2 |
| 9 | LENG SIST INF | 56631 | 0% | 100% | 2 |
| 10 | FDN COMP SCI | 43242 | 2% | 8% | 18 |
Journals |
| chi_square_rank | term | chi_square | shrOfCwithTerm | shrOfTermInClass | termInClass |
|---|---|---|---|---|---|
| 1 | LECTURE NOTES IN COMPUTER SCIENCE | 80418 | 45% | 1% | 500 |
| 2 | THEORETICAL COMPUTER SCIENCE | 36168 | 11% | 1% | 118 |
| 3 | SCIENCE OF COMPUTER PROGRAMMING | 22415 | 3% | 2% | 36 |
| 4 | JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING | 19219 | 1% | 5% | 15 |
| 5 | ACTA INFORMATICA | 18150 | 2% | 2% | 27 |
| 6 | JOURNAL OF LOGIC AND COMPUTATION | 7082 | 1% | 2% | 16 |
| 7 | JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING | 6056 | 1% | 4% | 6 |
| 8 | APPLIED CATEGORICAL STRUCTURES | 5562 | 1% | 2% | 12 |
| 9 | REPORTS ON MATHEMATICAL LOGIC | 5534 | 0% | 7% | 3 |
| 10 | JOURNAL OF COMPUTER AND SYSTEM SCIENCES | 3623 | 2% | 1% | 17 |
Author Key Words |
| chi_square_rank | term | chi_square | shrOfCwithTerm | shrOfTermInClass | termInClass | LCSH search | Wikipedia search |
|---|---|---|---|---|---|---|---|
| 1 | ALGEBRAIC SPECIFICATION | 1109438 | 7% | 54% | 73 | Search ALGEBRAIC+SPECIFICATION | Search ALGEBRAIC+SPECIFICATION |
| 2 | REWRITING LOGIC | 1084196 | 5% | 70% | 55 | Search REWRITING+LOGIC | Search REWRITING+LOGIC |
| 3 | CAFEOBJ | 509677 | 2% | 100% | 18 | Search CAFEOBJ | Search CAFEOBJ |
| 4 | MAUDE | 490049 | 3% | 58% | 30 | Search MAUDE | Search MAUDE |
| 5 | EQUIVALENT DEDUCTIVE SYSTEMS | 198208 | 1% | 100% | 7 | Search EQUIVALENT+DEDUCTIVE+SYSTEMS | Search EQUIVALENT+DEDUCTIVE+SYSTEMS |
| 6 | EQUIVALENT INSTITUTIONS | 198208 | 1% | 100% | 7 | Search EQUIVALENT+INSTITUTIONS | Search EQUIVALENT+INSTITUTIONS |
| 7 | ALGEBRAIZABLE INSTITUTIONS | 169892 | 1% | 100% | 6 | Search ALGEBRAIZABLE+INSTITUTIONS | Search ALGEBRAIZABLE+INSTITUTIONS |
| 8 | INSTITUTION THEORY | 152896 | 1% | 60% | 9 | Search INSTITUTION+THEORY | Search INSTITUTION+THEORY |
| 9 | ALGEBRAIZABLE LOGICS | 149019 | 1% | 53% | 10 | Search ALGEBRAIZABLE+LOGICS | Search ALGEBRAIZABLE+LOGICS |
| 10 | LEIBNIZ CONGRUENCE | 127416 | 1% | 75% | 6 | Search LEIBNIZ+CONGRUENCE | Search LEIBNIZ+CONGRUENCE |
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 |