Class information for:
Level 1: TERM REWRITING//TERM REWRITING SYSTEMS//JOURNAL OF AUTOMATED REASONING

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

Terms with highest relevance score


rank Category termType chi_square shrOfCwithTerm shrOfTermInClass termInClass
1 TERM REWRITING authKW 935444 5% 58% 103
2 TERM REWRITING SYSTEMS authKW 592454 3% 72% 53
3 JOURNAL OF AUTOMATED REASONING journal 370266 6% 18% 130
4 LUFG INFORMAT 2 address 260487 1% 76% 22
5 DEPENDENCY PAIRS authKW 235041 1% 94% 16
6 AUTOMATED THEOREM PROVING authKW 233246 3% 29% 51
7 TERMINATION authKW 215412 5% 14% 100
8 JOURNAL OF SYMBOLIC COMPUTATION journal 147850 7% 6% 147
9 MODEL ELIMINATION authKW 138824 1% 68% 13
10 CONTEXT UNIFICATION authKW 124867 0% 100% 8

Web of Science journal categories


chi_square_rank Category chi_square shrOfCwithTerm shrOfTermInClass termInClass
1 Computer Science, Theory & Methods 116712 66% 1% 1323
2 Logic 16856 6% 1% 129
3 Computer Science, Artificial Intelligence 16220 24% 0% 481
4 Computer Science, Software Engineering 5252 12% 0% 245
5 Mathematics, Applied 3482 17% 0% 352
6 Computer Science, Information Systems 1977 9% 0% 176
7 Computer Science, Hardware & Architecture 644 3% 0% 70
8 COMPUTER APPLICATIONS & CYBERNETICS 203 0% 0% 6
9 Mathematics 85 4% 0% 90
10 Computer Science, Interdisciplinary Applications 17 1% 0% 30

Address terms


chi_square_rank term chi_square shrOfCwithTerm shrOfTermInClass termInClass
1 LUFG INFORMAT 2 260487 1% 76% 22
2 FB IMN 62429 0% 67% 6
3 PROGRAMMING LOG 49945 0% 80% 4
4 CC MATEMAT INFORMAT AUTOMAT 46825 0% 100% 3
5 HGEBIET PROGRAMMIERMETHOD 46825 0% 100% 3
6 DSIC 39932 1% 12% 22
7 URA 410LRI 31217 0% 100% 2
8 CALLIGRAMME PROJECT 20064 0% 43% 3
9 HBEREICH INFORMAT 19494 1% 4% 28
10 COMP SPRACHEN 18642 0% 17% 7

Journals


chi_square_rank term chi_square shrOfCwithTerm shrOfTermInClass termInClass
1 JOURNAL OF AUTOMATED REASONING 370266 6% 18% 130
2 JOURNAL OF SYMBOLIC COMPUTATION 147850 7% 6% 147
3 LECTURE NOTES IN COMPUTER SCIENCE 96833 37% 1% 740
4 LECTURE NOTES IN ARTIFICIAL INTELLIGENCE 46477 11% 1% 222
5 INFORMATION AND COMPUTATION 44717 4% 4% 79
6 THEORETICAL COMPUTER SCIENCE 33874 8% 1% 154
7 APPLICABLE ALGEBRA IN ENGINEERING COMMUNICATION AND COMPUTING 19620 1% 5% 28
8 JOURNAL OF LOGIC PROGRAMMING 11459 1% 4% 18
9 JOURNAL OF THE ACM 8996 1% 2% 29
10 INFORMATION PROCESSING LETTERS 8974 3% 1% 61

Author Key Words


chi_square_rank term chi_square shrOfCwithTerm shrOfTermInClass termInClass LCSH search Wikipedia search
1 TERM REWRITING 935444 5% 58% 103 Search TERM+REWRITING Search TERM+REWRITING
2 TERM REWRITING SYSTEMS 592454 3% 72% 53 Search TERM+REWRITING+SYSTEMS Search TERM+REWRITING+SYSTEMS
3 DEPENDENCY PAIRS 235041 1% 94% 16 Search DEPENDENCY+PAIRS Search DEPENDENCY+PAIRS
4 AUTOMATED THEOREM PROVING 233246 3% 29% 51 Search AUTOMATED+THEOREM+PROVING Search AUTOMATED+THEOREM+PROVING
5 TERMINATION 215412 5% 14% 100 Search TERMINATION Search TERMINATION
6 MODEL ELIMINATION 138824 1% 68% 13 Search MODEL+ELIMINATION Search MODEL+ELIMINATION
7 CONTEXT UNIFICATION 124867 0% 100% 8 Search CONTEXT+UNIFICATION Search CONTEXT+UNIFICATION
8 SATCHMO 109258 0% 100% 7 Search SATCHMO Search SATCHMO
9 DEDUCTION MODULO 84976 0% 78% 7 Search DEDUCTION+MODULO Search DEDUCTION+MODULO
10 SECOND ORDER UNIFICATION 84976 0% 78% 7 Search SECOND+ORDER+UNIFICATION Search SECOND+ORDER+UNIFICATION

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 31057 NEW FOUNDATIONS//CONDENSED DETACHMENT//ELEGANT PROOFS
2 10492 JOURNAL OF AUTOMATED REASONING//MIZAR//AUTOMATED THEOREM PROVING
3 10214 ALGEBRAIC SPECIFICATION//REWRITING LOGIC//CAFEOBJ
4 28321 PROOF PLANNING//DEDUCTIVE PROGRAM SYNTHESIS//PROOF PATCHING
5 31569 INTERMEDIATE COMPILER TARGET LANGUAGES//DACTL//EVIDENCE ALGORITHM
6 5545 JOURNAL OF LOGIC PROGRAMMING//ABSTRACT INTERPRETATION//THEORY AND PRACTICE OF LOGIC PROGRAMMING
7 12527 RESTARTING AUTOMATON//FINITE DERIVATION TYPE//AUTOMATIC SEMIGROUP
8 9040 DEPENDENT TYPES//JOURNAL OF FUNCTIONAL PROGRAMMING//TYPE INFERENCE
9 25316 CODE GENERATOR GENERATOR//TREE PATTERN MATCHING//ARBOLOGY
10 20425 ORDER SORTED LOGIC//FEATURE LOGIC//CONTEXT FREE TREE GRAMMAR

Go to start page