For Publishers
DiscoveryMetadataPeer reviewHostingPublishing
For Researchers
JoinPublishReviewCollect
Register
Blog
About
Search
Advanced search
My ScienceOpen
Search
For Publishers
For Researchers
Blog
About
36
views
16
references
 Top references
cited by
21
    
0 reviews
 Review
0
comments
 Comment
0
recommends
+1 Recommend
0 collections
    0
    shares
      2,654
      similar
       All similar
      • Record: found
      • Abstract: not found
      • Article: not found

      A Learning-Based Fact Selector for Isabelle/HOL

      Read this article at

      ScienceOpenPublisher
          There is no author summary for this article yet. Authors can add summaries to their articles on ScienceOpen to make them more accessible to a non-specialist audience.

          Related collections

          Most cited references16

          • Record: found
          • Abstract: not found
          • Article: not found

          A STATISTICAL INTERPRETATION OF TERM SPECIFICITY AND ITS APPLICATION IN RETRIEVAL

          KAREN SPARCK JONES (1972)
          Article 0 comments Cited 396 times – based on 0 reviews     Review now
            • Record: found
            • Abstract: not found
            • Book: not found

            Isabelle/HOL

            Tobias Nipkow, Markus Wenzel, Lawrence Paulson (2002)
            Book 0 comments Cited 207 times – based on 0 reviews
              • Record: found
              • Abstract: not found
              • Article: not found

              MPTP 0.2: Design, Implementation, and Initial Experiments

              Josef Urban (2007)
              Article 0 comments Cited 42 times – based on 0 reviews     Review now
                All references

                Author and article information

                Journal
                Title: Journal of Automated Reasoning
                Abbreviated Title: J Autom Reasoning
                Publisher: Springer Nature
                ISSN (Print): 0168-7433
                ISSN (Electronic): 1573-0670
                Publication date Created: October 2016
                Publication date (Electronic): February 3 2016
                Publication date (Print): October 2016
                Volume: 57
                Issue: 3
                Pages: 219-244
                Article
                DOI: 10.1007/s10817-016-9362-8
                SO-VID: cf6711dd-641a-4273-bf2e-11bb86ef15bb
                Copyright © © 2016
                License:

                http://www.springer.com/tdm

                History

                Data availability:

                Comments

                Comment on this article

                Related Documents Log
                scite_

                Similar content2,654

                See all similar

                Cited by21

                See all cited by

                Most referenced authors112

                See all reference authors