Automated Deduction (Q1086): Difference between revisions
Jump to navigation
Jump to search
(Created claim: date added (P87): 25 September 2020, linking descriptions to items) Tag: openrefine-3.5 |
(Created claim: publisher (P10): Auerbach Publishers Inc. (Q2537), adding publisher to items) Tag: openrefine-3.5 |
||
| Property / publisher | |||
| Property / publisher: Auerbach Publishers Inc. / rank | |||
Normal rank | |||
Revision as of 20:09, 25 September 2020
A work by Ian Norris
| Language | Label | Description | Also known as |
|---|---|---|---|
| English |
Automated Deduction
|
A work by Ian Norris
|
Statements
25 September 2020
0 references