Q5109519 (Q5109519): Difference between revisions

@@ Property / author @@
-Aleksandr Anatol'evich Semënov
@@ Property / author: Aleksandr Anatol'evich Semënov / rank @@
-Normal rank
@@ Property / author @@
-Oleg Sergeevich Zaikin
@@ Property / author: Oleg Sergeevich Zaikin / rank @@
-Normal rank
@@ Property / author @@
+Aleksandr Anatol'evich Semënov
@@ Property / author: Aleksandr Anatol'evich Semënov / rank @@
+Normal rank
@@ Property / author @@
+Oleg Sergeevich Zaikin
@@ Property / author: Oleg Sergeevich Zaikin / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+z3
@@ Property / describes a project that uses: z3 / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Matplotlib
@@ Property / describes a project that uses: Matplotlib / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Plingeling
@@ Property / describes a project that uses: Plingeling / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+clasp
@@ Property / describes a project that uses: clasp / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+CBMC
@@ Property / describes a project that uses: CBMC / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Lingeling
@@ Property / describes a project that uses: Lingeling / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+MapleCOMSPS
@@ Property / describes a project that uses: MapleCOMSPS / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+CaDiCaL
@@ Property / describes a project that uses: CaDiCaL / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank