Class information for:
Level 1: WEISERS ALGORITHM//HERBRAND DOMAIN//A COMPLETE AXIOMATIZATION

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
176 2             COMPUTER SCIENCE, THEORY & METHODS//LECTURE NOTES IN COMPUTER SCIENCE//COMPUTER SCIENCE, SOFTWARE ENGINEERING 21406
25552 1                   WEISERS ALGORITHM//HERBRAND DOMAIN//A COMPLETE AXIOMATIZATION 301

Terms with highest relevance score



rank Category termType chi_square shrOfCwithTerm shrOfTermInClass termInClass
1 WEISERS ALGORITHM authKW 209413 1% 100% 2
2 HERBRAND DOMAIN authKW 139607 1% 67% 2
3 A COMPLETE AXIOMATIZATION authKW 104707 0% 100% 1
4 ABSTRACT RECURSION THEORY authKW 104707 0% 100% 1
5 AGENT BASED LOGIC authKW 104707 0% 100% 1
6 AND DYNAMIC LOGICS authKW 104707 0% 100% 1
7 CODED REWRITING authKW 104707 0% 100% 1
8 EFFECTIVELY FINITE PARTIAL ORDER authKW 104707 0% 100% 1
9 FINITE STATE ACCEPTOR authKW 104707 0% 100% 1
10 FREE AND LIBERAL PROGRAM SCHEMAS authKW 104707 0% 100% 1

Web of Science journal categories



chi_square_rank Category chi_square shrOfCwithTerm shrOfTermInClass termInClass
1 Computer Science, Theory & Methods 14952 61% 0% 183
2 COMPUTER APPLICATIONS & CYBERNETICS 1426 2% 0% 6
3 Computer Science, Software Engineering 1265 15% 0% 46
4 Computer Science, Information Systems 1204 17% 0% 51
5 Computer Science, Hardware & Architecture 839 10% 0% 29
6 Mathematics, Applied 370 15% 0% 45
7 Logic 324 2% 0% 7
8 Mathematics 230 13% 0% 40
9 Computer Science, Artificial Intelligence 40 4% 0% 11
10 Multidisciplinary Sciences 0 0% 0% 1

Address terms



chi_square_rank term chi_square shrOfCwithTerm shrOfTermInClass termInClass
1 PROC CONTROL REAL TIME SYST 104707 0% 100% 1
2 INFORMAT PROGRAMAC 52352 0% 50% 1
3 FISHERIES DISTRIBUT MANAGEMENT 26175 0% 25% 1
4 MPS UNIT 5233 0% 5% 1
5 BUSINESS ADM KARVINA 2552 0% 2% 1
6 EQUAT 1149 0% 1% 1
7 INFORMAT ANGEW MATH 1015 0% 1% 1
8 INFORMAT SYST COMP 564 1% 0% 2
9 INTELLIGENT INFORMAT PROC 426 1% 0% 2
10 COMPUTAT MATH CYBERNET 425 1% 0% 2

Journals



chi_square_rank term chi_square shrOfCwithTerm shrOfTermInClass termInClass
1 INFORMATION AND CONTROL 69672 5% 4% 15
2 ACTA INFORMATICA 29881 6% 2% 18
3 THEORETICAL COMPUTER SCIENCE 22178 16% 0% 48
4 IZVESTIYA VYSSHIKH UCHEBNYKH ZAVEDENII MATEMATIKA 14779 4% 1% 11
5 MATHEMATICAL SYSTEMS THEORY 8145 2% 2% 5
6 ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK 7573 2% 1% 6
7 JOURNAL OF THE ACM 5831 3% 1% 9
8 CYBERNETICS 5576 1% 1% 4
9 JOURNAL OF COMPUTER AND SYSTEM SCIENCES 4659 3% 0% 10
10 LECTURE NOTES IN COMPUTER SCIENCE 4506 21% 0% 62

Author Key Words



chi_square_rank term chi_square shrOfCwithTerm shrOfTermInClass termInClass LCSH search Wikipedia search
1 WEISERS ALGORITHM 209413 1% 100% 2 Search WEISERS+ALGORITHM Search WEISERS+ALGORITHM
2 HERBRAND DOMAIN 139607 1% 67% 2 Search HERBRAND+DOMAIN Search HERBRAND+DOMAIN
3 A COMPLETE AXIOMATIZATION 104707 0% 100% 1 Search A+COMPLETE+AXIOMATIZATION Search A+COMPLETE+AXIOMATIZATION
4 ABSTRACT RECURSION THEORY 104707 0% 100% 1 Search ABSTRACT+RECURSION+THEORY Search ABSTRACT+RECURSION+THEORY
5 AGENT BASED LOGIC 104707 0% 100% 1 Search AGENT+BASED+LOGIC Search AGENT+BASED+LOGIC
6 AND DYNAMIC LOGICS 104707 0% 100% 1 Search AND+DYNAMIC+LOGICS Search AND+DYNAMIC+LOGICS
7 CODED REWRITING 104707 0% 100% 1 Search CODED+REWRITING Search CODED+REWRITING
8 EFFECTIVELY FINITE PARTIAL ORDER 104707 0% 100% 1 Search EFFECTIVELY+FINITE+PARTIAL+ORDER Search EFFECTIVELY+FINITE+PARTIAL+ORDER
9 FINITE STATE ACCEPTOR 104707 0% 100% 1 Search FINITE+STATE+ACCEPTOR Search FINITE+STATE+ACCEPTOR
10 FREE AND LIBERAL PROGRAM SCHEMAS 104707 0% 100% 1 Search FREE+AND+LIBERAL+PROGRAM+SCHEMAS Search FREE+AND+LIBERAL+PROGRAM+SCHEMAS

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 31065 TEMPORAL LOGIC PROGRAMMING//COMP THEORY TECHNOL//CARD BASED PROTOCOLS
2 15347 TEMPORAL LOGIC OF ACTIONS//COMMITTEE COORDINATION//INVARIANCE UNDER STUTTERING
3 38546 ACKERMANN FUNCTIONS//AND NC COMPUTABLE FUNCTIONS//BOUNDED ITERATION
4 15283 FINITE MODEL THEORY//DESCRIPTIVE COMPLEXITY//CONSTRAINT DATABASES
5 6466 PARITY GAMES//TEMPORAL LOGIC//MODAL MU CALCULUS
6 4056 SEPARATION LOGIC//ACM SIGPLAN NOTICES//ABSTRACT INTERPRETATION
7 38172 FORMAL PEANO ARITHMETIC//SPOT WELDMENT//PERVAS ICT
8 10214 ALGEBRAIC SPECIFICATION//REWRITING LOGIC//CAFEOBJ
9 9739 FORMAL ASPECTS OF COMPUTING//EVENT B//KLEENE ALGEBRA
10 31352 ABSTRACT STATE MACHINES//ABSTRACT STATE MACHINE//COREASM

Go to start page