Analyzing Pathways Using SAT-Based Approaches (Q5429360): Difference between revisions

@@ Property / author @@
-Ashish Kumar Tiwari
@@ Property / author: Ashish Kumar Tiwari / rank @@
-Normal rank
@@ Property / author @@
-Carolyn L. Talcott
@@ Property / author: Carolyn L. Talcott / rank @@
-Normal rank
@@ Property / author @@
-Patrick D. Lincoln
@@ Property / author: Patrick D. Lincoln / rank @@
-Normal rank
@@ Property / author @@
+Ashish Kumar Tiwari
@@ Property / author: Ashish Kumar Tiwari / rank @@
+Normal rank
@@ Property / author @@
+Carolyn L. Talcott
@@ Property / author: Carolyn L. Talcott / rank @@
+Normal rank
@@ Property / author @@
+Patrick D. Lincoln
@@ Property / author: Patrick D. Lincoln / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-540-73433-8_12
+Normal rank
@@ Property / OpenAlex ID @@
+W1925095676
@@ Property / OpenAlex ID: W1925095676 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:5429360