{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T06:33:45Z","timestamp":1743057225545,"version":"3.40.3"},"publisher-location":"Cham","reference-count":17,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783031166808"},{"type":"electronic","value":"9783031166815"}],"license":[{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"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":[[2022]]},"DOI":"10.1007\/978-3-031-16681-5_24","type":"book-chapter","created":{"date-parts":[[2022,9,16]],"date-time":"2022-09-16T03:41:24Z","timestamp":1663299684000},"page":"344-348","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["CICM\u201922 System Entries"],"prefix":"10.1007","author":[{"given":"Peter","family":"Koepke","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Anton","family":"Lorenzen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Boris","family":"Shminke","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2022,9,17]]},"reference":[{"key":"24_CR1","doi-asserted-by":"publisher","unstructured":"conda-forge Community: The conda-forge Project: Community-based Software Distribution Built on the conda Package Format and Ecosystem. Zenodo (2015). https:\/\/doi.org\/10.5281\/zenodo.4774216","DOI":"10.5281\/zenodo.4774216"},{"key":"24_CR2","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1007\/978-3-030-81097-9_2","volume-title":"Intelligent Computer Mathematics","author":"A De Lon","year":"2021","unstructured":"De Lon, A., Koepke, P., Lorenzen, A., Marti, A., Sch\u00fctz, M., Sturzenhecker, E.: Beautiful formalizations in Isabelle\/Naproche. In: Kamareddine, F., Sacerdoti Coen, C. (eds.) CICM 2021. LNCS (LNAI), vol. 12833, pp. 19\u201331. Springer, Cham (2021). https:\/\/doi.org\/10.1007\/978-3-030-81097-9_2"},{"key":"24_CR3","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"614","DOI":"10.1007\/978-3-030-79876-5_36","volume-title":"Automated Deduction \u2013 CADE 28","author":"A De Lon","year":"2021","unstructured":"De Lon, A., Koepke, P., Lorenzen, A., Marti, A., Sch\u00fctz, M., Wenzel, M.: The Isabelle\/Naproche natural language proof assistant. In: Platzer, A., Sutcliffe, G. (eds.) CADE 2021. LNCS (LNAI), vol. 12699, pp. 614\u2013624. Springer, Cham (2021). https:\/\/doi.org\/10.1007\/978-3-030-79876-5_36"},{"key":"24_CR4","unstructured":"Ecma International: Standard ECMA-404: The JSON Data Interchange Syntax (2017). https:\/\/www.ecma-international.org\/publications-and-standards\/standards\/ecma-404\/"},{"key":"24_CR5","doi-asserted-by":"publisher","unstructured":"Fussner, W., Shminke, B.: Mining counterexamples for wide-signature algebras with an Isabelle server. arXiv:2109.05264 [cs.LO] (2021). https:\/\/doi.org\/10.48550\/ARXIV.2109.05264","DOI":"10.48550\/ARXIV.2109.05264"},{"key":"24_CR6","doi-asserted-by":"publisher","unstructured":"Haslbeck, M.P.L., Wimmer, S.: Competitive proving for fun. In: Benzm\u00fcller, C., Parent, X., Steen, A. (eds.) Selected Student Contributions and Workshop Papers of LuxLogAI 2018. Kalpa Publications in Computing, vol. 10, pp. 9\u201314. EasyChair (2018). https:\/\/doi.org\/10.29007\/ktx8","DOI":"10.29007\/ktx8"},{"key":"24_CR7","unstructured":"Isabelle Contributors: The Isabelle 2021\u20131 release (2021). https:\/\/isabelle.in.tum.de\/website-Isabelle2021\/index.html"},{"key":"24_CR8","doi-asserted-by":"publisher","unstructured":"Jupyter, P., et al.: Binder 2.0 - reproducible, interactive, sharable environments for science at scale. In: Akici, F., Lippa, D., Niederhut, D., Pacer, M. (eds.) Proceedings of the 17th Python in Science Conference, pp. 113\u2013120 (2018). https:\/\/doi.org\/10.25080\/Majora-4af1f417-011","DOI":"10.25080\/Majora-4af1f417-011"},{"key":"24_CR9","doi-asserted-by":"publisher","unstructured":"L\u00ed\u0161ka, Martin: CICM\u201921 systems entries. In: Kamareddine, Fairouz, Sacerdoti Coen, Claudio (eds.) CICM 2021. LNCS (LNAI), vol. 12833, pp. 245\u2013248. Springer, Cham (2021). https:\/\/doi.org\/10.1007\/978-3-030-81097-9_20","DOI":"10.1007\/978-3-030-81097-9_20"},{"key":"24_CR10","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"495","DOI":"10.1007\/978-3-030-29436-6_29","volume-title":"Automated Deduction \u2013 CADE 27","author":"S Schulz","year":"2019","unstructured":"Schulz, S., Cruanes, S., Vukmirovi\u0107, P.: Faster, higher, stronger: E 2.3. In: Fontaine, P. (ed.) CADE 2019. LNCS (LNAI), vol. 11716, pp. 495\u2013507. Springer, Cham (2019). https:\/\/doi.org\/10.1007\/978-3-030-29436-6_29"},{"key":"24_CR11","unstructured":"Shao, C.: Asterius contributors: asterius (2022). https:\/\/github.com\/tweag\/asterius"},{"key":"24_CR12","doi-asserted-by":"publisher","unstructured":"Shminke, B.: Python client for Isabelle server (0.3.5). Zenodo (2022). https:\/\/doi.org\/10.5281\/zenodo.6490275","DOI":"10.5281\/zenodo.6490275"},{"key":"24_CR13","unstructured":"Stegeman, L., GHCJS contributors: GHCJS (2022). https:\/\/github.com\/ghcjs\/ghcjs"},{"key":"24_CR14","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"406","DOI":"10.1007\/10721959_31","volume-title":"Automated Deduction - CADE-17","author":"G Sutcliffe","year":"2000","unstructured":"Sutcliffe, G.: System Description: SystemOnTPTP. In: McAllester, D. (ed.) CADE 2000. LNCS (LNAI), vol. 1831, pp. 406\u2013410. Springer, Heidelberg (2000). https:\/\/doi.org\/10.1007\/10721959_31"},{"key":"24_CR15","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"140","DOI":"10.1007\/978-3-642-02959-2_10","volume-title":"Automated Deduction \u2013 CADE-22","author":"C Weidenbach","year":"2009","unstructured":"Weidenbach, C., Dimova, D., Fietzke, A., Kumar, R., Suda, M., Wischnewski, P.: SPASS version 3.5. In: Schmidt, R.A. (ed.) CADE 2009. LNCS (LNAI), vol. 5663, pp. 140\u2013145. Springer, Heidelberg (2009). https:\/\/doi.org\/10.1007\/978-3-642-02959-2_10"},{"key":"24_CR16","unstructured":"Wenzel, M.: Isabelle\/PIDE after 10 years of development. In: 13th International Workshop on User Interfaces for Theorem Provers (UITP 2018), Oxford, UK (2018). https:\/\/sketis.net\/wp-content\/uploads\/2018\/08\/isabelle-pide-uitp2018.pdf"},{"key":"24_CR17","unstructured":"Wenzel, M.: The Isabelle system manual (2021). https:\/\/isabelle.in.tum.de\/dist\/Isabelle2021-1\/doc\/system.pdf"}],"container-title":["Lecture Notes in Computer Science","Intelligent Computer Mathematics"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-16681-5_24","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,9,16]],"date-time":"2022-09-16T03:43:47Z","timestamp":1663299827000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-16681-5_24"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022]]},"ISBN":["9783031166808","9783031166815"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-16681-5_24","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2022]]},"assertion":[{"value":"17 September 2022","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"CICM","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Intelligent Computer Mathematics","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Tbilisi","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Georgia","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2022","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"19 September 2022","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"23 September 2022","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"15","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"mkm2022","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/cicm-conference.org\/2022\/cicm.php","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Single-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"EasyChair","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"37","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"17","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"4","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"46% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"2.95","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3.9","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Yes","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}