is formalized in

URI: https://gptkb.org/prop/is_formalized_in
2 triples
GPTKB property
Random triples
Subject Object
gptkb:Zermelo-Fraenkel_set_theory first-order logic
gptkb:U._S._commitment_to_Taiwan gptkb:Taiwan_Relations_Act