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.
140 related articles for article (PubMed ID: 30174360)
1. Labelled Interpolation Systems for Hyper-Resolution, Clausal, and Local Proofs. Schlaipfer M; Weissenbacher G J Autom Reason; 2016; 57(1):3-36. PubMed ID: 30174360 [TBL] [Abstract][Full Text] [Related]
3. 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]
5. Clause states based configuration checking in local search for satisfiability. Luo C; Cai S; Su K; Wu W IEEE Trans Cybern; 2015 May; 45(5):1014-27. PubMed ID: 25134096 [TBL] [Abstract][Full Text] [Related]
6. Computational logic: its origins and applications. Paulson LC Proc Math Phys Eng Sci; 2018 Feb; 474(2210):20170872. PubMed ID: 29507522 [TBL] [Abstract][Full Text] [Related]
15. Probabilistic Asymptotic Decider for Topological Ambiguity Resolution in Level-Set Extraction for Uncertain 2D Data. Athawale T; Johnson CR IEEE Trans Vis Comput Graph; 2018 Aug; ():. PubMed ID: 30130200 [TBL] [Abstract][Full Text] [Related]
16. Multiresolution mean shift clustering algorithm for shape interpolation. Chu HK; Lee TY IEEE Trans Vis Comput Graph; 2009; 15(5):853-66. PubMed ID: 19590110 [TBL] [Abstract][Full Text] [Related]
17. Intra- and inter-examiner reliability of goniometer and inclinometer use in Craig's test. Choi BR; Kang SY J Phys Ther Sci; 2015 Apr; 27(4):1141-4. PubMed ID: 25995575 [TBL] [Abstract][Full Text] [Related]
18. Analytical and experimental FWHM of a gamma camera: theoretical and practical issues. Cecchin D; Poggiali D; Riccardi L; Turco P; Bui F; De Marchi S PeerJ; 2015; 3():e722. PubMed ID: 25674361 [TBL] [Abstract][Full Text] [Related]