{"@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/Q5028481","@type":"DigitalObject","kernel":{"@id":"https://fdo.portal.mardi4nfdi.de/fdo/Q5028481","digitalObjectType":"https://schema.org/ScholarlyArticle","primaryIdentifier":"mardi:Q5028481","kernelVersion":"v1","immutable":true,"modified":"2026-02-17T15:38:00Z"},"profile":{"@context":"https://schema.org","@type":"ScholarlyArticle","@id":"https://portal.mardi4nfdi.de/entity/Q5028481","name":"Satisfiability and model checking for the logic of sub-intervals under the homogeneity assumption","headline":"Satisfiability and model checking for the logic of sub-intervals under the homogeneity assumption","description":"scientific article; zbMATH DE number 7471713","url":"https://portal.mardi4nfdi.de/entity/Q5028481","datePublished":"2022-02-09","author":[{"@id":"https://portal.mardi4nfdi.de/entity/Q278750"},{"@id":"https://portal.mardi4nfdi.de/entity/Q329411"},{"@id":"https://portal.mardi4nfdi.de/entity/Q266859"},{"@id":"https://portal.mardi4nfdi.de/entity/Q264998"},{"@id":"https://portal.mardi4nfdi.de/entity/Q288803"}],"citation":[{"@id":"https://portal.mardi4nfdi.de/entity/Q636267"},{"@id":"https://portal.mardi4nfdi.de/entity/Q3406687"},{"@id":"https://portal.mardi4nfdi.de/entity/Q4904145"},{"@id":"https://portal.mardi4nfdi.de/entity/Q4003357"},{"@id":"https://portal.mardi4nfdi.de/entity/Q4302859"},{"@id":"https://portal.mardi4nfdi.de/entity/Q5283018"},{"@id":"https://portal.mardi4nfdi.de/entity/Q2766545"},{"@id":"https://portal.mardi4nfdi.de/entity/Q5415296"},{"@id":"https://portal.mardi4nfdi.de/entity/Q1706170"},{"@id":"https://portal.mardi4nfdi.de/entity/Q2747711"},{"@id":"https://portal.mardi4nfdi.de/entity/Q2457655"},{"@id":"https://portal.mardi4nfdi.de/entity/Q5483013"},{"@id":"https://portal.mardi4nfdi.de/entity/Q5696309"},{"@id":"https://portal.mardi4nfdi.de/entity/Q1177646"},{"@id":"https://portal.mardi4nfdi.de/entity/Q2277246"},{"@id":"https://portal.mardi4nfdi.de/entity/Q3985545"}]},"provenance":{"prov:generatedAtTime":"2026-02-17T15:38:00Z","prov:wasAttributedTo":"MaRDI Knowledge Graph"}}