Matches in SemOpenAlex for { <https://semopenalex.org/work/W2492594857> ?p ?o ?g. }
Showing items 1 to 70 of
70
with 100 items per page.
- W2492594857 endingPage "268" @default.
- W2492594857 startingPage "262" @default.
- W2492594857 abstract "PSGraph [3] is a graphical proof strategy language, which uses the formalisation of labelled hierarchical graphs to provide support for the development and maintenance of large and complex proof tactics. PSGraph has been implemented as the Tinker system, which previously supported the Isabelle and ProofPower theorem provers [4]. In this paper we present a Rodin version of Tinker, which allows Rodin users to encode, analyse and debug their proof strategies in Tinker." @default.
- W2492594857 created "2016-08-23" @default.
- W2492594857 creator A5012414458 @default.
- W2492594857 creator A5077910506 @default.
- W2492594857 creator A5082864988 @default.
- W2492594857 date "2016-01-01" @default.
- W2492594857 modified "2023-09-25" @default.
- W2492594857 title "‘The Tinker’ for Rodin" @default.
- W2492594857 cites W2016391355 @default.
- W2492594857 cites W227694023 @default.
- W2492594857 cites W2469620567 @default.
- W2492594857 cites W2494827989 @default.
- W2492594857 cites W3106272645 @default.
- W2492594857 cites W4256124958 @default.
- W2492594857 doi "https://doi.org/10.1007/978-3-319-33600-8_19" @default.
- W2492594857 hasPublicationYear "2016" @default.
- W2492594857 type Work @default.
- W2492594857 sameAs 2492594857 @default.
- W2492594857 citedByCount "3" @default.
- W2492594857 countsByYear W24925948572017 @default.
- W2492594857 countsByYear W24925948572019 @default.
- W2492594857 crossrefType "book-chapter" @default.
- W2492594857 hasAuthorship W2492594857A5012414458 @default.
- W2492594857 hasAuthorship W2492594857A5077910506 @default.
- W2492594857 hasAuthorship W2492594857A5082864988 @default.
- W2492594857 hasBestOaLocation W24925948572 @default.
- W2492594857 hasConcept C115903868 @default.
- W2492594857 hasConcept C144024400 @default.
- W2492594857 hasConcept C168065819 @default.
- W2492594857 hasConcept C19165224 @default.
- W2492594857 hasConcept C199360897 @default.
- W2492594857 hasConcept C2778828181 @default.
- W2492594857 hasConcept C41008148 @default.
- W2492594857 hasConceptScore W2492594857C115903868 @default.
- W2492594857 hasConceptScore W2492594857C144024400 @default.
- W2492594857 hasConceptScore W2492594857C168065819 @default.
- W2492594857 hasConceptScore W2492594857C19165224 @default.
- W2492594857 hasConceptScore W2492594857C199360897 @default.
- W2492594857 hasConceptScore W2492594857C2778828181 @default.
- W2492594857 hasConceptScore W2492594857C41008148 @default.
- W2492594857 hasLocation W24925948571 @default.
- W2492594857 hasLocation W24925948572 @default.
- W2492594857 hasOpenAccess W2492594857 @default.
- W2492594857 hasPrimaryLocation W24925948571 @default.
- W2492594857 hasRelatedWork W1601544265 @default.
- W2492594857 hasRelatedWork W1757522552 @default.
- W2492594857 hasRelatedWork W1983425037 @default.
- W2492594857 hasRelatedWork W2016391355 @default.
- W2492594857 hasRelatedWork W2027211426 @default.
- W2492594857 hasRelatedWork W2122573903 @default.
- W2492594857 hasRelatedWork W2142877099 @default.
- W2492594857 hasRelatedWork W2152617918 @default.
- W2492594857 hasRelatedWork W2310495003 @default.
- W2492594857 hasRelatedWork W245122890 @default.
- W2492594857 hasRelatedWork W2483392883 @default.
- W2492594857 hasRelatedWork W2530288766 @default.
- W2492594857 hasRelatedWork W2595132742 @default.
- W2492594857 hasRelatedWork W2625783964 @default.
- W2492594857 hasRelatedWork W2946559657 @default.
- W2492594857 hasRelatedWork W2954029160 @default.
- W2492594857 hasRelatedWork W2954141661 @default.
- W2492594857 hasRelatedWork W2962693849 @default.
- W2492594857 hasRelatedWork W3093073250 @default.
- W2492594857 hasRelatedWork W3123569545 @default.
- W2492594857 isParatext "false" @default.
- W2492594857 isRetracted "false" @default.
- W2492594857 magId "2492594857" @default.
- W2492594857 workType "book-chapter" @default.