Results 31 to 40 of about 162,552 (303)

Induction in Saturation-Based Proof Search [PDF]

EasyChair Preprints, 2019
Many applications of theorem proving, for example program verification and analysis, require first-order reasoning with both quantifiers and theories such as arithmetic and datatypes. There is no complete procedure for reasoning in such theories but the state-of-the-art in automated theorem proving is still able to reason effectively with real-world ...
Giles Reger, Andrei Voronkov
openaire   +3 more sources

Crop Response to Gypsum Application to Subtropical Soils Under No-Till in Brazil: a Systematic Review

Revista Brasileira de Ciência do Solo, 2018
The use of gypsum to improve the root environment in tropical soils in the southeastern and central-western regions of Brazil is a widespread practice with well-established recommendation criteria.
Tales Tiecher, Osmar Henrique de Castro Pias, Cimélio Bayer, Amanda Posselt Martins, Luiz Gustavo de Oliveira Denardin, Ibanor Anghinoni   +5 more
doaj   +1 more source

Effect of forest liming in the Western Krušné hory Mts.

Journal of Forest Science, 2006
In May 31, 2000, the Government of the Czech Republic, has adopted the Decision No. 532, assigning the minister of agriculture to realize liming and fertilizing in the Krušné hory Mts. and Orlické hory Mts.
V. Šrámek, J. Materna, R. Novotný, V. Fadrhonsová   +3 more
doaj   +1 more source

Aplicação superficial de calcário em pomar de laranjeira pêra em produção Surface liming application in the soil withadult orange cv. pêra

Revista Brasileira de Fruticultura, 2007
A citricultura paulista é a maior do mundo, sendo de extrema importância manejos que visem a aumentar e melhorar a produção de frutos. Com vistas a isso, foi instalado na EECB (Bebedouro-SP), em um Latossolo Vermelho distrófico típico, um experimento com
Marcos Antonio Camacho da Silva, William Natale, Renato de Mello Prado, Márcio Cleber Medeiros Corrêa, Eduardo Sanches Stuchi, Itamar Andrioli   +5 more
doaj   +1 more source

Crescimento do maracujazeiro-doce propagado por sementes em função da calagem Growth of sweet passion fruit seedlings as a function of liming

Ciência e Agrotecnologia, 2003
Objetivou-se avaliar as respostas em crescimento do maracujazeiro-doce (Passiflora alata Dryand.) propagado por sementes, quando cultivado sob diferentes níveis de saturação por bases em solos representativos das regiões produtoras de Minas Gerais.
Elda Bonilha Assis Fonseca, Moacir Pasqual, Janice Guedes de Carvalho, João Batista Donizeti Corrêa   +3 more
doaj   +1 more source

Soil pH and base saturation in 2018.

, 2023
The forests of central Europe have undergone remarkable transitions in the past 40 years as air quality has improved dramatically. Retrospective analysis of Norway spruce (Picea abies) tree rings in the Czech Republic shows that air pollution (e.g.
Michal Rybníček (542996), Tomáš Kolář (14761958), William H. McDowell (483444), Tomáš Chuman (537121), Filip Oulehle (2368834), Jakub Hruška (537123), Miroslav Trnka (14761961)   +6 more
core   +1 more source

Correction of soil acidity in the subsurface of an oxisol with sandy loam texture under no-tillage Correção da acidez do solo em subsuperfície de um latossolo de textura franco-arenosa sob plantio direto

Revista Brasileira de Ciência do Solo, 2009
In Rio Grande do Sul State (RS), Southern Brazil, aluminum saturation in many areas under no-till system is high and base saturation low in the 0.10-0.20 m layer (subsurface), which may reduce the grain yield of annual crops.
Otavio Bagiotto Rossato, Carlos Alberto Ceretta, Leandro Souza da Silva, Gustavo Brunetto, Jaqueline Cristiane Adorna, Eduardo Girotto, Cledimar Rogério Lorenzi   +6 more
doaj   +1 more source

Atributos químicos do solo e produção do feijoeiro com a aplicação de calcário e manganês Soil chemical atributes and common bean yield as affected by lime and manganese rates

Revista Brasileira de Ciência do Solo, 2008
O feijão (Phaseolus vulgaris L.) constitui a base alimentar da população brasileira. Muitos fatores determinam a baixa produtividade do feijoeiro, desde problemas políticos até fatores técnicos, dentre eles a adubação e nutrição.
Reges Heinrichs, Adônis Moreira, Paulo Alexandre Monteiro de Figueiredo, Eurípedes Malavolta   +3 more
doaj   +1 more source

Ecohydrological analysis of a groundwater influenced blanket bog: occurrence of Schoenus nigricans in Roundstone Bog, Connemara, Ireland [PDF]

Mires and Peat, 2016
Since the late 1960s, the occurrence of Schoenus nigricans in Irish blanket bogs has been attributed to inputs of salt spray to the blanket bogs, due to their proximity to the coast and the predominant westerly winds from the Atlantic Ocean. To test this
A.P. Grootjans, G. Hensgens, R. Hogenboom, B. Aarts, J. Manschot, J.G.M. Roelofs   +5 more
doaj   +1 more source

Saturation analysis of base substitutions in species of the family Laelapidae.

, 2023
Saturation analysis of base substitutions in species of the family Laelapidae.
Wenge Dong (12790610), Ting Chen (15205), Huijuan Yang (767190)   +2 more
core   +1 more source