Q5300893 (Q5300893): Difference between revisions

← Older edit Newer edit →

@@ label / en / label / en @@
-Proof-Relevant Logical Relations for Name Generation
@@ description / en / description / en @@
-scientific article; zbMATH DE number 6182512
@@ Property / instance of @@
-scholarly article
@@ Property / instance of: scholarly article / rank @@
-Normal rank
@@ Property / title @@
-Proof-Relevant Logical Relations for Name Generation (English)
-Normal rank
@@ Property / zbMATH Open document ID @@
-.68047
@@ Property / zbMATH Open document ID: 1381.68047 / rank @@
-Normal rank
@@ Property / DOI @@
-.1007/978-3-642-38946-7_6
@@ Property / DOI: 10.1007/978-3-642-38946-7_6 / rank @@
-Normal rank
@@ Property / author @@
-Nick Benton
@@ Property / author: Nick Benton / rank @@
-Normal rank
@@ Property / author @@
-Martin Hofmann
@@ Property / author: Martin Hofmann / rank @@
-Normal rank
@@ Property / author @@
-Vivek Nigam
@@ Property / author: Vivek Nigam / rank @@
-Normal rank
@@ Property / published in @@
-Lecture Notes in Computer Science
@@ Property / published in: Lecture Notes in Computer Science / rank @@
-Normal rank
@@ Property / publication date @@
-June 2013Timestamp +2013-06-28T00:00:00Z
Timezone +00:00
Calendar Gregorian
Precision 1 day
Before 0
After 0
-Timestamp
++2013-06-28T00:00:00Z
-Timezone
++00:00
-Calendar
+Gregorian
-Precision
+day
 Before
 After
@@ Property / publication date: 28 June 2013 / rank @@
-Normal rank
@@ Property / full work available at URL @@
-https://arxiv.org/abs/1708.05193
@@ Property / full work available at URL: https://arxiv.org/abs/1708.05193 / rank @@
-Normal rank
@@ Property / Mathematics Subject Classification ID @@
-N30
@@ Property / Mathematics Subject Classification ID: 68N30 / rank @@
-Normal rank
@@ Property / Mathematics Subject Classification ID @@
-B70
@@ Property / Mathematics Subject Classification ID: 03B70 / rank @@
-Normal rank
@@ Property / Mathematics Subject Classification ID @@
-N15
@@ Property / Mathematics Subject Classification ID: 68N15 / rank @@
-Normal rank
@@ Property / Mathematics Subject Classification ID @@
-N18
@@ Property / Mathematics Subject Classification ID: 68N18 / rank @@
-Normal rank
@@ Property / zbMATH DE Number @@
-6182512
@@ Property / zbMATH DE Number: 6182512 / rank @@
-Normal rank
@@ Property / MaRDI profile type @@
-MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
-Normal rank
@@ Property / OpenAlex ID @@
-W176593450
@@ Property / OpenAlex ID: W176593450 / rank @@
-Normal rank
@@ Property / arXiv ID @@
-.05193
@@ Property / arXiv ID: 1708.05193 / rank @@
-Normal rank
@@ links / mardi / name / links / mardi / name @@
-Publication:5300893

Revision as of 10:19, 6 May 2024

No description defined

Language	Label	Description	Also known as
English	No label defined	No description defined

Q5300893 (Q5300893): Difference between revisions

Revision as of 10:19, 6 May 2024

Statements

Sitelinks

Mathematics(0 entries)