Nominal Unification from a Higher-Order Perspective (Q5892169): Difference between revisions

← Older edit

@@ description / en / description / en @@
-scientific article; zbMATH DE number 6483164
+scientific article; zbMATH DE number 5317335
@@ Property / zbMATH Open document ID @@
+.03311
@@ Property / zbMATH Open document ID: 1145.03311 / rank @@
+Normal rank
@@ Property / DOI @@
+.1007/978-3-540-70590-1_17
@@ Property / DOI: 10.1007/978-3-540-70590-1_17 / rank @@
+Normal rank
@@ Property / published in @@
+Rewriting Techniques and Applications
@@ Property / published in: Rewriting Techniques and Applications / rank @@
+Normal rank
@@ Property / publication date @@
+August 2008Timestamp +2008-08-28T00:00:00Z
Timezone +00:00
Calendar Gregorian
Precision 1 day
Before 0
After 0
-Timestamp
++2008-08-28T00:00:00Z
-Timezone
++00:00
-Calendar
+Gregorian
-Precision
+day
 Before
 After
@@ Property / publication date: 28 August 2008 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+B70
@@ Property / Mathematics Subject Classification ID: 03B70 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+B10
@@ Property / Mathematics Subject Classification ID: 03B10 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+B15
@@ Property / Mathematics Subject Classification ID: 03B15 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+5317335
@@ Property / zbMATH DE Number: 5317335 / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2569620744
@@ Property / OpenAlex ID: W2569620744 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.3731
@@ Property / arXiv ID: 1005.3731 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
-Publication:5892169
+Publication:5900246