On the generation of quantified lemmas (Q2417949): Difference between revisions

@@ Property / author @@
+Alexander Leitsch
@@ Property / author: Alexander Leitsch / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+IsaCoSy
@@ Property / describes a project that uses: IsaCoSy / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+HR
@@ Property / describes a project that uses: HR / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+TPTP
@@ Property / describes a project that uses: TPTP / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+GAPT
@@ Property / describes a project that uses: GAPT / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q124801826
@@ Property / Wikidata QID: Q124801826 / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/s10817-018-9462-8
+Normal rank
@@ Property / OpenAlex ID @@
+W2790318756
@@ Property / OpenAlex ID: W2790318756 / rank @@
+Normal rank