Automated Deduction (Q1086): Difference between revisions
Jump to navigation
Jump to search
(Created claim: copies in collections (P43): Automated Deduction (Q2854), collection data BR) Tag: openrefine-3.5 |
(Created claim: date (P13): 1998) |
||||||||||||||
| Property / date | |||||||||||||||
1998
| |||||||||||||||
| Property / date: 1998 / rank | |||||||||||||||
Normal rank | |||||||||||||||
Latest revision as of 10:28, 27 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
1998
0 references