Class information for:
Level 1: ACKERMANN FUNCTIONS//AND NC COMPUTABLE FUNCTIONS//BOUNDED ITERATION

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
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 ACKERMANN FUNCTIONS authKW 534189 2% 100% 1
2 AND NC COMPUTABLE FUNCTIONS authKW 534189 2% 100% 1
3 BOUNDED ITERATION authKW 534189 2% 100% 1
4 CANTOR DIAGONAL METHOD authKW 534189 2% 100% 1
5 CANTOR DIAGRAMS authKW 534189 2% 100% 1
6 COUNTEREXAMPLES TO INDUCTION authKW 534189 2% 100% 1
7 INTENSION AND EXTENSION authKW 534189 2% 100% 1
8 LEVELS OF CERTAINTY authKW 534189 2% 100% 1
9 LINEAR SPACE COMPUTABLE FUNCTIONS authKW 534189 2% 100% 1
10 LOGIC BASED METHOD authKW 534189 2% 100% 1

Web of Science journal categories



chi_square_rank Category chi_square shrOfCwithTerm shrOfTermInClass termInClass
1 Logic 6869 24% 0% 14
2 Mathematics 1399 66% 0% 39
3 Computer Science, Theory & Methods 369 22% 0% 13
4 COMPUTER APPLICATIONS & CYBERNETICS 202 2% 0% 1
5 Computer Science, Hardware & Architecture 43 5% 0% 3
6 Computer Science, Artificial Intelligence 33 7% 0% 4
7 Computer Science, Information Systems 7 3% 0% 2
8 Mathematics, Applied 5 5% 0% 3
9 Operations Research & Management Science 2 2% 0% 1
10 Computer Science, Software Engineering 2 2% 0% 1

Address terms



chi_square_rank term chi_square shrOfCwithTerm shrOfTermInClass termInClass
1 DIPARTIMENTO ARTI DISEGNO IND 106836 2% 20% 1
2 DEPARTIMENTO INFORMAT 31421 2% 6% 1
3 CIENCIAS EXACTAS INGN AGRIMENSURA 1474 2% 0% 1
4 OWEN MANAGEMENT 1099 2% 0% 1
5 DIPARTIMENTO INFORMAT 689 3% 0% 2
6 DIPARTIMENTO MATEMAT INFORMAT 582 3% 0% 2
7 ARTIFICIAL INTELLIGENCE 199 2% 0% 1
8 COMP 20 2% 0% 1
9 BUSINESS 10 2% 0% 1
10 COMP SCI 2 2% 0% 1

Journals



chi_square_rank term chi_square shrOfCwithTerm shrOfTermInClass termInClass
1 ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK 387976 32% 4% 19
2 JOURNAL OF SYMBOLIC LOGIC 11625 14% 0% 8
3 MATHEMATICAL LOGIC QUARTERLY 7180 7% 0% 4
4 APPLIED CATEGORICAL STRUCTURES 2923 3% 0% 2
5 JOURNAL OF COMPUTER AND SYSTEM SCIENCES 2142 5% 0% 3
6 CYBERNETICS 1779 2% 0% 1
7 VESTNIK LENINGRADSKOGO UNIVERSITETA SERIYA MATEMATIKA MEKHANIKA ASTRONOMIYA 1749 2% 0% 1
8 THEORETICAL COMPUTER SCIENCE 1223 8% 0% 5
9 ANNALS OF PURE AND APPLIED LOGIC 1014 3% 0% 2
10 EXPERT SYSTEMS 880 2% 0% 1

Author Key Words



chi_square_rank term chi_square shrOfCwithTerm shrOfTermInClass termInClass LCSH search Wikipedia search
1 ACKERMANN FUNCTIONS 534189 2% 100% 1 Search ACKERMANN+FUNCTIONS Search ACKERMANN+FUNCTIONS
2 AND NC COMPUTABLE FUNCTIONS 534189 2% 100% 1 Search AND+NC+COMPUTABLE+FUNCTIONS Search AND+NC+COMPUTABLE+FUNCTIONS
3 BOUNDED ITERATION 534189 2% 100% 1 Search BOUNDED+ITERATION Search BOUNDED+ITERATION
4 CANTOR DIAGONAL METHOD 534189 2% 100% 1 Search CANTOR+DIAGONAL+METHOD Search CANTOR+DIAGONAL+METHOD
5 CANTOR DIAGRAMS 534189 2% 100% 1 Search CANTOR+DIAGRAMS Search CANTOR+DIAGRAMS
6 COUNTEREXAMPLES TO INDUCTION 534189 2% 100% 1 Search COUNTEREXAMPLES+TO+INDUCTION Search COUNTEREXAMPLES+TO+INDUCTION
7 INTENSION AND EXTENSION 534189 2% 100% 1 Search INTENSION+AND+EXTENSION Search INTENSION+AND+EXTENSION
8 LEVELS OF CERTAINTY 534189 2% 100% 1 Search LEVELS+OF+CERTAINTY Search LEVELS+OF+CERTAINTY
9 LINEAR SPACE COMPUTABLE FUNCTIONS 534189 2% 100% 1 Search LINEAR+SPACE+COMPUTABLE+FUNCTIONS Search LINEAR+SPACE+COMPUTABLE+FUNCTIONS
10 LOGIC BASED METHOD 534189 2% 100% 1 Search LOGIC+BASED+METHOD Search LOGIC+BASED+METHOD

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 15283 FINITE MODEL THEORY//DESCRIPTIVE COMPLEXITY//CONSTRAINT DATABASES
2 30577 AUTOGRAM BASED SPECIFICATION OF CONTROL UNITS//CONSTANT FAULTS//DESIGN OF RELIABLE CONTROL UNITS
3 9564 DESCRIPTION LOGICS//FUZZY DESCRIPTION LOGICS//SPARQL
4 31057 NEW FOUNDATIONS//CONDENSED DETACHMENT//ELEGANT PROOFS
5 15007 QUANTUM FINITE AUTOMATA//QUANTUM AUTOMATA//SUBLOGARITHMIC SPACE
6 25552 WEISERS ALGORITHM//HERBRAND DOMAIN//A COMPLETE AXIOMATIZATION
7 32496 INTELLIGENT HELP//INTELLIGENT HELP SYSTEMS//ADVICE GENERATION
8 31065 TEMPORAL LOGIC PROGRAMMING//COMP THEORY TECHNOL//CARD BASED PROTOCOLS
9 10492 JOURNAL OF AUTOMATED REASONING//MIZAR//AUTOMATED THEOREM PROVING
10 28670 SIERPINSKI GRAPHS//TOWERS OF HANOI//HANOI GRAPHS

Go to start page