Class information for:
Level 1: JOURNAL OF AUTOMATED REASONING//MIZAR//AUTOMATED THEOREM PROVING

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
10492 1                   JOURNAL OF AUTOMATED REASONING//MIZAR//AUTOMATED THEOREM PROVING 1089

Terms with highest relevance score


rank Category termType chi_square shrOfCwithTerm shrOfTermInClass termInClass
1 JOURNAL OF AUTOMATED REASONING journal 938831 14% 21% 152
2 MIZAR authKW 468816 2% 90% 18
3 AUTOMATED THEOREM PROVING authKW 336729 4% 26% 45
4 DECISION PROCEDURES authKW 300433 3% 36% 29
5 INTERACTIVE THEOREM PROVING authKW 279440 2% 37% 26
6 THEOREM PROVING authKW 270090 5% 16% 57
7 FORMALIZATION OF MATHEMATICS authKW 241159 1% 83% 10
8 HIGHER ORDER LOGIC authKW 214942 2% 29% 26
9 MULTIWAY DECISION GRAPHS authKW 177253 1% 88% 7
10 FORMALIZED MATHEMATICS authKW 157556 1% 78% 7

Web of Science journal categories


chi_square_rank Category chi_square shrOfCwithTerm shrOfTermInClass termInClass
1 Computer Science, Theory & Methods 25608 42% 0% 458
2 Computer Science, Artificial Intelligence 21874 37% 0% 406
3 Computer Science, Software Engineering 10397 23% 0% 248
4 Logic 8680 6% 0% 68
5 Computer Science, Hardware & Architecture 2208 8% 0% 90
6 Computer Science, Information Systems 1956 12% 0% 126
7 Mathematics, Applied 821 12% 0% 131
8 Mathematics 272 8% 0% 91
9 COMPUTER APPLICATIONS & CYBERNETICS 40 0% 0% 2
10 Computer Science, Interdisciplinary Applications 14 2% 0% 18

Address terms


chi_square_rank term chi_square shrOfCwithTerm shrOfTermInClass termInClass
1 BEIJING ELECT SYST RELIABIL TECHNOL 66144 0% 57% 4
2 CNRSPROJECT PCRI 57879 0% 100% 2
3 CERCS 38581 0% 33% 4
4 ABT F DATENBANKEN ARTIFICIAL INTELLIGENCE 28939 0% 100% 1
5 ARBEITSGRP LOG MAT GRUNDLAGEN INFORMAT 28939 0% 100% 1
6 COMP SCI A1 28939 0% 100% 1
7 COMP SCI PLICAT RM C OCELLI 28939 0% 100% 1
8 DEP INFORMAT RECH OPERATIONNELLE 28939 0% 100% 1
9 DEUT LAND ENTWICKLUNG GMBH 28939 0% 100% 1
10 DIGE DMI 28939 0% 100% 1

Journals


chi_square_rank term chi_square shrOfCwithTerm shrOfTermInClass termInClass
1 JOURNAL OF AUTOMATED REASONING 938831 14% 21% 152
2 FORMAL METHODS IN SYSTEM DESIGN 54260 3% 6% 31
3 LECTURE NOTES IN COMPUTER SCIENCE 34939 30% 0% 327
4 AI COMMUNICATIONS 28254 2% 4% 23
5 LECTURE NOTES IN ARTIFICIAL INTELLIGENCE 20753 10% 1% 109
6 FORMAL ASPECTS OF COMPUTING 11875 1% 3% 13
7 JOURNAL OF SYMBOLIC COMPUTATION 9212 2% 1% 27
8 ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE 9167 2% 2% 17
9 ACM TRANSACTIONS ON COMPUTATIONAL LOGIC 6680 1% 3% 9
10 MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE 6299 1% 2% 11

Author Key Words


chi_square_rank term chi_square shrOfCwithTerm shrOfTermInClass termInClass LCSH search Wikipedia search
1 MIZAR 468816 2% 90% 18 Search MIZAR Search MIZAR
2 AUTOMATED THEOREM PROVING 336729 4% 26% 45 Search AUTOMATED+THEOREM+PROVING Search AUTOMATED+THEOREM+PROVING
3 DECISION PROCEDURES 300433 3% 36% 29 Search DECISION+PROCEDURES Search DECISION+PROCEDURES
4 INTERACTIVE THEOREM PROVING 279440 2% 37% 26 Search INTERACTIVE+THEOREM+PROVING Search INTERACTIVE+THEOREM+PROVING
5 THEOREM PROVING 270090 5% 16% 57 Search THEOREM+PROVING Search THEOREM+PROVING
6 FORMALIZATION OF MATHEMATICS 241159 1% 83% 10 Search FORMALIZATION+OF+MATHEMATICS Search FORMALIZATION+OF+MATHEMATICS
7 HIGHER ORDER LOGIC 214942 2% 29% 26 Search HIGHER+ORDER+LOGIC Search HIGHER+ORDER+LOGIC
8 MULTIWAY DECISION GRAPHS 177253 1% 88% 7 Search MULTIWAY+DECISION+GRAPHS Search MULTIWAY+DECISION+GRAPHS
9 FORMALIZED MATHEMATICS 157556 1% 78% 7 Search FORMALIZED+MATHEMATICS Search FORMALIZED+MATHEMATICS
10 PROOF ASSISTANTS 154323 1% 33% 16 Search PROOF+ASSISTANTS Search PROOF+ASSISTANTS

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 28321 PROOF PLANNING//DEDUCTIVE PROGRAM SYNTHESIS//PROOF PATCHING
2 3432 TERM REWRITING//TERM REWRITING SYSTEMS//JOURNAL OF AUTOMATED REASONING
3 31057 NEW FOUNDATIONS//CONDENSED DETACHMENT//ELEGANT PROOFS
4 9040 DEPENDENT TYPES//JOURNAL OF FUNCTIONAL PROGRAMMING//TYPE INFERENCE
5 4056 SEPARATION LOGIC//ACM SIGPLAN NOTICES//ABSTRACT INTERPRETATION
6 14051 ORDERED BINARY DECISION DIAGRAMS//BINARY DECISION DIAGRAMS//BDDS
7 14585 SATISFIABILITY//QUANTIFIED BOOLEAN FORMULAS//MAX SAT
8 38546 ACKERMANN FUNCTIONS//AND NC COMPUTABLE FUNCTIONS//BOUNDED ITERATION
9 15347 TEMPORAL LOGIC OF ACTIONS//COMMITTEE COORDINATION//INVARIANCE UNDER STUTTERING
10 16703 MODEL CHECKING//PROMELA//PARAMETERIZED SYSTEMS

Go to start page