hasProofType

URI: https://gptkb.org/prop/hasProofType

3 triples

GPTKB property

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