{"articles":{"satisfiable@logic":{"content":"","names":[[["Satisfiable",""]]]}},"style":"Notion"}