Skip to search formSkip to main contentSkip to account menu

Smn theorem

Known as: Parameterization theorem, Parameter theorem, Kleene's s-m-n Theorem 
In computability theory the smn theorem, (also called the translation lemma, parameter theorem, or parameterization theorem) is a basic result about… 
Wikipedia (opens in a new tab)

Related topics

Related topics

13 relations
AlgorithmComputable functionCurryingGödel numbering

Broader (1)

Computability theory

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2015
2015
Cover crop mixtures including legume produce ecosystem services of nitrate capture and green manuring: assessment combining experimentation and modelling
During the fallow period, non-legume cover crop species can capture mineral nitrogen (N) and thus decrease nitrate leaching… 
2015
2015
PRMT 9 is a Type II methyltransferase that methylates the splicing factor SAP 145
The human genome encodes a family of nine protein arginine methyltransferases (PRMT1–9), whose members can catalyse three… 
2014
2014
Improving detection and genetic counseling in carriers of spinal muscular atrophy with two copies of the SMN 1 gene
Spinal muscular atrophy (SMA) is an autosomal recessive disease caused by mutations in the survival motor neuron1 gene (SMN1… 
2013
2013
Robust Wi-Fi location fingerprinting against device diversity based on spatial mean normalization
Received signal strength (RSS) in Wi-Fi networks is commonly employed in indoor positioning systems; however, device diversity is… 
2013
2013
Evaluation of Post-Harvest Organic Carbon Amendments as a Strategy to Minimize Nitrogen Losses in Cole Crop Production
Cole crops (Brassica vegetables) can pose a significant risk for N losses during the post-harvest period due to substantial… 
2007
2007
Robust quantification of the SMN gene copy number by real-time TaqMan PCR
Spinal muscular atrophy (SMA) is an autosomal recessive disease caused by mutation or deletion of the survival motor neuron gene… 
2004
2004
Effects of nitrification inhibitors and time and rate of slurry and fertilizer N application on silage maize yield and losses to the environment
Field experiments with silage maize during eight years on a sandy soil in The Netherlands, showed that dicyandiamide (DCD… 
2004
2004
Changes in soil mineral nitrogen during and after 3-year and 5-year set-aside and nitrate leaching losses after ploughing out the 5-year plant covers in the UK
The management and effects of 3-year and 5-year set-aside covers on soil mineral nitrogen (SMN, 0.0–0.9 m) were studied at six… 
Highly Cited
2003
Highly Cited
2003
The fate of nitrogen applied to sugarcane by trickle irrigation
Fertigation can be a more efficient means of applying crop nutrients, particularly nitrogen (N), so that nutrient application… 
1972
1972
A patent problem for abstract programming languages; machine-independent computations
A programming language may be viewed as an acceptable numbering of the partial recursive functions, with “semantics” the mapping… 
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)