Automated Deduction (Q2451): Difference between revisions
Created a new Item |
Created claim: uuid (P97): 37a4ccb2-2ae3-4a6f-af40-cb5f3d6c9f7b |
||
| Property / uuid | |||
37a4ccb2-2ae3-4a6f-af40-cb5f3d6c9f7b | |||
| Property / uuid: 37a4ccb2-2ae3-4a6f-af40-cb5f3d6c9f7b / rank | |||
Normal rank | |||
Latest revision as of 19:09, 10 October 2026
No description defined
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Automated Deduction |
No description defined |
Statements
1.01
0 references
37a4ccb2-2ae3-4a6f-af40-cb5f3d6c9f7b
0 references