isMinimalModelOf

URI: https://gptkb.org/prop/isMinimalModelOf
2 triples
GPTKB property
Random triples
Subject Object
gptkb:constructible_universe gptkb:ZFC
gptkb:constructible_universe_(L) gptkb:ZFC