Computer Science
Decision Problem
100%
Termination Problem
80%
Linear Temporal Logic
80%
Machine Problem
80%
Temporal Logic
80%
Finite Model Property
66%
Computation
40%
Turing Machine
40%
Computational Complexity
40%
Constant Symbol
40%
Function Symbol
40%
Large Language Model
40%
Nonrepudiation
40%
Satisfiability Problem
33%
Universal Relation
20%
Faulty Computation
20%
Booleans
20%
Description Logics
20%
Branching Time
20%
Free Variable
20%
Chat
20%
Chatbot
10%
Potential Issue
10%
Channels
8%
Mathematics
Product Logic
86%
Difference Operator
80%
Variables
70%
Complete
50%
Logical Structure
40%
Proponent
40%
Computational
30%
Commutator
26%
Upper Bound
20%
Algebraic Logic
20%
Points
20%
Undecidability
20%
Infinite Set
20%
Formal Model
20%
Missing Information
20%
Probability Theory
16%
Coincides
13%
Exponential Time
13%
Decidability
13%
Satisfying
10%
Arts and Humanities
Enthymeme
40%
locutions
40%
Normative
13%
Dialogical
13%
Structure
13%
Informal logic
13%
Real World
13%
Incomplete
13%
Warrants
13%
