For Publishers
DiscoveryMetadataPeer reviewHostingPublishing
For Researchers
JoinPublishReviewCollect
Register
Blog
About
Search
Advanced search
My ScienceOpen
Search
For Publishers
For Researchers
Blog
About
317
views
0
references
 Top references
cited by
0
    
0 reviews
 Review
0
comments
 Comment
0
recommends
+1 Recommend
1 collections
    0
    shares
      286
      similar
       All similar

      One-Click Submission System Now Available for SO Preprints, learn more on how this works in our blog post and don't forget to check the video, too!

      scite_
      0
      0
      0
      0
      Smart Citations
      0
      0
      0
      0
      Citing PublicationsSupportingMentioningContrasting
      View Citations

      See how this article has been cited at scite.ai

      scite shows how a scientific paper has been cited by providing the context of the citation, a classification describing whether it supports, mentions, or contrasts the cited claim, and a label indicating in which section the citation was made.

      Version and Review History
      Preprint version 2
      Preprint version 1
       
      • Record: found
      • Abstract: found
      • Article: found
      Is Open Access

      A Machine-Level Interpretation of Deductive Rules on Enact I and Enact II Model Theorems.

      Preprint
      In review
      research-article
      Editor(s):   1 ,
      Publication date (Electronic preprint):
      Journal: ScienceOpen Preprints
      Publisher: ScienceOpen
      Keywords: model, composites, enactment, logic, proof, syntactic, theorem, enactprover, machine, Program
      Bookmark

            Abstract

            Content

            Author and article information

            Journal
            Title: ScienceOpen Preprints
            Publisher: ScienceOpen
            Publication date (Electronic preprint): 4 November 2020
            Affiliations
            [1 ] KCL Department of ENGINEERING
            Author information
            https://orcid.org/0000-0001-6732-9503
            Article
            DOI: 10.14293/S2199-1006.1.SOR-.PPVOHXY.v2
            SO-VID: f5c55900-5026-48a4-932d-c0d46bbb4320
            License:

            This work has been published open access under Creative Commons Attribution License CC BY 4.0 , which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited. Conditions, terms of use and publishing policy can be found at www.scienceopen.com .

            History
            Date received : 5 October 2020

            Data availability: Data sharing not applicable to this article as no datasets were generated or analysed during the current study.
            ScienceOpen disciplines: Engineering
            Keywords: model,composites,enactment,logic,proof,syntactic,theorem,enactprover,machine,Program

            Comments

            Comment on this article