https://www.illc.uva.nl/Research/Publications/Publications-by-year/publication/5521/Formalizing-Unsolvability-Certificates-for-Automated-Planning-in-Lean-4
Formalizing Unsolvability Certificates for Automated Planning in Lean 4 | Institute for Logic,...
automated planningcertificates
https://data.bnf.fr/temp-work/ddeab38d660dcea1a3e23fe810beb4a9/
Abel's proof, an essay on the sources and meaning of mathematical unsolvability
Toutes les informations de la Bibliotheque Nationale de France sur : Abel's proof, an essay on the sources and meaning of mathematical unsolvability - Peter...
https://annals.math.princeton.edu/1966/83-3/p05
Word problems and recursively enumerable degrees of unsolvability. A first paper on Thue systems |...