JTabWb: a Java Framework for Implementing Terminating Sequent and Tableau Calculi (Q4589603): Difference between revisions

@@ Property / describes a project that uses @@
+MetTeL
@@ Property / describes a project that uses: MetTeL / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Cool
@@ Property / describes a project that uses: Cool / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Isabelle
@@ Property / describes a project that uses: Isabelle / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+LoTREC
@@ Property / describes a project that uses: LoTREC / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Imogen
@@ Property / describes a project that uses: Imogen / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+ILTP
@@ Property / describes a project that uses: ILTP / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+PVS
@@ Property / describes a project that uses: PVS / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+CoLoSS
@@ Property / describes a project that uses: CoLoSS / 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.3233/fi-2017-1462
+Normal rank
@@ Property / OpenAlex ID @@
+W2593670048
@@ Property / OpenAlex ID: W2593670048 / rank @@
+Normal rank