hasProofType

3 triples
GPTKB property

Random triples
Subject Object
gptkb:Gödel's_ontological_proof modal logic proof
gptkb:QMA/poly quantum proof
gptkb:Conway's_soldiers invariant method