{"id":56,"date":"2019-09-02T14:22:43","date_gmt":"2019-09-02T05:22:43","guid":{"rendered":"http:\/\/mizar-jp.org\/?page_id=56"},"modified":"2024-10-12T12:24:17","modified_gmt":"2024-10-12T03:24:17","slug":"call-for-papers","status":"publish","type":"page","link":"https:\/\/mizar-jp.org\/?page_id=56","title":{"rendered":"Call for Papers"},"content":{"rendered":"\n<h3 class=\"wp-block-heading\">Formalized Mathematics (FM)<\/h3>\n\n\n\n<ul class=\"wp-block-list\">\n<li><a href=\"https:\/\/content.sciendo.com\/view\/journals\/forma\/forma-overview.xml?tab_body=submission\" target=\"_blank\" rel=\"noreferrer noopener\" aria-label=\"Formalized Mathematics \u8ad6\u6587\u8a8c (Degruyter\/sciendo) \u3078\u306e\u6295\u7a3f (\u65b0\u3057\u3044\u30bf\u30d6\u3067\u958b\u304f)\">Formalized Mathematics \u8ad6\u6587\u8a8c (Degruyter\/sciendo) \u3078\u306e\u6295\u7a3f<\/a><\/li>\n<\/ul>\n\n\n\n<p>\u3000<\/p>\n\n\n\n<h3 class=\"wp-block-heading\">Mechanized Mathematics and Its Applications, Works in Progress (MMA-WiP)<\/h3>\n\n\n\n<ul class=\"wp-block-list\">\n<li>Call for Papers &#8211; MMA-WiP, Issue 2024, Volume 7\u3010\u6e96\u5099\u4e2d\u3011: <a href=\"http:\/\/mizar-jp.org\/?page_id=21#MMA-WiP_submission\">submission guideline<\/a><\/li>\n<\/ul>\n\n\n\n<h2 class=\"wp-block-heading\"><\/h2>\n\n\n\n<p><\/p>\n","protected":false},"excerpt":{"rendered":"<p>Formalized Mathematics (FM) \u3000 Mechanized Mathematics and Its Applications, Works in Progress (MMA-WiP)<\/p>\n","protected":false},"author":1,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"footnotes":""},"class_list":["post-56","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/mizar-jp.org\/index.php?rest_route=\/wp\/v2\/pages\/56","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/mizar-jp.org\/index.php?rest_route=\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/mizar-jp.org\/index.php?rest_route=\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/mizar-jp.org\/index.php?rest_route=\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/mizar-jp.org\/index.php?rest_route=%2Fwp%2Fv2%2Fcomments&post=56"}],"version-history":[{"count":14,"href":"https:\/\/mizar-jp.org\/index.php?rest_route=\/wp\/v2\/pages\/56\/revisions"}],"predecessor-version":[{"id":427,"href":"https:\/\/mizar-jp.org\/index.php?rest_route=\/wp\/v2\/pages\/56\/revisions\/427"}],"wp:attachment":[{"href":"https:\/\/mizar-jp.org\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=56"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}