Successor-Invariant First-Order Logic on Classes of Bounded Degree (Q5145657): Difference between revisions

From MaRDI portal
Importer (talk | contribs)
Created a new Item
 
Merged Item from Q5155682
 
(5 intermediate revisions by 5 users not shown)
description / endescription / en
scientific article; zbMATH DE number 7299490
scientific article; zbMATH DE number 7407792
Property / zbMATH Open document ID
 
Property / zbMATH Open document ID: 1498.03070 / rank
 
Normal rank
Property / publication date
 
8 October 2021
Timestamp+2021-10-08T00:00:00Z
Timezone+00:00
CalendarGregorian
Precision1 day
Before0
After0
Property / publication date: 8 October 2021 / rank
 
Normal rank
Property / full work available at URL
 
Property / full work available at URL: https://lmcs.episciences.org/8357 / rank
 
Normal rank
Property / zbMATH DE Number
 
Property / zbMATH DE Number: 7407792 / rank
 
Normal rank
Property / MaRDI profile type
 
Property / MaRDI profile type: MaRDI publication profile / rank
 
Normal rank
Property / OpenAlex ID
 
Property / OpenAlex ID: W3032610015 / rank
 
Normal rank
Property / arXiv ID
 
Property / arXiv ID: 2009.11758 / rank
 
Normal rank
links / mardi / namelinks / mardi / name
 

Latest revision as of 10:22, 6 May 2024

scientific article; zbMATH DE number 7407792
Language Label Description Also known as
English
Successor-Invariant First-Order Logic on Classes of Bounded Degree
scientific article; zbMATH DE number 7407792

    Statements

    Successor-Invariant First-Order Logic on Classes of Bounded Degree (English)
    0 references
    0 references
    0 references
    0 references
    21 January 2021
    0 references
    8 October 2021
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    finite model theory
    0 references
    successor-invariance
    0 references
    first-order logic
    0 references
    0 references
    0 references