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… (More)
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2005
Highly Cited
2005
This study deals with the dynamic sales behavior of successive generations of high-technology products. New technologies diffuse… (More)
  • figure 1
  • table 1
  • figure 2
  • figure 3
  • figure 4
Is this relevant?
Highly Cited
2005
Highly Cited
2005
This collaborative study was conducted to determine the total monomeric anthocyanin concentration by the pH differential method… (More)
  • figure 1
  • figure 2
  • figure 3
  • table 1
  • table 2005
Is this relevant?
Highly Cited
2003
Highly Cited
2003
This paper examines the optimal consumption and portfolio choice problem of long-horizon investors who have access to a riskless… (More)
  • table V
  • table VI
  • figure 1
  • figure 2
  • figure 3
Is this relevant?
Highly Cited
2001
Highly Cited
2001
This paper studies the implications for general equilibnum asset pricing of a class of Kreps-Porteus nonexpected utility… (More)
  • table 1
  • table 2
Is this relevant?
Highly Cited
2001
Highly Cited
2001
The Raman spectra of a wide range of disordered and amorphous carbons have been measured under excitation from 785 to 229 nm. The… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
2001
Highly Cited
2001
Software product lines have numerous members. Thus, a product line infrastructure must cover various systems. This is the… (More)
  • table 2
  • table 1
  • table 3
  • table 4
  • figure 6
Is this relevant?
Highly Cited
1999
Highly Cited
1999
This paper considers the business cycle, asset pricing, and welfare e!ects of increased risk aversion, while holding… (More)
  • table 1
  • table 2
  • table 3
  • table 4
  • table 5
Is this relevant?
Highly Cited
1998
Highly Cited
1998
We present general definitions of security for multiparty cryptographic protocols, with focus on the task of evaluating a… (More)
Is this relevant?
Highly Cited
1997
Highly Cited
1997
argumentation systems * Gerard A.W. Vreeswijk a,b** a Department of Computer Science (F&W), University of Limburg, P.0. Box 616… (More)
  • figure 2
  • figure 3
  • figure 4
  • figure 5
  • figure 6
Is this relevant?
Highly Cited
1988
Highly Cited
1988
In an earlier article' the need was demonstrated for atomic physicochemical properties for three dimensional structure directed… (More)
  • table I
  • table I
  • table I
  • figure 1
  • table 11
Is this relevant?