Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 225,315,120 papers from all fields of science
Search
Sign In
Create Free Account
Turned E
Known as:
∃
Turned E (∃) is a symbol based upon the letter E. It is used to represent existential quantification in predicate logic. When it appears in a formula…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
4 relations
Existential quantification
Predicate variable
Symbol (formal)
Well-formed formula
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2007
2007
Restricted demonic choice for modular probabilistic programs
Daniel Robinson
2007
Corpus ID: 2128246
It is argued that one approach to modularity in programs containing both demonic and probabilistic choice is to allow variations…
Expand
2003
2003
The Story of an Australian dot.com Company that Survived the Tech Wreck
Lisa Bowman
Journal of Research and Practice in Information…
2003
Corpus ID: 38529701
Manuscript received: 28 June 2003 Communicating Editor: Sidney Morris Copyright© 2003, Australian Computer Society Inc. General…
Expand
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE