hasConditionForm

URI: https://gptkb.org/prop/hasConditionForm
1 triples
GPTKB property
Random triples
Subject Object
gptkb:Mathias_forcing (s,A) where s is a finite subset of ω and A is an infinite subset of ω with max(s) < min(A)