{"id":15,"date":"2016-04-29T15:36:40","date_gmt":"2016-04-29T14:36:40","guid":{"rendered":"http:\/\/lig-membres.imag.fr\/boydelat\/?page_id=15"},"modified":"2025-02-07T10:33:05","modified_gmt":"2025-02-07T09:33:05","slug":"recherche","status":"publish","type":"page","link":"https:\/\/lig-membres.imag.fr\/boydelat\/recherche\/","title":{"rendered":"Recherche"},"content":{"rendered":"<p>Mes activit\u00e9s portent sur divers aspects de la D\u00e9monstration Automatique:<\/p>\n<ul>\n<li>transformation sous forme clausale<\/li>\n<li>analogie entre preuves<\/li>\n<li>sym\u00e9tries dans les preuves<\/li>\n<li>unification dans les th\u00e9ories permutatives<\/li>\n<li>g\u00e9n\u00e9ralisation de preuves<\/li>\n<\/ul>\n<div id=\"ir-ext-ui\" style=\"color: #000000; font-size: 16px; line-height: 16px; background-color: #f7f7f7; border: 1px solid #999999; border-radius: 1px; top: 1px; left: 1px;\">\n<div class=\"ir-ext-dimensions\"><span class=\"ir-ext-rendered\" title=\"Rendered image dimensions (after any scaling\/resizing has been applied)\"> x <\/span> <span class=\"ir-ext-natural\" title=\"Natural image dimensions (without applying any scaling\/resizing)\"> (x) <\/span><\/div>\n<div class=\"ir-ext-filesize\"><\/div>\n<\/div>\n","protected":false},"excerpt":{"rendered":"<p>Mes activit\u00e9s portent sur divers aspects de la D\u00e9monstration Automatique: transformation sous forme clausale analogie entre preuves sym\u00e9tries dans les preuves unification dans les th\u00e9ories permutatives g\u00e9n\u00e9ralisation de preuves x (x)<\/p>\n","protected":false},"author":836,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"footnotes":""},"class_list":["post-15","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/lig-membres.imag.fr\/boydelat\/wp-json\/wp\/v2\/pages\/15","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/lig-membres.imag.fr\/boydelat\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/lig-membres.imag.fr\/boydelat\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/lig-membres.imag.fr\/boydelat\/wp-json\/wp\/v2\/users\/836"}],"replies":[{"embeddable":true,"href":"https:\/\/lig-membres.imag.fr\/boydelat\/wp-json\/wp\/v2\/comments?post=15"}],"version-history":[{"count":5,"href":"https:\/\/lig-membres.imag.fr\/boydelat\/wp-json\/wp\/v2\/pages\/15\/revisions"}],"predecessor-version":[{"id":102,"href":"https:\/\/lig-membres.imag.fr\/boydelat\/wp-json\/wp\/v2\/pages\/15\/revisions\/102"}],"wp:attachment":[{"href":"https:\/\/lig-membres.imag.fr\/boydelat\/wp-json\/wp\/v2\/media?parent=15"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}