Automated Deduction (Q1086): Difference between revisions

From DAAP
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: date (P13): 1998)
 
(5 intermediate revisions by one other user not shown)
Property / description
 
Property / description: Description page for: Automated Deduction / rank
 
Normal rank
Property / date added
 
25 September 2020
Timestamp+2020-09-25T00:00:00Z
Timezone+00:00
CalendarGregorian
Precision1 day
Before0
After0
Property / date added: 25 September 2020 / rank
 
Normal rank
Property / publisher
 
Property / publisher: Auerbach Publishers Inc. / rank
 
Normal rank
Property / format
 
Property / format: book / rank
 
Normal rank
Property / medium
 
Property / medium: printed matter / rank
 
Normal rank
Property / location
 
Property / location: Dordrecht / rank
 
Normal rank
Property / imprint
 
Property / imprint: Scholars Press / rank
 
Normal rank
Property / copies in collections
 
Property / copies in collections: Automated Deduction / rank
 
Normal rank
Property / date
 
1998
Timestamp+1998-00-00T00:00:00Z
Timezone+00:00
CalendarGregorian
Precision1 year
Before0
After0
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

    0 references
    25 September 2020
    0 references
    0 references
    0 references
    0 references
    0 references
    1998
    0 references