Skip to search formSkip to main contentSkip to account menu

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… 
Wikipedia (opens in a new tab)

Related topics

Related topics

27 relations
Admissible ruleAxiomatic systemBoolean satisfiability problemConstraint satisfaction

Broader (3)

Automated theorem provingLogic programmingPropositional calculus

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2010
2010
Inference for functions of parameters in discrete distributions based on fiducial approach: Binomial and Poisson cases
Highly Cited
2009
Highly Cited
2009
Nivel: a metamodelling language with a formal semantics
Much work has been done to clarify the notion of metamodelling and new ideas, such as strict metamodelling, distinction between… 
Highly Cited
2004
Highly Cited
2004
γ-Selective allylic substitution reaction with Grignard reagents catalyzed by copper N-heterocyclic carbene complexes and its application to enantioselective synthesis
2004
2004
The Dutch productivity slowdown: the culprit at last?
Highly Cited
2002
Highly Cited
2002
Iridium Complex-Catalyzed Highly Selective Organic Synthesis
Two different synthetic reactions catalyzed by an iridium complex are discussed. The first is allylic alkylation and allylic… 
Highly Cited
2002
Highly Cited
2002
A unified Krylov-Bogoliubov-Mitropolskii method for solving nth order nonlinear systems
Review
2000
Review
2000
TELECOMMUNICATIONS AND TRAVEL
The potential of telecommunications technology to affect travel behavior has been perceived at least since the invention of the… 
Review
1992
Review
1992
Semiempirical Model of Soil Water Hysteresis
In order to represent hysteretic soil water retention curves accurately using as few measurements as possible, a new… 
Highly Cited
1983
Highly Cited
1983
Colonic interposition for esophageal substitution.
: Sufficient information has now accumulated to permit a better definition of the role of colonic interposition for substitution… 
Highly Cited
1968
Highly Cited
1968
Electrophilic Substitution of Organomercurials
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)