{"@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/Q2864201","@type":"DigitalObject","kernel":{"@id":"https://fdo.portal.mardi4nfdi.de/fdo/Q2864201","digitalObjectType":"https://schema.org/ScholarlyArticle","primaryIdentifier":"mardi:Q2864201","kernelVersion":"v1","immutable":true,"modified":"2026-01-20T11:40:51Z"},"profile":{"@context":"https://schema.org","@type":"ScholarlyArticle","@id":"https://portal.mardi4nfdi.de/entity/Q2864201","name":"Timed concurrent constraint programming for analysing biological systems","headline":"Timed concurrent constraint programming for analysing biological systems","description":"scientific article; zbMATH DE number 6236153","url":"https://portal.mardi4nfdi.de/entity/Q2864201","datePublished":"2013-12-06","author":[{"@id":"https://portal.mardi4nfdi.de/entity/Q345708"},{"@id":"https://portal.mardi4nfdi.de/entity/Q315278"},{"@id":"https://portal.mardi4nfdi.de/entity/Q347366"},{"@id":"https://portal.mardi4nfdi.de/entity/Q347367"}],"publisher":[{"@id":"https://portal.mardi4nfdi.de/entity/Q163528"}],"identifier":{"@type":"PropertyValue","propertyID":"doi","value":"10.1016/J.ENTCS.2007.05.012","url":"https://doi.org/10.1016/J.ENTCS.2007.05.012"},"sameAs":["https://doi.org/10.1016/J.ENTCS.2007.05.012"],"citation":[{"@id":"https://portal.mardi4nfdi.de/entity/Q1884863"},{"@id":"https://portal.mardi4nfdi.de/entity/Q4809158"},{"@id":"https://portal.mardi4nfdi.de/entity/Q5712410"},{"@id":"https://portal.mardi4nfdi.de/entity/Q5712404"},{"@id":"https://portal.mardi4nfdi.de/entity/Q1884864"},{"@id":"https://portal.mardi4nfdi.de/entity/Q1773141"},{"@id":"https://portal.mardi4nfdi.de/entity/Q1884858"},{"@id":"https://portal.mardi4nfdi.de/entity/Q4245937"},{"@id":"https://portal.mardi4nfdi.de/entity/Q3150207"},{"@id":"https://portal.mardi4nfdi.de/entity/Q5712405"},{"@id":"https://portal.mardi4nfdi.de/entity/Q1884869"},{"@id":"https://portal.mardi4nfdi.de/entity/Q1763732"}]},"provenance":{"prov:generatedAtTime":"2026-01-20T11:40:51Z","prov:wasAttributedTo":"MaRDI Knowledge Graph"}}