Class information for:
Level 1: JOURNAL OF AUTOMATED REASONING//AUTOMATED THEOREM PROVING//MODEL ELIMINATION

Basic class information
ID Publications Average number
of references		 Avg. shr. active
ref. in WoS
9983 1038 23.2 22%


Bar chart of Publication_year

Last years might be incomplete

Classes in level above (level 2)


ID, lev.
above		 Publications Label for level above
1026 9754 LAMBDA CALCULUS//JOURNAL OF AUTOMATED REASONING//LINEAR LOGIC

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 JOURNAL OF AUTOMATED REASONING Journal 59 28% 17% 181
2 AUTOMATED THEOREM PROVING Author keyword 40 40% 7% 77
3 MODEL ELIMINATION Author keyword 15 67% 1% 14
4 SATCHMO Author keyword 14 100% 1% 7
5 MIZAR Author keyword 13 69% 1% 11
6 PROOF PLANNING Author keyword 9 64% 1% 9
7 MATHEMATICAL KNOWLEDGE MANAGEMENT Author keyword 9 83% 0% 5
8 AUTOMATED REASONING Author keyword 7 15% 4% 45
9 AUTOMATED DEDUCTION Author keyword 7 26% 2% 23
10 THEOREM PROVING Author keyword 7 12% 5% 55

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 AUTOMATED THEOREM PROVING 40 40% 7% 77 Search AUTOMATED+THEOREM+PROVING Search AUTOMATED+THEOREM+PROVING
2 MODEL ELIMINATION 15 67% 1% 14 Search MODEL+ELIMINATION Search MODEL+ELIMINATION
3 SATCHMO 14 100% 1% 7 Search SATCHMO Search SATCHMO
4 MIZAR 13 69% 1% 11 Search MIZAR Search MIZAR
5 PROOF PLANNING 9 64% 1% 9 Search PROOF+PLANNING Search PROOF+PLANNING
6 MATHEMATICAL KNOWLEDGE MANAGEMENT 9 83% 0% 5 Search MATHEMATICAL+KNOWLEDGE+MANAGEMENT Search MATHEMATICAL+KNOWLEDGE+MANAGEMENT
7 AUTOMATED REASONING 7 15% 4% 45 Search AUTOMATED+REASONING Search AUTOMATED+REASONING
8 AUTOMATED DEDUCTION 7 26% 2% 23 Search AUTOMATED+DEDUCTION Search AUTOMATED+DEDUCTION
9 THEOREM PROVING 7 12% 5% 55 Search THEOREM+PROVING Search THEOREM+PROVING
10 COMPUTABLE SET THEORY 6 80% 0% 4 Search COMPUTABLE+SET+THEORY Search COMPUTABLE+SET+THEORY

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 INDUCTIVE PROOF 12 86% 1% 6
2 ELEMENTARY SUBLANGUAGES 9 83% 0% 5
3 MIZAR 8 62% 1% 8
4 THEOREM PROVER 7 38% 1% 15
5 EVOLUTION CALCULUS 6 80% 0% 4
6 HYPERRESOLUTION 6 80% 0% 4
7 EXTENSIONALITY 6 50% 1% 8
8 SATCHMO 6 100% 0% 4
9 CASC 5 60% 1% 6
10 INDUCTIVE PROOFS 4 67% 0% 4

Journals


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 JOURNAL OF AUTOMATED REASONING 59 28% 17% 181

Reviews


Title Publ. year Cit. Active
references		 % act. ref.
to same field
The TPTP problem library - CNF release v1.2.1 1998 104 21 86%
A taxonomy of parallel strategies for deduction 2000 8 34 50%
Knowledge-based proof planning 1999 13 18 44%
Automated deduction - Looking ahead 1999 2 36 56%
Accepting/rejecting propositions from accepted/rejected propositions: A unifying overview 2008 0 8 50%
REVIEW OF HEURISTICS FOR GENERALIZATION 1995 0 4 50%
LOGIC, PROBLEM-SOLVING, AND DEDUCTION 1987 3 18 17%

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 AUTOMATED REASONING PROJECT 5 54% 0.7% 7
2 ENVIRONM INFORMAT BUSINESS 2 67% 0.2% 2
3 INFORMAT SYST E184 3 2 67% 0.2% 2
4 CNRSPROJECT PCRI 1 100% 0.2% 2
5 FB MATH COMP SCI 3 1 100% 0.2% 2
6 FR INFORMAT 62 1 100% 0.2% 2
7 RIACS 1 16% 0.7% 7
8 LOG COMPLEX DEDUCT SYST 1 21% 0.3% 3
9 COMP SPRACHEN 1 13% 0.5% 5
10 CYBERNAT 1 50% 0.1% 1

Related classes at same level (level 1)


Rank Relatedness score Related classes
1 0.0000196118 TERM REWRITING//LUFG INFORMAT 2//TERM REWRITING SYSTEMS
2 0.0000177603 MICROCODE VERIFICATION//HARDWARE VERIFICATION//ACL2
3 0.0000121646 DESCRIPTION LOGICS//FUZZY DESCRIPTION LOGICS//LOGIC FOR THE SEMANTIC WEB
4 0.0000095907 ABSTRACT INTERPRETATION//PREDICATE ABSTRACTION//SATISFIABILITY MODULO THEORIES
5 0.0000087477 CONSTRUCTIVE ALGORITHMICS//SKELETAL PARALLEL PROGRAMMING//BIRD MEERTENS FORMALISM
6 0.0000082707 SERV LOG//GPK THEORY//ANTI FOUNDATION
7 0.0000081320 DUALIZATION//INCREMENTAL POLYNOMIAL TIME//TRANSVERSAL HYPERGRAPH
8 0.0000074719 INFORMAT TECHNOL CORE S//DISCRIMINANT SEQUENCE//ROOT CLASSIFICATION
9 0.0000074631 LAMBDA CALCULUS//INTERSECTION TYPES//JOURNAL OF FUNCTIONAL PROGRAMMING
10 0.0000067434 ORDER SORTED LOGIC//PSI TERMS//TREE ORDERINGS