البراهين عادة تمثل كبنى بيانات معرفة حدسيا، مثل القوائم المنبسطة plain lists، القوائم المعلبة boxed lists، أو الأشجار، التي تتشكل بناء على بدهيات وقواعد الاستدلال rules of inference للنظام المنطقي.
Proofs are typically presented as inductively-defined data structures such as plain lists, boxed lists, or trees, which are constructed according to the axioms and rules of inference of the logical system.