soundness

URI: https://gptkb.org/prop/soundness
2 triples
GPTKB property
Random triples
Subject Object
gptkb:OCaml_type_system gptkb:music
gptkb:ReasonML_type_system gptkb:music