{"@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/Q475385","@type":"DigitalObject","kernel":{"@id":"https://fdo.portal.mardi4nfdi.de/fdo/Q475385","digitalObjectType":"https://schema.org/ScholarlyArticle","primaryIdentifier":"mardi:Q475385","kernelVersion":"v1","immutable":true,"modified":"2026-03-26T09:36:34Z"},"profile":{"@context":"https://schema.org","@type":"ScholarlyArticle","@id":"https://portal.mardi4nfdi.de/entity/Q475385","name":"Recycling proof patterns in Coq: case studies","headline":"Recycling proof patterns in Coq: case studies","description":"scientific article; zbMATH DE number 6374317","url":"https://portal.mardi4nfdi.de/entity/Q475385","datePublished":"2014-11-26","author":[{"@id":"https://portal.mardi4nfdi.de/entity/Q280197"},{"@id":"https://portal.mardi4nfdi.de/entity/Q280195"}],"publisher":[{"@id":"https://portal.mardi4nfdi.de/entity/Q294368"}],"identifier":{"@type":"PropertyValue","propertyID":"doi","value":"10.1007/S11786-014-0173-1","url":"https://doi.org/10.1007/S11786-014-0173-1"},"sameAs":["https://doi.org/10.1007/S11786-014-0173-1"],"citation":[{"@id":"https://portal.mardi4nfdi.de/entity/Q3183520"},{"@id":"https://portal.mardi4nfdi.de/entity/Q1600086"},{"@id":"https://portal.mardi4nfdi.de/entity/Q5200015"},{"@id":"https://portal.mardi4nfdi.de/entity/Q3075247"},{"@id":"https://portal.mardi4nfdi.de/entity/Q5327343"},{"@id":"https://portal.mardi4nfdi.de/entity/Q4913763"},{"@id":"https://portal.mardi4nfdi.de/entity/Q5408414"},{"@id":"https://portal.mardi4nfdi.de/entity/Q475385"},{"@id":"https://portal.mardi4nfdi.de/entity/Q2729065"},{"@id":"https://portal.mardi4nfdi.de/entity/Q703860"},{"@id":"https://portal.mardi4nfdi.de/entity/Q3075246"},{"@id":"https://portal.mardi4nfdi.de/entity/Q5302559"},{"@id":"https://portal.mardi4nfdi.de/entity/Q3183536"},{"@id":"https://portal.mardi4nfdi.de/entity/Q1045892"},{"@id":"https://portal.mardi4nfdi.de/entity/Q438543"},{"@id":"https://portal.mardi4nfdi.de/entity/Q5462949"},{"@id":"https://portal.mardi4nfdi.de/entity/Q2908509"},{"@id":"https://portal.mardi4nfdi.de/entity/Q5898170"},{"@id":"https://portal.mardi4nfdi.de/entity/Q5483032"},{"@id":"https://portal.mardi4nfdi.de/entity/Q1206444"},{"@id":"https://portal.mardi4nfdi.de/entity/Q2870142"},{"@id":"https://portal.mardi4nfdi.de/entity/Q2843015"}]},"provenance":{"prov:generatedAtTime":"2026-03-26T09:36:34Z","prov:wasAttributedTo":"MaRDI Knowledge Graph"}}