{"@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/Q6602252","@type":"DigitalObject","kernel":{"@id":"https://fdo.portal.mardi4nfdi.de/fdo/Q6602252","digitalObjectType":"https://schema.org/ScholarlyArticle","primaryIdentifier":"mardi:Q6602252","kernelVersion":"v1","immutable":true,"modified":"2026-02-17T22:08:03Z"},"profile":{"@context":"https://schema.org","@type":"ScholarlyArticle","@id":"https://portal.mardi4nfdi.de/entity/Q6602252","name":"Reasoning with propositional logic: from SAT solvers to knowledge compilation","headline":"Reasoning with propositional logic: from SAT solvers to knowledge compilation","description":"scientific article; zbMATH DE number 7910873","url":"https://portal.mardi4nfdi.de/entity/Q6602252","datePublished":"2024-09-11","author":[{"@id":"https://portal.mardi4nfdi.de/entity/Q630953"}],"identifier":{"@type":"PropertyValue","propertyID":"doi","value":"10.1007/978-3-030-06167-8_5","url":"https://doi.org/10.1007/978-3-030-06167-8_5"},"sameAs":["https://doi.org/10.1007/978-3-030-06167-8_5"],"citation":[{"@id":"https://portal.mardi4nfdi.de/entity/Q5189545"},{"@id":"https://portal.mardi4nfdi.de/entity/Q3192066"},{"@id":"https://portal.mardi4nfdi.de/entity/Q2767071"},{"@id":"https://portal.mardi4nfdi.de/entity/Q3502689"},{"@id":"https://portal.mardi4nfdi.de/entity/Q5325873"},{"@id":"https://portal.mardi4nfdi.de/entity/Q5200018"},{"@id":"https://portal.mardi4nfdi.de/entity/Q3453225"},{"@id":"https://portal.mardi4nfdi.de/entity/Q3075471"},{"@id":"https://portal.mardi4nfdi.de/entity/Q3724245"},{"@id":"https://portal.mardi4nfdi.de/entity/Q1891159"},{"@id":"https://portal.mardi4nfdi.de/entity/Q4431379"},{"@id":"https://portal.mardi4nfdi.de/entity/Q3457218"},{"@id":"https://portal.mardi4nfdi.de/entity/Q5679729"},{"@id":"https://portal.mardi4nfdi.de/entity/Q3496310"},{"@id":"https://portal.mardi4nfdi.de/entity/Q900872"},{"@id":"https://portal.mardi4nfdi.de/entity/Q5667480"},{"@id":"https://portal.mardi4nfdi.de/entity/Q5613969"},{"@id":"https://portal.mardi4nfdi.de/entity/Q5621961"},{"@id":"https://portal.mardi4nfdi.de/entity/Q3489523"},{"@id":"https://portal.mardi4nfdi.de/entity/Q1101418"},{"@id":"https://portal.mardi4nfdi.de/entity/Q1199913"},{"@id":"https://portal.mardi4nfdi.de/entity/Q3723723"},{"@id":"https://portal.mardi4nfdi.de/entity/Q5713748"},{"@id":"https://portal.mardi4nfdi.de/entity/Q3579211"},{"@id":"https://portal.mardi4nfdi.de/entity/Q1249435"},{"@id":"https://portal.mardi4nfdi.de/entity/Q4198056"},{"@id":"https://portal.mardi4nfdi.de/entity/Q4647549"},{"@id":"https://portal.mardi4nfdi.de/entity/Q4539620"},{"@id":"https://portal.mardi4nfdi.de/entity/Q814445"},{"@id":"https://portal.mardi4nfdi.de/entity/Q5900298"},{"@id":"https://portal.mardi4nfdi.de/entity/Q3624018"},{"@id":"https://portal.mardi4nfdi.de/entity/Q787685"},{"@id":"https://portal.mardi4nfdi.de/entity/Q5714743"}]},"provenance":{"prov:generatedAtTime":"2026-02-17T22:08:03Z","prov:wasAttributedTo":"MaRDI Knowledge Graph"}}