A semantic framework for proof evidence
scientific article; zbMATH DE number 6842147
scientific article