formal proof (Q2762418)
establishment of a theorem using inference from the axioms
Language:
other details
aliases derivation
 justification
 proof
description establishment of a theorem using inference from the axioms

External Links
(P508) 9460
(P646) /m/043v063
(P4613) 20519
(P6366) 94461902
(P7993) dimostrazione
prova
(P8408) MethodsOfProof
(P10283) C94461902