{"id":517,"date":"2021-11-17T09:43:25","date_gmt":"2021-11-17T02:43:25","guid":{"rendered":"https:\/\/conf.icgbio.ru\/lyap100\/?page_id=517"},"modified":"2021-11-17T14:25:25","modified_gmt":"2021-11-17T07:25:25","slug":"210-thesis","status":"publish","type":"page","link":"https:\/\/conf.icgbio.ru\/lyap100\/en\/reports\/210-thesis\/","title":{"rendered":"210. Methods of proving correctness of programs with good logic"},"content":{"rendered":"<p><\/p>\n<table class=\"t-data-grid grid-top-border\">\n<tbody>\n<tr class=\"line1\">\n<td class=\"report-label\">Full text file:<\/td>\n<td class=\"report-text\"><a href=\"https:\/\/conf.icgbio.ru\/lyap100\/wp-content\/uploads\/sites\/82\/2021\/11\/lyap100-210-Shelekhov_prlogic.pdf\" target=\"_blank\" rel=\"noopener\">Shelekhov_prlogic.pdf<\/a><\/td>\n<\/tr>\n<tr class=\"line2\">\n<td class=\"report-label\">Presentation file:<\/td>\n<td class=\"report-text\"><a href=\"https:\/\/conf.icgbio.ru\/lyap100\/wp-content\/uploads\/sites\/82\/2021\/11\/lyap100-210-Pres_Shelekhov.pdf\" target=\"_blank\" rel=\"noopener\">Pres_Shelekhov.pdf<\/a><\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n<p><\/p>","protected":false},"excerpt":{"rendered":"<p>Full text file: Shelekhov_prlogic.pdf Presentation file: Pres_Shelekhov.pdf<\/p>\n","protected":false},"author":13,"featured_media":0,"parent":58,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":[],"_links":{"self":[{"href":"https:\/\/conf.icgbio.ru\/lyap100\/en\/wp-json\/wp\/v2\/pages\/517"}],"collection":[{"href":"https:\/\/conf.icgbio.ru\/lyap100\/en\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/conf.icgbio.ru\/lyap100\/en\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/conf.icgbio.ru\/lyap100\/en\/wp-json\/wp\/v2\/users\/13"}],"replies":[{"embeddable":true,"href":"https:\/\/conf.icgbio.ru\/lyap100\/en\/wp-json\/wp\/v2\/comments?post=517"}],"version-history":[{"count":3,"href":"https:\/\/conf.icgbio.ru\/lyap100\/en\/wp-json\/wp\/v2\/pages\/517\/revisions"}],"predecessor-version":[{"id":912,"href":"https:\/\/conf.icgbio.ru\/lyap100\/en\/wp-json\/wp\/v2\/pages\/517\/revisions\/912"}],"up":[{"embeddable":true,"href":"https:\/\/conf.icgbio.ru\/lyap100\/en\/wp-json\/wp\/v2\/pages\/58"}],"wp:attachment":[{"href":"https:\/\/conf.icgbio.ru\/lyap100\/en\/wp-json\/wp\/v2\/media?parent=517"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}