{"id":38163,"count":1,"description":"","link":"https:\/\/ashadocs.org\/?tag=formal-verification","name":"formal verification","slug":"formal-verification","taxonomy":"post_tag","meta":[],"_links":{"self":[{"href":"https:\/\/ashadocs.org\/index.php?rest_route=\/wp\/v2\/tags\/38163","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/ashadocs.org\/index.php?rest_route=\/wp\/v2\/tags"}],"about":[{"href":"https:\/\/ashadocs.org\/index.php?rest_route=\/wp\/v2\/taxonomies\/post_tag"}],"wp:post_type":[{"href":"https:\/\/ashadocs.org\/index.php?rest_route=%2Fwp%2Fv2%2Fposts&tags=38163"},{"href":"https:\/\/ashadocs.org\/index.php?rest_route=%2Fwp%2Fv2%2Fpsych_scale&tags=38163"},{"href":"https:\/\/ashadocs.org\/index.php?rest_route=%2Fwp%2Fv2%2Fpsych_experiment&tags=38163"},{"href":"https:\/\/ashadocs.org\/index.php?rest_route=%2Fwp%2Fv2%2Fpsych_article&tags=38163"},{"href":"https:\/\/ashadocs.org\/index.php?rest_route=%2Fwp%2Fv2%2Fpsych_term&tags=38163"},{"href":"https:\/\/ashadocs.org\/index.php?rest_route=%2Fwp%2Fv2%2Fpsych_news&tags=38163"},{"href":"https:\/\/ashadocs.org\/index.php?rest_route=%2Fwp%2Fv2%2Fpsych_stat&tags=38163"},{"href":"https:\/\/ashadocs.org\/index.php?rest_route=%2Fwp%2Fv2%2Fpsych_theorist&tags=38163"},{"href":"https:\/\/ashadocs.org\/index.php?rest_route=%2Fwp%2Fv2%2Fpsych_comparison&tags=38163"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}