{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T05:53:32Z","timestamp":1725515612039},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642313738"},{"type":"electronic","value":"9783642313745"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-31374-5_7","type":"book-chapter","created":{"date-parts":[[2012,6,25]],"date-time":"2012-06-25T13:00:57Z","timestamp":1340629257000},"page":"96-110","source":"Crossref","is-referenced-by-count":0,"title":["Cost-Effective Integration of MKM Semantic Services into Editing Environments"],"prefix":"10.1007","author":[{"given":"Constantin","family":"Jucovschi","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"7_CR1","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"65","DOI":"10.1007\/11618027_5","volume-title":"Mathematical Knowledge Management","author":"D. Aspinall","year":"2006","unstructured":"Aspinall, D., L\u00fcth, C., Wolff, B.: Assisted Proof Document Authoring. In: Kohlhase, M. (ed.) MKM 2005. LNCS (LNAI), vol.\u00a03863, pp. 65\u201380. Springer, Heidelberg (2006), http:\/\/www.springerlink.com\/index\/fq4068582k604115.pdf , doi:10.1007\/11618027_5"},{"key":"7_CR2","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"161","DOI":"10.1007\/978-3-540-73086-6_15","volume-title":"Towards Mechanized Mathematical Assistants","author":"D. Aspinall","year":"2007","unstructured":"Aspinall, D., L\u00fcth, C., Winterstein, D.: A Framework for Interactive Proof. In: Kauers, M., Kerber, M., Miner, R., Windsteiger, W. (eds.) MKM\/Calculemus 2007. LNCS (LNAI), vol.\u00a04573, pp. 161\u2013175. Springer, Heidelberg (2007)"},{"unstructured":"Eclipse: An open development platform (December 2011), http:\/\/www.eclipse.org\/","key":"7_CR3"},{"unstructured":"Etherpad lite: real time collaborative editor (February 2012), web page at https:\/\/github.com\/Pita\/etherpad-lite\/raw\/master\/doc\/easysync\/easysync-notes.pdf","key":"7_CR4"},{"unstructured":"Kohlhase, M.: Semantic Markup for TEX\/LATEX. In: Libbrecht, P. (ed.) Mathematical User Interfaces (2004), http:\/\/www.activemath.org\/~paul\/MathUI04","key":"7_CR5"},{"doi-asserted-by":"crossref","unstructured":"Pfenning, F.: Logic Programming in the LF Logical Framework. In: Huet, G.P., Plotkin, G.D. (eds.) Logical Frameworks. Cambridge University Press (1991)","key":"7_CR6","DOI":"10.1017\/CBO9780511569807.008"},{"issue":"2","key":"7_CR7","doi-asserted-by":"publisher","first-page":"29","DOI":"10.1109\/52.120599","volume":"9","author":"I. Thomas","year":"1992","unstructured":"Thomas, I., Nejmeh, B.A.: Definitions of tool integration for environments. IEEE Software\u00a09(2), 29\u201335 (1992) ISSN: 07407459, http:\/\/doi.ieeecomputersociety.org\/10.1109\/52.120599 , doi:10.1109\/52.120599","journal-title":"IEEE Software"},{"unstructured":"Urban, J., Bancerek, G.: Presenting and Explaining Mizar. In: Autexier, S., Benzm\u00fcller, C. (eds.) Proceedings of the International Workshop User Interfaces for Theorem Provers (UITP 2006), Seattle, USA, pp. 97\u2013108 (2006)","key":"7_CR8"},{"issue":"6","key":"7_CR9","doi-asserted-by":"publisher","first-page":"137","DOI":"10.1007\/3-540-53452-0\\_38","volume":"1","author":"A.L. Wasserman","year":"1990","unstructured":"Wasserman, A.L.: Tool integration in software engineering environments. Development\u00a01(6), 137\u2013149 (1990) ISSN: 02686961, http:\/\/www.springerlink.com\/content\/p582q2n825k87nl5 , doi:10.1007\/3-540-53452-0_38","journal-title":"Development"},{"unstructured":"Wenzel, M.: Asynchronous Proof Processing with Isabelle\/ Scala and Isabelle\/jEdit. In: Sacerdoti Coen, C., Aspinall, D. (eds.) FLOC 2010 Satellite Workshop User Interfaces for Theorem Provers (UITP 2010). ENTCS, Elsevier (2010), http:\/\/www.lri.fr\/~wenzel\/papers\/async-isabelle-scala.pdf","key":"7_CR10"},{"unstructured":"Wicks, M.: Tool Integration in Software Engineering: The State of the Art in 2004. Integration The VLSI Journal, 1\u201326 (August 2004), http:\/\/citeseerx.ist.psu.edu\/viewdoc\/summary?doi=10.1.1.59.1969","key":"7_CR11"}],"container-title":["Lecture Notes in Computer Science","Intelligent Computer Mathematics"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-31374-5_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,7,9]],"date-time":"2020-07-09T21:49:22Z","timestamp":1594331362000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-31374-5_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642313738","9783642313745"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-31374-5_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}