Item:Q323: Difference between revisions
Created a new Item: quantifier, logical operator specifying how many entities in the domain of discourse that satisfy an open formula |
Created claim: has use (P29): quantification (Q325) |
||
(2 intermediate revisions by the same user not shown) | |||
Property / subclass of | |||
Property / subclass of: operator / rank | |||
Normal rank | |||
Property / subclass of | |||
Property / subclass of: operator / rank | |||
Normal rank | |||
Property / has use | |||
Property / has use: quantification / rank | |||
Normal rank |