A Mechanised Proof of Gödel’s Incompleteness Theorems Using Nominal Isabelle
- 期刊名称Journal of Automated Reasoning
- 作者Paulson, Lawrence C.
- 卷第55卷
- 期第1期
- 印刷ISSN0168-7433
- 电子ISSN1573-0670
- 文件大小6100.25KB
- 发表时间2015-6
- DOI10.1007/s10817-015-9322-8
- 页码1-37
Systematic Search for Single Nucleotide Polymorphisms in the Resistin Gene: The Absence of Evidence for the Association of Three Identified Single Nucleotide Polymorphisms With Japanese Type 2 DiabetesOsawa, H.; Onuma, H.; Murakami, A.; Ochi, M.; Nishimiya, T.; Kato, K.; Shimizu, I.; Fujii, Y.; Ohashi, J.; Makino, H. · Diabetes · 2002
Selection of Single Nucleotide Polymorphisms for Association Studies in Candidate GenesGénin, Emmanuelle · Genetic Epidemiology · 2001
Detection of Putative Functional Single Nucleotide Polymorphisms in Blood Pressure Loci and Validation of Association Between Single Nucleotide Polymorphism in WBP1L and Hypertension in the Chinese Han PopulationZhang, Huan; Mo, Xingbo; Zhou, Zhengyuan; Zhu, Zhengbao; HuangFu, Xinfeng; Guo, Zhirong; Zhang, Yonghong · Journal of Cardiovascular Pharmacology · 2019
Selection of single-nucleotide polymorphisms in disease association dataJungnam Joo; Xin Tian; Gang Zheng; Jing-Ping Lin; Nancy L Geller · 2005
Association of single nucleotide polymorphisms in GATA-3 with allergic rhinitisZhang, Luo; Zhang, Luo; Wang, Xiangdong; Han, Demin; Duan, Hong; Zhao, Yan · Acta Oto-laryngologica · 2009
Comparison of tagging single-nucleotide polymorphism methods in association analysesEllen L Goode,Brooke L Fridley,Zhifu Sun,Elizabeth J Atkinson… · BMC Proceedings · 2007
No association of LCT-13910 single nucleotide polymorphism with gastroenteritis in Korean childrenByung Joon Choi, Jung Hwan Yoon, Yoo Jin Choi, Lin Han… · 2013
BIOINFORMATIC PRIORITIZATION OF SINGLE NUCLEOTIDE POLYMORPHISMS IN GENETIC ASSOCIATION STUDIESBarber, Robert C; Rivera-Chavez, Fernando A; Wheeler, Herbert T; Whitney, Gina M; Peters-Hybki, Dixie L; Horton, Jureta W · Critical Care Medicine · 2002
The presence of 1Deirdre Zander-Fox, Kara S. Cashman, Michelle Lane · Journal of Assisted Reproduction and Genetics · 2013
ISFP abstractsEskhan, Asma O.; Abu-Lail, Nehal I. · Journal of Assisted Reproduction and Genetics · 2014
Trends, Fads and ART!Dale, Brian; Menezo, Yves; Coppola, Gianfranco · Journal of Assisted Reproduction and Genetics · 2015
Letter to the editorLedger, William · Journal of Assisted Reproduction and Genetics · 2015
Ovarian stem cells—resolving controversiesBhartiya, Deepa; Patel, Hiren · Journal of Assisted Reproduction and Genetics · 2017
The varicocele argument resurfacesSilber, Sherman · Journal of Assisted Reproduction and Genetics · 2018
Retroviruses and reproduction revisitedKiessling, Ann A. · Journal of Assisted Reproduction and Genetics · 2018
Letter to EditorChoudhary, Meenakshi · Journal of Assisted Reproduction and Genetics · 2019