{"@context":["https://w3id.org/fdo/context/v1",{"schema":"https://schema.org/","prov":"http://www.w3.org/ns/prov#","fdo":"https://w3id.org/fdo/vocabulary/"}],"@id":"https://fdo.portal.mardi4nfdi.de/fdo/Q6135783","@type":"DigitalObject","kernel":{"@id":"https://fdo.portal.mardi4nfdi.de/fdo/Q6135783","digitalObjectType":"https://schema.org/ScholarlyArticle","primaryIdentifier":"mardi:Q6135783","kernelVersion":"v1","immutable":true,"modified":"2026-03-23T14:07:25Z","fdo:hasComponent":[{"@id":"#fulltext","componentId":"fulltext","mediaType":"application/pdf"}]},"profile":{"@context":"https://schema.org","@type":"ScholarlyArticle","@id":"https://portal.mardi4nfdi.de/entity/Q6135783","name":"A first-order logic characterization of safety and co-safety languages","headline":"A first-order logic characterization of safety and co-safety languages","description":"scientific article; zbMATH DE number 7731941","url":"https://portal.mardi4nfdi.de/entity/Q6135783","datePublished":"2023-08-26","author":[{"@id":"https://portal.mardi4nfdi.de/entity/Q329418"},{"@id":"https://portal.mardi4nfdi.de/entity/Q2029606"},{"@id":"https://portal.mardi4nfdi.de/entity/Q2029607"},{"@id":"https://portal.mardi4nfdi.de/entity/Q266859"},{"@id":"https://portal.mardi4nfdi.de/entity/Q479825"}],"publisher":[{"@id":"https://portal.mardi4nfdi.de/entity/Q2786118"}],"identifier":{"@type":"PropertyValue","propertyID":"doi","value":"10.46298/LMCS-19(3:13)2023","url":"https://doi.org/10.46298/LMCS-19(3:13)2023"},"sameAs":["https://doi.org/10.46298/LMCS-19(3:13)2023"],"citation":[{"@id":"https://portal.mardi4nfdi.de/entity/Q4817546"},{"@id":"https://portal.mardi4nfdi.de/entity/Q3995303"},{"@id":"https://portal.mardi4nfdi.de/entity/Q6135783"},{"@id":"https://portal.mardi4nfdi.de/entity/Q5204340"},{"@id":"https://portal.mardi4nfdi.de/entity/Q5949490"},{"@id":"https://portal.mardi4nfdi.de/entity/Q3711745"},{"@id":"https://portal.mardi4nfdi.de/entity/Q5641083"},{"@id":"https://portal.mardi4nfdi.de/entity/Q3482822"},{"@id":"https://portal.mardi4nfdi.de/entity/Q5404480"},{"@id":"https://portal.mardi4nfdi.de/entity/Q1343862"},{"@id":"https://portal.mardi4nfdi.de/entity/Q3343430"},{"@id":"https://portal.mardi4nfdi.de/entity/Q5485993"},{"@id":"https://portal.mardi4nfdi.de/entity/Q4198738"},{"@id":"https://portal.mardi4nfdi.de/entity/Q4029611"}]},"provenance":{"prov:generatedAtTime":"2026-03-23T14:07:25Z","prov:wasAttributedTo":"MaRDI Knowledge Graph"}}