formal proof

URI: https://gptkb.org/entity/formal_proof
GPTKB entity
Statements (1)
Predicate Object
https://www.w3.org/2000/01/rdf-schema#label formal proof