Results 101 to 110 of about 3,715 (167)
The Role of the Mizar Mathematical Library for Interactive Proof Development in Mizar. [PDF]
J Autom Reason, 2018 Bancerek G +6 more
europepmc +1 more source
Does Geometric Algebra Provide a Loophole to Bell's Theorem? [PDF]
Entropy (Basel), 2019 Gill RD.
europepmc +1 more source
Computational logic: its origins and applications. [PDF]
Proc Math Phys Eng Sci, 2018 Paulson LC.
europepmc +1 more source
Model-theoretic semantics and revenge paradoxes. [PDF]
Philos Stud, 2019 Rossi L.
europepmc +1 more source
On Some Assumptions of the Null Hypothesis Statistical Testing. [PDF]
Educ Psychol Meas, 2017 Patriota AG.
europepmc +1 more source
General topology meets model theory, on p and t. [PDF]
Proc Natl Acad Sci U S A, 2013 Malliaris M, Shelah S.
europepmc +1 more source
Infinitesimal Probabilities. [PDF]
Br J Philos Sci, 2018 Benci V, Horsten L, Wenmackers S.
europepmc +1 more source