Research Concept

Witness

in logic, value which shows that an existential statement is true

Works
181,138
Citations
471,380
Level
2
OpenAlex ID
C2776900844