Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 236,794,590 papers from all fields of science
Search
Sign In
Create Free Account
Substitution (logic)
Known as:
Ground instance
, Substitution
, Substitution instance
Substitution is a fundamental concept in logic.A substitution is a syntactic transformation on formal expressions.To apply a substitution to an…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
27 relations
Admissible rule
Axiomatic system
Boolean satisfiability problem
Constraint satisfaction
Expand
Broader (3)
Automated theorem proving
Logic programming
Propositional calculus
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2004
2004
Saving Face: Spectator and Spectacle in Japanese Theatre and Film
D. Davis
2004
Corpus ID: 191659623
Is there continuity between theatrical spectatorship and cinematic experience? In light of the traditional theatre of kabuki…
Expand
Highly Cited
2002
Highly Cited
2002
Iridium Complex-Catalyzed Highly Selective Organic Synthesis
R. Takeuchi
2002
Corpus ID: 7583647
Two different synthetic reactions catalyzed by an iridium complex are discussed. The first is allylic alkylation and allylic…
Expand
2000
2000
Stereoselective synthesis of tetrahydrofuran and tetrahydropyran derivatives by use of asymmetric Horner-Wadsworth-Emmons and ring closure reactions
L. Vares
2000
Corpus ID: 99840670
The main theme in this thesis is asymmetric synthesis. The work has been focused on the synthesis o f tetrahydrofuran and…
Expand
Review
2000
Review
2000
Electrical and Thermal Transport in Perovskite Manganites
J. Cohn
2000
Corpus ID: 54585403
Experimental data on the temperature, magnetic field, and pressure dependencies of charge and heat transport in perovskite…
Expand
Highly Cited
1991
Highly Cited
1991
Local Density Functional Electronic Structures of Three Stable Icosahedral Fullerenes
B. Dunlap
,
D. Brenner
,
J. Mintmire
,
R. C. Mowrey
,
C. T. White
1991
Corpus ID: 44429730
Local density functional (LDF) electronic structures of icosahedral C,, Cleo, and C240 are compared. These molecules are…
Expand
1988
1988
Chiral acetals in enantio- and diastereoselective substitution or elimination reactions
A. Alexakis*
,
P. Mangeney
,
+4 authors
J. Normant
1988
Corpus ID: 53709309
Abstract
1986
1986
The Manufacturing Game: A Formal Approach to Manufacturing Software
A. Naylor
,
M. Maletz
IEEE Transactions on Systems, Man and Cybernetics
1986
Corpus ID: 24818136
A formal modeling system intended for modeling the flow of parts, tools, information, and material on the factory floor is…
Expand
Highly Cited
1983
Highly Cited
1983
Colonic interposition for esophageal substitution.
Postlethwait Rw
1983
Corpus ID: 77840589
: Sufficient information has now accumulated to permit a better definition of the role of colonic interposition for substitution…
Expand
1979
1979
New alternatives to oxidative phenolic coupling in natural products total synthesis
D. A. Evans
,
D. Hart
,
P. Koelsch
,
P. Cain
1979
Corpus ID: 34668414
Abstract New concepts will be presented which employ quinones in the synthesis of alkaloids and antibiotics. In many instances…
Expand
Highly Cited
1968
Highly Cited
1968
Electrophilic Substitution of Organomercurials
F. Jensen
,
B. Rickborn
1968
Corpus ID: 92945817