Item:Q2843333: Difference between revisions

← Older edit

@@ redirect / redirect @@
+Q391124
@@ label / en / label / en @@
-On Davis-Putnam Reductions for Minimally Unsatisfiable Clause-Sets
@@ description / en / description / en @@
-scientific article
@@ Property / instance of @@
-scholarly article
@@ Property / instance of: scholarly article / rank @@
-Normal rank
@@ Property / title @@
-On Davis-Putnam Reductions for Minimally Unsatisfiable Clause-Sets (English)
-Normal rank
@@ Property / zbMATH Open document ID @@
-.03050
@@ Property / zbMATH Open document ID: 1273.03050 / rank @@
-Normal rank
@@ Property / DOI @@
-.1007/978-3-642-31612-8_21
@@ Property / DOI: 10.1007/978-3-642-31612-8_21 / rank @@
-Normal rank
@@ Property / author @@
-Oliver Kullmann
@@ Property / author: Oliver Kullmann / rank @@
-Normal rank
@@ Property / author @@
-Zhao, Xishun
@@ Property / author: Zhao, Xishun / rank @@
-Normal rank
@@ Property / published in @@
-Theory and Applications of Satisfiability Testing – SAT 2012
-Normal rank
@@ Property / publication date @@
-August 2013Timestamp +2013-08-12T00:00:00Z
Timezone +00:00
Calendar Gregorian
Precision 1 day
Before 0
After 0
-Timestamp
++2013-08-12T00:00:00Z
-Timezone
++00:00
-Calendar
+Gregorian
-Precision
+day
 Before
 After
@@ Property / publication date: 12 August 2013 / rank @@
-Normal rank
@@ Property / full work available at URL @@
-https://arxiv.org/abs/1202.2600
@@ Property / full work available at URL: https://arxiv.org/abs/1202.2600 / rank @@
-Normal rank
@@ Property / Mathematics Subject Classification ID @@
-B35
@@ Property / Mathematics Subject Classification ID: 03B35 / rank @@
-Normal rank
@@ Property / Mathematics Subject Classification ID @@
-F20
@@ Property / Mathematics Subject Classification ID: 03F20 / rank @@
-Normal rank
@@ Property / zbMATH DE Number @@
-6197760
@@ Property / zbMATH DE Number: 6197760 / rank @@
-Normal rank
@@ Property / MaRDI profile type @@
-MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
-Normal rank
@@ Property / OpenAlex ID @@
-W3099604183
@@ Property / OpenAlex ID: W3099604183 / rank @@
-Normal rank
@@ links / mardi / name / links / mardi / name @@
-Publication:2843333

Latest revision as of 12:14, 29 April 2024

Redirect to:

Item:Q391124