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 | PROOF PLANNING | authKW | 799762 | 4% | 64% | 9 |
| 2 | DEDUCTIVE PROGRAM SYNTHESIS | authKW | 276463 | 1% | 100% | 2 |
| 3 | PROOF PATCHING | authKW | 276463 | 1% | 100% | 2 |
| 4 | QUANTIFIED MODAL LOGICS | authKW | 276463 | 1% | 100% | 2 |
| 5 | INVARIANT DISCOVERY | authKW | 184308 | 1% | 67% | 2 |
| 6 | INDUCTIVE THEOREM PROVING | authKW | 155507 | 1% | 38% | 3 |
| 7 | ACCESSIBLE INFORMAT PEOPLE PRINT IMPAIRMENT | address | 138232 | 0% | 100% | 1 |
| 8 | ARBEITSGRP SIEKMANN AGS | address | 138232 | 0% | 100% | 1 |
| 9 | ASSOC BRAILLENET | address | 138232 | 0% | 100% | 1 |
| 10 | AUTOMATED PROOF PLANNING | authKW | 138232 | 0% | 100% | 1 |
Web of Science journal categories |
| chi_square_rank | Category | chi_square | shrOfCwithTerm | shrOfTermInClass | termInClass |
|---|---|---|---|---|---|
| 1 | Computer Science, Artificial Intelligence | 7876 | 49% | 0% | 111 |
| 2 | Computer Science, Theory & Methods | 2738 | 30% | 0% | 69 |
| 3 | Computer Science, Software Engineering | 803 | 14% | 0% | 32 |
| 4 | Logic | 316 | 3% | 0% | 6 |
| 5 | Computer Science, Information Systems | 306 | 10% | 0% | 23 |
| 6 | Mathematics, Applied | 279 | 15% | 0% | 34 |
| 7 | Computer Science, Interdisciplinary Applications | 147 | 7% | 0% | 17 |
| 8 | Nuclear Science & Technology | 124 | 7% | 0% | 17 |
| 9 | Rehabilitation | 84 | 4% | 0% | 10 |
| 10 | Computer Science, Hardware & Architecture | 26 | 2% | 0% | 5 |
Address terms |
| chi_square_rank | term | chi_square | shrOfCwithTerm | shrOfTermInClass | termInClass |
|---|---|---|---|---|---|
| 1 | ACCESSIBLE INFORMAT PEOPLE PRINT IMPAIRMENT | 138232 | 0% | 100% | 1 |
| 2 | ARBEITSGRP SIEKMANN AGS | 138232 | 0% | 100% | 1 |
| 3 | ASSOC BRAILLENET | 138232 | 0% | 100% | 1 |
| 4 | BIBLIOTECA INFORMAT | 138232 | 0% | 100% | 1 |
| 5 | BREMEN SAFE SECURE SYST | 138232 | 0% | 100% | 1 |
| 6 | COMPETENCE ELEARNING | 138232 | 0% | 100% | 1 |
| 7 | EDINBURGH DEV | 138232 | 0% | 100% | 1 |
| 8 | FB INFORMAT 6 2 | 138232 | 0% | 100% | 1 |
| 9 | GERMAN ARTIFICAL INTELLIGENCE | 138232 | 0% | 100% | 1 |
| 10 | HBEREICH INFORMAT FB 14 | 138232 | 0% | 100% | 1 |
Journals |
| chi_square_rank | term | chi_square | shrOfCwithTerm | shrOfTermInClass | termInClass |
|---|---|---|---|---|---|
| 1 | JOURNAL OF AUTOMATED REASONING | 27933 | 5% | 2% | 12 |
| 2 | ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE | 18379 | 5% | 1% | 11 |
| 3 | LECTURE NOTES IN ARTIFICIAL INTELLIGENCE | 13409 | 18% | 0% | 40 |
| 4 | LECTURE NOTES IN COMPUTER SCIENCE | 7872 | 31% | 0% | 71 |
| 5 | JOURNAL OF SYMBOLIC COMPUTATION | 4899 | 4% | 0% | 9 |
| 6 | JOURNAL OF THE ATOMIC ENERGY SOCIETY OF JAPAN | 2839 | 2% | 1% | 4 |
| 7 | INFORMATION RETRIEVAL JOURNAL | 2763 | 0% | 2% | 1 |
| 8 | PROGRAMMING AND COMPUTER SOFTWARE | 1466 | 1% | 0% | 3 |
| 9 | ARTIFICIAL INTELLIGENCE | 1464 | 2% | 0% | 5 |
| 10 | FORMAL METHODS IN SYSTEM DESIGN | 1076 | 1% | 0% | 2 |
Author Key Words |
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 |