usesLogic

URI: https://gptkb.org/prop/usesLogic
3 triples
GPTKB property
Random triples
Subject Object
gptkb:Coq_proof_assistant calculus of inductive constructions
gptkb:intuitionistic_Zermelo–Fraenkel_set_theory intuitionistic logic
gptkb:Peano_arithmetic gptkb:first-order_logic