Idempotency of entailment (Q13431): Difference between revisions
Jump to navigation
Jump to search
Created a new Item: Idempotency of entailment |
Created claim: instance of (P2): theorem (Q213) |
||
Property / instance of | |||
Property / instance of: theorem / rank | |||
Normal rank |
Latest revision as of 18:03, 21 July 2023
No description defined
Language | Label | Description | Also known as |
---|---|---|---|
English | Idempotency of entailment |
No description defined |