Q4968381 (Q4968381): Difference between revisions

← Older edit Newer edit →

@@ label / en / label / en @@
-Upper Bounds on the Quantifier Depth for Graph Differentiation in First-Order Logic
@@ description / en / description / en @@
-scientific article; zbMATH DE number 7080195
@@ Property / instance of @@
-scholarly article
@@ Property / instance of: scholarly article / rank @@
-Normal rank
@@ Property / zbMATH Open document ID @@
-.68110
@@ Property / zbMATH Open document ID: 1440.68110 / rank @@
-Normal rank
@@ Property / author @@
-Sandra Kiefer
@@ Property / author: Sandra Kiefer / rank @@
-Normal rank
@@ Property / author @@
-Pascal Schweitzer
@@ Property / author: Pascal Schweitzer / rank @@
-Normal rank
@@ Property / publication date @@
-July 2019Timestamp +2019-07-12T00:00:00Z
Timezone +00:00
Calendar Gregorian
Precision 1 day
Before 0
After 0
-Timestamp
++2019-07-12T00:00:00Z
-Timezone
++00:00
-Calendar
+Gregorian
-Precision
+day
 Before
 After
@@ Property / publication date: 12 July 2019 / rank @@
-Normal rank
@@ Property / full work available at URL @@
-https://arxiv.org/abs/1605.03480
@@ Property / full work available at URL: https://arxiv.org/abs/1605.03480 / rank @@
-Normal rank
@@ Property / Mathematics Subject Classification ID @@
-Q19
@@ Property / Mathematics Subject Classification ID: 68Q19 / rank @@
-Normal rank
@@ Property / Mathematics Subject Classification ID @@
-C13
@@ Property / Mathematics Subject Classification ID: 03C13 / rank @@
-Normal rank
@@ Property / Mathematics Subject Classification ID @@
-C80
@@ Property / Mathematics Subject Classification ID: 03C80 / rank @@
-Normal rank
@@ Property / Mathematics Subject Classification ID @@
-C85
@@ Property / Mathematics Subject Classification ID: 05C85 / rank @@
-Normal rank
@@ Property / zbMATH DE Number @@
-7080195
@@ Property / zbMATH DE Number: 7080195 / rank @@
-Normal rank
@@ Property / zbMATH Keywords @@
-first-order logic
@@ Property / zbMATH Keywords: first-order logic / rank @@
-Normal rank
@@ Property / zbMATH Keywords @@
-counting quantifiers
@@ Property / zbMATH Keywords: counting quantifiers / rank @@
-Normal rank
@@ Property / zbMATH Keywords @@
-Weisfeiler-Leman algorithm
@@ Property / zbMATH Keywords: Weisfeiler-Leman algorithm / rank @@
-Normal rank
@@ Property / zbMATH Keywords @@
-color refinement
@@ Property / zbMATH Keywords: color refinement / rank @@
-Normal rank
@@ Property / describes a project that uses @@
-nauty
@@ Property / describes a project that uses: nauty / rank @@
-Normal rank
@@ Property / describes a project that uses @@
-bliss
@@ Property / describes a project that uses: bliss / rank @@
-Normal rank
@@ Property / describes a project that uses @@
-Traces
@@ Property / describes a project that uses: Traces / rank @@
-Normal rank
@@ Property / MaRDI profile type @@
-MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
-Normal rank
@@ Property / arXiv classification @@
-cs.LO
@@ Property / arXiv classification: cs.LO / rank @@
-Normal rank
@@ Property / arXiv classification @@
-cs.CC
@@ Property / arXiv classification: cs.CC / rank @@
-Normal rank
@@ Property / arXiv classification @@
-math.CO
@@ Property / arXiv classification: math.CO / rank @@
-Normal rank
@@ Property / arXiv ID @@
-.03480
@@ Property / arXiv ID: 1605.03480 / rank @@
-Normal rank
@@ links / mardi / name / links / mardi / name @@
-Publication:4968381

Revision as of 10:19, 6 May 2024

No description defined

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

Q4968381 (Q4968381): Difference between revisions

Revision as of 10:19, 6 May 2024

Statements

Sitelinks

Mathematics(0 entries)