quantifies over

URI: https://gptkb.org/prop/quantifies_over
4 triples
GPTKB property
Random triples
Subject Object
gptkb:Monadic_Second-Order_Logic sets of elements
gptkb:second-order_arithmetic sets of natural numbers
gptkb:second-order_arithmetic individual natural numbers
gptkb:Monadic_Second-Order_Logic individual elements