{"articles":{"truth@logic":{"content":"","names":[[["Truth value of a formula under interpretation",""]]]}},"style":"Notion"}