Class information for:
Level 1: COMPUTABLE SET THEORY//HEREDITARILY FINITE SETS//EXTENSIONAL DIGRAPH

Basic class information
Class id #P Avg. number of
references		 Database coverage
of references
26848 244 20.1 23%


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
9 4 COMPUTER SCIENCE, THEORY & METHODS//COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE//COMPUTER SCIENCE, INFORMATION SYSTEMS 1247339
148 3       COMPUTER SCIENCE, SOFTWARE ENGINEERING//COMPUTER SCIENCE, THEORY & METHODS//ACM SIGPLAN NOTICES 63683
708 2             COMPUTER SCIENCE, THEORY & METHODS//JOURNAL OF AUTOMATED REASONING//LAMBDA CALCULUS 12890
26848 1                   COMPUTABLE SET THEORY//HEREDITARILY FINITE SETS//EXTENSIONAL DIGRAPH 244

Terms with highest relevance score


rank Term termType Chi square Shr. of publ. in
class containing
term		 Class's shr. of
term's tot. occurrences		 #P with
term in
class
1 COMPUTABLE SET THEORY authKW 750869 2% 100% 6
2 HEREDITARILY FINITE SETS authKW 400462 2% 80% 4
3 EXTENSIONAL DIGRAPH authKW 281574 1% 75% 3
4 DECISION AND SEMI DECISION ALGORITHMS authKW 250290 1% 100% 2
5 SATISFACTION ALGORITHM authKW 250290 1% 100% 2
6 THEORY BASED AUTOMATED REASONING authKW 250290 1% 100% 2
7 FINITE SET THEORY authKW 250286 2% 50% 4
8 SET THEORY authKW 240617 10% 8% 25
9 ORDINAL ARITHMETIC authKW 200227 2% 40% 4
10 DOMAIN ACQUISITION authKW 166858 1% 67% 2

Web of Science journal categories


Rank Term Chi square Shr. of publ. in
class containing
term		 Class's shr. of
term's tot. occurrences		 #P with
term in
class
1 Logic 12904 16% 0% 39
2 Computer Science, Theory & Methods 5526 41% 0% 101
3 Computer Science, Artificial Intelligence 2121 25% 0% 60
4 Computer Science, Software Engineering 1440 18% 0% 44
5 Mathematics 608 23% 0% 55
6 Mathematics, Applied 573 20% 0% 49
7 Computer Science, Hardware & Architecture 167 5% 0% 12
8 Computer Science, Information Systems 131 7% 0% 16
9 Philosophy 3 1% 0% 2
10 Computer Science, Cybernetics 3 0% 0% 1

Address terms


Rank Term Chi square Shr. of publ. in
class containing
term		 Class's shr. of
term's tot. occurrences		 #P with
term in
class
1 COMP SCI PLICAT RM C OCELLI 125145 0% 100% 1
2 DIGE DMI 125145 0% 100% 1
3 ECON INDICATORS EURO ZONE 125145 0% 100% 1
4 LII DISA 125145 0% 100% 1
5 MATH UMR CNRS 6623 125145 0% 100% 1
6 SYST COMP ENGN PROGRAM 71508 1% 29% 2
7 GERMAN ARMED FORCES 62571 0% 50% 1
8 DIP MATEMAT GEOSCI 41714 0% 33% 1
9 SQRL 41714 0% 33% 1
10 DIPARTIMENTO MATEMAT INFORMAT 34163 13% 1% 31

Journals


Rank Term Chi square Shr. of publ. in
class containing
term		 Class's shr. of
term's tot. occurrences		 #P with
term in
class
1 JOURNAL OF AUTOMATED REASONING 45606 7% 2% 16
2 JOURNAL OF PROGRAMMING LANGUAGES 20107 1% 5% 3
3 JOURNAL OF LOGIC PROGRAMMING 18187 3% 2% 8
4 COMMUNICATIONS ON PURE AND APPLIED MATHEMATICS 17613 6% 1% 15
5 KNOWLEDGE ENGINEERING REVIEW 10204 2% 1% 6
6 THEORY AND PRACTICE OF LOGIC PROGRAMMING 4271 2% 1% 4
7 LECTURE NOTES IN ARTIFICIAL INTELLIGENCE 2720 8% 0% 19
8 LECTURE NOTES IN COMPUTER SCIENCE 2701 18% 0% 44
9 MATHEMATICAL LOGIC QUARTERLY 2653 2% 0% 5
10 ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK 2269 1% 1% 3

Author Key Words


Rank Term Chi square Shr. of publ. in
class containing
term		 Class's shr. of
term's tot. occurrences		 #P with
term in
class		 LCSH search Wikipedia search
1 COMPUTABLE SET THEORY 750869 2% 100% 6 Search COMPUTABLE+SET+THEORY Search COMPUTABLE+SET+THEORY
2 HEREDITARILY FINITE SETS 400462 2% 80% 4 Search HEREDITARILY+FINITE+SETS Search HEREDITARILY+FINITE+SETS
3 EXTENSIONAL DIGRAPH 281574 1% 75% 3 Search EXTENSIONAL+DIGRAPH Search EXTENSIONAL+DIGRAPH
4 DECISION AND SEMI DECISION ALGORITHMS 250290 1% 100% 2 Search DECISION+AND+SEMI+DECISION+ALGORITHMS Search DECISION+AND+SEMI+DECISION+ALGORITHMS
5 SATISFACTION ALGORITHM 250290 1% 100% 2 Search SATISFACTION+ALGORITHM Search SATISFACTION+ALGORITHM
6 THEORY BASED AUTOMATED REASONING 250290 1% 100% 2 Search THEORY+BASED+AUTOMATED+REASONING Search THEORY+BASED+AUTOMATED+REASONING
7 FINITE SET THEORY 250286 2% 50% 4 Search FINITE+SET+THEORY Search FINITE+SET+THEORY
8 SET THEORY 240617 10% 8% 25 Search SET+THEORY Search SET+THEORY
9 ORDINAL ARITHMETIC 200227 2% 40% 4 Search ORDINAL+ARITHMETIC Search ORDINAL+ARITHMETIC
10 DOMAIN ACQUISITION 166858 1% 67% 2 Search DOMAIN+ACQUISITION Search DOMAIN+ACQUISITION

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.


Rank Reference # ref.
in cl.		 Shr. of ref. in
cl.		 Citations
1 BERGENTI, F , CHIARABINI, L , ROSSI, G , (2011) PROGRAMMING WITH PARTIALLY SPECIFIED AGGREGATES IN JAVA.COMPUTER LANGUAGES SYSTEMS & STRUCTURES. VOL. 37. ISSUE 4. P. 178 -192 11 100% 1
2 FERRO, A , CANTONE, D , (1995) TECHNIQUES OF COMPUTABLE SET THEORY WITH APPLICATIONS TO PROOF VERIFICATION.COMMUNICATIONS ON PURE AND APPLIED MATHEMATICS. VOL. 48. ISSUE 9-10. P. 901 -945 19 90% 2
3 OMODEO, EG , POLICRITI, A , TOMESCU, AI , (2017) SET-SYLLOGISTICS MEET COMBINATORICS.MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE. VOL. 27. ISSUE 2. P. 296 -310 9 100% 0
4 DOVIER, A , FORMISANO, A , OMODEO, EG , (2006) DECIDABILITY RESULTS FOR SETS WITH ATOMS.ACM TRANSACTIONS ON COMPUTATIONAL LOGIC. VOL. 7. ISSUE 2. P. 269-301 14 82% 0
5 KIRBY, L , (2015) DIGRAPH PARAMETERS AND FINITE SET ARITHMETIC.MATHEMATICAL LOGIC QUARTERLY. VOL. 61. ISSUE 4-5. P. 250 -262 8 100% 0
6 CANTONE, D , FORMISANO, A , ASMUNDO, MN , OMODEO, EG , (2012) A GRAPHICAL REPRESENTATION OF RELATIONAL FORMULAE WITH COMPLEMENTATION.RAIRO-THEORETICAL INFORMATICS AND APPLICATIONS. VOL. 46. ISSUE 2. P. 261 -289 8 100% 0
7 OMODEO, E , POLICRITI, A , (2010) THE BERNAYS-SCHONFINKEL-RAMSEY CLASS FOR SET THEORY: SEMIDECIDABILITY.JOURNAL OF SYMBOLIC LOGIC. VOL. 75. ISSUE 2. P. 459-480 8 100% 3
8 AUDRITO, G , TOMESCU, AI , WAGNER, S , (2015) ENUMERATION OF THE ADJUNCTIVE HIERARCHY OF HEREDITARILY FINITE SETS.JOURNAL OF LOGIC AND COMPUTATION. VOL. 25. ISSUE 3. P. 943 -963 7 100% 0
9 CANTONE, D , URSINO, P , (2014) FORMATIVE PROCESSES WITH APPLICATIONS TO THE DECISION PROBLEM IN SET THEORY: II. POWERSET AND SINGLETON OPERATORS, FINITENESS PREDICATE.INFORMATION AND COMPUTATION. VOL. 237. ISSUE . P. 215 -242 7 100% 0
10 OMODEO, EG , POLICRITI, A , TOMESCU, AI , (2012) INFINITY, IN SHORT.JOURNAL OF LOGIC AND COMPUTATION. VOL. 22. ISSUE 6. P. 1391-1403 7 88% 0

Classes with closest relation at Level 1


Rank Class id link
1 29568 IDENTIFYING CODES//LOCATING DOMINATING CODES//TWIN FREE GRAPHS
2 4014 TERM REWRITING//TERM REWRITING SYSTEMS//REWRITING LOGIC
3 9998 JOURNAL OF AUTOMATED REASONING//AUTOMATED THEOREM PROVING//MIZAR
4 7591 JOURNAL OF LOGIC PROGRAMMING//LOGIC PROGRAMMING//ABSTRACT INTERPRETATION
5 13494 FINITE MODEL THEORY//DESCRIPTIVE COMPLEXITY//CONSTRAINT DATABASES
6 28600 ORDER SORTED LOGIC//FEATURE LOGIC//PSI TERMS
7 18723 THEOREM PROVING//SYMBOLIC TRAJECTORY EVALUATION//MULTIWAY DECISION GRAPHS
8 8388 CONSTRAINTS//CORK CONSTRAINT COMPUTAT//GLOBAL CONSTRAINTS
9 1820 ANSWER SET PROGRAMMING//NONMONOTONIC REASONING//DEFAULT LOGIC
10 8192 PARTIAL EVALUATION//PROGRAM TRANSFORMATION//PROGRAM SPECIALIZATION

Go to start page