Matches in SemOpenAlex for { <https://semopenalex.org/work/W2107302096> ?p ?o ?g. }
Showing items 1 to 78 of
78
with 100 items per page.
- W2107302096 endingPage "26" @default.
- W2107302096 startingPage "3" @default.
- W2107302096 abstract "We describe the design and prototype implementation of a combination of theorem prover interface technologies. On one side, we take from Proof General the idea of a prover-independent interaction language and its proposed implementation within the PG Kit middleware architecture. On the other side, we take from IsaWin a sophisticated graphical metaphor using direct manipulation for developing proofs. We believe that the resulting system will provide a powerful, robust and generic environment for developing proofs within interactive proof assistants that also opens the way for studying and implementing new mechanisms for managing interactive proof development." @default.
- W2107302096 created "2016-06-24" @default.
- W2107302096 creator A5013254098 @default.
- W2107302096 creator A5081578222 @default.
- W2107302096 date "2004-11-01" @default.
- W2107302096 modified "2023-09-24" @default.
- W2107302096 title "Proof General meets IsaWin" @default.
- W2107302096 cites W117419789 @default.
- W2107302096 cites W1491353074 @default.
- W2107302096 cites W1495711894 @default.
- W2107302096 cites W1522193254 @default.
- W2107302096 cites W1549754766 @default.
- W2107302096 cites W1556566737 @default.
- W2107302096 cites W1561664087 @default.
- W2107302096 cites W1582998182 @default.
- W2107302096 cites W1603799276 @default.
- W2107302096 cites W178927145 @default.
- W2107302096 cites W1903955310 @default.
- W2107302096 cites W1969411922 @default.
- W2107302096 cites W2059588087 @default.
- W2107302096 cites W2066831494 @default.
- W2107302096 cites W2079032835 @default.
- W2107302096 cites W2092690557 @default.
- W2107302096 cites W2095761199 @default.
- W2107302096 cites W2129538696 @default.
- W2107302096 cites W2147771191 @default.
- W2107302096 cites W2150840043 @default.
- W2107302096 cites W2153166264 @default.
- W2107302096 cites W2169148161 @default.
- W2107302096 cites W2492810892 @default.
- W2107302096 cites W87193608 @default.
- W2107302096 doi "https://doi.org/10.1016/j.entcs.2004.09.011" @default.
- W2107302096 hasPublicationYear "2004" @default.
- W2107302096 type Work @default.
- W2107302096 sameAs 2107302096 @default.
- W2107302096 citedByCount "8" @default.
- W2107302096 countsByYear W21073020962015 @default.
- W2107302096 countsByYear W21073020962017 @default.
- W2107302096 countsByYear W21073020962020 @default.
- W2107302096 crossrefType "journal-article" @default.
- W2107302096 hasAuthorship W2107302096A5013254098 @default.
- W2107302096 hasAuthorship W2107302096A5081578222 @default.
- W2107302096 hasBestOaLocation W21073020961 @default.
- W2107302096 hasConcept C199343813 @default.
- W2107302096 hasConcept C199360897 @default.
- W2107302096 hasConcept C2777686260 @default.
- W2107302096 hasConcept C33923547 @default.
- W2107302096 hasConcept C41008148 @default.
- W2107302096 hasConcept C71924100 @default.
- W2107302096 hasConcept C80444323 @default.
- W2107302096 hasConceptScore W2107302096C199343813 @default.
- W2107302096 hasConceptScore W2107302096C199360897 @default.
- W2107302096 hasConceptScore W2107302096C2777686260 @default.
- W2107302096 hasConceptScore W2107302096C33923547 @default.
- W2107302096 hasConceptScore W2107302096C41008148 @default.
- W2107302096 hasConceptScore W2107302096C71924100 @default.
- W2107302096 hasConceptScore W2107302096C80444323 @default.
- W2107302096 hasLocation W21073020961 @default.
- W2107302096 hasLocation W21073020962 @default.
- W2107302096 hasOpenAccess W2107302096 @default.
- W2107302096 hasPrimaryLocation W21073020961 @default.
- W2107302096 hasRelatedWork W1541967140 @default.
- W2107302096 hasRelatedWork W2109507516 @default.
- W2107302096 hasRelatedWork W2112962394 @default.
- W2107302096 hasRelatedWork W2118300983 @default.
- W2107302096 hasRelatedWork W2166247150 @default.
- W2107302096 hasRelatedWork W2740990710 @default.
- W2107302096 hasRelatedWork W2999589555 @default.
- W2107302096 hasRelatedWork W3137189469 @default.
- W2107302096 hasRelatedWork W4235530921 @default.
- W2107302096 hasRelatedWork W4243252198 @default.
- W2107302096 hasVolume "103" @default.
- W2107302096 isParatext "false" @default.
- W2107302096 isRetracted "false" @default.
- W2107302096 magId "2107302096" @default.
- W2107302096 workType "article" @default.