Automated Deduction (Q1086): Difference between revisions

@@ Property / creators / contributors @@
+Ian Norris
@@ Property / creators / contributors: Ian Norris / rank @@
+Normal rank
@@ Property / creators / contributors: Ian Norris / qualifier @@
+role: writer
@@ Property / description @@
+Description page for: Automated Deduction
@@ Property / description: Description page for: Automated Deduction / rank @@
+Normal rank
@@ Property / date added @@
+September 2020Timestamp +2020-09-25T00:00:00Z
Timezone +00:00
Calendar Gregorian
Precision 1 day
Before 0
After 0
-Timestamp
++2020-09-25T00:00:00Z
-Timezone
++00:00
-Calendar
+Gregorian
-Precision
+day
 Before
 After
@@ Property / date added: 25 September 2020 / rank @@
+Normal rank
@@ Property / publisher @@
+Auerbach Publishers Inc.
@@ Property / publisher: Auerbach Publishers Inc. / rank @@
+Normal rank
@@ Property / format @@
+book
@@ Property / format: book / rank @@
+Normal rank
@@ Property / medium @@
+printed matter
@@ Property / medium: printed matter / rank @@
+Normal rank
@@ Property / location @@
+Dordrecht
@@ Property / location: Dordrecht / rank @@
+Normal rank
@@ Property / imprint @@
+Scholars Press
@@ Property / imprint: Scholars Press / rank @@
+Normal rank
@@ Property / copies in collections @@
+Automated Deduction
@@ Property / copies in collections: Automated Deduction / rank @@
+Normal rank
@@ Property / date @@
+Timestamp +1998-00-00T00:00:00Z
Timezone +00:00
Calendar Gregorian
Precision 1 year
Before 0
After 0
-Timestamp
++1998-00-00T00:00:00Z
-Timezone
++00:00
-Calendar
+Gregorian
-Precision
+year
 Before
 After
@@ Property / date: 1998 / rank @@
+Normal rank