Automated Deduction (Q1086): Difference between revisions
Jump to navigation
Jump to search
(Changed an Item: materils etc uploads) Tag: openrefine-3.5 |
(Created claim: date (P13): 1998) |
||||||||||||||
| (One intermediate revision by one other user not shown) | |||||||||||||||
| Property / copies in collections | |||||||||||||||
| Property / copies in collections: Automated Deduction / rank | |||||||||||||||
Normal rank | |||||||||||||||
| 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