{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T19:53:19Z","timestamp":1743105199349,"version":"3.40.3"},"publisher-location":"Cham","reference-count":47,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030860615"},{"type":"electronic","value":"9783030860622"}],"license":[{"start":{"date-parts":[[2021,1,1]],"date-time":"2021-01-01T00:00:00Z","timestamp":1609459200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2021,1,1]],"date-time":"2021-01-01T00:00:00Z","timestamp":1609459200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2021]]},"DOI":"10.1007\/978-3-030-86062-2_4","type":"book-chapter","created":{"date-parts":[[2021,9,21]],"date-time":"2021-09-21T02:17:10Z","timestamp":1632190630000},"page":"35-51","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Considerations in Representation Selection for Problem Solving: A Review"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-3312-5267","authenticated-orcid":false,"given":"Aaron","family":"Stockdill","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9207-6621","authenticated-orcid":false,"given":"Daniel","family":"Raggi","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0003-2772-2532","authenticated-orcid":false,"given":"Mateja","family":"Jamnik","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-7327-7225","authenticated-orcid":false,"given":"Grecia","family":"Garcia Garcia","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-0355-5955","authenticated-orcid":false,"given":"Peter C.-H.","family":"Cheng","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2021,9,21]]},"reference":[{"key":"4_CR1","doi-asserted-by":"publisher","first-page":"191","DOI":"10.1007\/978-1-4020-5267-5_9","volume-title":"Visualization: Theory and Practice in Science Education","author":"S Ainsworth","year":"2008","unstructured":"Ainsworth, S.: The educational value of multiple-representations when learning complex scientific concepts. In: Gilbert, J.K., Reiner, M., Nakhleh, M. (eds.) Visualization: Theory and Practice in Science Education, pp. 191\u2013208. Springer, Dordrecht (2008). https:\/\/doi.org\/10.1007\/978-1-4020-5267-5_9"},{"key":"4_CR2","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"347","DOI":"10.1007\/978-3-540-87730-1_32","volume-title":"Diagrammatic Representation and Inference","author":"D Barker-Plummer","year":"2008","unstructured":"Barker-Plummer, D., Etchemendy, J., Liu, A., Murray, M., Swoboda, N.: Openproof - a flexible framework for heterogeneous reasoning. In: Stapleton, G., Howse, J., Lee, J. (eds.) Diagrams 2008. LNCS (LNAI), vol. 5223, pp. 347\u2013349. Springer, Heidelberg (2008). https:\/\/doi.org\/10.1007\/978-3-540-87730-1_32"},{"key":"4_CR3","first-page":"3","volume-title":"Logical Reasoning with Diagrams","author":"J Barwise","year":"1996","unstructured":"Barwise, J., Etchemendy, J.: Visual information and valid reasoning. In: Allwein, G., Barwise, J. (eds.) Logical Reasoning with Diagrams, pp. 3\u201325. Oxford University Press Inc, New York (1996)"},{"issue":"1","key":"4_CR4","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1023\/A:1006689708296","volume":"15","author":"AF Blackwell","year":"2001","unstructured":"Blackwell, A.F., Whitley, K.N., Good, J., Petre, M.: Cognitive factors in programming with diagrams. Artif. Intell. Rev. 15(1), 95\u2013114 (2001)","journal-title":"Artif. Intell. Rev."},{"key":"4_CR5","first-page":"101","volume":"9","author":"JC Blanchette","year":"2016","unstructured":"Blanchette, J.C., Kaliszyk, C., Paulson, L.C., Urban, J.: Hammering towards QED. J. Formaliz. Reason. 9, 101\u2013148 (2016)","journal-title":"J. Formaliz. Reason."},{"issue":"6","key":"4_CR6","doi-asserted-by":"publisher","first-page":"685","DOI":"10.1207\/s15516709cog2606_1","volume":"26","author":"PCH Cheng","year":"2002","unstructured":"Cheng, P.C.H.: Electrifying diagrams for learning: principles for complex representational systems. Cogn. Sci. 26(6), 685\u2013736 (2002)","journal-title":"Cogn. Sci."},{"key":"4_CR7","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1007\/978-3-319-42333-3_2","volume-title":"Diagrammatic Representation and Inference","author":"PC-H Cheng","year":"2016","unstructured":"Cheng, P.C.-H.: What constitutes an effective representation? In: Jamnik, M., Uesaka, Y., Elzer Schwartz, S. (eds.) Diagrams 2016. LNCS (LNAI), vol. 9781, pp. 17\u201331. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-42333-3_2"},{"issue":"3","key":"4_CR8","doi-asserted-by":"publisher","first-page":"221","DOI":"10.1007\/s10462-010-9171-0","volume":"34","author":"J Condell","year":"2010","unstructured":"Condell, J., et al.: Problem solving techniques in cognitive science. Artif. Intell. Rev. 34(3), 221\u2013234 (2010)","journal-title":"Artif. Intell. Rev."},{"key":"4_CR9","volume-title":"Implementing Mathematics with the Nuprl Proof Development System","author":"RL Constable","year":"1986","unstructured":"Constable, R.L., et al.: Implementing Mathematics with the Nuprl Proof Development System. Prentice-Hall Inc, Hoboken (1986)"},{"issue":"3","key":"4_CR10","doi-asserted-by":"publisher","first-page":"237","DOI":"10.1017\/S0269888913000222","volume":"28","author":"V Giardino","year":"2013","unstructured":"Giardino, V.: Towards a diagrammatic classification. Knowl. Eng. Rev. 28(3), 237\u2013248 (2013)","journal-title":"Knowl. Eng. Rev."},{"key":"4_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-09724-4","volume-title":"Edinburgh LCF","author":"MJ Gordon","year":"1979","unstructured":"Gordon, M.J., Milner, A.J., Wadsworth, C.P.: Edinburgh LCF. LNCS, vol. 78. Springer, Heidelberg (1979). https:\/\/doi.org\/10.1007\/3-540-09724-4"},{"key":"4_CR12","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"154","DOI":"10.1007\/11783183_21","volume-title":"Diagrammatic Representation and Inference","author":"B Grawemeyer","year":"2006","unstructured":"Grawemeyer, B.: Evaluation of ERST \u2013 an external representation selection tutor. In: Barker-Plummer, D., Cox, R., Swoboda, N. (eds.) Diagrams 2006. LNCS (LNAI), vol. 4045, pp. 154\u2013167. Springer, Heidelberg (2006). https:\/\/doi.org\/10.1007\/11783183_21"},{"key":"4_CR13","unstructured":"Green, T., Blackwell, A.: Cognitive dimensions of information artefacts: a tutorial. In: BCS HCI Conference, vol. 98 (1998)"},{"key":"4_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"60","DOI":"10.1007\/978-3-642-03359-9_4","volume-title":"Theorem Proving in Higher Order Logics","author":"J Harrison","year":"2009","unstructured":"Harrison, J.: HOL light: an overview. In: Berghofer, S., Nipkow, T., Urban, C., Wenzel, M. (eds.) TPHOLs 2009. LNCS, vol. 5674, pp. 60\u201366. Springer, Heidelberg (2009). https:\/\/doi.org\/10.1007\/978-3-642-03359-9_4"},{"key":"4_CR15","unstructured":"Huet, G., Kahn, G., Paulin-Mohring, C.: The Coq proof assistant: a tutorial. The Coq Project (2004)"},{"issue":"1","key":"4_CR16","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1007\/s10699-008-9149-4","volume":"14","author":"M Inglis","year":"2009","unstructured":"Inglis, M., Mej\u00eda-Ramos, J.P.: On the persuasiveness of visual arguments in mathematics. Found. Sci. 14(1), 97\u2013110 (2009)","journal-title":"Found. Sci."},{"issue":"3","key":"4_CR17","doi-asserted-by":"publisher","first-page":"297","DOI":"10.1023\/A:1008323427489","volume":"8","author":"M Jamnik","year":"1999","unstructured":"Jamnik, M., Bundy, A., Green, I.: On automating diagrammatic proofs of arithmetic arguments. J. Logic Lang. Inform. 8(3), 297\u2013321 (1999)","journal-title":"J. Logic Lang. Inform."},{"issue":"2","key":"4_CR18","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1080\/09528130600558091","volume":"18","author":"PN Johnson-Laird","year":"2006","unstructured":"Johnson-Laird, P.N.: Models and heterogeneous reasoning. J. Exp. Theor. Artif. Intell. 18(2), 121\u2013148 (2006)","journal-title":"J. Exp. Theor. Artif. Intell."},{"issue":"2","key":"4_CR19","doi-asserted-by":"publisher","first-page":"248","DOI":"10.1016\/0010-0285(85)90009-X","volume":"17","author":"K Kotovsky","year":"1985","unstructured":"Kotovsky, K., Hayes, J., Simon, H.: Why are some problems hard? Evidence from tower of Hanoi. Cogn. Psychol. 17(2), 248\u2013294 (1985)","journal-title":"Cogn. Psychol."},{"issue":"4","key":"4_CR20","doi-asserted-by":"publisher","first-page":"317","DOI":"10.1207\/s15516709cog0404_1","volume":"4","author":"JH Larkin","year":"1980","unstructured":"Larkin, J.H., McDermott, J., Simon, D.P., Simon, H.A.: Models of competence in solving physics problems. Cogn. Sci. 4(4), 317\u2013345 (1980)","journal-title":"Cogn. Sci."},{"issue":"1","key":"4_CR21","doi-asserted-by":"publisher","first-page":"65","DOI":"10.1111\/j.1551-6708.1987.tb00863.x","volume":"11","author":"JH Larkin","year":"1987","unstructured":"Larkin, J.H., Simon, H.A.: Why a diagram is (sometimes) worth ten thousand words. Cogn. Sci. 11(1), 65\u2013100 (1987)","journal-title":"Cogn. Sci."},{"issue":"2","key":"4_CR22","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1037\/h0043158","volume":"63","author":"GA Miller","year":"1956","unstructured":"Miller, G.A.: The magical number seven, plus or minus two: some limits on our capacity for processing information. Psychol. Rev. 63(2), 81\u201397 (1956)","journal-title":"Psychol. Rev."},{"key":"4_CR23","unstructured":"Minsky, Y.: Effective ML revisited (2011). Blog Post. https:\/\/blog.janestreet.com\/effective-ml-revisited\/. Accessed 28 Nov 2020"},{"issue":"6","key":"4_CR24","doi-asserted-by":"publisher","first-page":"756","DOI":"10.1109\/TSE.2009.67","volume":"35","author":"D Moody","year":"2009","unstructured":"Moody, D.: The \u201cphysics\u2019\u2019 of notations: toward a scientific basis for constructing visual notations in software engineering. IEEE Trans. Softw. Eng. 35(6), 756\u2013779 (2009)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"4_CR25","unstructured":"Newell, A., Shaw, J., Simon, H.A.: Report on a general problem-solving program. In: Proceedings of the International Conference on Information Processing, pp. 256\u2013264 (1959)"},{"issue":"3","key":"4_CR26","doi-asserted-by":"publisher","first-page":"363","DOI":"10.1007\/BF00248324","volume":"5","author":"LC Paulson","year":"1989","unstructured":"Paulson, L.C.: The foundation of a generic theorem prover. J. Autom. Reason. 5(3), 363\u2013397 (1989)","journal-title":"J. Autom. Reason."},{"key":"4_CR27","unstructured":"Paulson, L.C., Blanchette, C.: Three years of experience with sledgehammer, a practical link between automatic and interactive theorem provers (2010)"},{"key":"4_CR28","unstructured":"P\u00f3lya, G.: How to Solve It: A New Aspect of Mathematical Method. Princeton Science Library, Princeton University Press (1957)"},{"issue":"4","key":"4_CR29","doi-asserted-by":"publisher","first-page":"429","DOI":"10.1007\/s11786-016-0275-z","volume":"10","author":"D Raggi","year":"2016","unstructured":"Raggi, D., Bundy, A., Grov, G., Pease, A.: Automating change of representation for proofs in discrete mathematics (extended version). Math. Comput. Sci. 10(4), 429\u2013457 (2016)","journal-title":"Math. Comput. Sci."},{"issue":"2","key":"4_CR30","doi-asserted-by":"publisher","first-page":"185","DOI":"10.1006\/ijhc.1996.0048","volume":"45","author":"M Scaife","year":"1996","unstructured":"Scaife, M., Rogers, Y.: External cognition: how do graphical representations work? Int. J. Hum. Comput. Stud. 45(2), 185\u2013213 (1996)","journal-title":"Int. J. Hum. Comput. Stud."},{"key":"4_CR31","doi-asserted-by":"crossref","unstructured":"Shimojima, A.: Operational constraints in diagrammatic reasoning. In: Allwein, G., Barwise, J. (eds.) Logical Reasoning with Diagrams, chap. 2, pp. 27\u201348. Oxford University Press, New York (1996)","DOI":"10.1093\/oso\/9780195104271.003.0006"},{"key":"4_CR32","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1007\/978-94-017-3524-7_2","volume-title":"Thinking with Diagrams","author":"A Shimojima","year":"2001","unstructured":"Shimojima, A.: The graphic-linguistic distinction. In: Blackwell, A.F. (ed.) Thinking with Diagrams, pp. 5\u201327. Springer, Dordrecht (2001). https:\/\/doi.org\/10.1007\/978-94-017-3524-7_2"},{"issue":"2","key":"4_CR33","doi-asserted-by":"publisher","first-page":"145","DOI":"10.1037\/h0030806","volume":"26","author":"HA Simon","year":"1971","unstructured":"Simon, H.A., Newell, A.: Human problem solving: the state of the theory in 1970. Am. Psychol. 26(2), 145\u2013159 (1971)","journal-title":"Am. Psychol."},{"key":"4_CR34","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"28","DOI":"10.1007\/978-3-540-71067-7_6","volume-title":"Theorem Proving in Higher Order Logics","author":"K Slind","year":"2008","unstructured":"Slind, K., Norrish, M.: A brief overview of HOL4. In: Mohamed, O.A., Mu\u00f1oz, C., Tahar, S. (eds.) TPHOLs 2008. LNCS, vol. 5170, pp. 28\u201332. Springer, Heidelberg (2008). https:\/\/doi.org\/10.1007\/978-3-540-71067-7_6"},{"issue":"2","key":"4_CR35","doi-asserted-by":"publisher","first-page":"143","DOI":"10.1007\/s10849-017-9250-6","volume":"26","author":"G Stapleton","year":"2017","unstructured":"Stapleton, G., Jamnik, M., Shimojima, A.: What makes an effective representation of information: a formal account of observational advantages. J. Logic Lang. Inform. 26(2), 143\u2013177 (2017)","journal-title":"J. Logic Lang. Inform."},{"issue":"4","key":"4_CR36","doi-asserted-by":"publisher","first-page":"431","DOI":"10.1007\/s10817-007-9069-y","volume":"39","author":"G Stapleton","year":"2007","unstructured":"Stapleton, G., Masthoff, J., Flower, J., Fish, A., Southern, J.: Automated theorem proving in Euler diagram systems. J. Autom. Reason. 39(4), 431\u2013470 (2007)","journal-title":"J. Autom. Reason."},{"issue":"1","key":"4_CR37","doi-asserted-by":"publisher","first-page":"29","DOI":"10.1023\/A:1006617525134","volume":"15","author":"K Stenning","year":"2001","unstructured":"Stenning, K., Lemon, O.: Aligning logical and psychological perspectives on diagrammatic reasoning. Artif. Intell. Rev. 15(1), 29\u201362 (2001)","journal-title":"Artif. Intell. Rev."},{"issue":"1","key":"4_CR38","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1207\/s15516709cog1901_3","volume":"19","author":"K Stenning","year":"1995","unstructured":"Stenning, K., Oberlander, J.: A cognitive theory of graphical and linguistic reasoning: logic and implementation. Cogn. Sci. 19(1), 97\u2013140 (1995)","journal-title":"Cogn. Sci."},{"issue":"4","key":"4_CR39","doi-asserted-by":"publisher","first-page":"217","DOI":"10.1016\/j.jmathb.2009.10.002","volume":"28","author":"AC Superfine","year":"2009","unstructured":"Superfine, A.C., Canty, R.S., Marshall, A.M.: Translation between external representation systems in mathematics: all-or-none or skill conglomerate? J. Math. Behav. 28(4), 217\u2013236 (2009)","journal-title":"J. Math. Behav."},{"issue":"2","key":"4_CR40","doi-asserted-by":"publisher","first-page":"257","DOI":"10.1207\/s15516709cog1202_4","volume":"12","author":"J Sweller","year":"1988","unstructured":"Sweller, J.: Cognitive load during problem solving: effects on learning. Cogn. Sci. 12(2), 257\u2013285 (1988)","journal-title":"Cogn. Sci."},{"issue":"3","key":"4_CR41","first-page":"499","volume":"3","author":"B Tversky","year":"2011","unstructured":"Tversky, B.: Visualizing thought. topiCS 3(3), 499\u2013535 (2011)","journal-title":"topiCS"},{"key":"4_CR42","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"277","DOI":"10.1007\/978-3-662-44043-8_28","volume-title":"Diagrammatic Representation and Inference","author":"M Urbas","year":"2014","unstructured":"Urbas, M., Jamnik, M.: A framework for heterogeneous reasoning in formal and informal domains. In: Dwyer, T., Purchase, H., Delaney, A. (eds.) Diagrams 2014. LNCS (LNAI), vol. 8578, pp. 277\u2013292. Springer, Heidelberg (2014). https:\/\/doi.org\/10.1007\/978-3-662-44043-8_28"},{"key":"4_CR43","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"163","DOI":"10.1007\/978-3-642-31223-6_19","volume-title":"Diagrammatic Representation and Inference","author":"M Urbas","year":"2012","unstructured":"Urbas, M., Jamnik, M., Stapleton, G., Flower, J.: Speedith: a diagrammatic reasoner for spider diagrams. In: Cox, P., Plimmer, B., Rodgers, P. (eds.) Diagrams 2012. LNCS (LNAI), vol. 7352, pp. 163\u2013177. Springer, Heidelberg (2012). https:\/\/doi.org\/10.1007\/978-3-642-31223-6_19"},{"issue":"2","key":"4_CR44","doi-asserted-by":"publisher","first-page":"219","DOI":"10.1111\/j.1540-5915.1991.tb00344.x","volume":"22","author":"I Vessey","year":"1991","unstructured":"Vessey, I.: Cognitive fit: a theory-based analysis of the graphs versus tables literature. Decis. Sci. 22(2), 219\u2013240 (1991)","journal-title":"Decis. Sci."},{"issue":"2","key":"4_CR45","doi-asserted-by":"publisher","first-page":"255","DOI":"10.1016\/0010-0285(73)90014-5","volume":"4","author":"R Weisberg","year":"1973","unstructured":"Weisberg, R., Suls, J.M.: An information-processing model of Duncker\u2019s candle problem. Cogn. Psychol. 4(2), 255\u2013276 (1973)","journal-title":"Cogn. Psychol."},{"issue":"2","key":"4_CR46","doi-asserted-by":"publisher","first-page":"155","DOI":"10.1007\/s10649-016-9698-3","volume":"93","author":"D Zazkis","year":"2016","unstructured":"Zazkis, D., Weber, K., Mej\u00eda-Ramos, J.P.: Bridging the gap between graphical arguments and verbal-symbolic proofs in a real analysis context. Educ. Stud. Math. 93(2), 155\u2013173 (2016). https:\/\/doi.org\/10.1007\/s10649-016-9698-3","journal-title":"Educ. Stud. Math."},{"issue":"2","key":"4_CR47","doi-asserted-by":"publisher","first-page":"179","DOI":"10.1207\/s15516709cog2102_3","volume":"21","author":"J Zhang","year":"1997","unstructured":"Zhang, J.: The nature of external representations in problem solving. Cogn. Sci. 21(2), 179\u2013217 (1997)","journal-title":"Cogn. Sci."}],"container-title":["Lecture Notes in Computer Science","Diagrammatic Representation and Inference"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-86062-2_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,12,4]],"date-time":"2021-12-04T00:03:25Z","timestamp":1638576205000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-030-86062-2_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021]]},"ISBN":["9783030860615","9783030860622"],"references-count":47,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-86062-2_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2021]]},"assertion":[{"value":"21 September 2021","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"Diagrams","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Theory and Application of Diagrams","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2021","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"28 September 2021","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"30 September 2021","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"12","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"diagrams2021","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/www.diagrams-conference.org\/2021\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}