Matches in SemOpenAlex for { <https://semopenalex.org/work/W2002202022> ?p ?o ?g. }
Showing items 1 to 76 of
76
with 100 items per page.
- W2002202022 endingPage "60" @default.
- W2002202022 startingPage "48" @default.
- W2002202022 abstract "The author's MMT system provides a framework for defining and implementing logical systems. By combining MMT with the jEdit text editor, we obtain a logic-independent IDE. The IDE functionality includes advanced features such as context-sensitive auto-completion, search, and change management." @default.
- W2002202022 created "2016-06-24" @default.
- W2002202022 creator A5091861223 @default.
- W2002202022 date "2014-10-29" @default.
- W2002202022 modified "2023-10-13" @default.
- W2002202022 title "A Logic-Independent IDE" @default.
- W2002202022 cites W137411486 @default.
- W2002202022 cites W1494975459 @default.
- W2002202022 cites W1497011154 @default.
- W2002202022 cites W1537943690 @default.
- W2002202022 cites W1561664087 @default.
- W2002202022 cites W1581739545 @default.
- W2002202022 cites W1593320022 @default.
- W2002202022 cites W1719912185 @default.
- W2002202022 cites W1727609483 @default.
- W2002202022 cites W1737956052 @default.
- W2002202022 cites W1768814311 @default.
- W2002202022 cites W1850117044 @default.
- W2002202022 cites W1974190112 @default.
- W2002202022 cites W1999680561 @default.
- W2002202022 cites W2087589117 @default.
- W2002202022 cites W2102819792 @default.
- W2002202022 cites W2478833956 @default.
- W2002202022 cites W2763053546 @default.
- W2002202022 cites W3103563805 @default.
- W2002202022 doi "https://doi.org/10.4204/eptcs.167.7" @default.
- W2002202022 hasPublicationYear "2014" @default.
- W2002202022 type Work @default.
- W2002202022 sameAs 2002202022 @default.
- W2002202022 citedByCount "3" @default.
- W2002202022 countsByYear W20022020222015 @default.
- W2002202022 countsByYear W20022020222018 @default.
- W2002202022 countsByYear W20022020222019 @default.
- W2002202022 crossrefType "journal-article" @default.
- W2002202022 hasAuthorship W2002202022A5091861223 @default.
- W2002202022 hasBestOaLocation W20022020221 @default.
- W2002202022 hasConcept C102993220 @default.
- W2002202022 hasConcept C128838566 @default.
- W2002202022 hasConcept C151730666 @default.
- W2002202022 hasConcept C199360897 @default.
- W2002202022 hasConcept C2779343474 @default.
- W2002202022 hasConcept C2987117450 @default.
- W2002202022 hasConcept C41008148 @default.
- W2002202022 hasConcept C80444323 @default.
- W2002202022 hasConcept C86803240 @default.
- W2002202022 hasConceptScore W2002202022C102993220 @default.
- W2002202022 hasConceptScore W2002202022C128838566 @default.
- W2002202022 hasConceptScore W2002202022C151730666 @default.
- W2002202022 hasConceptScore W2002202022C199360897 @default.
- W2002202022 hasConceptScore W2002202022C2779343474 @default.
- W2002202022 hasConceptScore W2002202022C2987117450 @default.
- W2002202022 hasConceptScore W2002202022C41008148 @default.
- W2002202022 hasConceptScore W2002202022C80444323 @default.
- W2002202022 hasConceptScore W2002202022C86803240 @default.
- W2002202022 hasLocation W20022020221 @default.
- W2002202022 hasLocation W20022020222 @default.
- W2002202022 hasLocation W20022020223 @default.
- W2002202022 hasOpenAccess W2002202022 @default.
- W2002202022 hasPrimaryLocation W20022020221 @default.
- W2002202022 hasRelatedWork W1534488117 @default.
- W2002202022 hasRelatedWork W1999702466 @default.
- W2002202022 hasRelatedWork W2140386967 @default.
- W2002202022 hasRelatedWork W2540089100 @default.
- W2002202022 hasRelatedWork W3018143143 @default.
- W2002202022 hasRelatedWork W4205997139 @default.
- W2002202022 hasRelatedWork W4206249920 @default.
- W2002202022 hasRelatedWork W4246503451 @default.
- W2002202022 hasRelatedWork W4248067243 @default.
- W2002202022 hasRelatedWork W4255405881 @default.
- W2002202022 hasVolume "167" @default.
- W2002202022 isParatext "false" @default.
- W2002202022 isRetracted "false" @default.
- W2002202022 magId "2002202022" @default.
- W2002202022 workType "article" @default.