The problems fit the general paradigm of computation, and as such might someday be solvable by computers. The human participation is directed by the computational system or process.

Proceeding: A. J. Quinn, B. B. Bederson. "Human Computation: A Survey and Taxonomy of a Growing Field". In Proc. of the SIGCHI Conference on Human Factors in Computing Systems (CHI ’11), pp. 1403–1412. ACM, 2011. [ACM DL]

Human computation [..] is a computer science technique in which a machine performs its function by outsourcing certain steps to humans, usually as microwork. [Wikipedia] In context of CDL-SQI, human computation techniques promise at a minimum, tool support and a better coordination of [model verification] processes as well as its outsourcing to crowds of layman or semi-experts.

Paper: Sabou M., Winkler D., Penzerstadler P., Biffl S.: ‘Verifying Conceptual Domain Models with Human Computation: A Case Study in Software Engineering’, In: Proceedings of the 6th AAAI Conference on Human Computation and Crowdsourcing (HCOMP), AAAI, Zurich, Switzerland, July 5.-8, 2018 [AAIA]