User:SwMATHimport240215
From MaRDI portal
quick statements generatino SQL command
SELECT '' as "qid", '"' || cast(id as text) || '"' as "P13", name as "Len"
from swmath_software
where id not in (Select swid from zz_mors_mardi_software)
