{"@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/Q3452277","@type":"DigitalObject","kernel":{"@id":"https://fdo.portal.mardi4nfdi.de/fdo/Q3452277","digitalObjectType":"https://schema.org/ScholarlyArticle","primaryIdentifier":"mardi:Q3452277","kernelVersion":"v1","immutable":true,"modified":"2026-01-22T13:10:54Z"},"profile":{"@context":"https://schema.org","@type":"ScholarlyArticle","@id":"https://portal.mardi4nfdi.de/entity/Q3452277","name":"Computer theorem proving for verifiable solving of geometric construction problems","headline":"Computer theorem proving for verifiable solving of geometric construction problems","description":"scientific article; zbMATH DE number 6507284","url":"https://portal.mardi4nfdi.de/entity/Q3452277","datePublished":"2015-11-11","author":[{"@id":"https://portal.mardi4nfdi.de/entity/Q294372"},{"@id":"https://portal.mardi4nfdi.de/entity/Q286775"},{"@id":"https://portal.mardi4nfdi.de/entity/Q294371"}],"publisher":[{"@id":"https://portal.mardi4nfdi.de/entity/Q2849503"}],"identifier":{"@type":"PropertyValue","propertyID":"doi","value":"10.1007/978-3-319-21362-0_5","url":"https://doi.org/10.1007/978-3-319-21362-0_5"},"sameAs":["https://doi.org/10.1007/978-3-319-21362-0_5"],"citation":[{"@id":"https://portal.mardi4nfdi.de/entity/Q1110246"},{"@id":"https://portal.mardi4nfdi.de/entity/Q2849509"},{"@id":"https://portal.mardi4nfdi.de/entity/Q1902408"},{"@id":"https://portal.mardi4nfdi.de/entity/Q4188363"},{"@id":"https://portal.mardi4nfdi.de/entity/Q1128611"},{"@id":"https://portal.mardi4nfdi.de/entity/Q1589579"},{"@id":"https://portal.mardi4nfdi.de/entity/Q5721424"},{"@id":"https://portal.mardi4nfdi.de/entity/Q3100204"},{"@id":"https://portal.mardi4nfdi.de/entity/Q3003228"},{"@id":"https://portal.mardi4nfdi.de/entity/Q2655329"},{"@id":"https://portal.mardi4nfdi.de/entity/Q3422212"},{"@id":"https://portal.mardi4nfdi.de/entity/Q1071803"},{"@id":"https://portal.mardi4nfdi.de/entity/Q5792724"},{"@id":"https://portal.mardi4nfdi.de/entity/Q3416657"},{"@id":"https://portal.mardi4nfdi.de/entity/Q2907319"},{"@id":"https://portal.mardi4nfdi.de/entity/Q1846745"},{"@id":"https://portal.mardi4nfdi.de/entity/Q3102745"},{"@id":"https://portal.mardi4nfdi.de/entity/Q3962080"},{"@id":"https://portal.mardi4nfdi.de/entity/Q2480964"},{"@id":"https://portal.mardi4nfdi.de/entity/Q2904392"}]},"provenance":{"prov:generatedAtTime":"2026-01-22T13:10:54Z","prov:wasAttributedTo":"MaRDI Knowledge Graph"}}