{"id":125,"date":"2021-04-02T10:10:33","date_gmt":"2021-04-02T10:10:33","guid":{"rendered":"http:\/\/synasc.ro\/2021\/?page_id=125"},"modified":"2021-06-10T09:33:27","modified_gmt":"2021-06-10T09:33:27","slug":"tutorials","status":"publish","type":"page","link":"https:\/\/synasc.ro\/2021\/tutorials\/","title":{"rendered":"Tutorials"},"content":{"rendered":"\n<p><strong>Title:<\/strong>\u00a0&#8220;<a href=\"http:\/\/synasc.ro\/2021\/automated-reasoning-with-vampire\/\">Automated Reasoning with Vampire<\/a>&#8221; by Laura Kovacs, Vienna University of Technology, Vienna, Austria<\/p>\n\n\n\n<p><strong>Title:<\/strong>&nbsp;&#8220;<a href=\"http:\/\/synasc.ro\/2021\/symbolic-techniques-for-fuzzy-relations\/\">Symbolic Techniques for Fuzzy Relations<\/a>&#8221; by Ioana Cleopatra Pau, Research Institute for Symbolic Computation, Linz, Austria <\/p>\n","protected":false},"excerpt":{"rendered":"<p>Title:\u00a0&#8220;Automated Reasoning with Vampire&#8221; by Laura Kovacs, Vienna University of Technology, Vienna, Austria Title:&nbsp;&#8220;Symbolic Techniques for Fuzzy Relations&#8221; by Ioana Cleopatra Pau, Research Institute for Symbolic Computation, Linz, Austria<\/p>\n","protected":false},"author":23,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"footnotes":""},"class_list":["post-125","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/synasc.ro\/2021\/wp-json\/wp\/v2\/pages\/125","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/synasc.ro\/2021\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/synasc.ro\/2021\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/synasc.ro\/2021\/wp-json\/wp\/v2\/users\/23"}],"replies":[{"embeddable":true,"href":"https:\/\/synasc.ro\/2021\/wp-json\/wp\/v2\/comments?post=125"}],"version-history":[{"count":6,"href":"https:\/\/synasc.ro\/2021\/wp-json\/wp\/v2\/pages\/125\/revisions"}],"predecessor-version":[{"id":345,"href":"https:\/\/synasc.ro\/2021\/wp-json\/wp\/v2\/pages\/125\/revisions\/345"}],"wp:attachment":[{"href":"https:\/\/synasc.ro\/2021\/wp-json\/wp\/v2\/media?parent=125"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}