{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T10:58:30Z","timestamp":1742986710009,"version":"3.40.3"},"publisher-location":"Wiesbaden","reference-count":70,"publisher":"Springer Fachmedien Wiesbaden","isbn-type":[{"type":"print","value":"9783658237158"},{"type":"electronic","value":"9783658237158"}],"license":[{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2020]]},"DOI":"10.1007\/978-3-658-23715-8_4-1","type":"book-chapter","created":{"date-parts":[[2022,12,27]],"date-time":"2022-12-27T09:02:41Z","timestamp":1672131761000},"page":"1-41","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Grundlagen des logischen Schlie\u00dfens"],"prefix":"10.1007","author":[{"given":"Reinhard","family":"Kahle","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2022,12,28]]},"reference":[{"key":"4-1_CR1","doi-asserted-by":"publisher","first-page":"217","DOI":"10.1023\/A:1004275029985","volume":"27","author":"H Andr\u00e9ka","year":"1998","unstructured":"Andr\u00e9ka, H., I. N\u00e9meti und J. van Benthem. 1998. Modal languages and bounded fragments of predicate logic. Journal of Philosophical Logic 27:217\u2013274.","journal-title":"Journal of Philosophical Logic"},{"key":"4-1_CR2","unstructured":"Aristoteles. 1967. Texte zur Logik. Reinbek: Rowohlt."},{"key":"4-1_CR3","unstructured":"Baader, F., D. Calvanese, D. L. McGuiness, D. Nardi und P. F. Patel-Schneider. 2003. The Description Logic Handbook: Theory, Implementation, Applications. Cambridge: Cambridge University Press."},{"issue":"1","key":"4-1_CR4","doi-asserted-by":"publisher","first-page":"1","DOI":"10.2307\/2269159","volume":"11","author":"RC Barcan","year":"1946","unstructured":"Barcan, R. C. 1946. A functional calculus of first order based on strict implication. Journal of Symbolic Logic 11(1): 1\u201316.","journal-title":"Journal of Symbolic Logic"},{"key":"4-1_CR5","doi-asserted-by":"crossref","unstructured":"Barwise, J. 1977. An introduction to first-order logic. In Handbook of Mathematical Logic, Hrsg. J. Barwise, 5\u201346. Amsterdam: North-Holland.","DOI":"10.1016\/S0049-237X(08)71097-8"},{"key":"4-1_CR1000","doi-asserted-by":"crossref","unstructured":"Bibel, W. 2023. Automatisierung der Deduktion. In Philosophisches Handbuch K\u00fcnstliche Intelligenz, Hrsg. K. Mainzer. Berlin: Springer. In diesem Buch.","DOI":"10.1007\/978-3-658-23715-8_56-1"},{"key":"4-1_CR6","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-7091-3590-7","volume-title":"Einf\u00fchrung in die symbolische Logik","author":"R Carnap","year":"1960","unstructured":"Carnap, R. 1960. Einf\u00fchrung in die symbolische Logik, 2. Aufl. Wien: Springer.","edition":"2"},{"key":"4-1_CR7","doi-asserted-by":"crossref","unstructured":"Carnielli, W., und C. Pizzi. 2008. Modalities and Multimodalities, Band 12 von Logic, Epistemology, and the Unity of Science. Berlin: Springer.","DOI":"10.1007\/978-1-4020-8590-1"},{"key":"4-1_CR8","doi-asserted-by":"crossref","unstructured":"Centrone, S. 2023. Leibniz und die k\u00fcnstliche Intelligenz: Lingua characteristica und Calculus ratiocinator. In Philosophisches Handbuch K\u00fcnstliche Intelligenz, Hrsg. K. Mainzer. Berlin: Springer. In diesem Buch.","DOI":"10.1007\/978-3-658-19606-6_52"},{"key":"4-1_CR9","first-page":"151","volume-title":"Proceedings of the Third ACM Symposium on Theory of Computing","author":"SA Cook","year":"1971","unstructured":"Cook, S. A. 1971. The complexity of theorem-proving procedures. In Proceedings of the Third ACM Symposium on Theory of Computing, 151\u2013158."},{"issue":"2","key":"4-1_CR10","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1023\/A:1015273407895","volume":"31","author":"BJ Copeland","year":"2002","unstructured":"Copeland, B. J. 2002. The genesis of possible worlds semantics. Journal of Philosophical Logic 31(2): 99\u2013137.","journal-title":"Journal of Philosophical Logic"},{"key":"4-1_CR11","unstructured":"Dedekind, R. 1888. Was sind und was sollen die Zahlen? Braunschweig: Vieweg."},{"key":"4-1_CR12","doi-asserted-by":"crossref","unstructured":"Dershowitz, N. 2005. The four sons of Penrose. In Proceedings of the Eleventh Conference on Logic Programming for Artificial Intelligence and Reasoning (LPAR), Band 3835 der Lecture Notes in Artificial Intelligence, Hrsg. G. Sutcliffe und A. Voronkov, 125\u2013138. Berlin: Springer.","DOI":"10.1007\/11591191_10"},{"key":"4-1_CR13","unstructured":"Do\u0161en, K., und P. Schroeder-Heister. 1994. Substructural Logics. Oxford: Oxford University Press."},{"key":"4-1_CR14","unstructured":"Dummett, M. 1981. Frege. Philosophy language, 2. Aufl. London: Duckworth."},{"key":"4-1_CR15","unstructured":"Dummett, M. 1991. The logical basis of metaphysics. London: Duckworth."},{"key":"4-1_CR16","unstructured":"Eley, L. 1985. Philosophie der Logik, Band 230 der Ertr\u00e4ge der Forschung. Darmstadt: Wissenschaftliche Buchgesellschaft."},{"key":"4-1_CR17","unstructured":"F\u00f8llesdal, D. 1980. Eintrag Semantik. In Handbuch wissenschaftstheoretischer Begriffe, Hrsg. J. Speck, Bd. 3 (R\u2013Z), 568\u2013579. G\u00f6ttingen: Vandenhoek & Ruprecht."},{"key":"4-1_CR18","unstructured":"Frege, G. 1893\/1903. Grundgesetze der Arithmetik. Jena: Hermann Pohle. 2 B\u00e4nde."},{"key":"4-1_CR19","doi-asserted-by":"publisher","first-page":"176","DOI":"10.1007\/BF01201353","volume":"39","author":"G Gentzen","year":"1935","unstructured":"Gentzen, G. 1935. Untersuchungen \u00fcber das logische Schlie\u00dfen I, II. Mathematische Zeitschrift 39:176\u2013210, 405\u2013431.","journal-title":"Mathematische Zeitschrift"},{"key":"4-1_CR20","doi-asserted-by":"crossref","unstructured":"Gentzen, G. 1938. Die gegenw\u00e4rtige Lage in der mathematischen Grundlagenforschung. Forschungen zur Logik und zur Grundlegung der exakten Wissenschaften, Neue Folge 4, 5\u201318, auch in Deutsche Mathematik 3:255\u2013268, 1939.","DOI":"10.2307\/2267796"},{"key":"4-1_CR21","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0304-3975(87)90045-4","volume":"50","author":"J-Y Girard","year":"1987","unstructured":"Girard, J.-Y. 1987. Linear logic. Theoretical Computer Science 50:1\u2013102.","journal-title":"Theoretical Computer Science"},{"key":"4-1_CR24","doi-asserted-by":"crossref","unstructured":"G\u00f6del, K. 1930. Die Vollst\u00e4ndigkeit der Axiome des logischen Funktionenkalk\u00fcls. Monatshefte f\u00fcr Mathematik und Physik 37:349\u2013360.","DOI":"10.1007\/BF01696781"},{"key":"4-1_CR22","doi-asserted-by":"crossref","unstructured":"G\u00f6del, K. 1931. \u00dcber formal unentscheidbare S\u00e4tze der Principia Mathematica und verwandter Systeme I. Monatshefte f\u00fcr Mathematik und Physik 38:173\u2013198.","DOI":"10.1007\/BF01700692"},{"key":"4-1_CR23","doi-asserted-by":"crossref","unstructured":"Goldreich, O. 2010. P, NP, and NP-Completeness. Cambridge: Cambridge University Press.","DOI":"10.1017\/CBO9780511761355"},{"issue":"3\/4","key":"4-1_CR25","first-page":"405","volume":"78","author":"D Hilbert","year":"1918","unstructured":"Hilbert, D. 1918. Axiomatisches Denken. Mathematische Annalen 78(3\/4): 405\u2013415.","journal-title":"Mathematische Annalen"},{"issue":"1\/2","key":"4-1_CR26","doi-asserted-by":"publisher","first-page":"65","DOI":"10.1007\/BF02940602","volume":"6","author":"D Hilbert","year":"1928","unstructured":"Hilbert, D. 1928. Die Grundlagen der Mathematik. Abhandlungen aus dem mathematischen Seminar der Hamburgischen Universit\u00e4t 6(1\/2): 65\u201385.","journal-title":"Abhandlungen aus dem mathematischen Seminar der Hamburgischen Universit\u00e4t"},{"key":"4-1_CR27","unstructured":"Hilbert, D., und W. Ackermann. 1928. Grundz\u00fcge der theoretischen Logik, Band XXVII von Die Grundlehren der mathematischen Wissenschaften in Einzeldarstellungen. Berlin: Springer."},{"key":"4-1_CR28","unstructured":"Hilbert, D., und W. Ackermann. 1959. Grundz\u00fcge der theoretischen Logik, Band XXVII von Die Grundlehren der mathematischen Wissenschaften in Einzeldarstellungen, 4. Aufl. Berlin: Springer."},{"key":"4-1_CR29","unstructured":"Hilbert, D., und P. Bernays. 1934. Grundlagen der Mathematik I, Band 40 von Die Grundlehren der mathematischen Wissenschaften in Einzeldarstellungen. Berlin: Springer."},{"key":"4-1_CR30","unstructured":"Hilbert, D., und P. Bernays. 1939. Grundlagen der Mathematik II, Band 50 von Die Grundlehren der mathematischen Wissenschaften in Einzeldarstellungen. Berlin: Springer."},{"issue":"1","key":"4-1_CR31","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/s00591-006-0012-9","volume":"54","author":"R Kahle","year":"2007","unstructured":"Kahle, R. 2007. Die G\u00f6delschen Unvollst\u00e4ndigkeitss\u00e4tze. Mathematische Semesterberichte 54(1): 1\u201312.","journal-title":"Mathematische Semesterberichte"},{"key":"4-1_CR32","doi-asserted-by":"crossref","unstructured":"Kahle, R. 2015. Gentzen\u2019s theorem in context. In Gentzen\u2019s Centenary: The quest for consistency, Hrsg. R. Kahle und M. Rathjen, 3\u201324. Berlin: Springer.","DOI":"10.1007\/978-3-319-10103-3_1"},{"issue":"2","key":"4-1_CR33","doi-asserted-by":"publisher","first-page":"159","DOI":"10.1007\/s00591-017-0193-4","volume":"64","author":"R Kahle","year":"2017","unstructured":"Kahle, R. 2017. Von Dedekind zu Zermelo versus Peano zu G\u00f6del. Mathematische Semesterberichte 64(2): 159\u2013167.","journal-title":"Mathematische Semesterberichte"},{"issue":"1","key":"4-1_CR34","doi-asserted-by":"publisher","first-page":"145","DOI":"10.1007\/s11225-017-9776-2","volume":"107","author":"R Kahle","year":"2019","unstructured":"Kahle, R. 2019. Is there a \u201eHilbert Thesis\u201c? Studia Logica 107(1): 145\u2013165.","journal-title":"Studia Logica"},{"key":"4-1_CR35","doi-asserted-by":"crossref","unstructured":"Kahle, R. 2020. \u201eSehr geehrter Herr Professor!\u201c Proof theory in 1949 in a letter from Sch\u00fctte to Bernays. In The Legacy of Kurt Sch\u00fctte, Hrsg. R. Kahle und M. Rathjen, 3\u201319. Berlin: Springer.","DOI":"10.1007\/978-3-030-49424-7_1"},{"key":"4-1_CR36","doi-asserted-by":"crossref","unstructured":"Kahle, R. 2021. Dedekinds S\u00e4tze und Peanos Axiomata. Philosophia Scienti\u00e6 25(1): 69\u201393. Special Issue on Giuseppe Peano and his School: logic, epistemology and didactics.","DOI":"10.4000\/philosophiascientiae.2846"},{"key":"4-1_CR37","volume-title":"Kritik der reinen Vernunft","author":"I Kant","year":"1787","unstructured":"Kant, I. 1787. Kritik der reinen Vernunft, 2. Aufl. Riga: Johann Friedrich Hartknoch.","edition":"2"},{"key":"4-1_CR38","doi-asserted-by":"crossref","unstructured":"Karp, R. M. 1972. Reducibility among combinatorial problems. In Complexity of Computer Computations. The IBM Research Symposia Series, Hrsg. R. Miller, J. Thatcher und J. Bohlinger, 85\u2013103. New York: Plenum Press.","DOI":"10.1007\/978-1-4684-2001-2_9"},{"key":"4-1_CR39","volume-title":"Introduction to Metamathematics","author":"SC Kleene","year":"1952","unstructured":"Kleene, S. C. 1952. Introduction to Metamathematics. New York: D. Van Nostrand Company."},{"key":"4-1_CR40","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-7091-8174-4","volume-title":"Elementare Logik","author":"F v Kutschera","year":"1967","unstructured":"Kutschera, F. v. 1967. Elementare Logik. Wien: Springer."},{"key":"4-1_CR41","unstructured":"K\u00fcchlin, W. 2023. Anwendungen des SAT-Solvings. In Philosophisches Handbuch K\u00fcnstliche Intelligenz, Hrsg. K. Mainzer. Berlin: Springer. In diesem Buch."},{"key":"4-1_CR42","unstructured":"K\u00fcchlin, W., und K. Mainzer. 2023. Logische Grundlagen der klassischen KI. In Philosophisches Handbuch K\u00fcnstliche Intelligenz, Hrsg. K. Mainzer. Berlin: Springer. In diesem Buch."},{"issue":"3","key":"4-1_CR43","doi-asserted-by":"publisher","first-page":"467","DOI":"10.1137\/0206033","volume":"6","author":"RE Ladner","year":"1977","unstructured":"Ladner, R. E. 1977. The computational complexity of provability in systems of modal propositional logic. SIAM Journal on Computing 6(3): 467\u2013480.","journal-title":"SIAM Journal on Computing"},{"key":"4-1_CR44","doi-asserted-by":"publisher","first-page":"287","DOI":"10.1007\/BF01703261","volume":"2","author":"J Lambek","year":"1968","unstructured":"Lambek, J. 1968. Deductive systems and categories. I: Syntactic calculus and residuated categories. Mathematical Systems Theory 2:287\u2013318.","journal-title":"Mathematical Systems Theory"},{"key":"4-1_CR45","doi-asserted-by":"crossref","unstructured":"Lambek, J. 1969. Deductive systems and categories. II. Standard constructions and closed categories. In Category Theory, Homology Theory and Applications, Band 86 der Lecture Notes in Mathematics, Hrsg. P. Hilton, 76\u2013122. Berlin: Springer.","DOI":"10.1007\/BFb0079385"},{"key":"4-1_CR46","unstructured":"Leibniz, G. W. 1982. Allgemeine Untersuchungen \u00fcber die Analyse der Begriffe und Wahrheiten, Band 338 der Philosophischen Bibliothek. Hamburg: Meiner."},{"key":"4-1_CR47","doi-asserted-by":"crossref","unstructured":"Leibniz, G. W. 2000. Die Grundlagen des logischen Kalk\u00fcls, Band 525 der Philosophischen Bibliothek. Hamburg: Meiner.","DOI":"10.28937\/978-3-7873-2631-0"},{"key":"4-1_CR48","doi-asserted-by":"crossref","unstructured":"Leibniz, G. W. 2019. Schriften zur Syllogistik, Band 712 der Philosophischen Bibliothek. Hamburg: Meiner.","DOI":"10.28937\/978-3-7873-3617-3"},{"key":"4-1_CR49","unstructured":"Lorenzen, P., und O. Schwemmer. 1973. Konstruktive Logik, Ethik und Wissenschaftstheorie, Band 700 der B.I.-Hoschultaschenb\u00fccher. Darmstadt: B.I.-Wissenschaftsverlag."},{"key":"4-1_CR2000","doi-asserted-by":"crossref","unstructured":"Mainzer, K., und R. Kahle. 2022. Grenzen der KI \u2013 theoretisch, praktisch, ethisch. Berlin: Springer.","DOI":"10.1007\/978-3-662-65011-0"},{"key":"4-1_CR50","doi-asserted-by":"crossref","unstructured":"Mainzer, K. 2023. Von der Beweistheorie zu maschinellen Beweisassistenten. In Philosophisches Handbuch K\u00fcnstliche Intelligenz, Hrsg. K. Mainzer. Berlin: Springer. In diesem Buch.","DOI":"10.1007\/978-3-658-23715-8_58-1"},{"key":"4-1_CR51","unstructured":"Matiyasevich, Y. 1996. Hilbert\u2019s tenth problem. Cambridge, MA: MIT Press."},{"issue":"3","key":"4-1_CR52","doi-asserted-by":"publisher","first-page":"359","DOI":"10.2178\/bsl\/1286284558","volume":"16","author":"C McLarty","year":"2010","unstructured":"McLarty, C. 2010. What does it take to prove Fermat\u2019s last theorem? Grothendieck and the logic of number theory. Bulletin of Symbolic Logic 16(3): 359\u2013377.","journal-title":"Bulletin of Symbolic Logic"},{"key":"4-1_CR53","doi-asserted-by":"crossref","unstructured":"Pallay, C. 2023. Vom Turing-Test zum General Problem Solver. Die Pionierjahre der k\u00fcnstlichen Intelligenz. In Philosophisches Handbuch K\u00fcnstliche Intelligenz, Hrsg. K. Mainzer. Berlin: Springer. In diesem Buch.","DOI":"10.1007\/978-3-658-19606-6_3"},{"key":"4-1_CR54","unstructured":"Patzig, G. 1963. Die Aristotelische Syllogistik, 2. Aufl. Abhandlungen der Akademie der Wissenschaften in G\u00f6ttingen. Philologisch-historische Klasse. Dritte Folge. Nr.\u00a042. G\u00f6ttingen: Vandenhoeck & Ruprecht."},{"key":"4-1_CR55","unstructured":"Peano, I. 1889. Arithmetices Principia Nova Methodo Exposita. Augustae Taurinorum: Bocca."},{"key":"4-1_CR56","volume-title":"Logik, Mathesis universalis und allgemeine Wissenschaft. Leibniz und die Wiederentdeckung der formalen Logik im 19. Jahrhundert","author":"V Peckhaus","year":"1997","unstructured":"Peckhaus, V. 1997. Logik, Mathesis universalis und allgemeine Wissenschaft. Leibniz und die Wiederentdeckung der formalen Logik im 19. Jahrhundert. Berlin: Akademie Verlag."},{"issue":"1\/2","key":"4-1_CR57","doi-asserted-by":"publisher","first-page":"63","DOI":"10.1007\/BF00660889","volume":"27","author":"D Prawitz","year":"1974","unstructured":"Prawitz, D. 1974. On the idea of a general proof theory. Synthese 27(1\/2): 63\u201377.","journal-title":"Synthese"},{"key":"4-1_CR58","unstructured":"Schroeder-Heister, P. 2016. Proof-theoretic semantics. In The Stanford Encyclopedia of Philosophy. (Winter 2016), Hrsg. E. N. Zalta. Metaphysics Research Lab, Stanford University."},{"key":"4-1_CR59","unstructured":"Shoenfield, J. R. 1967. Mathematical Logic. Addison-Wesley. Nachdruck durch ASL, AK Peters, 2000."},{"key":"4-1_CR60","doi-asserted-by":"crossref","unstructured":"Smorynski, C. 1977. The incompleteness theorems. In Handbook of mathematical logic, Hrsg. J. Barwise, 821\u2013865. Amsterdam: North-Holland.","DOI":"10.1016\/S0049-237X(08)71123-6"},{"key":"4-1_CR61","doi-asserted-by":"crossref","unstructured":"Smullyan, R. M. 1992. G\u00f6del\u2019s incompleteness theorems. Band 19 der Oxford Logic Guides. Oxford: Oxford University Press.","DOI":"10.1093\/oso\/9780195046724.001.0001"},{"key":"4-1_CR62","unstructured":"Takeuti, G. 1987. Proof Theory. Band 81 der Studies in Logic and the Foundations of Mathematics, 2. Aufl. Amsterdam: North-Holland."},{"key":"4-1_CR63","doi-asserted-by":"crossref","unstructured":"Troelstra, A. S., und H. Schwichtenberg. 2000. Basic proof theory, 2. Aufl. Cambridge: Cambridge University Press.","DOI":"10.1017\/CBO9781139168717"},{"key":"4-1_CR64","doi-asserted-by":"publisher","first-page":"433","DOI":"10.1093\/mind\/LIX.236.433","volume":"59","author":"A Turing","year":"1950","unstructured":"Turing, A. 1950. Computing machinery and intelligence. Mind 59:433\u2013460.","journal-title":"Mind"},{"key":"4-1_CR65","doi-asserted-by":"crossref","unstructured":"Vardi, M. 1997. Why is modal logic so robustly decidable? In Descriptive complexity and finite models, Band 31 der DIMACS series in discrete mathematics and theoretical computer science, Hrsg. N. Immerman und P. G. Kolaitis, 149\u2013184. Providence: American Mathematical Society.","DOI":"10.1090\/dimacs\/031\/05"},{"key":"4-1_CR66","doi-asserted-by":"crossref","unstructured":"Waltl, B. 2023. Erkl\u00e4rbarkeit und Transparenz im Machine Learning. In Philosophisches Handbuch K\u00fcnstliche Intelligenz, Hrsg. K. Mainzer. Springer. In diesem Buch.","DOI":"10.1007\/978-3-658-19606-6_31"},{"key":"4-1_CR67","doi-asserted-by":"crossref","unstructured":"Weyl, H. 1971. \u00dcber den Symbolismus der Mathematik und mathematischen Physik. In Hilbert, Hrsg. K. Reidemeister, 20\u201338. Berlin: Springer.","DOI":"10.1007\/978-3-642-65129-8_3"},{"key":"4-1_CR68","unstructured":"Whitehead, A. N., und B. Russell. 1910\u20131913. Principia Mathematica. Cambridge: Cambridge University Press. 3 B\u00e4nde. 1.\u00a0Aufl.; 2.\u00a0Aufl. 1925\u201327."}],"container-title":["Springer Reference Geisteswissenschaften","Philosophisches Handbuch K\u00fcnstliche Intelligenz"],"original-title":[],"language":"de","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-658-23715-8_4-1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,10,11]],"date-time":"2024-10-11T01:16:27Z","timestamp":1728609387000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-658-23715-8_4-1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020]]},"ISBN":["9783658237158","9783658237158"],"references-count":70,"URL":"https:\/\/doi.org\/10.1007\/978-3-658-23715-8_4-1","relation":{},"ISSN":["2524-3721","2524-373X"],"issn-type":[{"type":"print","value":"2524-3721"},{"type":"electronic","value":"2524-373X"}],"subject":[],"published":{"date-parts":[[2020]]},"assertion":[{"value":"17 June 2020, 00:00:00","order":1,"name":"received","label":"Received","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"2 August 2020, 00:00:00","order":2,"name":"accepted","label":"Accepted","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"28 December 2022","order":3,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}