Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 225,220,491 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.
2015
2015
Adding Threshold Concepts to the Description Logic EL
O. Gil
,
F. Baader
,
G. Brewka
Description Logics
2015
Corpus ID: 10873198
We introduce an extension of the lightweight Description Logic EL that allows us to de_ne concepts in an approximate way. For…
Expand
Review
2008
Review
2008
Measuring Inhomogeneity in Spatial Distributions
Udo Schilcher
,
M. Gyarmati
,
C. Bettstetter
,
Y. Chung
,
Younghan Kim
IEEE Vehicular Technology Conference
2008
Corpus ID: 6414821
The spatial distribution of nodes in wireless networks has important impact on network performance properties, such as capacity…
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
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
Highly Cited
2004
Highly Cited
2004
Mechanical Shuttling of Linear Motor-Molecules in Condensed Phases on Solid Substrates
T. Huang
,
H. Tseng
,
+8 authors
Chih-Ming Ho
2004
Corpus ID: 44767543
From analyses of pressure-area isotherms and X-ray photoelectron spectra, we have demonstrated that redox-controllable molecular…
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
2002
2002
West Nile's Surprisingly Swift Continental Sweep
M. Enserink
Science
2002
Corpus ID: 86141894
INFECTIOUS DISEASECAMBRIDGE, MASSACHUSETTS-- Scientists are trying to understand why the West Nile epidemic has exploded this…
Expand
Review
2002
Review
2002
Manyame Catchment Council: a review of the reform of the water sector in Zimbabwe
C. Latham
2002
Corpus ID: 154364999
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