{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:31:16Z","timestamp":1725489076858},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540730835"},{"type":"electronic","value":"9783540730866"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-73086-6_21","type":"book-chapter","created":{"date-parts":[[2007,8,14]],"date-time":"2007-08-14T10:57:56Z","timestamp":1187089076000},"page":"250-264","source":"Crossref","is-referenced-by-count":2,"title":["The Layers of Logiweb"],"prefix":"10.1007","author":[{"given":"Klaus","family":"Grue","sequence":"first","affiliation":[]}],"member":"297","reference":[{"issue":"1\u20132","key":"21_CR1","doi-asserted-by":"publisher","first-page":"137","DOI":"10.1016\/S0304-3975(96)00302-7","volume":"179","author":"C. Berline","year":"1997","unstructured":"Berline, C., Grue, K.: A \u03ba-denotational semantics for Map Theory in ZFC+SI. TCS\u00a0179(1\u20132), 137\u2013202 (1997)","journal-title":"TCS"},{"key":"21_CR2","volume-title":"The Calculi of Lambda-Conversion","author":"A. Church","year":"1941","unstructured":"Church, A.: The Calculi of Lambda-Conversion. Princeton University Press, Princeton (1941)"},{"doi-asserted-by":"crossref","unstructured":"Dobbertin, H., Bosselaers, A., Preneel, B.: RIPEMD-160: A strengthened version of RIPEMD. In: Fast Software Encryption, pp. 71\u201382 (1996), http:\/\/citeseer.nj.nec.com\/dobbertin96ripemd.html","key":"21_CR3","DOI":"10.1007\/3-540-60865-6_44"},{"unstructured":"Genzen, G.: The Collected Papers of Gerhard Gentzen. In: Szabo, M.E. (ed.) North-Holland (1969)","key":"21_CR4"},{"issue":"1","key":"21_CR5","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0304-3975(92)90296-R","volume":"102","author":"K. Grue","year":"1992","unstructured":"Grue, K.: Map theory. Theoretical Computer Science\u00a0102(1), 1\u2013133 (1992)","journal-title":"Theoretical Computer Science"},{"unstructured":"Grue, K.: Mathematics and Computation, DIKU, Universitetsparken 1, DK-2100 Copenhagen, 7 edn. vol. 1(3) (2001)","key":"21_CR6"},{"unstructured":"Grue, K.: Map theory with classical maps. Technical Report 02\/21, DIKU (2002), http:\/\/www.diku.dk\/publikationer\/tekniske.rapporter\/2002\/","key":"21_CR7"},{"key":"21_CR8","series-title":"Electronic Notes in Theoretical Computer Science","first-page":"70","volume-title":"Mathematical Knowledge Management Symposium 2003","author":"K. Grue","year":"2004","unstructured":"Grue, K.: Logiweb. In: Kamareddine, F. (ed.) Mathematical Knowledge Management Symposium 2003. Electronic Notes in Theoretical Computer Science, vol.\u00a093, pp. 70\u2013101. Elsevier, New York (2004)"},{"key":"21_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"343","DOI":"10.1007\/11832225_34","volume-title":"Mathematical Software - ICMS 2006","author":"K. Grue","year":"2006","unstructured":"Grue, K.: Logiweb - a system for web publication of mathematics. In: Iglesias, A., Takayama, N. (eds.) ICMS 2006. LNCS, vol.\u00a04151, pp. 343\u2013353. Springer, Heidelberg (2006)"},{"unstructured":"Grue,K.: The layers of logiweb - appendix. Technical report, Logiweb (2007), http:\/\/logiweb.eu\/logiweb\/server\/relay\/64\/BUpCgdix91wGZKohkESIwWkvdwwIhPa08-fhoigBB\/2\/body\/tex\/appendix.pdf","key":"21_CR10"},{"unstructured":"Kleene, S.C.: Introduction to Metamathematics. Bibliotheca Mathematica, N-H, vol. 1(1964)","key":"21_CR11"},{"key":"21_CR12","volume-title":"The TeXbook","author":"D. Knuth","year":"1983","unstructured":"Knuth, D.: The TeXbook. Addison-Wesley, London (1983)"},{"doi-asserted-by":"crossref","unstructured":"Kohlhase, M.: OMDoc: An open markup format for mathematical documents (version 1.2) (March 16, 2005), http:\/\/www.mathweb.org\/omdoc\/index.html","key":"21_CR13","DOI":"10.1007\/11826095"},{"doi-asserted-by":"crossref","unstructured":"Mendelson, E.: Introduction to Mathematical Logic, 3rd edn. Wadsworth and Brooks (1987)","key":"21_CR14","DOI":"10.1007\/978-1-4615-7288-6"},{"unstructured":"Miner, R., Schaeffer, J.: A gentle introduction to MathML (2001), http:\/\/www.dessci.com\/en\/support\/tutorials\/mathml\/default.htm","key":"21_CR15"},{"unstructured":"Muzalewski, M.: An Outline of PC Mizar. Foundation of Logic, Mathematics and Informatics, Mizar User Group, Brussels (1993)","key":"21_CR16"},{"issue":"1\u20137","key":"21_CR17","doi-asserted-by":"publisher","first-page":"679","DOI":"10.1016\/S0169-7552(98)00120-2","volume":"30","author":"D. Raggett","year":"1998","unstructured":"Raggett, D., Batsalle, D.: Adding math to Web pages with EzMath. j-COMP-NET-ISDN\u00a030(1\u20137), 679\u2013681 (1998)","journal-title":"j-COMP-NET-ISDN"},{"unstructured":"Skalberg, S.C.: An Interactive Proof System for Map Theory. PhD thesis, University of Copenhagen (October 2002), http:\/\/www.mangust.dk\/skalberg\/phd\/","key":"21_CR18"},{"key":"21_CR19","first-page":"26","volume-title":"Proceedings of the 9th International Joint Conference on Artificial Intelligence","author":"A. Trybulec","year":"1985","unstructured":"Trybulec, A., Blair, H.: Computer assisted reasoning with MIZAR. In: Joshi, A. (ed.) Proceedings of the 9th International Joint Conference on Artificial Intelligence, Los Angeles, CA, pp. 26\u201328. Morgan Kaufmann, San Francisco (1985), http:\/\/www.mizar.org\/"}],"container-title":["Lecture Notes in Computer Science","Towards Mechanized Mathematical Assistants"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-73086-6_21.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T09:59:45Z","timestamp":1619517585000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-73086-6_21"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540730835","9783540730866"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-73086-6_21","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[]}}