thingsaurus
This is a 'thesaurus for things' or similarity engine: results show things that have something in common with what you enter. The more stars, the more things in common! You can use it for research, recommendations or simply to explore ideas and related subjects.
Here are your results for Witness (mathematics)...
Stars indicate closer matches.
Quantifier (logic) 
- Game semantics
- Mathematical logic
- Definable set
- Original proof of Gödel's completeness theorem
- Outline of logic
- Logical graph
- Metamathematics
- Modal logic
- Simplification of disjunctive antecedents
- Term logic
- Bounded quantifier
- Branching quantifier
- Conditional quantifier
- Counting quantification
- Donkey sentence
- Existential quantification
- Filter quantifier
- Generalized quantifier
- Lindström quantifier
- Plural quantification
- Quantificational variability effect
- Quantifier rank
- Quantifier variance
- Scope (logic)
- Uniqueness quantification
- Universal quantification
- Logic
- Index of logic articles
- Apophasis
- Argument map
- Ariadne's thread (logic)
- Autological word
- Belief revision
- Birkhoff's theorem (equational logic)
- Boolean network
- Canon (basic principle)
- Canonical normal form
- Catch-22 (logic)
- Circumscription (taxonomy)
- Classical logic
- Colorless green ideas sleep furiously
- Composition of causes
- Concatenation theory
- Conceptions of logic
- Condensed detachment
- Conditional proof
- Conflation
- Counterexample
- Cratylism
Popular: 7 Reims 2024 Val Thorens Lists of horror films
Random: NGC 6167 2016–17 UEFA Europa League Double Life (PlayStation ad) Sullan Beeleigh Abbey
[beta] © 2026 • Data source: Wikipedia • Created by this chap