Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 232,725,795 papers from all fields of science
Search
Sign In
Create Free Account
Turned A
Known as:
Upturned a
, Ɒ
, Turn A
Expand
Turned A (capital: Ɐ, lowercase: ɐ, math symbol ∀) is a symbol based upon the letter A. Lowercase ɐ (in two story form) is used in the International…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
4 relations
Predicate variable
Symbol (formal)
Universal quantification
Well-formed formula
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2016
2016
Enabling MOOL in acoustics by mobile crowd-sensing paradigm
M. Zappatore
,
A. Longo
,
Mario Alessandro Bochicchio
IEEE Global Engineering Education Conference
2016
Corpus ID: 36043490
The availability of mobile devices anywhere and anytime allows us to experience new ways of teaching scientific disciplines. The…
Expand
2008
2008
LIMITED FLOW BEHAVIOUR OF SAND WITH FINES UNDER MONOTONIC AND CYCLIC LOADING
S. Lo
,
Mizanur Rahman
,
D. Bobei
2008
Corpus ID: 54664902
Experimental studies on a sand with 10% fines were conducted to establish the linkage between monotonie and cyclic instability…
Expand
2007
2007
The Value of Water and the Meaning of Water Law for the Native Americans Known as the Haudenosaunee
J. King
2007
Corpus ID: 151218994
2007
2007
Reducing Collision Probability in Wireless Sensor Network Backoff-Based Election Mechanisms
T. Watteyne
,
I. Augé-Blum
,
M. Dohler
,
D. Barthel
IEEE GLOBECOM - IEEE Global Telecommunications…
2007
Corpus ID: 8017681
Wireless Sensor Networks have inherent constraints such as available bandwidth and energy. Communication protocols applying to…
Expand
2006
2006
Enabling the Application of Open Systems like PCs for Online Voting
M. Volkamer
,
A. Alkassar
,
A. Sadeghi
,
Stefan Schulz
2006
Corpus ID: 15132808
An increasing number of elections have been performed using Online Voting. Due to these experiences, the technical research…
Expand
Highly Cited
2005
Highly Cited
2005
A Decomposition Rule for Decision Procedures by Resolution-Based Calculi
U. Hustadt
,
B. Motik
,
U. Sattler
Logic Programming and Automated Reasoning
2005
Corpus ID: 16218468
Resolution-based calculi are among the most widely used calculi for theorem proving in first-order logic. Numerous refinements of…
Expand
2004
2004
Design and fabrication of a 70 kA current lead using Ag/Au stabilized Bi-2223 tapes as a demonstrator for the ITER TF-coil system
Reinhard Heller
,
D. Aized
,
+8 authors
R. Wesche
IEEE transactions on applied superconductivity
2004
Corpus ID: 29871084
In the frame of the European Fusion Technology Programme, the Forschungszentrum Karlsruhe and the Centre de Recherches en…
Expand
2003
2003
Linking spatio-temporal dynamics of earthworm populations to nutrient cycling in temperate agricultural and forest ecosystemsThe 7th international symposium on earthworm ecology · Cardiff · Wales…
J. Whalen
,
C. Costa
2003
Corpus ID: 55062930
Review
2002
Review
2002
Manyame Catchment Council: a review of the reform of the water sector in Zimbabwe
C. Latham
2002
Corpus ID: 154364999
1998
1998
The Extra Burden of Moslem Wives: Clues from Israeli Women's Labor Supply
S. Grossbard-Shechtman
,
S. Neuman
Economic development and cultural change
1998
Corpus ID: 17397013
This paper examines differences in the labour supply of women of different religions in Israel. We estimate religious…
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