{"articles":{"satisfiability@logic":{"content":"","names":[[["Satisfiability",""]]]}},"style":"Notion"}