Results 141 to 150 of about 3,237,123 (202)

Energy Dynamics of Long-Wave Low-Amplitude Disturbances in an Anharmonic One-Dimensional Lattice. [PDF]

Materials (Basel)
Shcherbinin S, Baimova J, Krivtsov A.
europepmc   +1 more source

Percolation effect induced significant changes in the complex permittivity and permeability of silver-epoxy nano-composites. [PDF]

Sci Rep
Tseng BW, Chang TH.
europepmc   +1 more source

Study on the development pattern of continuous aquitard water-conducting fracture zones and rock layer detection borehole camera technology. [PDF]

Sci Rep
Xu E, Xu C, Li X, Zhou W, You X, Peng Y, Dong Z, Zou C, Chen S.   +8 more
europepmc   +1 more source

Prediction of Esterification and Antioxidant Properties of Food-Derived Fatty Acids and Ascorbic Acid Based on Machine Learning: A Review. [PDF]

Foods
Wang X, Wang J, Zhang X, Lan T, Liu J, Zhang H.   +5 more
europepmc   +1 more source

Catechin hydrate prevents cadmium-induced collagen downregulation in mesenchymal stem cells <i>via</i> SMAD/RUNX2. [PDF]

Res Pharm Sci
Abnosi MH, Sargolzaei J, Eshragi M.
europepmc   +1 more source

Predicate Calculus, Well-Formed Formulas, and Theorems

, 2001
When proving a theorem, it is first necessary to write the axioms, the hypotheses, and the conclusion. Deciding what axioms to choose in the first place is crucial to the success of a theorem prover, but that problem is peripheral to the presentation that follows.
Monty Newborn
openaire   +2 more sources

Compile: Transforming Well-Formed Formulas to Clauses

, 2001
Chapter 2 explained how to write a theorem as a set of wffs. However, neither HERBY nor THEO attempt to find a proof of a theorem expressed in this format. Instead, both require the theorem to be expressed as a set of clauses consisting of the axioms, hypotheses, and negated conclusion.
Monty Newborn
openaire   +2 more sources

IV Solution of the Decision Problem for Well-Formed Formulas Containing Only Monadic Predicate Variables

, 1954
openaire   +2 more sources

Some of the next articles are maybe not open access.

Related searches:

Nucleation and Growth Mechanism of Anion-Derived Solid Electrolyte Interphase.

Angewandte Chemie, 2021
Solid electrolyte interphase (SEI) has been widely employed to describe the new phase formed between anode and electrolyte in working batteries. Significant advances have been achieved on the structure and composition of SEI as well as on the possible ...
Chong Yan, Li-li Jiang, Yu-Xing Yao, Yang Lu, Jia-qi Huang, Qiang Zhang   +5 more
semanticscholar   +1 more source