| rdfs:label |
"commutativity of conjunction"@en
|
| schema:description |
"rule of inference"@en
|
|
schema:date |
"2024-07-17T18:45:10+00:00"^^xsd:dateTime |
| schema:version | 2206764508 |
| wikibase:identifiers | 2 |
| wikibase:sitelinks | 3 |
| wikibase:statements | 5 |
| p:P12888 | wd:statement/Q5155091-8c8f068e-4b25-d009-5807-469bf785c897 |
| p:P31 | wd:statement/Q5155091-D6F7FF3E-7009-4F57-826F-DF60EEEEA77C |
| wd:statement/Q5155091-DD4D1EC2-767D-4FC6-B781-FC273DA0F8A5 | |
| p:P6104 | wd:statement/Q5155091-A94FF1E5-CFB1-44A1-8007-3DBCD3027CF4 |
| p:P646 | wd:statement/Q5155091-3B8D9B29-F0CB-4AD2-A9A2-ADD8B11AC7F7 |
| wdt:P12888 | "ancom" |
| wdt:P31 | rule of inference |
| theorem | |
| wdt:P6104 | WikiProject Mathematics |
| wdt:P646 | "/m/09w7tq" |
Download as: