Automated Deduction (Q1086): Difference between revisions
Jump to navigation
Jump to search
(Created claim: creators / contributors (P9): Ian Norris (Q1147), adding creators and roles to works) Tag: openrefine-3.5 |
(Created claim: description (P65): Description page for: Automated Deduction (Q1243), adding description pages to work items) Tag: openrefine-3.5 |
||
| Property / description | |||
| Property / description: Description page for: Automated Deduction / rank | |||
Normal rank | |||
Revision as of 14:36, 24 September 2020
A work by Ian Norris
| Language | Label | Description | Also known as |
|---|---|---|---|
| English |
Automated Deduction
|
A work by Ian Norris
|