{"version":"1.0","provider_name":"UNIF_2021 - UOH","provider_url":"https:\/\/www.uoh.cl\/unif-2021","title":"Accepted Papers & Proceedings - UNIF_2021 - UOH","type":"rich","width":600,"height":338,"html":"<blockquote class=\"wp-embedded-content\" data-secret=\"GUO7a0nf12\"><a href=\"https:\/\/www.uoh.cl\/unif-2021\/accepted-papers-proceedings\/\">Accepted Papers &#038; Proceedings<\/a><\/blockquote><iframe sandbox=\"allow-scripts\" security=\"restricted\" src=\"https:\/\/www.uoh.cl\/unif-2021\/accepted-papers-proceedings\/embed\/#?secret=GUO7a0nf12\" width=\"600\" height=\"338\" title=\"&#8220;Accepted Papers &#038; Proceedings&#8221; &#8212; UNIF_2021 - UOH\" data-secret=\"GUO7a0nf12\" frameborder=\"0\" marginwidth=\"0\" marginheight=\"0\" scrolling=\"no\" class=\"wp-embedded-content\"><\/iframe><script>\n\/*! This file is auto-generated *\/\n!function(d,l){\"use strict\";l.querySelector&&d.addEventListener&&\"undefined\"!=typeof URL&&(d.wp=d.wp||{},d.wp.receiveEmbedMessage||(d.wp.receiveEmbedMessage=function(e){var t=e.data;if((t||t.secret||t.message||t.value)&&!\/[^a-zA-Z0-9]\/.test(t.secret)){for(var s,r,n,a=l.querySelectorAll('iframe[data-secret=\"'+t.secret+'\"]'),o=l.querySelectorAll('blockquote[data-secret=\"'+t.secret+'\"]'),c=new RegExp(\"^https?:$\",\"i\"),i=0;i<o.length;i++)o[i].style.display=\"none\";for(i=0;i<a.length;i++)s=a[i],e.source===s.contentWindow&&(s.removeAttribute(\"style\"),\"height\"===t.message?(1e3<(r=parseInt(t.value,10))?r=1e3:~~r<200&&(r=200),s.height=r):\"link\"===t.message&&(r=new URL(s.getAttribute(\"src\")),n=new URL(t.value),c.test(n.protocol))&&n.host===r.host&&l.activeElement===s&&(d.top.location.href=t.value))}},d.addEventListener(\"message\",d.wp.receiveEmbedMessage,!1),l.addEventListener(\"DOMContentLoaded\",function(){for(var e,t,s=l.querySelectorAll(\"iframe.wp-embedded-content\"),r=0;r<s.length;r++)(t=(e=s[r]).getAttribute(\"data-secret\"))||(t=Math.random().toString(36).substring(2,12),e.src+=\"#?secret=\"+t,e.setAttribute(\"data-secret\",t)),e.contentWindow.postMessage({message:\"ready\",secret:t},\"*\")},!1)))}(window,document);\n\/\/# sourceURL=https:\/\/www.uoh.cl\/unif-2021\/wp-includes\/js\/wp-embed.min.js\n<\/script>\n","description":"[vc_row][vc_column][\/vc_column][\/vc_row][vc_section el_class=&#8221;container mx-auto align-items-center circle&#8211;pattern&#8221; css=&#8221;.vc_custom_1648956589196{padding-top: 3rem !important;}&#8221;][vc_row el_class=&#8221;pb-5&#8243;][vc_column][vc_column_text css=&#8221;&#8221;] Majid Alizadeh, Mohammad Ardeshir, Philippe Balbiani and Mojtaba Mojtahedi About the unification type of modal logic K5 and its extensions Franz Baader, Oliver Fernandez Gil and Maryam Rostamigiv Restricted Unification in the Description Logic FL0 Richard Waldinger What, Again? Automatic Deductive Synthesis of the Unification [&hellip;]"}