Matches in SemOpenAlex for { <https://semopenalex.org/work/W1695591202> ?p ?o ?g. }
Showing items 1 to 61 of
61
with 100 items per page.
- W1695591202 endingPage "866" @default.
- W1695591202 startingPage "863" @default.
- W1695591202 abstract "We present plp, a proof management system and graphic interface for the “Larch Prover” (LP). The system provides additional support for interactive use of LP, by letting the user control the order in which goals are proved. We offer improved ways to investigate, compare and communicate proofs by allowing independent attempts at proving a goal, a better access to the information associated with goals and an additional script mechanism. All the features are accessible through a graphic system that makes the proof structure accessible to the user." @default.
- W1695591202 created "2016-06-24" @default.
- W1695591202 creator A5068926576 @default.
- W1695591202 date "1997-01-01" @default.
- W1695591202 modified "2023-09-30" @default.
- W1695591202 title "A new proof-manager and graphic interface for the Larch Prover" @default.
- W1695591202 doi "https://doi.org/10.1007/bfb0030648" @default.
- W1695591202 hasPublicationYear "1997" @default.
- W1695591202 type Work @default.
- W1695591202 sameAs 1695591202 @default.
- W1695591202 citedByCount "0" @default.
- W1695591202 crossrefType "book-chapter" @default.
- W1695591202 hasAuthorship W1695591202A5068926576 @default.
- W1695591202 hasBestOaLocation W16955912021 @default.
- W1695591202 hasConcept C107457646 @default.
- W1695591202 hasConcept C108710211 @default.
- W1695591202 hasConcept C111919701 @default.
- W1695591202 hasConcept C113843644 @default.
- W1695591202 hasConcept C129307140 @default.
- W1695591202 hasConcept C157915830 @default.
- W1695591202 hasConcept C159718280 @default.
- W1695591202 hasConcept C199360897 @default.
- W1695591202 hasConcept C203265346 @default.
- W1695591202 hasConcept C206880738 @default.
- W1695591202 hasConcept C2524010 @default.
- W1695591202 hasConcept C33923547 @default.
- W1695591202 hasConcept C41008148 @default.
- W1695591202 hasConcept C89505385 @default.
- W1695591202 hasConceptScore W1695591202C107457646 @default.
- W1695591202 hasConceptScore W1695591202C108710211 @default.
- W1695591202 hasConceptScore W1695591202C111919701 @default.
- W1695591202 hasConceptScore W1695591202C113843644 @default.
- W1695591202 hasConceptScore W1695591202C129307140 @default.
- W1695591202 hasConceptScore W1695591202C157915830 @default.
- W1695591202 hasConceptScore W1695591202C159718280 @default.
- W1695591202 hasConceptScore W1695591202C199360897 @default.
- W1695591202 hasConceptScore W1695591202C203265346 @default.
- W1695591202 hasConceptScore W1695591202C206880738 @default.
- W1695591202 hasConceptScore W1695591202C2524010 @default.
- W1695591202 hasConceptScore W1695591202C33923547 @default.
- W1695591202 hasConceptScore W1695591202C41008148 @default.
- W1695591202 hasConceptScore W1695591202C89505385 @default.
- W1695591202 hasLocation W16955912021 @default.
- W1695591202 hasOpenAccess W1695591202 @default.
- W1695591202 hasPrimaryLocation W16955912021 @default.
- W1695591202 hasRelatedWork W1503487801 @default.
- W1695591202 hasRelatedWork W1515169568 @default.
- W1695591202 hasRelatedWork W2579160749 @default.
- W1695591202 hasRelatedWork W2797950816 @default.
- W1695591202 hasRelatedWork W2950961618 @default.
- W1695591202 hasRelatedWork W2964806919 @default.
- W1695591202 hasRelatedWork W4281843089 @default.
- W1695591202 hasRelatedWork W4297063300 @default.
- W1695591202 hasRelatedWork W787793384 @default.
- W1695591202 hasRelatedWork W2467505627 @default.
- W1695591202 isParatext "false" @default.
- W1695591202 isRetracted "false" @default.
- W1695591202 magId "1695591202" @default.
- W1695591202 workType "book-chapter" @default.