Q5121279 (Q5121279): Difference between revisions

From MaRDI portal
Item:Q5121279
Importer (talk | contribs)
Changed an Item
Merged Item into Q4635873
Tag: Replaced
label / enlabel / en
A New Perspective on FO Model Checking of Dense Graph Classes
description / endescription / en
scientific article; zbMATH DE number 7246557
Property / instance of
 
Property / instance of: scholarly article / rank
Normal rank
 
Property / title
A New Perspective on FO Model Checking of Dense Graph Classes (English)
 
Property / title: A New Perspective on FO Model Checking of Dense Graph Classes (English) / rank
Normal rank
 
Property / zbMATH Open document ID
 
Property / zbMATH Open document ID: 1446.68093 / rank
Normal rank
 
Property / DOI
 
Property / DOI: 10.1145/3383206 / rank
Normal rank
 
Property / author
 
Property / author: Jakub Gajarský / rank
Normal rank
 
Property / author
 
Property / author: Petr Hliněný / rank
Normal rank
 
Property / author
 
Property / author: Jan Obdržálek / rank
Normal rank
 
Property / author
 
Property / author: Daniel Lokshtanov / rank
Normal rank
 
Property / author
 
Property / author: M. S. Ramanujan / rank
Normal rank
 
Property / published in
 
Property / published in: ACM Transactions on Computational Logic / rank
Normal rank
 
Property / publication date
11 September 2020
Timestamp+2020-09-11T00:00:00Z
Timezone+00:00
CalendarGregorian
Precision1 day
Before0
After0
 
Property / publication date: 11 September 2020 / rank
Normal rank
 
Property / full work available at URL
 
Property / full work available at URL: https://arxiv.org/abs/1805.01823 / rank
Normal rank
 
Property / Mathematics Subject Classification ID
 
Property / Mathematics Subject Classification ID: 68Q60 / rank
Normal rank
 
Property / Mathematics Subject Classification ID
 
Property / Mathematics Subject Classification ID: 03B70 / rank
Normal rank
 
Property / Mathematics Subject Classification ID
 
Property / Mathematics Subject Classification ID: 05C75 / rank
Normal rank
 
Property / Mathematics Subject Classification ID
 
Property / Mathematics Subject Classification ID: 68Q25 / rank
Normal rank
 
Property / zbMATH DE Number
 
Property / zbMATH DE Number: 7246557 / rank
Normal rank
 
Property / zbMATH Keywords
first-order logic
 
Property / zbMATH Keywords: first-order logic / rank
Normal rank
 
Property / zbMATH Keywords
algorithmic metatheorems
 
Property / zbMATH Keywords: algorithmic metatheorems / rank
Normal rank
 
Property / zbMATH Keywords
bounded-degree graphs
 
Property / zbMATH Keywords: bounded-degree graphs / rank
Normal rank
 
Property / zbMATH Keywords
fixed-parameter tractability
 
Property / zbMATH Keywords: fixed-parameter tractability / rank
Normal rank
 
Property / zbMATH Keywords
interpretations
 
Property / zbMATH Keywords: interpretations / rank
Normal rank
 
Property / MaRDI profile type
 
Property / MaRDI profile type: MaRDI publication profile / rank
Normal rank
 
Property / OpenAlex ID
 
Property / OpenAlex ID: W3040102297 / rank
Normal rank
 
Property / arXiv ID
 
Property / arXiv ID: 1805.01823 / rank
Normal rank
 
links / mardi / namelinks / mardi / name

Revision as of 10:19, 6 May 2024

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

    Statements