Class information for:
Level 2: JOURNAL OF AUTOMATED REASONING//AUTOMATED THEOREM PROVING//TERM REWRITING

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
2531 2             JOURNAL OF AUTOMATED REASONING//AUTOMATED THEOREM PROVING//TERM REWRITING 4027
3432 1                   TERM REWRITING//TERM REWRITING SYSTEMS//JOURNAL OF AUTOMATED REASONING 2019
10492 1                   JOURNAL OF AUTOMATED REASONING//MIZAR//AUTOMATED THEOREM PROVING 1089
21019 1                   MOUFANG LOOP//BOL LOOP//INNER MAPPING GROUP 459
28321 1                   PROOF PLANNING//DEDUCTIVE PROGRAM SYNTHESIS//PROOF PATCHING 228
31057 1                   NEW FOUNDATIONS//CONDENSED DETACHMENT//ELEGANT PROOFS 173
38546 1                   ACKERMANN FUNCTIONS//AND NC COMPUTABLE FUNCTIONS//BOUNDED ITERATION 59

Terms with highest relevance score


rank Category termType chi_square shrOfCwithTerm shrOfTermInClass termInClass
1 JOURNAL OF AUTOMATED REASONING journal 1160408 8% 46% 325
2 AUTOMATED THEOREM PROVING authKW 544036 3% 63% 110
3 TERM REWRITING authKW 525130 3% 62% 109
4 MOUFANG LOOP authKW 375939 2% 78% 62
5 TERM REWRITING SYSTEMS authKW 296983 1% 72% 53
6 THEOREM PROVING authKW 252485 3% 30% 106
7 BOL LOOP authKW 187788 1% 100% 24
8 AUTOMATED REASONING authKW 151086 2% 30% 64
9 INNER MAPPING GROUP authKW 148665 0% 100% 19
10 MULTIPLICATION GROUP authKW 133426 0% 95% 18

Web of Science journal categories


chi_square_rank Category chi_square shrOfCwithTerm shrOfTermInClass termInClass
1 Computer Science, Theory & Methods 118615 47% 1% 1892
2 Computer Science, Artificial Intelligence 38870 26% 0% 1049
3 Logic 30460 6% 2% 245
4 Computer Science, Software Engineering 12408 13% 0% 530
5 Mathematics 6666 19% 0% 755
6 Mathematics, Applied 5079 15% 0% 609
7 Computer Science, Information Systems 3494 8% 0% 332
8 Computer Science, Hardware & Architecture 2024 4% 0% 172
9 COMPUTER APPLICATIONS & CYBERNETICS 279 0% 0% 10
10 Computer Science, Interdisciplinary Applications 52 2% 0% 67

Address terms


chi_square_rank term chi_square shrOfCwithTerm shrOfTermInClass termInClass
1 LUFG INFORMAT 2 130577 1% 76% 22
2 HBEREICH INFORMAT 33703 1% 8% 52
3 FB IMN 31294 0% 67% 6
4 PROGRAMMING LOG 25037 0% 80% 4
5 CC MATEMAT INFORMAT AUTOMAT 23473 0% 100% 3
6 HGEBIET PROGRAMMIERMETHOD 23473 0% 100% 3
7 DSIC 19998 1% 12% 22
8 BEIJING ELECT SYST RELIABIL TECHNOL 17881 0% 57% 4
9 CNRSPROJECT PCRI 15649 0% 100% 2
10 FR INFORMAT 62 15649 0% 100% 2

Journals


chi_square_rank term chi_square shrOfCwithTerm shrOfTermInClass termInClass
1 JOURNAL OF AUTOMATED REASONING 1160408 8% 46% 325
2 JOURNAL OF SYMBOLIC COMPUTATION 117268 5% 8% 185
3 LECTURE NOTES IN COMPUTER SCIENCE 116951 29% 1% 1151
4 LECTURE NOTES IN ARTIFICIAL INTELLIGENCE 68166 9% 2% 380
5 INFORMATION AND COMPUTATION 34427 2% 5% 98
6 THEORETICAL COMPUTER SCIENCE 25165 5% 2% 188
7 ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE 18127 1% 5% 46
8 FORMAL METHODS IN SYSTEM DESIGN 17603 1% 7% 34
9 AI COMMUNICATIONS 15688 1% 6% 33
10 APPLICABLE ALGEBRA IN ENGINEERING COMMUNICATION AND COMPUTING 11265 1% 5% 30

Author Key Words


chi_square_rank term chi_square shrOfCwithTerm shrOfTermInClass termInClass LCSH search Wikipedia search
1 AUTOMATED THEOREM PROVING 544036 3% 63% 110 Search AUTOMATED+THEOREM+PROVING Search AUTOMATED+THEOREM+PROVING
2 TERM REWRITING 525130 3% 62% 109 Search TERM+REWRITING Search TERM+REWRITING
3 MOUFANG LOOP 375939 2% 78% 62 Search MOUFANG+LOOP Search MOUFANG+LOOP
4 TERM REWRITING SYSTEMS 296983 1% 72% 53 Search TERM+REWRITING+SYSTEMS Search TERM+REWRITING+SYSTEMS
5 THEOREM PROVING 252485 3% 30% 106 Search THEOREM+PROVING Search THEOREM+PROVING
6 BOL LOOP 187788 1% 100% 24 Search BOL+LOOP Search BOL+LOOP
7 AUTOMATED REASONING 151086 2% 30% 64 Search AUTOMATED+REASONING Search AUTOMATED+REASONING
8 INNER MAPPING GROUP 148665 0% 100% 19 Search INNER+MAPPING+GROUP Search INNER+MAPPING+GROUP
9 MULTIPLICATION GROUP 133426 0% 95% 18 Search MULTIPLICATION+GROUP Search MULTIPLICATION+GROUP
10 MIZAR 126753 0% 90% 18 Search MIZAR Search MIZAR

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 2


rank cluster_id2 link
1 704 ACM SIGPLAN NOTICES//COMPUTER SCIENCE, SOFTWARE ENGINEERING//LANGUAGES
2 2527 CONSTRAINTS//PROOF COMPLEXITY//BOUNDED ARITHMETIC
3 176 COMPUTER SCIENCE, THEORY & METHODS//LECTURE NOTES IN COMPUTER SCIENCE//COMPUTER SCIENCE, SOFTWARE ENGINEERING
4 1649 THEORETICAL COMPUTER SCIENCE//FORMAL LANGUAGES//DESCRIPTIONAL COMPLEXITY
5 2109 NONMONOTONIC REASONING//ANSWER SET PROGRAMMING//BELIEF REVISION
6 1934 FORMAL CONCEPT ANALYSIS//CONCEPT LATTICE//SEMANTIC WEB
7 3845 INTEGRAL GROUP RING//GROUP RING//TORSION UNIT
8 4194 ERROR FREE TRANSFORMATION//FLOATING POINT ARITHMETIC//CESTAC METHOD
9 1846 MV ALGEBRA//LOGIC//EFFECT ALGEBRA
10 3545 HISTORIA MATHEMATICA//ARCHIVE FOR HISTORY OF EXACT SCIENCES//VISUAL MODELLING GRP

Go to start page