Class information for:
Level 1: SERV LOG//GPK THEORY//ANTI FOUNDATION

Basic class information
ID Publications Average number
of references		 Avg. shr. active
ref. in WoS
32690 104 15.2 20%


Bar chart of Publication_year

Last years might be incomplete

Classes in level above (level 2)


ID, lev.
above		 Publications Label for level above
3473 1060 SERV LOG//ALPINE SUMMER FARMING//GPK THEORY

Terms with highest relevance score


Rank Term Type of term Relevance score
(tfidf)		 Class's shr.
of term's tot.
occurrences		 Shr. of publ.
in class containing
term		 Num. of
publ.
in class
1 SERV LOG Address 15 88% 7% 7
2 GPK THEORY Author keyword 6 100% 4% 4
3 ANTI FOUNDATION Author keyword 3 100% 3% 3
4 RAMIFIABILITY Author keyword 3 100% 3% 3
5 DIRECTED SET Author keyword 3 38% 6% 6
6 SOCO Address 3 60% 3% 3
7 TREE PROPERTY Author keyword 2 28% 7% 7
8 POSITIVE SET THEORY Author keyword 2 67% 2% 2
9 NEW FOUNDATIONS Author keyword 2 40% 4% 4
10 POSITIVE THEORY Author keyword 2 43% 3% 3

Web of Science journal categories

Author Key Words


Rank Web of Science journal category Relevance score
(tfidf)		 Class's shr.
of term's tot.
occurrences		 Shr. of publ.
in class containing
term		 Num. of
publ.
in class		 LCSH search Wikipedia search
1 GPK THEORY 6 100% 4% 4 Search GPK+THEORY Search GPK+THEORY
2 ANTI FOUNDATION 3 100% 3% 3 Search ANTI+FOUNDATION Search ANTI+FOUNDATION
3 RAMIFIABILITY 3 100% 3% 3 Search RAMIFIABILITY Search RAMIFIABILITY
4 DIRECTED SET 3 38% 6% 6 Search DIRECTED+SET Search DIRECTED+SET
5 TREE PROPERTY 2 28% 7% 7 Search TREE+PROPERTY Search TREE+PROPERTY
6 POSITIVE SET THEORY 2 67% 2% 2 Search POSITIVE+SET+THEORY Search POSITIVE+SET+THEORY
7 NEW FOUNDATIONS 2 40% 4% 4 Search NEW+FOUNDATIONS Search NEW+FOUNDATIONS
8 POSITIVE THEORY 2 43% 3% 3 Search POSITIVE+THEORY Search POSITIVE+THEORY
9 KAPPA HEREDITARY SETS 1 100% 2% 2 Search KAPPA+HEREDITARY+SETS Search KAPPA+HEREDITARY+SETS
10 FIRST ORDER STRUCTURE 1 50% 1% 1 Search FIRST+ORDER+STRUCTURE Search FIRST+ORDER+STRUCTURE

Key Words Plus


Rank Web of Science journal category Relevance score
(tfidf)		 Class's shr.
of term's tot.
occurrences		 Shr. of publ.
in class containing
term		 Num. of
publ.
in class
1 DIRECTED SETS 4 50% 6% 6
2 HYPERUNIVERSES 1 100% 2% 2
3 ALGOL 60 0 14% 1% 1
4 CHURCHS LAMBDA NOTATION 0 14% 1% 1
5 PI1 1 SETS 0 100% 1% 1
6 POSITIVE COMPREHENSION 0 100% 1% 1
7 QUINES 0 100% 1% 1
8 TREE PROPERTIES 0 100% 1% 1

Journals

Reviews


Title Publ. year Cit. Active
references		 % act. ref.
to same field
On the Origins of Bisimulation and Coinduction 2009 9 13 15%

Address terms


Rank Address term Relevance score
(tfidf)		 Class's shr.
of term's tot.
occurrences		 Shr. of publ.
in class containing
term		 Num. of
publ.
in class
1 SERV LOG 15 88% 6.7% 7
2 SOCO 3 60% 2.9% 3
3 SECURE DEPENDABLE SOFTWARE 0 33% 1.0% 1
4 DIP MATEMAT PLICATA U DINI 0 100% 1.0% 1
5 SERV LOG CP 211 0 100% 1.0% 1
6 SERV LOG MATH 0 100% 1.0% 1
7 SERV LOGIQUE 0 100% 1.0% 1
8 SOCO CP 135 0 100% 1.0% 1

Related classes at same level (level 1)


Rank Relatedness score Related classes
1 0.0000183372 ARTHUR BRYANT//DIE MEISTERSINGER//JEWISH LEGION
2 0.0000145530 PHILOSOPHIA MATHEMATICA//HUMES PRINCIPLE//INDISPENSABILITY ARGUMENT
3 0.0000142450 RECURSIVE SATURATION//BERRYS PARADOX//MODELS OF PEANO ARITHMETIC
4 0.0000127843 AXIOM OF CHOICE//BOOLEAN PRIME IDEAL THEOREM//WEAK AXIOMS OF CHOICE
5 0.0000117938 BIOY CASARES//BRAINHOOD//RECH J ON
6 0.0000116210 COMPETENCE DESCRIPTION//DATABASE EDUC//ADV E SERV KNOWLEDGE SOC UNIT
7 0.0000099522 TRANSPARENT INTENSIONAL LOGIC//STRUCTURED MEANING//NON FREGEAN LOGIC
8 0.0000087063 MICROCODE VERIFICATION//HARDWARE VERIFICATION//ACL2
9 0.0000082707 JOURNAL OF AUTOMATED REASONING//AUTOMATED THEOREM PROVING//MODEL ELIMINATION
10 0.0000062672 PROOF THEORETIC SEMANTICS//JOURNAL OF PHILOSOPHICAL LOGIC//REVIEW OF SYMBOLIC LOGIC