hasProofType

URI: https://gptkb.org/prop/hasProofType
3 triples
GPTKB property
Random triples
Subject Object
gptkb:QMA/poly quantum proof
gptkb:Gödel's_ontological_proof modal logic proof
gptkb:Conway's_soldiers invariant method