{"@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/Q433349","@type":"DigitalObject","kernel":{"@id":"https://fdo.portal.mardi4nfdi.de/fdo/Q433349","digitalObjectType":"https://schema.org/ScholarlyArticle","primaryIdentifier":"mardi:Q433349","kernelVersion":"v1","immutable":true,"modified":"2026-01-18T13:59:43Z"},"profile":{"@context":"https://schema.org","@type":"ScholarlyArticle","@id":"https://portal.mardi4nfdi.de/entity/Q433349","name":"Towards a notion of unsatisfiable and unrealizable cores for LTL","headline":"Towards a notion of unsatisfiable and unrealizable cores for LTL","description":"scientific article; zbMATH DE number 6055924","url":"https://portal.mardi4nfdi.de/entity/Q433349","datePublished":"2012-07-13","author":[{"@id":"https://portal.mardi4nfdi.de/entity/Q266862"}],"publisher":[{"@id":"https://portal.mardi4nfdi.de/entity/Q169675"}],"identifier":{"@type":"PropertyValue","propertyID":"doi","value":"10.1016/J.SCICO.2010.11.004","url":"https://doi.org/10.1016/J.SCICO.2010.11.004"},"sameAs":["https://doi.org/10.1016/J.SCICO.2010.11.004"],"citation":[{"@id":"https://portal.mardi4nfdi.de/entity/Q3400917"},{"@id":"https://portal.mardi4nfdi.de/entity/Q4385542"},{"@id":"https://portal.mardi4nfdi.de/entity/Q5757229"},{"@id":"https://portal.mardi4nfdi.de/entity/Q5943261"},{"@id":"https://portal.mardi4nfdi.de/entity/Q4494388"},{"@id":"https://portal.mardi4nfdi.de/entity/Q853721"},{"@id":"https://portal.mardi4nfdi.de/entity/Q3940830"},{"@id":"https://portal.mardi4nfdi.de/entity/Q4885877"},{"@id":"https://portal.mardi4nfdi.de/entity/Q5322945"},{"@id":"https://portal.mardi4nfdi.de/entity/Q1028732"},{"@id":"https://portal.mardi4nfdi.de/entity/Q4205072"},{"@id":"https://portal.mardi4nfdi.de/entity/Q3636860"},{"@id":"https://portal.mardi4nfdi.de/entity/Q5325852"},{"@id":"https://portal.mardi4nfdi.de/entity/Q5429344"},{"@id":"https://portal.mardi4nfdi.de/entity/Q5452707"},{"@id":"https://portal.mardi4nfdi.de/entity/Q1098330"},{"@id":"https://portal.mardi4nfdi.de/entity/Q5898629"},{"@id":"https://portal.mardi4nfdi.de/entity/Q3769957"},{"@id":"https://portal.mardi4nfdi.de/entity/Q1889855"},{"@id":"https://portal.mardi4nfdi.de/entity/Q3623013"},{"@id":"https://portal.mardi4nfdi.de/entity/Q5458321"},{"@id":"https://portal.mardi4nfdi.de/entity/Q3612475"},{"@id":"https://portal.mardi4nfdi.de/entity/Q1201346"},{"@id":"https://portal.mardi4nfdi.de/entity/Q1854384"},{"@id":"https://portal.mardi4nfdi.de/entity/Q4012170"},{"@id":"https://portal.mardi4nfdi.de/entity/Q5738910"},{"@id":"https://portal.mardi4nfdi.de/entity/Q4427907"},{"@id":"https://portal.mardi4nfdi.de/entity/Q5492984"},{"@id":"https://portal.mardi4nfdi.de/entity/Q4817533"},{"@id":"https://portal.mardi4nfdi.de/entity/Q2473386"},{"@id":"https://portal.mardi4nfdi.de/entity/Q5310676"},{"@id":"https://portal.mardi4nfdi.de/entity/Q2845506"},{"@id":"https://portal.mardi4nfdi.de/entity/Q5716540"},{"@id":"https://portal.mardi4nfdi.de/entity/Q1193587"},{"@id":"https://portal.mardi4nfdi.de/entity/Q4817549"},{"@id":"https://portal.mardi4nfdi.de/entity/Q3703299"},{"@id":"https://portal.mardi4nfdi.de/entity/Q1051419"},{"@id":"https://portal.mardi4nfdi.de/entity/Q3673090"},{"@id":"https://portal.mardi4nfdi.de/entity/Q5725991"},{"@id":"https://portal.mardi4nfdi.de/entity/Q5573394"},{"@id":"https://portal.mardi4nfdi.de/entity/Q4074888"},{"@id":"https://portal.mardi4nfdi.de/entity/Q5277690"},{"@id":"https://portal.mardi4nfdi.de/entity/Q5452725"},{"@id":"https://portal.mardi4nfdi.de/entity/Q3519514"},{"@id":"https://portal.mardi4nfdi.de/entity/Q5900691"},{"@id":"https://portal.mardi4nfdi.de/entity/Q5493227"},{"@id":"https://portal.mardi4nfdi.de/entity/Q5308426"},{"@id":"https://portal.mardi4nfdi.de/entity/Q5492988"},{"@id":"https://portal.mardi4nfdi.de/entity/Q3498452"},{"@id":"https://portal.mardi4nfdi.de/entity/Q4804918"},{"@id":"https://portal.mardi4nfdi.de/entity/Q2248090"},{"@id":"https://portal.mardi4nfdi.de/entity/Q2741521"},{"@id":"https://portal.mardi4nfdi.de/entity/Q3523066"},{"@id":"https://portal.mardi4nfdi.de/entity/Q4474227"},{"@id":"https://portal.mardi4nfdi.de/entity/Q4553254"},{"@id":"https://portal.mardi4nfdi.de/entity/Q5312943"},{"@id":"https://portal.mardi4nfdi.de/entity/Q4025905"},{"@id":"https://portal.mardi4nfdi.de/entity/Q5756585"},{"@id":"https://portal.mardi4nfdi.de/entity/Q5458808"},{"@id":"https://portal.mardi4nfdi.de/entity/Q1109565"}]},"provenance":{"prov:generatedAtTime":"2026-01-18T13:59:43Z","prov:wasAttributedTo":"MaRDI Knowledge Graph"}}