Class information for:
Level 1: FINITE MODEL THEORY//DESCRIPTIVE COMPLEXITY//CONSTRAINT DATABASES

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
31 3       COMPUTER SCIENCE, SOFTWARE ENGINEERING//COMPUTER SCIENCE, INFORMATION SYSTEMS//COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE 113161
1270 2             ACM TRANSACTIONS ON DATABASE SYSTEMS//QUERY OPTIMIZATION//INFORMATION SYSTEMS 9106
15283 1                   FINITE MODEL THEORY//DESCRIPTIVE COMPLEXITY//CONSTRAINT DATABASES 747

Terms with highest relevance score


rank Category termType chi_square shrOfCwithTerm shrOfTermInClass termInClass
1 FINITE MODEL THEORY authKW 1034052 6% 51% 48
2 DESCRIPTIVE COMPLEXITY authKW 677345 5% 47% 34
3 CONSTRAINT DATABASES authKW 393762 2% 67% 14
4 EHRENFEUCHT FRAISSE GAMES authKW 290286 2% 40% 17
5 LINDSTROM QUANTIFIERS authKW 175789 1% 83% 5
6 DESCRIPTIVE COMPLEXITY THEORY authKW 172269 1% 58% 7
7 EXISTENTIAL SECOND ORDER LOGIC authKW 151878 1% 60% 6
8 PROGRAM SCHEMES authKW 135006 1% 80% 4
9 ALMOST ORDER authKW 126569 0% 100% 3
10 ASYMPTOTIC PROBABILITIES IN LOGIC authKW 126569 0% 100% 3

Web of Science journal categories


chi_square_rank Category chi_square shrOfCwithTerm shrOfTermInClass termInClass
1 Logic 71724 22% 1% 161
2 Computer Science, Theory & Methods 32288 57% 0% 424
3 Computer Science, Information Systems 3365 18% 0% 134
4 Mathematics 2974 28% 0% 210
5 Mathematics, Applied 2039 22% 0% 161
6 Computer Science, Hardware & Architecture 1851 9% 0% 68
7 Computer Science, Software Engineering 1783 12% 0% 87
8 COMPUTER APPLICATIONS & CYBERNETICS 568 1% 0% 6
9 Computer Science, Artificial Intelligence 482 7% 0% 54
10 Statistics & Probability 14 2% 0% 12

Address terms


chi_square_rank term chi_square shrOfCwithTerm shrOfTermInClass termInClass
1 MATH GRUNDLAGEN INFORMAT 98434 1% 33% 7
2 WNI 78808 2% 12% 16
3 LEHRGEBIET MATH GRUNDLAGEN INFORMAT 75939 0% 60% 3
4 THEORET COMP SCI GRP 47935 1% 23% 5
5 COMPUTAT LOGIC 42190 0% 100% 1
6 CSE C0114 42190 0% 100% 1
7 CULTURE EDUC HUMAN DEV MEDIA GAMES NETWOR 42190 0% 100% 1
8 EQUIPE VERTIGO 42190 0% 100% 1
9 HIGH CONFIDENCE SOFTWARE TECHNOL MINIST E 42190 0% 100% 1
10 IMJ PROJECT LOG 42190 0% 100% 1

Journals


chi_square_rank term chi_square shrOfCwithTerm shrOfTermInClass termInClass
1 JOURNAL OF COMPUTER AND SYSTEM SCIENCES 41551 6% 2% 47
2 INFORMATION AND COMPUTATION 39264 6% 2% 45
3 JOURNAL OF SYMBOLIC LOGIC 27724 6% 1% 44
4 ANNALS OF PURE AND APPLIED LOGIC 21814 4% 2% 33
5 MATHEMATICAL LOGIC QUARTERLY 17131 3% 2% 22
6 LECTURE NOTES IN COMPUTER SCIENCE 16417 25% 0% 186
7 ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK 14321 2% 3% 13
8 THEORETICAL COMPUTER SCIENCE 11251 7% 0% 54
9 JOURNAL OF LOGIC AND COMPUTATION 10568 2% 2% 16
10 LOGIC JOURNAL OF THE IGPL 7856 1% 2% 11

Author Key Words


chi_square_rank term chi_square shrOfCwithTerm shrOfTermInClass termInClass LCSH search Wikipedia search
1 FINITE MODEL THEORY 1034052 6% 51% 48 Search FINITE+MODEL+THEORY Search FINITE+MODEL+THEORY
2 DESCRIPTIVE COMPLEXITY 677345 5% 47% 34 Search DESCRIPTIVE+COMPLEXITY Search DESCRIPTIVE+COMPLEXITY
3 CONSTRAINT DATABASES 393762 2% 67% 14 Search CONSTRAINT+DATABASES Search CONSTRAINT+DATABASES
4 EHRENFEUCHT FRAISSE GAMES 290286 2% 40% 17 Search EHRENFEUCHT+FRAISSE+GAMES Search EHRENFEUCHT+FRAISSE+GAMES
5 LINDSTROM QUANTIFIERS 175789 1% 83% 5 Search LINDSTROM+QUANTIFIERS Search LINDSTROM+QUANTIFIERS
6 DESCRIPTIVE COMPLEXITY THEORY 172269 1% 58% 7 Search DESCRIPTIVE+COMPLEXITY+THEORY Search DESCRIPTIVE+COMPLEXITY+THEORY
7 EXISTENTIAL SECOND ORDER LOGIC 151878 1% 60% 6 Search EXISTENTIAL+SECOND+ORDER+LOGIC Search EXISTENTIAL+SECOND+ORDER+LOGIC
8 PROGRAM SCHEMES 135006 1% 80% 4 Search PROGRAM+SCHEMES Search PROGRAM+SCHEMES
9 ALMOST ORDER 126569 0% 100% 3 Search ALMOST+ORDER Search ALMOST+ORDER
10 ASYMPTOTIC PROBABILITIES IN LOGIC 126569 0% 100% 3 Search ASYMPTOTIC+PROBABILITIES+IN+LOGIC Search ASYMPTOTIC+PROBABILITIES+IN+LOGIC

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 38546 ACKERMANN FUNCTIONS//AND NC COMPUTABLE FUNCTIONS//BOUNDED ITERATION
2 32003 DEPENDENCE LOGIC//INDEPENDENCE FRIENDLY LOGIC//TEAM SEMANTICS
3 11837 ARITHMETIC CIRCUITS//POLYNOMIAL IDENTITY TESTING//COMPUTATIONAL COMPLEXITY
4 31352 ABSTRACT STATE MACHINES//ABSTRACT STATE MACHINE//COREASM
5 28590 RECURSIVE QUERY PROCESSING//DEDUCTIVE DATABASES//RECURSIVE QUERY EVALUATION
6 15007 QUANTUM FINITE AUTOMATA//QUANTUM AUTOMATA//SUBLOGARITHMIC SPACE
7 37615 RELATIONAL TRANSDUCER//CLOUD PROGRAMMING//INTERNET BASED COMMERCE
8 5708 FUNCTIONAL DEPENDENCY//CONSISTENT QUERY ANSWERING//ACM TRANSACTIONS ON DATABASE SYSTEMS
9 25552 WEISERS ALGORITHM//HERBRAND DOMAIN//A COMPLETE AXIOMATIZATION
10 11486 FUNCTIONAL DATA MODEL//OBJECT ROLE MODELING//OBJECT ORIENTED DATABASES

Go to start page