Matches in SemOpenAlex for { <https://semopenalex.org/work/W1983365251> ?p ?o ?g. }
Showing items 1 to 61 of
61
with 100 items per page.
- W1983365251 endingPage "94" @default.
- W1983365251 startingPage "84" @default.
- W1983365251 abstract "This is an updated system description for Isabelle/jEdit, according to the official release Isabelle2014 (August 2014). The following new PIDE concepts are explained: asynchronous print functions and document overlays, syntactic and semantic completion, editor navigation, management of auxiliary files within the document-model." @default.
- W1983365251 created "2016-06-24" @default.
- W1983365251 creator A5014646028 @default.
- W1983365251 date "2014-10-29" @default.
- W1983365251 modified "2023-10-18" @default.
- W1983365251 title "System description: Isabelle/jEdit in 2014" @default.
- W1983365251 cites W146139260 @default.
- W1983365251 cites W1561664087 @default.
- W1983365251 cites W1719912185 @default.
- W1983365251 cites W195012021 @default.
- W1983365251 cites W2119046062 @default.
- W1983365251 cites W2135156156 @default.
- W1983365251 cites W246379881 @default.
- W1983365251 cites W266336910 @default.
- W1983365251 cites W3102762027 @default.
- W1983365251 cites W76860425 @default.
- W1983365251 doi "https://doi.org/10.4204/eptcs.167.10" @default.
- W1983365251 hasPublicationYear "2014" @default.
- W1983365251 type Work @default.
- W1983365251 sameAs 1983365251 @default.
- W1983365251 citedByCount "13" @default.
- W1983365251 countsByYear W19833652512016 @default.
- W1983365251 countsByYear W19833652512017 @default.
- W1983365251 countsByYear W19833652512018 @default.
- W1983365251 countsByYear W19833652512019 @default.
- W1983365251 countsByYear W19833652512020 @default.
- W1983365251 crossrefType "journal-article" @default.
- W1983365251 hasAuthorship W1983365251A5014646028 @default.
- W1983365251 hasBestOaLocation W19833652511 @default.
- W1983365251 hasConcept C136085584 @default.
- W1983365251 hasConcept C151319957 @default.
- W1983365251 hasConcept C199360897 @default.
- W1983365251 hasConcept C204321447 @default.
- W1983365251 hasConcept C31258907 @default.
- W1983365251 hasConcept C41008148 @default.
- W1983365251 hasConceptScore W1983365251C136085584 @default.
- W1983365251 hasConceptScore W1983365251C151319957 @default.
- W1983365251 hasConceptScore W1983365251C199360897 @default.
- W1983365251 hasConceptScore W1983365251C204321447 @default.
- W1983365251 hasConceptScore W1983365251C31258907 @default.
- W1983365251 hasConceptScore W1983365251C41008148 @default.
- W1983365251 hasLocation W19833652511 @default.
- W1983365251 hasOpenAccess W1983365251 @default.
- W1983365251 hasPrimaryLocation W19833652511 @default.
- W1983365251 hasRelatedWork W153296825 @default.
- W1983365251 hasRelatedWork W1967800214 @default.
- W1983365251 hasRelatedWork W2055675609 @default.
- W1983365251 hasRelatedWork W2245277136 @default.
- W1983365251 hasRelatedWork W2375779923 @default.
- W1983365251 hasRelatedWork W2748952813 @default.
- W1983365251 hasRelatedWork W2899084033 @default.
- W1983365251 hasRelatedWork W3013668398 @default.
- W1983365251 hasRelatedWork W595346907 @default.
- W1983365251 hasRelatedWork W598989511 @default.
- W1983365251 hasVolume "167" @default.
- W1983365251 isParatext "false" @default.
- W1983365251 isRetracted "false" @default.
- W1983365251 magId "1983365251" @default.
- W1983365251 workType "article" @default.