{"id":3438,"date":"2020-01-07T15:19:05","date_gmt":"2020-01-07T14:19:05","guid":{"rendered":"https:\/\/www.atelierb.eu\/?p=3438"},"modified":"2020-01-07T15:17:16","modified_gmt":"2020-01-07T14:17:16","slug":"version-4-5-5-of-atelier-b","status":"publish","type":"post","link":"https:\/\/www.atelierb.eu\/en\/2020\/01\/07\/version-4-5-5-of-atelier-b\/","title":{"rendered":"Version 4.5.5 of Atelier B"},"content":{"rendered":"<p>The version 4.5.5 Maintenance edition has been released<br \/>\nIt version fix a bug present since the first version of prover.<br \/>\nThis bug is related to the instantiation of universally quantified hypothesis, the capture of free variables was not properly checked, which could lead to incorrect proofs under specific conditions.<\/p>\n","protected":false},"excerpt":{"rendered":"<p>The version 4.5.5 Maintenance edition has been released It version fix a bug present since the first version of prover. This bug is related to the instantiation of universally quantified hypothesis, the capture of free variables was not properly checked, which could lead to incorrect proofs under specific conditions.<\/p>\n","protected":false},"author":256,"featured_media":0,"comment_status":"closed","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"amp_status":""},"categories":[4],"tags":[],"yoast_head":"<!-- This site is optimized with the Yoast SEO plugin v14.8 - https:\/\/yoast.com\/wordpress\/plugins\/seo\/ -->\n<title>Version 4.5.5 of Atelier B | Atelier B<\/title>\n<meta name=\"description\" content=\"The version 4.5.5 Maintenance edition has been released It version fix a bug present since the first version of prover. This bug is related to the\" \/>\n<meta name=\"robots\" content=\"index, follow\" \/>\n<meta name=\"googlebot\" content=\"index, follow, max-snippet:-1, max-image-preview:large, max-video-preview:-1\" \/>\n<meta name=\"bingbot\" content=\"index, follow, max-snippet:-1, max-image-preview:large, max-video-preview:-1\" \/>\n<link rel=\"canonical\" href=\"https:\/\/www.atelierb.eu\/2020\/01\/07\/version-4-5-5-of-atelier-b\/\" \/>\n<meta property=\"og:locale\" content=\"fr_FR\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:title\" content=\"Version 4.5.5 of Atelier B | Atelier B\" \/>\n<meta property=\"og:description\" content=\"The version 4.5.5 Maintenance edition has been released It version fix a bug present since the first version of prover. This bug is related to the\" \/>\n<meta property=\"og:url\" content=\"https:\/\/www.atelierb.eu\/en\/2020\/01\/07\/version-4-5-5-of-atelier-b\/\" \/>\n<meta property=\"og:site_name\" content=\"Atelier B\" \/>\n<meta property=\"article:published_time\" content=\"2020-01-07T14:19:05+00:00\" \/>\n<meta property=\"article:modified_time\" content=\"2020-01-07T14:17:16+00:00\" \/>\n<meta name=\"twitter:card\" content=\"summary\" \/>\n<script type=\"application\/ld+json\" class=\"yoast-schema-graph\">{\"@context\":\"https:\/\/schema.org\",\"@graph\":[{\"@type\":\"WebSite\",\"@id\":\"https:\/\/www.atelierb.eu\/en\/#website\",\"url\":\"https:\/\/www.atelierb.eu\/en\/\",\"name\":\"Atelier B\",\"description\":\"Atelier de G\\u00e9nie Logiciel\",\"potentialAction\":[{\"@type\":\"SearchAction\",\"target\":\"https:\/\/www.atelierb.eu\/en\/?s={search_term_string}\",\"query-input\":\"required name=search_term_string\"}],\"inLanguage\":\"fr-FR\"},{\"@type\":\"WebPage\",\"@id\":\"https:\/\/www.atelierb.eu\/en\/2020\/01\/07\/version-4-5-5-of-atelier-b\/#webpage\",\"url\":\"https:\/\/www.atelierb.eu\/en\/2020\/01\/07\/version-4-5-5-of-atelier-b\/\",\"name\":\"Version 4.5.5 of Atelier B | Atelier B\",\"isPartOf\":{\"@id\":\"https:\/\/www.atelierb.eu\/en\/#website\"},\"datePublished\":\"2020-01-07T14:19:05+00:00\",\"dateModified\":\"2020-01-07T14:17:16+00:00\",\"author\":{\"@id\":\"https:\/\/www.atelierb.eu\/en\/#\/schema\/person\/434029b63b82ebceac1721d63d9b52ee\"},\"description\":\"The version 4.5.5 Maintenance edition has been released It version fix a bug present since the first version of prover. This bug is related to the\",\"breadcrumb\":{\"@id\":\"https:\/\/www.atelierb.eu\/en\/2020\/01\/07\/version-4-5-5-of-atelier-b\/#breadcrumb\"},\"inLanguage\":\"fr-FR\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\/\/www.atelierb.eu\/en\/2020\/01\/07\/version-4-5-5-of-atelier-b\/\"]}]},{\"@type\":\"BreadcrumbList\",\"@id\":\"https:\/\/www.atelierb.eu\/en\/2020\/01\/07\/version-4-5-5-of-atelier-b\/#breadcrumb\",\"itemListElement\":[{\"@type\":\"ListItem\",\"position\":1,\"item\":{\"@type\":\"WebPage\",\"@id\":\"https:\/\/www.atelierb.eu\/\",\"url\":\"https:\/\/www.atelierb.eu\/\",\"name\":\"Accueil\"}},{\"@type\":\"ListItem\",\"position\":2,\"item\":{\"@type\":\"WebPage\",\"@id\":\"https:\/\/www.atelierb.eu\/en\/category\/news\/\",\"url\":\"https:\/\/www.atelierb.eu\/en\/category\/news\/\",\"name\":\"News\"}},{\"@type\":\"ListItem\",\"position\":3,\"item\":{\"@type\":\"WebPage\",\"@id\":\"https:\/\/www.atelierb.eu\/en\/2020\/01\/07\/version-4-5-5-of-atelier-b\/\",\"url\":\"https:\/\/www.atelierb.eu\/en\/2020\/01\/07\/version-4-5-5-of-atelier-b\/\",\"name\":\"Version 4.5.5 of Atelier B\"}}]},{\"@type\":\"Person\",\"@id\":\"https:\/\/www.atelierb.eu\/en\/#\/schema\/person\/434029b63b82ebceac1721d63d9b52ee\",\"name\":\"eprun\",\"image\":{\"@type\":\"ImageObject\",\"@id\":\"https:\/\/www.atelierb.eu\/en\/#personlogo\",\"inLanguage\":\"fr-FR\",\"url\":\"https:\/\/secure.gravatar.com\/avatar\/9ca18dc2da847d47e7615d9db16ccd90?s=96&d=mm&r=g\",\"caption\":\"eprun\"}}]}<\/script>\n<!-- \/ Yoast SEO plugin. -->","_links":{"self":[{"href":"https:\/\/www.atelierb.eu\/en\/wp-json\/wp\/v2\/posts\/3438\/"}],"collection":[{"href":"https:\/\/www.atelierb.eu\/en\/wp-json\/wp\/v2\/posts\/"}],"about":[{"href":"https:\/\/www.atelierb.eu\/en\/wp-json\/wp\/v2\/types\/post\/"}],"author":[{"embeddable":true,"href":"https:\/\/www.atelierb.eu\/en\/wp-json\/wp\/v2\/users\/256\/"}],"replies":[{"embeddable":true,"href":"https:\/\/www.atelierb.eu\/en\/wp-json\/wp\/v2\/comments\/?post=3438"}],"version-history":[{"count":1,"href":"https:\/\/www.atelierb.eu\/en\/wp-json\/wp\/v2\/posts\/3438\/revisions\/"}],"predecessor-version":[{"id":3439,"href":"https:\/\/www.atelierb.eu\/en\/wp-json\/wp\/v2\/posts\/3438\/revisions\/3439\/"}],"wp:attachment":[{"href":"https:\/\/www.atelierb.eu\/en\/wp-json\/wp\/v2\/media\/?parent=3438"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.atelierb.eu\/en\/wp-json\/wp\/v2\/categories\/?post=3438"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.atelierb.eu\/en\/wp-json\/wp\/v2\/tags\/?post=3438"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}