ByNobleID
    IKT$^\omega$ and \L{}ukasiewicz-models | NobleID