{"id":15204,"date":"2025-02-13T16:21:28","date_gmt":"2025-02-13T14:21:28","guid":{"rendered":"https:\/\/comsys.kpi.ua\/?page_id=15204"},"modified":"2026-04-29T14:58:13","modified_gmt":"2026-04-29T12:58:13","slug":"development-and-study-of-methods-for-semantic-analysis-of-natural-and-computer-languages-in-artificial-intelligence-systems-automation-of-specification-analysis-and-formal-verification-for-programming","status":"publish","type":"page","link":"https:\/\/comsys.kpi.dev-team.space\/en\/development-and-study-of-methods-for-semantic-analysis-of-natural-and-computer-languages-in-artificial-intelligence-systems-automation-of-specification-analysis-and-formal-verification-for-programming\/","title":{"rendered":"Development and Study of Methods for Semantic Analysis of Natural and Computer Languages in Artificial Intelligence Systems. Automation of Specification Analysis and Formal Verification for Programming Automation and Modeling Systems"},"content":{"rendered":"","protected":false},"excerpt":{"rendered":"","protected":false},"author":1,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"_acf_changed":false,"footnotes":""},"categories":[],"tags":[],"class_list":["post-15204","page","type-page","status-publish","hentry","page--item"],"acf":[],"_links":{"self":[{"href":"https:\/\/comsys.kpi.dev-team.space\/en\/wp-json\/wp\/v2\/pages\/15204","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/comsys.kpi.dev-team.space\/en\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/comsys.kpi.dev-team.space\/en\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/comsys.kpi.dev-team.space\/en\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/comsys.kpi.dev-team.space\/en\/wp-json\/wp\/v2\/comments?post=15204"}],"version-history":[{"count":2,"href":"https:\/\/comsys.kpi.dev-team.space\/en\/wp-json\/wp\/v2\/pages\/15204\/revisions"}],"predecessor-version":[{"id":17454,"href":"https:\/\/comsys.kpi.dev-team.space\/en\/wp-json\/wp\/v2\/pages\/15204\/revisions\/17454"}],"wp:attachment":[{"href":"https:\/\/comsys.kpi.dev-team.space\/en\/wp-json\/wp\/v2\/media?parent=15204"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/comsys.kpi.dev-team.space\/en\/wp-json\/wp\/v2\/categories?post=15204"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/comsys.kpi.dev-team.space\/en\/wp-json\/wp\/v2\/tags?post=15204"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}