These tools will no longer be maintained as of December 31, 2024. Archived website can be found here. PubMed4Hh GitHub repository can be found here. Contact NLM Customer Service if you have questions.
9. Counterexamples in scale calculus. Filippenko B; Zhou Z; Wehrheim K Proc Natl Acad Sci U S A; 2019 Apr; 116(18):8787-8797. PubMed ID: 30979800 [TBL] [Abstract][Full Text] [Related]
10. Learning-assisted theorem proving with millions of lemmas. Kaliszyk C; Urban J J Symb Comput; 2015 Jul; 69():109-128. PubMed ID: 26525678 [TBL] [Abstract][Full Text] [Related]
11. Proof simplification and automated theorem proving. Kinyon M Philos Trans A Math Phys Eng Sci; 2019 Mar; 377(2140):20180034. PubMed ID: 30966970 [TBL] [Abstract][Full Text] [Related]
12. Tactics for mechanized reasoning: a commentary on Milner (1984) 'The use of machines to assist in rigorous proof'. Gordon MJ Philos Trans A Math Phys Eng Sci; 2015 Apr; 373(2039):. PubMed ID: 25750147 [TBL] [Abstract][Full Text] [Related]
13. Formalization of bond graph using higher-order-logic theorem proving. Qasim U; Rashid A; Hasan O ISA Trans; 2022 Sep; 128(Pt B):453-469. PubMed ID: 34972543 [TBL] [Abstract][Full Text] [Related]
14. Combining Higher-Order Logic with Set Theory Formalizations. Kaliszyk C; Pąk K J Autom Reason; 2023; 67(2):20. PubMed ID: 37252035 [TBL] [Abstract][Full Text] [Related]
15. Universal (meta-)logical reasoning: The Wise Men Puzzle (Isabelle/HOL dataset). Benzmüller C Data Brief; 2019 Jun; 24():103823. PubMed ID: 31016212 [TBL] [Abstract][Full Text] [Related]
16. Position paper: the science of deep specification. Appel AW; Beringer L; Chlipala A; Pierce BC; Shao Z; Weirich S; Zdancewic S Philos Trans A Math Phys Eng Sci; 2017 Oct; 375(2104):. PubMed ID: 28871056 [TBL] [Abstract][Full Text] [Related]
17. A Bayesian approach to the argument from ignorance. Oaksford M; Hahn U Can J Exp Psychol; 2004 Jun; 58(2):75-85. PubMed ID: 15285597 [TBL] [Abstract][Full Text] [Related]
18. The Cantor-Bernstein theorem: how many proofs? Sieg W Philos Trans A Math Phys Eng Sci; 2019 Mar; 377(2140):20180031. PubMed ID: 30966968 [TBL] [Abstract][Full Text] [Related]
19. A Formal C Memory Model for Separation Logic. Krebbers R J Autom Reason; 2016; 57(4):319-387. PubMed ID: 30174361 [TBL] [Abstract][Full Text] [Related]
20. [On vibration hazards of chipping-hammer operators in an iron foundry. Part 2. Results of the hygienic control]. Harada N; Matsumoto T; Yamada S; Kobayashi F Sangyo Igaku; 1982 Jan; 24(1):75-84. PubMed ID: 7131885 [TBL] [Abstract][Full Text] [Related] [Next] [New Search]