Matches in SemOpenAlex for { <https://semopenalex.org/work/W183798734> ?p ?o ?g. }
Showing items 1 to 90 of
90
with 100 items per page.
- W183798734 endingPage "199" @default.
- W183798734 startingPage "183" @default.
- W183798734 abstract "Modern theorem provers can discharge a significant proportion of Proof Obligation (POs) that arise in the use of Formal Method (FMs). Unfortunately, the residual POs require tedious manual guidance. On the positive side, these “difficult” POs tend to fall into families each of which requires only a few key ideas to unlock. This paper outlines a system that can lessen the burden of FM proofs by identifying and characterising ways of discharging POs of a family by tracking an interactive proof of one member of the family. This opens the possibility of capturing ideas — represented as proof strategies — from an expert and/or maximising reuse of ideas after changes to definitions. The proposed system has to store a wealth of meta-information about conjectures, which can be matched against previously learned strategies, or can be used to construct new strategies based on expert guidance." @default.
- W183798734 created "2016-06-24" @default.
- W183798734 creator A5016733090 @default.
- W183798734 creator A5053935611 @default.
- W183798734 creator A5086355124 @default.
- W183798734 creator A5088990093 @default.
- W183798734 date "2014-01-01" @default.
- W183798734 modified "2023-10-05" @default.
- W183798734 title "A Model for Capturing and Replaying Proof Strategies" @default.
- W183798734 cites W1549265610 @default.
- W183798734 cites W1574621793 @default.
- W183798734 cites W1947248495 @default.
- W183798734 cites W2003313790 @default.
- W183798734 cites W2014136929 @default.
- W183798734 cites W2039336509 @default.
- W183798734 cites W2133889836 @default.
- W183798734 cites W2169359513 @default.
- W183798734 cites W3106272645 @default.
- W183798734 cites W3160698033 @default.
- W183798734 doi "https://doi.org/10.1007/978-3-319-12154-3_12" @default.
- W183798734 hasPublicationYear "2014" @default.
- W183798734 type Work @default.
- W183798734 sameAs 183798734 @default.
- W183798734 citedByCount "2" @default.
- W183798734 countsByYear W1837987342015 @default.
- W183798734 countsByYear W1837987342016 @default.
- W183798734 crossrefType "book-chapter" @default.
- W183798734 hasAuthorship W183798734A5016733090 @default.
- W183798734 hasAuthorship W183798734A5053935611 @default.
- W183798734 hasAuthorship W183798734A5086355124 @default.
- W183798734 hasAuthorship W183798734A5088990093 @default.
- W183798734 hasBestOaLocation W1837987342 @default.
- W183798734 hasConcept C108710211 @default.
- W183798734 hasConcept C111919701 @default.
- W183798734 hasConcept C115903868 @default.
- W183798734 hasConcept C124978682 @default.
- W183798734 hasConcept C127413603 @default.
- W183798734 hasConcept C154945302 @default.
- W183798734 hasConcept C17744445 @default.
- W183798734 hasConcept C199360897 @default.
- W183798734 hasConcept C199539241 @default.
- W183798734 hasConcept C206588197 @default.
- W183798734 hasConcept C2524010 @default.
- W183798734 hasConcept C26517878 @default.
- W183798734 hasConcept C2778447849 @default.
- W183798734 hasConcept C2780801425 @default.
- W183798734 hasConcept C33923547 @default.
- W183798734 hasConcept C38652104 @default.
- W183798734 hasConcept C41008148 @default.
- W183798734 hasConcept C548081761 @default.
- W183798734 hasConcept C80444323 @default.
- W183798734 hasConceptScore W183798734C108710211 @default.
- W183798734 hasConceptScore W183798734C111919701 @default.
- W183798734 hasConceptScore W183798734C115903868 @default.
- W183798734 hasConceptScore W183798734C124978682 @default.
- W183798734 hasConceptScore W183798734C127413603 @default.
- W183798734 hasConceptScore W183798734C154945302 @default.
- W183798734 hasConceptScore W183798734C17744445 @default.
- W183798734 hasConceptScore W183798734C199360897 @default.
- W183798734 hasConceptScore W183798734C199539241 @default.
- W183798734 hasConceptScore W183798734C206588197 @default.
- W183798734 hasConceptScore W183798734C2524010 @default.
- W183798734 hasConceptScore W183798734C26517878 @default.
- W183798734 hasConceptScore W183798734C2778447849 @default.
- W183798734 hasConceptScore W183798734C2780801425 @default.
- W183798734 hasConceptScore W183798734C33923547 @default.
- W183798734 hasConceptScore W183798734C38652104 @default.
- W183798734 hasConceptScore W183798734C41008148 @default.
- W183798734 hasConceptScore W183798734C548081761 @default.
- W183798734 hasConceptScore W183798734C80444323 @default.
- W183798734 hasLocation W1837987341 @default.
- W183798734 hasLocation W1837987342 @default.
- W183798734 hasOpenAccess W183798734 @default.
- W183798734 hasPrimaryLocation W1837987341 @default.
- W183798734 hasRelatedWork W1503543775 @default.
- W183798734 hasRelatedWork W2084859190 @default.
- W183798734 hasRelatedWork W2107244982 @default.
- W183798734 hasRelatedWork W2117752042 @default.
- W183798734 hasRelatedWork W2136591044 @default.
- W183798734 hasRelatedWork W2921993380 @default.
- W183798734 hasRelatedWork W2982342411 @default.
- W183798734 hasRelatedWork W3007885864 @default.
- W183798734 hasRelatedWork W2579462814 @default.
- W183798734 hasRelatedWork W3141242357 @default.
- W183798734 isParatext "false" @default.
- W183798734 isRetracted "false" @default.
- W183798734 magId "183798734" @default.
- W183798734 workType "book-chapter" @default.