Results 261 to 270 of about 555,741 (309)

Beyond Missingness: Systematizing Methods for Comprehensive Data Fitness Assessment in Clinical Research.

J Med Internet Res
Razzaghi H, Wieand K, Dickinson KL, Kahn MG, Roy J, Blacketer C, Christakis DA, Forrest CB, Greenberg J, Lehmann HP, Marsolo KA, Sciolla J, Weiner MG, Weiskopf NG, Bailey LC.   +14 more
europepmc   +1 more source

Medical Science Data Value Evaluation Model: Mixed Methods Study.

JMIR Med Inform
Wang D, Liu Y.
europepmc   +1 more source

Completion for Multiple Reduction Orderings(Theory of Rewriting Systems and Its Applications)

Completion for Multiple Reduction Orderings(Theory of Rewriting Systems and Its Applications)
openaire  

Some of the next articles are maybe not open access.

Related searches:

COUNTABLE MODELS OF COMPLETE ORDERED THEORIES

Доклады Российской академии наук. Математика, информатика, процессы управления, 2023
The article consists of observations regarding complete theories of countable signatures and their countable models. We provide a construction of a countable linearly ordered theory which has the same number of countable non-isomorphic models as the given countable, not necessarily linearly ordered, theory.
Zambarnaya, T. S., Baizhanov, B. S.
openaire   +2 more sources

A complete mechanization of (ω) -order type theory

Proceedings of the ACM annual conference on - ACM'72, 1972
We present a complete unification algorithm for logic with the language of all finite types. In addition, we show how this procedure can be used with a generalized resolution principle which does not require expressions to be pre-Skolemized. Both of these steps are essential for an effective and complete mechanization of higher order logic.
T. Pietrzykowski, D. C. Jensen
openaire   +1 more source

Complete first-order theories of some classical matrix groups over algebraic integers

Journal of Algebra, 2021
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Alexei G. Myasnikov, Mahmood Sohrabi
openaire   +2 more sources

The complete finitely axiomatized theories of order are dense

Israel Journal of Mathematics, 1976
We prove a conjecture of Lauchli and Leonard that every sentence of the theory of linear order which has a model, has a model with a finitely axiomatized theory.
Amit, R., Shelah, S.
openaire   +1 more source

Information theory, synchronization and topological order in complete dynamical networks of discontinuous maps

Mathematics and Computers in Simulation, 2021
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Rocha, J. Leonel, Carvalho, S.
openaire   +3 more sources

On translations of complete first order theories

Mathematical Logic Quarterly, 2003
AbstractIn this paper, some basic properties of automorphisms of first order languages and some examples are presented. In particular, an omitting types theorem is proved.
openaire   +2 more sources