Informal Rigour and Completeness Proofs

GPTKB entity