existential quantification
logical quantification stating that a statement holds for at least one object
Wikidata: existential quantificationmathswitch — infrastructure for relaying and exchanging mathematical concepts
logical quantification stating that a statement holds for at least one object
Wikidata: existential quantification