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
2017
Highly Cited
2017
We study the problem of attributing the prediction of a deep network to its input features, a problem previously studied by… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
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
2002
Highly Cited
2002
This brief summarizes the results of a gender impact evaluation study, entitled Entitled to work : urban property rights and… (More)
  • table I
  • table II
  • table III
  • table IV
  • table V
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 analyzes optimal portfolio choice and consumption with stochastic volatility in incomplete markets. Using the Duffie… (More)
  • table V
  • table VI
  • figure 1
  • figure 2
  • figure 3
Is this relevant?
Highly Cited
1998
Highly Cited
1998
Abstract. We present general definitions of security for multiparty cryptographic protocols, with focus on the task of evaluating… (More)
Is this relevant?
Highly Cited
1997
Highly Cited
1997
Abstract In this paper, we develop a theory of abstract argumentation systems . An abstract argumentation system is a collection… (More)
  • figure 2
  • figure 3
  • figure 4
  • figure 5
  • figure 6
Is this relevant?
Highly Cited
1987
Highly Cited
1987
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?