Item:Q17960: Difference between revisions
Created claim: subclass of (P1): logical formula (Q17961) |
Created claim: part of (P7): formal language (Q2181) |
||
Property / part of | |||
Property / part of: formal language / rank | |||
Normal rank |
Created claim: subclass of (P1): logical formula (Q17961) |
Created claim: part of (P7): formal language (Q2181) |
||
Property / part of | |||
Property / part of: formal language / rank | |||
Normal rank |