FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2108221210> ?p ?o ?g. }

• W2108221210 abstract "This paper describes how proof texts are constructed and edited in the Proof General Kit framework. Proof texts are the central object of development within our framework and we want to allow flexible ways to construct them, both explicitly via text editing and implicitly by graphical manipulation or meta-manipulation. To this end, the framework allows for user-oriented display components, connected to provers via a central broker component. The display components and the broker exchange messages in a format specified by the PGIP display protocol, which facilitates parsing, editing and proving of proof texts. The design of this part of the framework is new; the remainder of the framework, which connects the prover components to the broker, is based more closely on refining work of the previous Proof General project, and was described in [4]." @default.
• W2108221210 created "2016-06-24" @default.
• W2108221210 creator A5013254098 @default.
• W2108221210 creator A5076302130 @default.
• W2108221210 creator A5081578222 @default.
• W2108221210 date "2005-01-01" @default.
• W2108221210 modified "2023-09-24" @default.
• W2108221210 title "Parsing, editing, proving: The PGIP display protocol" @default.
• W2108221210 cites W117419789 @default.
• W2108221210 cites W1495711894 @default.
• W2108221210 cites W1528699932 @default.
• W2108221210 cites W1558445903 @default.
• W2108221210 cites W1561664087 @default.
• W2108221210 cites W1571277216 @default.
• W2108221210 cites W1596722521 @default.
• W2108221210 cites W1612551514 @default.
• W2108221210 cites W1903955310 @default.
• W2108221210 cites W1963719770 @default.
• W2108221210 cites W2010807326 @default.
• W2108221210 cites W2033018395 @default.
• W2108221210 cites W2095761199 @default.
• W2108221210 cites W2107302096 @default.
• W2108221210 cites W2122327724 @default.
• W2108221210 cites W2124430422 @default.
• W2108221210 cites W2129538696 @default.
• W2108221210 cites W2131664240 @default.
• W2108221210 cites W2166604183 @default.
• W2108221210 cites W87193608 @default.
• W2108221210 cites W2498152513 @default.
• W2108221210 hasPublicationYear "2005" @default.
• W2108221210 type Work @default.
• W2108221210 sameAs 2108221210 @default.
• W2108221210 citedByCount "2" @default.
• W2108221210 crossrefType "journal-article" @default.
• W2108221210 hasAuthorship W2108221210A5013254098 @default.
• W2108221210 hasAuthorship W2108221210A5076302130 @default.
• W2108221210 hasAuthorship W2108221210A5081578222 @default.
• W2108221210 hasConcept C108710211 @default.
• W2108221210 hasConcept C111919701 @default.
• W2108221210 hasConcept C121332964 @default.
• W2108221210 hasConcept C124978682 @default.
• W2108221210 hasConcept C142724271 @default.
• W2108221210 hasConcept C154945302 @default.
• W2108221210 hasConcept C159718280 @default.
• W2108221210 hasConcept C168167062 @default.
• W2108221210 hasConcept C186644900 @default.
• W2108221210 hasConcept C199360897 @default.
• W2108221210 hasConcept C204787440 @default.
• W2108221210 hasConcept C206880738 @default.
• W2108221210 hasConcept C2524010 @default.
• W2108221210 hasConcept C2780385302 @default.
• W2108221210 hasConcept C2780801425 @default.
• W2108221210 hasConcept C2781238097 @default.
• W2108221210 hasConcept C33923547 @default.
• W2108221210 hasConcept C41008148 @default.
• W2108221210 hasConcept C71924100 @default.
• W2108221210 hasConcept C80444323 @default.
• W2108221210 hasConcept C97355855 @default.
• W2108221210 hasConceptScore W2108221210C108710211 @default.
• W2108221210 hasConceptScore W2108221210C111919701 @default.
• W2108221210 hasConceptScore W2108221210C121332964 @default.
• W2108221210 hasConceptScore W2108221210C124978682 @default.
• W2108221210 hasConceptScore W2108221210C142724271 @default.
• W2108221210 hasConceptScore W2108221210C154945302 @default.
• W2108221210 hasConceptScore W2108221210C159718280 @default.
• W2108221210 hasConceptScore W2108221210C168167062 @default.
• W2108221210 hasConceptScore W2108221210C186644900 @default.
• W2108221210 hasConceptScore W2108221210C199360897 @default.
• W2108221210 hasConceptScore W2108221210C204787440 @default.
• W2108221210 hasConceptScore W2108221210C206880738 @default.
• W2108221210 hasConceptScore W2108221210C2524010 @default.
• W2108221210 hasConceptScore W2108221210C2780385302 @default.
• W2108221210 hasConceptScore W2108221210C2780801425 @default.
• W2108221210 hasConceptScore W2108221210C2781238097 @default.
• W2108221210 hasConceptScore W2108221210C33923547 @default.
• W2108221210 hasConceptScore W2108221210C41008148 @default.
• W2108221210 hasConceptScore W2108221210C71924100 @default.
• W2108221210 hasConceptScore W2108221210C80444323 @default.
• W2108221210 hasConceptScore W2108221210C97355855 @default.
• W2108221210 hasLocation W21082212101 @default.
• W2108221210 hasOpenAccess W2108221210 @default.
• W2108221210 hasPrimaryLocation W21082212101 @default.
• W2108221210 hasRelatedWork W1531899333 @default.
• W2108221210 hasRelatedWork W1558714013 @default.
• W2108221210 hasRelatedWork W1598300089 @default.
• W2108221210 hasRelatedWork W1756422458 @default.
• W2108221210 hasRelatedWork W2011076931 @default.
• W2108221210 hasRelatedWork W2050607723 @default.
• W2108221210 hasRelatedWork W2138992185 @default.
• W2108221210 hasRelatedWork W2165507079 @default.
• W2108221210 hasRelatedWork W2169961956 @default.
• W2108221210 hasRelatedWork W2217148334 @default.
• W2108221210 hasRelatedWork W2472875840 @default.
• W2108221210 hasRelatedWork W2517571436 @default.
• W2108221210 hasRelatedWork W2652642432 @default.
• W2108221210 hasRelatedWork W2809551600 @default.
• W2108221210 hasRelatedWork W3100937765 @default.
• W2108221210 hasRelatedWork W3124622633 @default.
• W2108221210 hasRelatedWork W3196035205 @default.
• W2108221210 hasRelatedWork W3196260665 @default.

• next